aa(1):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (339 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p29m v2 v4) (342 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 901) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (339 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p29m v2 v4) (342 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 902) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (341 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p29m v2 v4) (342 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 903) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (341 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p29m v2 v4) (342 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 904) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (373 l2 (plus (
minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p27m v1 v4) (747 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p29m v3 v6) (342 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 905) (l l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (373 l2 (plus (
minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p27m v1 v4) (747 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p29m v3 v6) (342 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 906) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus (
minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v4) (751 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p29m v3 v6) (342 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 907) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus (
minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v4) (751 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p29m v3 v6) (342 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 908) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (515 l2 (plus (
minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p17m v1 v4) (759 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p29m v3 v6) (342 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 909) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (515 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p17m v1 v4) (759 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p29m v3 v6) (342 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 910) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p12m v1 v4) (761 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p29m v3 v6) (342 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 911) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p12m v1 v4) (761 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p29m v3 v6) (342 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 912) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (954 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p29m v6 v8) (342 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 913) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (954 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p29m v6 v8) (342 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 914) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (976 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v6 v5 v4 u3) (sf3
l2 (plus p1 p2 p5) p29m v6 v8) (342 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 915) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (976 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v6 v5 v4 u4) (sf3
l2 (plus p1 p2 p5) p29m v6 v8) (342 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 916) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (343 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v4
v2) (328 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p28m) (182 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 917) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (343 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v4
v2) (328 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p28m) (182 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 918) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (343 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v4
v2) (336 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p14m) (228 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 919) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (343 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v4
v2) (336 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p14m) (228 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 920) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (343 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v4
v2) (338 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p13m) (237 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 921) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (343 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v4
v2) (338 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p13m) (237 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 922) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (343 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v4
v2) (340 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p11m) (242 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 923) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (343 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v4
v2) (340 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p11m) (242 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 924) (l l2 l1));
 
aa(25):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (343 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v6
v3) (746 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p27m v4 v1) (
372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 925) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (343 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v6
v3) (746 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p27m v4 v1) (
372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 926) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (343 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v6
v3) (750 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p26m v4 v1) (
410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 927) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (343 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v6
v3) (750 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p26m v4 v1) (
410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 928) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (343 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v6
v3) (758 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p17m v4 v1) (
514 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 929) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (343 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v6
v3) (758 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p17m v4 v1) (
514 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 930) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (343 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v6
v3) (760 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p12m v4 v1) (
544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 931) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (343 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v6
v3) (760 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p12m v4 v1) (
544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 932) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (343 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v8
v6) (955 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v6 v5 v4) (sf5 l2 (plus p4 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 933) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (343 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v8
v6) (955 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v6 v5 v4) (sf5 l2 (plus p3 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 934) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (343 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v8
v6) (977 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v6 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 v10)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 935) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (343 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p29m v8
v6) (977 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v6 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 v10)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 936) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (373 l2 (plus
(minus p3) (minus p6)) p6 p3 v2 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p27m v2 v4) (366 l2 (plus p4 p5) v4 v5) (sf l2 (
plus p4 p5) p11m) (242 l2 p4 u4)) (l1 (15 l1 v6)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 937) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (373 l2 (plus
(minus p4) (minus p6)) p6 p4 v2 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p27m v2 v4) (366 l2 (plus p3 p5) v4 v5) (sf l2 (
plus p3 p5) p11m) (242 l2 p3 u3)) (l1 (15 l1 v6)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 938) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (367 l2 (minus (
plus (minus p4) (minus p6))) v4 v5) (sf3 l2 (plus p3 p5) 
p27m v4 v2) (372 l2 (minus (plus p3 p5)) p5 p3 v2 u3)) (l1 (
15 l1 v6)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 939) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (367 l2 (minus (
plus (minus p3) (minus p6))) v4 v5) (sf3 l2 (plus p4 p5) 
p27m v4 v2) (372 l2 (minus (plus p4 p5)) p5 p4 v2 u4)) (l1 (
15 l1 v6)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 940) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (365 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p27m v2 v4) (370 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 941) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (365 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p27m v2 v4) (370 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 942) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (369 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p27m v2 v4) (370 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 943) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (369 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p27m v2 v4) (370 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 944) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v4) (765 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p27m v3 v6) (370 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 945) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v4) (765 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p27m v3 v6) (370 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 946) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p12m v1 v4) (775 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p27m v3 v6) (370 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 947) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p12m v1 v4) (775 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p27m v3 v6) (370 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 948) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (371 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p27m v4
v2) (364 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p13m) (237 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 949) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (371 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p27m v4
v2) (364 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p13m) (237 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 950) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (371 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p27m v4
v2) (368 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p11m) (242 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 951) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (371 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p27m v4
v2) (368 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p11m) (242 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 952) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (371 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p27m v6
v3) (764 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p26m v4 v1) (
410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 953) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (371 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p27m v6
v3) (764 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p26m v4 v1) (
410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 954) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (371 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p27m v6
v3) (774 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p12m v4 v1) (
544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 955) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (371 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p27m v6
v3) (774 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p12m v4 v1) (
544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 956) (l l2 l1));
 
aa(57):='(((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 v4) (380 l2 (plus p3 p5) v4 v5) (sf l2 (
plus p3 p5) p30m) (164 l2 p3 u3)) (l1 (15 l1 v6)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 957) (l l2 l1));
 
aa(58):='(((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 v4) (380 l2 (plus p4 p5) v4 v5) (sf l2 (
plus p4 p5) p30m) (164 l2 p4 u4)) (l1 (15 l1 v6)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 958) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (381 l2 (minus (
plus (minus p3) (minus p6))) v4 v5) (sf3 l2 (plus p4 p5) 
p26m v4 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (
15 l1 v6)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 959) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (381 l2 (minus (
plus (minus p4) (minus p6))) v4 v5) (sf3 l2 (plus p3 p5) 
p26m v4 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (
15 l1 v6)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 960) (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 v4) (384 l2 (plus p3 p5) v5 v4) (sf l2 (
plus p3 p5) p28m) (182 l2 p3 u3)) (l1 (15 l1 v6)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 961) (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 v4) (384 l2 (plus p4 p5) v5 v4) (sf l2 (
plus p4 p5) p28m) (182 l2 p4 u4)) (l1 (15 l1 v6)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 962) (l l2 l1));
 
aa(63):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (385 l2 (minus (
plus (minus p3) (minus p6))) v5 v4) (sf3 l2 (plus p4 p5) 
p26m v4 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (
15 l1 v6)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 963) (l l2 l1));
 
aa(64):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (385 l2 (minus (
plus (minus p4) (minus p6))) v5 v4) (sf3 l2 (plus p3 p5) 
p26m v4 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (
15 l1 v6)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 964) (l l2 l1));
 
aa(65):='(((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 v4) (392 l2 (plus p3 p5) v4 v5) (sf l2 (
plus p3 p5) p18m) (218 l2 p3 u3)) (l1 (15 l1 v6)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 965) (l l2 l1));
 
aa(66):='(((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 v4) (392 l2 (plus p4 p5) v4 v5) (sf l2 (
plus p4 p5) p18m) (218 l2 p4 u4)) (l1 (15 l1 v6)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 966) (l l2 l1));
 
aa(67):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (393 l2 (minus (
plus (minus p3) (minus p6))) v4 v5) (sf3 l2 (plus p4 p5) 
p26m v4 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (
15 l1 v6)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 967) (l l2 l1));
 
aa(68):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (393 l2 (minus (
plus (minus p4) (minus p6))) v4 v5) (sf3 l2 (plus p3 p5) 
p26m v4 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (
15 l1 v6)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 968) (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 v4) (396 l2 (plus p3 p5) v5 v4) (sf l2 (
plus p3 p5) p14m) (228 l2 p3 u3)) (l1 (15 l1 v6)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 969) (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 v4) (396 l2 (plus p4 p5) v5 v4) (sf l2 (
plus p4 p5) p14m) (228 l2 p4 u4)) (l1 (15 l1 v6)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 970) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (397 l2 (minus (
plus (minus p3) (minus p6))) v5 v4) (sf3 l2 (plus p4 p5) 
p26m v4 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (
15 l1 v6)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 971) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (397 l2 (minus (
plus (minus p4) (minus p6))) v5 v4) (sf3 l2 (plus p3 p5) 
p26m v4 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (
15 l1 v6)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 972) (l l2 l1));
 
aa(73):='(((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 v4) (400 l2 (plus p3 p5) v5 v4) (sf l2 (
plus p3 p5) p13m) (237 l2 p3 u3)) (l1 (15 l1 v6)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 973) (l l2 l1));
 
aa(74):='(((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 v4) (400 l2 (plus p4 p5) v5 v4) (sf l2 (
plus p4 p5) p13m) (237 l2 p4 u4)) (l1 (15 l1 v6)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 974) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (401 l2 (minus (
plus (minus p3) (minus p6))) v5 v4) (sf3 l2 (plus p4 p5) 
p26m v4 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (
15 l1 v6)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 975) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (401 l2 (minus (
plus (minus p4) (minus p6))) v5 v4) (sf3 l2 (plus p3 p5) 
p26m v4 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (
15 l1 v6)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 976) (l l2 l1));
 
aa(77):='(((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 v4) (404 l2 (plus p3 p5) v4 v5) (sf l2 (
plus p3 p5) p11m) (242 l2 p3 u3)) (l1 (15 l1 v6)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 977) (l l2 l1));
 
aa(78):='(((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 v4) (404 l2 (plus p4 p5) v4 v5) (sf l2 (
plus p4 p5) p11m) (242 l2 p4 u4)) (l1 (15 l1 v6)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 978) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (405 l2 (minus (
plus (minus p3) (minus p6))) v4 v5) (sf3 l2 (plus p4 p5) 
p26m v4 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (
15 l1 v6)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 979) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (405 l2 (minus (
plus (minus p4) (minus p6))) v4 v5) (sf3 l2 (plus p3 p5) 
p26m v4 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (
15 l1 v6)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 980) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (127 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p33m) (415 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 981) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (127 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p33m) (415 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 982) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (147 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p31m) (417 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 983) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (147 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p31m) (417 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 984) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (419 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 985) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (419 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 986) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (421 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 987) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (421 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 988) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (427 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 989) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (427 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 990) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (429 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 991) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (429 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 992) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (431 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 993) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (431 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 994) (l l2 l1));
 
aa(95):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (433 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 995) (l l2 l1));
 
aa(96):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (433 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p23m v2 v4) (434 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 996) (l l2 l1));
 
aa(97):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (293 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p36m v1 v3) (720 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v4 v3) (sf3 l2 (plus p1 p2
p5) p23m v4 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 997) (l l2 l1));
 
aa(98):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (293 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p36m v1 v3) (720 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v4 v3) (sf3 l2 (plus p1 p2
p5) p23m v4 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 998) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (319 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p34m v1 v3) (736 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v4 v3 u3) (sf3 l2 (plus p1 p2
p5) p23m v4 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 999) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (319 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p34m v1 v3) (736 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v4 v3 u4) (sf3 l2 (plus p1 p2
p5) p23m v4 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v4 v3 v1) (ijk 1000) (l l2 l1));
 
;end;
 
