aa(1):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (186 l2 p3 u3) (sf l2 (plus p4 p5) p18m) (218 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 501) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (186 l2 p4 u4) (sf l2 (plus p3 p5) p18m) (218 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 502) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (188 l2 p3 u3) (sf l2 (plus p4 p5) p14m) (228 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 503) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (188 l2 p4 u4) (sf l2 (plus p3 p5) p14m) (228 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 504) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (190 l2 p3 u3) (sf l2 (plus p4 p5) p13m) (237 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 505) (l l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (190 l2 p4 u4) (sf l2 (plus p3 p5) p13m) (237 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 506) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (192 l2 p3 u3) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 507) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (192 l2 p4 u4) (sf l2 (plus p3 p5) p11m) (242 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 508) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (279 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p36m v3 v1) (
292 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 509) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (279 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p36m v3 v1) (
292 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 510) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (305 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p34m v3 v1) (
318 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 511) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (305 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p34m v3 v1) (
318 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 512) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (331 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p29m v3 v1) (
344 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 513) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (331 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p29m v3 v1) (
344 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 514) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (357 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p27m v3 v1) (
372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 515) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (357 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p27m v3 v1) (
372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 516) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (389 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p26m v3 v1) (
410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 517) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (389 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p26m v3 v1) (
410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 518) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (423 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p23m v3 v1) (
436 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 519) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (423 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p23m v3 v1) (
436 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 520) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (449 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p20m v3 v1) (
462 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 521) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (449 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p20m v3 v1) (
462 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 522) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (475 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p19m v3 v1) (
488 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 523) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (475 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p19m v3 v1) (
488 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 524) (l l2 l1));
 
aa(25):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (501 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p17m v3 v1) (
514 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 525) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (501 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p17m v3 v1) (
514 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 526) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (527 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p12m v3 v1) (
544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 527) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (195 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (527 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p12m v3 v1) (
544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 528) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (195 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (567 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v4 v5) (sf5 l2 (plus p4 p5) p38m v4 v5
v1 v2) (580 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 529) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (195 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (567 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v4 v5) (sf5 l2 (plus p3 p5) p38m v4 v5
v1 v2) (580 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 530) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (195 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (593 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v5 v4 u3) (sf5 l2 (plus p4 p5) p35m v4 v5
v1 v2) (606 l2 (minus (plus p4 p5)) p5 p4 v2 v1 u4)) (l1 (15
l1 v8)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 531) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (195 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (593 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v5 v4 u4) (sf5 l2 (plus p3 p5) p35m v4 v5
v1 v2) (606 l2 (minus (plus p3 p5)) p5 p3 v2 v1 u3)) (l1 (15
l1 v8)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 532) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (195 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (619 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v4 v5) (sf5 l2 (plus p4 p5) p32m v4 v5
v1 v2) (632 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 533) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (195 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (619 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v4 v5) (sf5 l2 (plus p3 p5) p32m v4 v5
v1 v2) (632 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 534) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (195 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (645 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v4 v5) (sf5 l2 (plus p4 p5) p22m v4 v5
v1 v2) (658 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 535) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (195 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (645 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v4 v5) (sf5 l2 (plus p3 p5) p22m v4 v5
v1 v2) (658 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 536) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (195 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (671 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v4 v5) (sf5 l2 (plus p4 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 537) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (195 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (671 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v4 v5) (sf5 l2 (plus p3 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 538) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (195 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (697 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v5 v4 u3) (sf5 l2 (plus p4 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p4 p5)) p5 p4 v2 v1 u4)) (l1 (15
l1 v8)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 539) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (195 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (697 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v5 v4 u4) (sf5 l2 (plus p3 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p3 p5)) p5 p3 v2 v1 u3)) (l1 (15
l1 v8)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 540) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (195 l2 (plus
p1 p2) v9) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (829 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v7 v6 v5 u3) (sf7 l2 (plus p4 p5) p37m v5
v6 v7 v1 v2 v3) (842 l2 (minus (plus p4 p5)) p5 p4 v3 v2 v1
u4)) (l1 (15 l1 v10)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 541) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (195 l2 (plus
p1 p2) v9) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (829 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v7 v6 v5 u4) (sf7 l2 (plus p3 p5) p37m v5
v6 v7 v1 v2 v3) (842 l2 (minus (plus p3 p5)) p5 p3 v3 v2 v1
u3)) (l1 (15 l1 v10)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 542) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (195 l2 (plus
p1 p2) v9) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (855 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v7 v6 v5 u3) (sf7 l2 (plus p4 p5) p21m v5
v6 v7 v1 v2 v3) (868 l2 (minus (plus p4 p5)) p5 p4 v3 v2 v1
u4)) (l1 (15 l1 v10)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 543) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (195 l2 (plus
p1 p2) v9) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (855 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v7 v6 v5 u4) (sf7 l2 (plus p3 p5) p21m v5
v6 v7 v1 v2 v3) (868 l2 (minus (plus p3 p5)) p5 p3 v3 v2 v1
u3)) (l1 (15 l1 v10)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 544) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (127 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p33m) (114 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 545) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (127 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p33m) (114 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 546) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (147 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p31m) (134 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 547) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (147 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p31m) (134 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 548) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (152 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 549) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (152 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 550) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (168 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 551) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (168 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 552) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (199 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 553) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (199 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 554) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (201 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 555) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (201 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 556) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (203 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 557) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (203 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 558) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (205 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 559) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (205 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 560) (l l2 l1));
 
aa(61):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (293 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p36m v1 v3) (280 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 561) (l l2 l1));
 
aa(62):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (293 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p36m v1 v3) (280 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 562) (l l2 l1));
 
aa(63):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (319 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p34m v1 v3) (306 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 563) (l l2 l1));
 
aa(64):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (319 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p34m v1 v3) (306 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 564) (l l2 l1));
 
aa(65):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (345 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p29m v1 v3) (332 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 565) (l l2 l1));
 
aa(66):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (345 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p29m v1 v3) (332 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 566) (l l2 l1));
 
aa(67):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (373 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p27m v1 v3) (358 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 567) (l l2 l1));
 
aa(68):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (373 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p27m v1 v3) (358 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 568) (l l2 l1));
 
aa(69):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v3) (390 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 569) (l l2 l1));
 
aa(70):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v3) (390 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 570) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (437 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p23m v1 v3) (424 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 571) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (437 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p23m v1 v3) (424 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 572) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (463 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p20m v1 v3) (450 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 573) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (463 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p20m v1 v3) (450 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 574) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (489 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p19m v1 v3) (476 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 575) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (489 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p19m v1 v3) (476 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 576) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (515 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p17m v1 v3) (502 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 577) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (515 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p17m v1 v3) (502 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 578) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (545 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p12m v1 v3) (528 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 579) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (545 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p12m v1 v3) (528 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p24m) (206 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 580) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (581 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (minus
p4) (minus p6)) p38m v1 v2 v4 v5) (568 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 581) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (581 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (minus
p3) (minus p6)) p38m v1 v2 v4 v5) (568 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 582) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (607 l2 (plus
(minus p4) (minus p6)) p6 p4 v2 v1 u4) (sf5 l2 (plus (minus
p4) (minus p6)) p35m v1 v2 v4 v5) (594 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v4 v5) (sf l2 (
plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 583) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (607 l2 (plus
(minus p3) (minus p6)) p6 p3 v2 v1 u3) (sf5 l2 (plus (minus
p3) (minus p6)) p35m v1 v2 v4 v5) (594 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v4 v5) (sf l2 (
plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 584) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (633 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (minus
p4) (minus p6)) p32m v1 v2 v4 v5) (620 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 585) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (633 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (minus
p3) (minus p6)) p32m v1 v2 v4 v5) (620 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 586) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (659 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (minus
p4) (minus p6)) p22m v1 v2 v4 v5) (646 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 587) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (659 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (minus
p3) (minus p6)) p22m v1 v2 v4 v5) (646 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 588) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (685 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (minus
p4) (minus p6)) p16m v1 v2 v4 v5) (672 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 589) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (685 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (minus
p3) (minus p6)) p16m v1 v2 v4 v5) (672 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 590) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (711 l2 (plus
(minus p4) (minus p6)) p6 p4 v2 v1 u4) (sf5 l2 (plus (minus
p4) (minus p6)) p15m v1 v2 v4 v5) (698 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v4 v5) (sf l2 (
plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 591) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (711 l2 (plus
(minus p3) (minus p6)) p6 p3 v2 v1 u3) (sf5 l2 (plus (minus
p3) (minus p6)) p15m v1 v2 v4 v5) (698 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v4 v5) (sf l2 (
plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 592) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (843 l2 (plus
(minus p4) (minus p6)) p6 p4 v3 v2 v1 u4) (sf7 l2 (plus (
minus p4) (minus p6)) p37m v1 v2 v3 v5 v6 v7) (830 l2 (minus
(plus (minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v5 v7 v6
) (sf l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v9)) (l1
(15 l1 v10)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 593) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (843 l2 (plus
(minus p3) (minus p6)) p6 p3 v3 v2 v1 u3) (sf7 l2 (plus (
minus p3) (minus p6)) p37m v1 v2 v3 v5 v6 v7) (830 l2 (minus
(plus (minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v5 v7 v6
) (sf l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v9)) (l1
(15 l1 v10)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 594) (l l2 l1));
 
aa(95):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (869 l2 (plus
(minus p4) (minus p6)) p6 p4 v3 v2 v1 u4) (sf7 l2 (plus (
minus p4) (minus p6)) p21m v1 v2 v3 v5 v6 v7) (856 l2 (minus
(plus (minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v5 v7 v6
) (sf l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v9)) (l1
(15 l1 v10)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 595) (l l2 l1));
 
aa(96):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (869 l2 (plus
(minus p3) (minus p6)) p6 p3 v3 v2 v1 u3) (sf7 l2 (plus (
minus p3) (minus p6)) p21m v1 v2 v3 v5 v6 v7) (856 l2 (minus
(plus (minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v5 v7 v6
) (sf l2 (plus p1 p2 p5) p24m) (206 l2 (plus p1 p2) v9)) (l1
(15 l1 v10)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 596) (l l2 l1));
 
aa(97):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (115 l2 p3 u3) (sf l2 (plus p4 p5) p33m) (126 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 597) (l l2 l1));
 
aa(98):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (115 l2 p4 u4) (sf l2 (plus p3 p5) p33m) (126 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 598) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (135 l2 p3 u3) (sf l2 (plus p4 p5) p31m) (146 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 599) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (135 l2 p4 u4) (sf l2 (plus p3 p5) p31m) (146 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3)
(ijk 600) (l l2 l1));
 
;end;
 
