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 )