aa(1):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (153 l2 p3 u3) (sf l2 (plus p4 p5) p30m) (164 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 601) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (153 l2 p4 u4) (sf l2 (plus p3 p5) p30m) (164 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 602) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (169 l2 p3 u3) (sf l2 (plus p4 p5) p28m) (182 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 603) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (169 l2 p4 u4) (sf l2 (plus p3 p5) p28m) (182 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 604) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (198 l2 p3 u3) (sf l2 (plus p4 p5) p18m) (218 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 605) (l l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (198 l2 p4 u4) (sf l2 (plus p3 p5) p18m) (218 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 606) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (200 l2 p3 u3) (sf l2 (plus p4 p5) p14m) (228 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 607) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (200 l2 p4 u4) (sf l2 (plus p3 p5) p14m) (228 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 608) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (202 l2 p3 u3) (sf l2 (plus p4 p5) p13m) (237 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 609) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (202 l2 p4 u4) (sf l2 (plus p3 p5) p13m) (237 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 610) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (204 l2 p3 u3) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 611) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (207 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (204 l2 p4 u4) (sf l2 (plus p3 p5) p11m) (242 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 612) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (281 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p36m v3 v1) (
292 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 613) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (281 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p36m v3 v1) (
292 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 614) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (307 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p34m v3 v1) (
318 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 615) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (307 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p34m v3 v1) (
318 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 616) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (333 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p29m v3 v1) (
344 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 617) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (333 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p29m v3 v1) (
344 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 618) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (359 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p27m v3 v1) (
372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 619) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (359 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p27m v3 v1) (
372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 620) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (391 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p26m v3 v1) (
410 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 621) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (391 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p26m v3 v1) (
410 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 622) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (425 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p23m v3 v1) (
436 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 623) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (425 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p23m v3 v1) (
436 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 624) (l l2 l1));
 
aa(25):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (451 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p20m v3 v1) (
462 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 625) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (451 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p20m v3 v1) (
462 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 626) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (477 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p19m v3 v1) (
488 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 627) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (477 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p19m v3 v1) (
488 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 628) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (503 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p17m v3 v1) (
514 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 629) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (503 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p17m v3 v1) (
514 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 630) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (529 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p12m v3 v1) (
544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 631) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (207 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (529 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p12m v3 v1) (
544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 632) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (207 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (569 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v5 v4 u3) (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(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 633) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (207 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (569 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v5 v4 u4) (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(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 634) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (207 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (595 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v4 v5) (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(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 635) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (207 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (595 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v4 v5) (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(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 636) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (207 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (621 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v5 v4 u3) (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(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 637) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (207 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (621 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v5 v4 u4) (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(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 638) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (207 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (647 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v5 v4 u3) (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(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 639) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (207 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (647 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v5 v4 u4) (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(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 640) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (207 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (673 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v5 v4 u3) (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(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 641) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (207 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (673 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v5 v4 u4) (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(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 642) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (207 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (699 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v4 v5) (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(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 643) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (207 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (699 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v4 v5) (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(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 644) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (207 l2 (plus
p1 p2) v9) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (831 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v5 v7 v6) (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(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 645) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (207 l2 (plus
p1 p2) v9) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (831 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v5 v7 v6) (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(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 646) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (207 l2 (plus
p1 p2) v9) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (857 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v5 v7 v6) (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(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 647) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (207 l2 (plus
p1 p2) v9) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p24m) (857 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v5 v7 v6) (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(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 648) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (170 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p18m) (216 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 649) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (170 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p18m) (216 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 650) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (211 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p18m) (216 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 651) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (211 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p18m) (216 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 652) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (213 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p18m) (216 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 653) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (213 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p18m) (216 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 654) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (215 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p18m) (216 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 655) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (215 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p18m) (216 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 656) (l l2 l1));
 
aa(57):='(((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) (334 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p18m) (216 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 657) (l l2 l1));
 
aa(58):='(((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) (334 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p18m) (216 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 658) (l l2 l1));
 
aa(59):='(((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) (360 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p18m) (216 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 659) (l l2 l1));
 
aa(60):='(((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) (360 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p18m) (216 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 660) (l l2 l1));
 
aa(61):='(((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) (394 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p18m) (216 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 661) (l l2 l1));
 
aa(62):='(((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) (394 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p18m) (216 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 662) (l l2 l1));
 
aa(63):='(((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) (504 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p18m) (216 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 663) (l l2 l1));
 
aa(64):='(((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) (504 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p18m) (216 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 664) (l l2 l1));
 
aa(65):='(((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) (530 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p18m) (216 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 665) (l l2 l1));
 
aa(66):='(((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) (530 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p18m) (216 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 666) (l l2 l1));
 
aa(67):='(((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) (674 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v4 v5) (sf l2 (
plus p1 p2 p5) p18m) (216 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 667) (l l2 l1));
 
aa(68):='(((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) (674 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v4 v5) (sf l2 (
plus p1 p2 p5) p18m) (216 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 668) (l l2 l1));
 
aa(69):='(((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) (700 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p18m) (216 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 669) (l l2 l1));
 
aa(70):='(((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) (700 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p18m) (216 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 670) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (217 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (171 l2 p3 u3) (sf l2 (plus p4 p5) p28m) (182 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 671) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (217 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (171 l2 p4 u4) (sf l2 (plus p3 p5) p28m) (182 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 672) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (217 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (210 l2 p3 u3) (sf l2 (plus p4 p5) p14m) (228 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 673) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (217 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (210 l2 p4 u4) (sf l2 (plus p3 p5) p14m) (228 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 674) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (217 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (212 l2 p3 u3) (sf l2 (plus p4 p5) p13m) (237 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 675) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (217 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (212 l2 p4 u4) (sf l2 (plus p3 p5) p13m) (237 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 676) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (217 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (214 l2 p3 u3) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 677) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (217 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (214 l2 p4 u4) (sf l2 (plus p3 p5) p11m) (242 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 678) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (217 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (335 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(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 679) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (217 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (335 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(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 680) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (217 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (361 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(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 681) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (217 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (361 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(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 682) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (217 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (395 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(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 683) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (217 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (395 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(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 684) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (217 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (505 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(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 685) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (217 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (505 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(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 686) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (217 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (531 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(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 687) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (217 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (531 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(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 688) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (217 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (675 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(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 689) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (217 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (675 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(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 690) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (217 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (701 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(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 691) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (217 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p18m) (701 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(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 692) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (222 l2 (plus p1 
p2) v3) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4)) (l1 (15 l1
v4)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 693) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (222 l2 (plus p1 
p2) v3) (sf l2 (plus p3 p5) p11m) (242 l2 p3 u3)) (l1 (15 l1
v4)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 694) (l l2 l1));
 
aa(95):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (223 l2 (plus p1 
p2) v3) (sf l2 (plus p3 p5) p14m) (228 l2 p3 u3)) (l1 (15 l1
v4)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 695) (l l2 l1));
 
aa(96):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (223 l2 (plus p1 
p2) v3) (sf l2 (plus p4 p5) p14m) (228 l2 p4 u4)) (l1 (15 l1
v4)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 696) (l l2 l1));
 
aa(97):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (172 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p14m) (226 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 697) (l l2 l1));
 
aa(98):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (172 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p14m) (226 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 698) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (221 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p14m) (226 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 699) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p13m) (221 l2 p4 u4) (
sf l2 (plus p1 p2 p5) p14m) (226 l2 (plus p1 p2) v3)) (l1 (
15 l1 v4)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3)
(ijk 700) (l l2 l1));
 
;end;
 
