aa(1):='(((s2 (plus p4 p6) p11m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (59 p6 v2 v1) (183 (plus p4 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 501) (l l1));
 
aa(2):='(((s2 (plus p4 p5) p11m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (59 p5 v2 v1) (183 (plus p4 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 502) (l l1));
 
aa(3):='(((s2 (plus p3 p6) p11m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (59 p6 v2 v1) (183 (plus p3 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 503) (l l1));
 
aa(4):='(((s2 (plus p3 p5) p11m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (59 p5 v2 v1) (183 (plus p3 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 504) (l l1));
 
aa(5):='(((s2 (plus p4 p6) p10m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (60 p6 v2 v1) (185 (plus p4 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 505) (l l1));
 
aa(6):='(((s2 (plus p4 p5) p10m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (60 p5 v2 v1) (185 (plus p4 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 506) (l l1));
 
aa(7):='(((s2 (plus p3 p6) p10m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (60 p6 v2 v1) (185 (plus p3 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 507) (l l1));
 
aa(8):='(((s2 (plus p3 p5) p10m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (60 p5 v2 v1) (185 (plus p3 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 508) (l l1));
 
aa(9):='(((s2 (plus p4 p6) p7m v6 v7 v1 v2) (s11 (plus p1 p2
) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5))
p34m v8 v9 v10 v3 v4 v5) (61 p6 v2 v1) (187 (plus p4 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 509) (l l1));
 
aa(10):='(((s2 (plus p4 p5) p7m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (61 p5 v2 v1) (187 (plus p4 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 510) (l l1));
 
aa(11):='(((s2 (plus p3 p6) p7m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (61 p6 v2 v1) (187 (plus p3 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 511) (l l1));
 
aa(12):='(((s2 (plus p3 p5) p7m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (61 p5 v2 v1) (187 (plus p3 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 512) (l l1));
 
aa(13):='(((s2 (plus p4 p6) p4m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (64 p6 v2 v1) (189 (plus p4 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 513) (l l1));
 
aa(14):='(((s2 (plus p4 p5) p4m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (64 p5 v2 v1) (189 (plus p4 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 514) (l l1));
 
aa(15):='(((s2 (plus p3 p6) p4m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (64 p6 v2 v1) (189 (plus p3 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 515) (l l1));
 
aa(16):='(((s2 (plus p3 p5) p4m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (64 p5 v2 v1) (189 (plus p3 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 516) (l l1));
 
aa(17):='(((s2 (plus p4 p6) p3m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (67 p6 v2 v1) (191 (plus p4 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 517) (l l1));
 
aa(18):='(((s2 (plus p4 p5) p3m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (67 p5 v2 v1) (191 (plus p4 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 518) (l l1));
 
aa(19):='(((s2 (plus p3 p6) p3m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (67 p6 v2 v1) (191 (plus p3 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 519) (l l1));
 
aa(20):='(((s2 (plus p3 p5) p3m v6 v7 v1 v2) (s11 (plus p1 
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (67 p5 v2 v1) (191 (plus p3 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 520) (l l1));
 
aa(21):='(((s3 (plus p4 p6) p16m v7 v8 v9 v1 v2 v3) (s11 (
plus p1 p2) p36m v13 v14) (s3 (plus (minus p1) (minus p2) (
minus p5)) p34m v10 v11 v12 v4 v5 v6) (108 p6 v3 v2 v1) (215
(plus p4 p6) (minus (plus (minus p1) (minus p2) (minus p5)))
v6 v5 v4 v9 v8 v7) (156 (plus p1 p2) (plus (minus p1) (minus
p2) (minus p5)) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 521) (l l1));
 
aa(22):='(((s3 (plus p4 p5) p16m v7 v8 v9 v1 v2 v3) (s11 (
plus p1 p2) p36m v13 v14) (s3 (plus (minus p1) (minus p2) (
minus p6)) p34m v10 v11 v12 v4 v5 v6) (108 p5 v3 v2 v1) (215
(plus p4 p5) (minus (plus (minus p1) (minus p2) (minus p6)))
v6 v5 v4 v9 v8 v7) (156 (plus p1 p2) (plus (minus p1) (minus
p2) (minus p6)) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 522) (l l1));
 
aa(23):='(((s3 (plus p3 p6) p16m v7 v8 v9 v1 v2 v3) (s11 (
plus p1 p2) p36m v13 v14) (s3 (plus (minus p1) (minus p2) (
minus p5)) p34m v10 v11 v12 v4 v5 v6) (108 p6 v3 v2 v1) (215
(plus p3 p6) (minus (plus (minus p1) (minus p2) (minus p5)))
v6 v5 v4 v9 v8 v7) (156 (plus p1 p2) (plus (minus p1) (minus
p2) (minus p5)) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 523) (l l1));
 
aa(24):='(((s3 (plus p3 p5) p16m v7 v8 v9 v1 v2 v3) (s11 (
plus p1 p2) p36m v13 v14) (s3 (plus (minus p1) (minus p2) (
minus p6)) p34m v10 v11 v12 v4 v5 v6) (108 p5 v3 v2 v1) (215
(plus p3 p5) (minus (plus (minus p1) (minus p2) (minus p6)))
v6 v5 v4 v9 v8 v7) (156 (plus p1 p2) (plus (minus p1) (minus
p2) (minus p6)) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 524) (l l1));
 
aa(25):='(((s3 (plus p4 p6) p14m v7 v8 v9 v1 v2 v3) (s11 (
plus p1 p2) p36m v13 v14) (s3 (plus (minus p1) (minus p2) (
minus p5)) p34m v10 v11 v12 v4 v5 v6) (109 p6 v3 v2 v1) (217
(plus p4 p6) (minus (plus (minus p1) (minus p2) (minus p5)))
v6 v5 v4 v9 v8 v7) (156 (plus p1 p2) (plus (minus p1) (minus
p2) (minus p5)) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 525) (l l1));
 
aa(26):='(((s3 (plus p4 p5) p14m v7 v8 v9 v1 v2 v3) (s11 (
plus p1 p2) p36m v13 v14) (s3 (plus (minus p1) (minus p2) (
minus p6)) p34m v10 v11 v12 v4 v5 v6) (109 p5 v3 v2 v1) (217
(plus p4 p5) (minus (plus (minus p1) (minus p2) (minus p6)))
v6 v5 v4 v9 v8 v7) (156 (plus p1 p2) (plus (minus p1) (minus
p2) (minus p6)) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 526) (l l1));
 
aa(27):='(((s3 (plus p3 p6) p14m v7 v8 v9 v1 v2 v3) (s11 (
plus p1 p2) p36m v13 v14) (s3 (plus (minus p1) (minus p2) (
minus p5)) p34m v10 v11 v12 v4 v5 v6) (109 p6 v3 v2 v1) (217
(plus p3 p6) (minus (plus (minus p1) (minus p2) (minus p5)))
v6 v5 v4 v9 v8 v7) (156 (plus p1 p2) (plus (minus p1) (minus
p2) (minus p5)) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 527) (l l1));
 
aa(28):='(((s3 (plus p3 p5) p14m v7 v8 v9 v1 v2 v3) (s11 (
plus p1 p2) p36m v13 v14) (s3 (plus (minus p1) (minus p2) (
minus p6)) p34m v10 v11 v12 v4 v5 v6) (109 p5 v3 v2 v1) (217
(plus p3 p5) (minus (plus (minus p1) (minus p2) (minus p6)))
v6 v5 v4 v9 v8 v7) (156 (plus p1 p2) (plus (minus p1) (minus
p2) (minus p6)) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 528) (l l1));
 
aa(29):='(((s11 (plus p1 p2) p36m v7 v8) (s3 (plus p3 p5) 
p14m v4 v5 v6 v1 v2 v3) (s0 (plus (minus p4) (minus p6)) p5m
) (23) (109 p5 v3 v2 v1) (169 (plus p1 p2) (plus p3 p5) v6 
v5 v4 v7)) (l1 (19 l1 v8)));
 
aaaa(29):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 529) (l l1));
 
aa(30):='(((s11 (plus p1 p2) p36m v7 v8) (s3 (plus p3 p6) 
p14m v4 v5 v6 v1 v2 v3) (s0 (plus (minus p4) (minus p5)) p5m
) (23) (109 p6 v3 v2 v1) (169 (plus p1 p2) (plus p3 p6) v6 
v5 v4 v7)) (l1 (19 l1 v8)));
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 530) (l l1));
 
aa(31):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p3 p6) 
p5m) (s3 (plus (minus p4) (minus p5)) p14m v1 v2 v3 v4 v5 v6
) (23) (109 p5 v3 v2 v1) (169 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v6 v5 v4 v7)) (l1 (19 l1 v8)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 531) (l l1));
 
aa(32):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p3 p5) 
p5m) (s3 (plus (minus p4) (minus p6)) p14m v1 v2 v3 v4 v5 v6
) (23) (109 p6 v3 v2 v1) (169 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v6 v5 v4 v7)) (l1 (19 l1 v8)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 532) (l l1));
 
aa(33):='(((s11 (plus p1 p2) p36m v9 v10) (s0 (plus p4 p6) 
p19m) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m v1 v2
v3 v4 v5 v6 v7 v8) (21) (171 (plus p4 p6) v4 v3 v2 v1) (197
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 533) (l l1));
 
aa(34):='(((s11 (plus p1 p2) p36m v9 v10) (s0 (plus p4 p5) 
p19m) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m v1 v2
v3 v4 v5 v6 v7 v8) (21) (171 (plus p4 p5) v4 v3 v2 v1) (197
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 534) (l l1));
 
aa(35):='(((s11 (plus p1 p2) p36m v9 v10) (s0 (plus p3 p6) 
p19m) (s4 (plus p1 p2 p4) p35m v1 v2 v3 v4 v5 v6 v7 v8) (21)
(171 (plus p3 p6) v4 v3 v2 v1) (197 (plus p1 p2) (minus (
plus p1 p2 p4)) v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 535) (l l1));
 
aa(36):='(((s11 (plus p1 p2) p36m v9 v10) (s0 (plus p3 p5) 
p19m) (s4 (plus p1 p2 p4) p35m v1 v2 v3 v4 v5 v6 v7 v8) (21)
(171 (plus p3 p5) v4 v3 v2 v1) (197 (plus p1 p2) (minus (
plus p1 p2 p4)) v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 536) (l l1));
 
aa(37):='(((s11 (plus p1 p2) p36m v9 v10) (s0 (plus p4 p6) 
p8m) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m v1 v2
v3 v4 v5 v6 v7 v8) (22) (173 (plus p4 p6) v4 v3 v2 v1) (197
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 537) (l l1));
 
aa(38):='(((s11 (plus p1 p2) p36m v9 v10) (s0 (plus p4 p5) 
p8m) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m v1 v2
v3 v4 v5 v6 v7 v8) (22) (173 (plus p4 p5) v4 v3 v2 v1) (197
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 538) (l l1));
 
aa(39):='(((s11 (plus p1 p2) p36m v9 v10) (s0 (plus p3 p6) 
p8m) (s4 (plus p1 p2 p4) p35m v1 v2 v3 v4 v5 v6 v7 v8) (22)
(173 (plus p3 p6) v4 v3 v2 v1) (197 (plus p1 p2) (minus (
plus p1 p2 p4)) v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 539) (l l1));
 
aa(40):='(((s11 (plus p1 p2) p36m v9 v10) (s0 (plus p3 p5) 
p8m) (s4 (plus p1 p2 p4) p35m v1 v2 v3 v4 v5 v6 v7 v8) (22)
(173 (plus p3 p5) v4 v3 v2 v1) (197 (plus p1 p2) (minus (
plus p1 p2 p4)) v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 540) (l l1));
 
aa(41):='(((s11 (plus p1 p2) p36m v9 v10) (s0 (plus p4 p6) 
p5m) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m v1 v2
v3 v4 v5 v6 v7 v8) (23) (175 (plus p4 p6) v4 v3 v2 v1) (197
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 541) (l l1));
 
aa(42):='(((s11 (plus p1 p2) p36m v9 v10) (s0 (plus p4 p5) 
p5m) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m v1 v2
v3 v4 v5 v6 v7 v8) (23) (175 (plus p4 p5) v4 v3 v2 v1) (197
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 542) (l l1));
 
aa(43):='(((s11 (plus p1 p2) p36m v9 v10) (s0 (plus p3 p6) 
p5m) (s4 (plus p1 p2 p4) p35m v1 v2 v3 v4 v5 v6 v7 v8) (23)
(175 (plus p3 p6) v4 v3 v2 v1) (197 (plus p1 p2) (minus (
plus p1 p2 p4)) v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 543) (l l1));
 
aa(44):='(((s11 (plus p1 p2) p36m v9 v10) (s0 (plus p3 p5) 
p5m) (s4 (plus p1 p2 p4) p35m v1 v2 v3 v4 v5 v6 v7 v8) (23)
(175 (plus p3 p5) v4 v3 v2 v1) (197 (plus p1 p2) (minus (
plus p1 p2 p4)) v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 544) (l l1));
 
aa(45):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p6)
p21m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (27 p6 v1) (200 (plus p4 p6) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 545) (l l1));
 
aa(46):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p5)
p21m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (27 p5 v1) (200 (plus p4 p5) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 546) (l l1));
 
aa(47):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p6)
p21m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 
v10) (27 p6 v1) (200 (plus p3 p6) (plus p1 p2 p4) v5 v4 v3 
v2 v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
v7 v11)) (l1 (19 l1 v12)));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 547) (l l1));
 
aa(48):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p5)
p21m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 
v10) (27 p5 v1) (200 (plus p3 p5) (plus p1 p2 p4) v5 v4 v3 
v2 v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
v7 v11)) (l1 (19 l1 v12)));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 548) (l l1));
 
aa(49):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p6)
p17m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (28 p6 v1) (202 (plus p4 p6) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 549) (l l1));
 
aa(50):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p5)
p17m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (28 p5 v1) (202 (plus p4 p5) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 550) (l l1));
 
aa(51):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p6)
p17m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 
v10) (28 p6 v1) (202 (plus p3 p6) (plus p1 p2 p4) v5 v4 v3 
v2 v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
v7 v11)) (l1 (19 l1 v12)));
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 551) (l l1));
 
aa(52):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p5)
p17m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 
v10) (28 p5 v1) (202 (plus p3 p5) (plus p1 p2 p4) v5 v4 v3 
v2 v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
v7 v11)) (l1 (19 l1 v12)));
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 552) (l l1));
 
aa(53):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p6)
p15m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (29 p6 v1) (204 (plus p4 p6) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 553) (l l1));
 
aa(54):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p5)
p15m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (29 p5 v1) (204 (plus p4 p5) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 554) (l l1));
 
aa(55):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p6)
p15m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 
v10) (29 p6 v1) (204 (plus p3 p6) (plus p1 p2 p4) v5 v4 v3 
v2 v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
v7 v11)) (l1 (19 l1 v12)));
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 555) (l l1));
 
aa(56):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p5)
p15m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 
v10) (29 p5 v1) (204 (plus p3 p5) (plus p1 p2 p4) v5 v4 v3 
v2 v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
v7 v11)) (l1 (19 l1 v12)));
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 556) (l l1));
 
aa(57):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p6)
p13m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (30 p6 v1) (206 (plus p4 p6) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 557) (l l1));
 
aa(58):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p5)
p13m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (30 p5 v1) (206 (plus p4 p5) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 558) (l l1));
 
aa(59):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p6)
p13m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 
v10) (30 p6 v1) (206 (plus p3 p6) (plus p1 p2 p4) v5 v4 v3 
v2 v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
v7 v11)) (l1 (19 l1 v12)));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 559) (l l1));
 
aa(60):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p5)
p13m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 
v10) (30 p5 v1) (206 (plus p3 p5) (plus p1 p2 p4) v5 v4 v3 
v2 v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
v7 v11)) (l1 (19 l1 v12)));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 560) (l l1));
 
aa(61):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p6)
p9m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (31 p6 v1) (208 (plus p4 p6) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 561) (l l1));
 
aa(62):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p5)
p9m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (31 p5 v1) (208 (plus p4 p5) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 562) (l l1));
 
aa(63):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p6)
p9m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 v10
) (31 p6 v1) (208 (plus p3 p6) (plus p1 p2 p4) v5 v4 v3 v2 
v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 v7 
v11)) (l1 (19 l1 v12)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 563) (l l1));
 
aa(64):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p5)
p9m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 v10
) (31 p5 v1) (208 (plus p3 p5) (plus p1 p2 p4) v5 v4 v3 v2 
v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 v7 
v11)) (l1 (19 l1 v12)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 564) (l l1));
 
aa(65):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p6)
p6m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (32 p6 v1) (210 (plus p4 p6) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 565) (l l1));
 
aa(66):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p5)
p6m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (32 p5 v1) (210 (plus p4 p5) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 566) (l l1));
 
aa(67):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p6)
p6m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 v10
) (32 p6 v1) (210 (plus p3 p6) (plus p1 p2 p4) v5 v4 v3 v2 
v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 v7 
v11)) (l1 (19 l1 v12)));
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 567) (l l1));
 
aa(68):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p5)
p6m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 v10
) (32 p5 v1) (210 (plus p3 p5) (plus p1 p2 p4) v5 v4 v3 v2 
v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 v7 
v11)) (l1 (19 l1 v12)));
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 568) (l l1));
 
aa(69):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p6)
p2m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (35 p6 v1) (212 (plus p4 p6) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 569) (l l1));
 
aa(70):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p4 p5)
p2m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p35m
v2 v3 v4 v5 v7 v8 v9 v10) (35 p5 v1) (212 (plus p4 p5) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (197 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 570) (l l1));
 
aa(71):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p6)
p2m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 v10
) (35 p6 v1) (212 (plus p3 p6) (plus p1 p2 p4) v5 v4 v3 v2 
v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 v7 
v11)) (l1 (19 l1 v12)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 571) (l l1));
 
aa(72):='(((s11 (plus p1 p2) p36m v11 v12) (s11 (plus p3 p5)
p2m v6 v1) (s4 (plus p1 p2 p4) p35m v2 v3 v4 v5 v7 v8 v9 v10
) (35 p5 v1) (212 (plus p3 p5) (plus p1 p2 p4) v5 v4 v3 v2 
v6) (197 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 v7 
v11)) (l1 (19 l1 v12)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 572) (l l1));
 
aa(73):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p6)
p23m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (54 p6 v2 v1) (221 (plus
p4 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 573) (l l1));
 
aa(74):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p5)
p23m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (54 p5 v2 v1) (221 (plus
p4 p5) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 574) (l l1));
 
aa(75):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p6)
p23m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (54 p6 v2 v1) (221 (plus p3 p6) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 575) (l l1));
 
aa(76):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p5)
p23m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (54 p5 v2 v1) (221 (plus p3 p5) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 576) (l l1));
 
aa(77):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p6)
p22m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (55 p6 v2 v1) (223 (plus
p4 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 577) (l l1));
 
aa(78):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p5)
p22m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (55 p5 v2 v1) (223 (plus
p4 p5) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 578) (l l1));
 
aa(79):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p6)
p22m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (55 p6 v2 v1) (223 (plus p3 p6) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 579) (l l1));
 
aa(80):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p5)
p22m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (55 p5 v2 v1) (223 (plus p3 p5) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 580) (l l1));
 
aa(81):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p6)
p20m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (56 p6 v2 v1) (225 (plus
p4 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(81):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 581) (l l1));
 
aa(82):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p5)
p20m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (56 p5 v2 v1) (225 (plus
p4 p5) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(82):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 582) (l l1));
 
aa(83):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p6)
p20m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (56 p6 v2 v1) (225 (plus p3 p6) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(83):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 583) (l l1));
 
aa(84):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p5)
p20m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (56 p5 v2 v1) (225 (plus p3 p5) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(84):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 584) (l l1));
 
aa(85):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p6)
p18m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (57 p6 v2 v1) (227 (plus
p4 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(85):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 585) (l l1));
 
aa(86):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p5)
p18m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (57 p5 v2 v1) (227 (plus
p4 p5) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(86):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 586) (l l1));
 
aa(87):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p6)
p18m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (57 p6 v2 v1) (227 (plus p3 p6) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(87):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 587) (l l1));
 
aa(88):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p5)
p18m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (57 p5 v2 v1) (227 (plus p3 p5) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(88):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 588) (l l1));
 
aa(89):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p6)
p12m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (58 p6 v2 v1) (229 (plus
p4 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 589) (l l1));
 
aa(90):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p5)
p12m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (58 p5 v2 v1) (229 (plus
p4 p5) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 590) (l l1));
 
aa(91):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p6)
p12m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (58 p6 v2 v1) (229 (plus p3 p6) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 591) (l l1));
 
aa(92):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p5)
p12m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (58 p5 v2 v1) (229 (plus p3 p5) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 592) (l l1));
 
aa(93):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p6)
p11m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (59 p6 v2 v1) (231 (plus
p4 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(93):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 593) (l l1));
 
aa(94):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p5)
p11m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (59 p5 v2 v1) (231 (plus
p4 p5) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(94):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 594) (l l1));
 
aa(95):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p6)
p11m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (59 p6 v2 v1) (231 (plus p3 p6) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(95):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 595) (l l1));
 
aa(96):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p5)
p11m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (59 p5 v2 v1) (231 (plus p3 p5) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(96):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 596) (l l1));
 
aa(97):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p6)
p10m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (60 p6 v2 v1) (233 (plus
p4 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(97):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 597) (l l1));
 
aa(98):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p5)
p10m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p35m v3 v4 v5 v6 v9 v10 v11 v12) (60 p5 v2 v1) (233 (plus
p4 p5) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(98):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 598) (l l1));
 
aa(99):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p6)
p10m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (60 p6 v2 v1) (233 (plus p3 p6) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(99):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 599) (l l1));
 
aa(100):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p5)
p10m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 
v10 v11 v12) (60 p5 v2 v1) (233 (plus p3 p5) (plus p1 p2 p4)
v6 v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4))
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(100):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 
v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 600) (l l1)
);
 
;end;
 
