1 ; Grammar.dat 2 ; 3 ; --------------------------------------------------------------------------- 4 ; Grammar for Cunningham numbers factorization of p^n - 1. 5 ; this is a test 6 ; 7 ; The factorization is given in the form p n <factors> where 8 ; each factor is of the form p^m. Long numbers are continued on the next line with 9 ; backslashes. Factors are separated by a period. 10 ; 11 ; 398 12 2^4.3.3583.4588543.34266607.2146612951394313997.8670122322845042\ 12 ; 61471.3742361194240057889227626965547117.118815764353631151\ 13 ; 104263170678136736311820574318029752573406120157089\ 14 ; 84828478898969687279497327343 15 ; 16 ; --------------------------------------------------------------------------- 17 18 ; Productions. 19 20 ( 21 (S -> integer integer Factorization) 22 (Factorization -> Factorization period Factor / Factor) 23 (Factor -> BigInteger ^ BigInteger / BigInteger) 24 (BigInteger -> BigInteger backslash integer / integer) 25 ) 26 27 28 ; Terminal symbols. 29 30 ( integer period ^ backslash )