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 )