aa(1):='(((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) (812 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p17m v3 v6) (512 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1201) (l l2 l1));
 
aa(2):='(((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) (812 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p17m v3 v6) (512 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1202) (l l2 l1));
 
aa(3):='(((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) (968 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p17m v6 v8) (512 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v6 v5 v4 v2 v1) (ijk 1203) (l l2 l1));
 
aa(4):='(((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) (968 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p17m v6 v8) (512 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v6 v5 v4 v2 v1) (ijk 1204) (l l2 l1));
 
aa(5):='(((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) (990 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v6 v5 v4 u3) (sf3
l2 (plus p1 p2 p5) p17m v6 v8) (512 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v6 v5 v4 v2 v1) (ijk 1205) (l l2 l1));
 
aa(6):='(((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) (990 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v6 v5 v4 u4) (sf3
l2 (plus p1 p2 p5) p17m v6 v8) (512 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v6 v5 v4 v2 v1) (ijk 1206) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (513 l2 p6 v5 
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v4
v2) (498 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(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1207) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (513 l2 p6 v5 
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v4
v2) (498 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(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1208) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (513 l2 p6 v5 
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v4
v2) (506 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(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1209) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (513 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v4
v2) (506 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(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1210) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (513 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v4
v2) (508 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(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1211) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (513 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v4
v2) (508 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(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1212) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (513 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v4
v2) (510 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(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1213) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (513 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v4
v2) (510 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(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1214) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (513 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v6
v4) (773 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p27m v3 v1) (
372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1215) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (513 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v6
v4) (773 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p27m v3 v1) (
372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1216) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (513 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v6
v4) (788 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p26m v3 v1) (
410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1217) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (513 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v6
v4) (788 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p26m v3 v1) (
410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1218) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (513 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v6
v3) (811 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(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1219) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (513 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v6
v3) (811 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(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1220) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (513 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v8
v6) (969 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(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1221) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (513 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v8
v6) (969 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(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1222) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (513 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v8
v6) (991 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(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1223) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (513 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p17m v8
v6) (991 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(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1224) (l l2 l1));
 
aa(25):='(((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 v4) (534 l2 (plus p3 p5) v4 v5) (sf l2 (
plus p3 p5) p13m) (237 l2 p3 u3)) (l1 (15 l1 v6)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 1225) (l l2 l1));
 
aa(26):='(((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 v4) (534 l2 (plus p4 p5) v4 v5) (sf l2 (
plus p4 p5) p13m) (237 l2 p4 u4)) (l1 (15 l1 v6)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v1) (ijk 1226) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (535 l2 (minus (
plus (minus p3) (minus p6))) v4 v5) (sf3 l2 (plus p4 p5) 
p12m v4 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 v4
v1) (ijk 1227) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (535 l2 (minus (
plus (minus p4) (minus p6))) v4 v5) (sf3 l2 (plus p3 p5) 
p12m v4 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 v4
v1) (ijk 1228) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (545 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v2) (sf3 l2 (plus (minus p3)
(minus p6)) p12m v2 v4) (538 l2 (plus p4 p5) v5 v4) (sf l2 (
plus p4 p5) p11m) (242 l2 p4 u4)) (l1 (15 l1 v6)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1229) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (545 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v2) (sf3 l2 (plus (minus p4)
(minus p6)) p12m v2 v4) (538 l2 (plus p3 p5) v5 v4) (sf l2 (
plus p3 p5) p11m) (242 l2 p3 u3)) (l1 (15 l1 v6)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1230) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (539 l2 (minus (
plus (minus p4) (minus p6))) v5 v4) (sf3 l2 (plus p3 p5) 
p12m v4 v2) (544 l2 (minus (plus p3 p5)) p5 p3 u3 v2)) (l1 (
15 l1 v6)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1231) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (539 l2 (minus (
plus (minus p3) (minus p6))) v5 v4) (sf3 l2 (plus p4 p5) 
p12m v4 v2) (544 l2 (minus (plus p4 p5)) p5 p4 u4 v2)) (l1 (
15 l1 v6)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1232) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (541 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p12m v2 v4) (542 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1233) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (541 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p12m v2 v4) (542 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1234) (l l2 l1));
 
aa(35):='(((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 v3) (791 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v4 v3 u3) (sf3 l2 (plus p1 p2
p5) p12m v4 v6) (542 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1235) (l l2 l1));
 
aa(36):='(((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 v3) (791 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v4 v3 u4) (sf3 l2 (plus p1 p2
p5) p12m v4 v6) (542 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1236) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (543 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p12m v4
v2) (540 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(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1237) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (543 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p12m v4
v2) (540 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(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1238) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (543 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p12m v6
v4) (792 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p26m v3 v1) (
410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1239) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (543 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p12m v6
v4) (792 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p26m v3 v1) (
410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1240) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (127 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p33m) (559 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1241) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (127 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p33m) (559 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1242) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (147 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p31m) (561 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1243) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (147 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p31m) (561 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1244) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (563 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1245) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (563 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1246) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (565 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1247) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (565 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1248) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (571 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1249) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (571 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1250) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (573 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1251) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (573 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1252) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (575 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1253) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (575 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1254) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (577 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1255) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (577 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p38m v2 v3 v5 v6) (578 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1256) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (293 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p36m v1 v5) (871 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1257) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (293 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p36m v1 v5) (871 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1258) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (319 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p34m v1 v5) (873 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1259) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (319 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p34m v1 v5) (873 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1260) (l l2 l1));
 
aa(61):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (345 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p29m v1 v5) (875 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1261) (l l2 l1));
 
aa(62):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (345 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p29m v1 v5) (875 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1262) (l l2 l1));
 
aa(63):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (373 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p27m v1 v5) (877 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1263) (l l2 l1));
 
aa(64):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (373 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p27m v1 v5) (877 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1264) (l l2 l1));
 
aa(65):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v5) (879 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1265) (l l2 l1));
 
aa(66):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v5) (879 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1266) (l l2 l1));
 
aa(67):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (463 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p20m v1 v5) (883 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1267) (l l2 l1));
 
aa(68):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (463 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p20m v1 v5) (883 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1268) (l l2 l1));
 
aa(69):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (489 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p19m v1 v5) (885 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1269) (l l2 l1));
 
aa(70):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (489 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p19m v1 v5) (885 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1270) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (515 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p17m v1 v5) (887 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1271) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (515 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p17m v1 v5) (887 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1272) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (545 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p12m v1 v5) (889 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1273) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (545 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p12m v1 v5) (889 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p38m v3 v4 v7 v8) (578 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1274) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (607 l2 (
plus (minus p4) (minus p6)) p6 p4 v2 v1 u4) (sf5 l2 (plus (
minus p4) (minus p6)) p35m v1 v2 v6 v7) (1036 l2 (plus p1 p2
p5) (minus (plus (minus p4) (minus p6))) p3 v7 v6 v5 v4 u3)
(sf5 l2 (plus p1 p2 p5) p38m v4 v5 v9 v10) (578 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1275) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (607 l2 (
plus (minus p3) (minus p6)) p6 p3 v2 v1 u3) (sf5 l2 (plus (
minus p3) (minus p6)) p35m v1 v2 v6 v7) (1036 l2 (plus p1 p2
p5) (minus (plus (minus p3) (minus p6))) p4 v7 v6 v5 v4 u4)
(sf5 l2 (plus p1 p2 p5) p38m v4 v5 v9 v10) (578 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1276) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (633 l2 (
plus (minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (
minus p4) (minus p6)) p32m v1 v2 v6 v7) (1038 l2 (plus p1 p2
p5) (minus (plus (minus p4) (minus p6))) p3 u3 v6 v7 v5 v4)
(sf5 l2 (plus p1 p2 p5) p38m v4 v5 v9 v10) (578 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1277) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (633 l2 (
plus (minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (
minus p3) (minus p6)) p32m v1 v2 v6 v7) (1038 l2 (plus p1 p2
p5) (minus (plus (minus p3) (minus p6))) p4 u4 v6 v7 v5 v4)
(sf5 l2 (plus p1 p2 p5) p38m v4 v5 v9 v10) (578 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1278) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (659 l2 (
plus (minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (
minus p4) (minus p6)) p22m v1 v2 v6 v7) (1040 l2 (plus p1 p2
p5) (minus (plus (minus p4) (minus p6))) p3 u3 v6 v7 v5 v4)
(sf5 l2 (plus p1 p2 p5) p38m v4 v5 v9 v10) (578 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1279) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (659 l2 (
plus (minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (
minus p3) (minus p6)) p22m v1 v2 v6 v7) (1040 l2 (plus p1 p2
p5) (minus (plus (minus p3) (minus p6))) p4 u4 v6 v7 v5 v4)
(sf5 l2 (plus p1 p2 p5) p38m v4 v5 v9 v10) (578 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1280) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (685 l2 (
plus (minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (
minus p4) (minus p6)) p16m v1 v2 v6 v7) (1042 l2 (plus p1 p2
p5) (minus (plus (minus p4) (minus p6))) p3 u3 v6 v7 v5 v4)
(sf5 l2 (plus p1 p2 p5) p38m v4 v5 v9 v10) (578 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1281) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (685 l2 (
plus (minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (
minus p3) (minus p6)) p16m v1 v2 v6 v7) (1042 l2 (plus p1 p2
p5) (minus (plus (minus p3) (minus p6))) p4 u4 v6 v7 v5 v4)
(sf5 l2 (plus p1 p2 p5) p38m v4 v5 v9 v10) (578 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1282) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (711 l2 (
plus (minus p4) (minus p6)) p6 p4 v2 v1 u4) (sf5 l2 (plus (
minus p4) (minus p6)) p15m v1 v2 v6 v7) (1044 l2 (plus p1 p2
p5) (minus (plus (minus p4) (minus p6))) p3 v7 v6 v5 v4 u3)
(sf5 l2 (plus p1 p2 p5) p38m v4 v5 v9 v10) (578 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1283) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (711 l2 (
plus (minus p3) (minus p6)) p6 p3 v2 v1 u3) (sf5 l2 (plus (
minus p3) (minus p6)) p15m v1 v2 v6 v7) (1044 l2 (plus p1 p2
p5) (minus (plus (minus p3) (minus p6))) p4 v7 v6 v5 v4 u4)
(sf5 l2 (plus p1 p2 p5) p38m v4 v5 v9 v10) (578 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1284) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (558 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v2 v3) (sf l2 (plus p4 p5) 
p33m) (126 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1285) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (558 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v2 v3) (sf l2 (plus p3 p5) 
p33m) (126 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1286) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (560 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v3 v2 u3) (sf l2 (plus p4 p5) 
p31m) (146 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1287) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (560 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v3 v2 u4) (sf l2 (plus p3 p5) 
p31m) (146 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1288) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (562 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v2 v3) (sf l2 (plus p4 p5) 
p30m) (164 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1289) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (562 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v2 v3) (sf l2 (plus p3 p5) 
p30m) (164 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1290) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (564 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v3 v2 u3) (sf l2 (plus p4 p5) 
p28m) (182 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1291) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (564 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v3 v2 u4) (sf l2 (plus p3 p5) 
p28m) (182 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1292) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (570 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v2 v3) (sf l2 (plus p4 p5) 
p18m) (218 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1293) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (570 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v2 v3) (sf l2 (plus p3 p5) 
p18m) (218 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1294) (l l2 l1));
 
aa(95):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (572 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v3 v2 u3) (sf l2 (plus p4 p5) 
p14m) (228 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1295) (l l2 l1));
 
aa(96):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (572 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v3 v2 u4) (sf l2 (plus p3 p5) 
p14m) (228 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1296) (l l2 l1));
 
aa(97):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (574 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v3 v2 u3) (sf l2 (plus p4 p5) 
p13m) (237 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1297) (l l2 l1));
 
aa(98):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (574 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v3 v2 u4) (sf l2 (plus p3 p5) 
p13m) (237 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1298) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (576 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v2 v3) (sf l2 (plus p4 p5) 
p11m) (242 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1299) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (579 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v5 v6 v2 v3) (576 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v2 v3) (sf l2 (plus p3 p5) 
p11m) (242 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v3 v2) (ijk 1300) (l l2 l1));
 
;end;
 
