aa(1):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (605 l2 p6 
v10 v9 v11) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p35m v9 v10 v4 v5) (1049 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p4 p5) p3 v7 v6 v5 v4 u3) (sf5 l2 (
plus p4 p5) p16m v6 v7 v1 v2) (684 l2 (minus (plus p4 p5)) 
p5 p4 u4 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1401) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (605 l2 p6 
v10 v9 v11) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p35m v9 v10 v4 v5) (1049 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p3 p5) p4 v7 v6 v5 v4 u4) (sf5 l2 (
plus p3 p5) p16m v6 v7 v1 v2) (684 l2 (minus (plus p3 p5)) 
p5 p3 u3 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1402) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (605 l2 p6 
v10 v9 v11) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p35m v9 v10 v4 v5) (1051 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p4 p5) p3 u3 v6 v7 v5 v4) (sf5 l2 (
plus p4 p5) p15m v6 v7 v1 v2) (710 l2 (minus (plus p4 p5)) 
p5 p4 v2 v1 u4)) (l1 (15 l1 v12)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1403) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (605 l2 p6 
v10 v9 v11) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p35m v9 v10 v4 v5) (1051 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p3 p5) p4 u4 v6 v7 v5 v4) (sf5 l2 (
plus p3 p5) p15m v6 v7 v1 v2) (710 l2 (minus (plus p3 p5)) 
p5 p3 v2 v1 u3)) (l1 (15 l1 v12)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1404) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (147 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p31m) (613 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1405) (l l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (147 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p31m) (613 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1406) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (615 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1407) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (615 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1408) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (617 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1409) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (617 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1410) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (623 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1411) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (623 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1412) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (625 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1413) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (625 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1414) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (627 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1415) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (627 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1416) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (629 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1417) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (629 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p32m v2 v3 v5 v6) (630 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1418) (l l2 l1));
 
aa(19):='(((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) (915 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1419) (l l2 l1));
 
aa(20):='(((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) (915 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1420) (l l2 l1));
 
aa(21):='(((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) (917 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1421) (l l2 l1));
 
aa(22):='(((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) (917 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1422) (l l2 l1));
 
aa(23):='(((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) (919 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1423) (l l2 l1));
 
aa(24):='(((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) (919 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1424) (l l2 l1));
 
aa(25):='(((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) (923 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1425) (l l2 l1));
 
aa(26):='(((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) (923 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1426) (l l2 l1));
 
aa(27):='(((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) (925 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1427) (l l2 l1));
 
aa(28):='(((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) (925 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1428) (l l2 l1));
 
aa(29):='(((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) (927 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1429) (l l2 l1));
 
aa(30):='(((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) (927 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1430) (l l2 l1));
 
aa(31):='(((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) (929 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1431) (l l2 l1));
 
aa(32):='(((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) (929 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p32m v3 v4 v7 v8) (630 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1432) (l l2 l1));
 
aa(33):='(((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) (1056 l2 (plus p1 p2
p5) (minus (plus (minus p4) (minus p6))) p3 u3 v6 v7 v5 v4)
(sf5 l2 (plus p1 p2 p5) p32m v4 v5 v9 v10) (630 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1433) (l l2 l1));
 
aa(34):='(((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) (1056 l2 (plus p1 p2
p5) (minus (plus (minus p3) (minus p6))) p4 u4 v6 v7 v5 v4)
(sf5 l2 (plus p1 p2 p5) p32m v4 v5 v9 v10) (630 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1434) (l l2 l1));
 
aa(35):='(((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) (1058 l2 (plus p1 p2
p5) (minus (plus (minus p4) (minus p6))) p3 v7 v6 v5 v4 u3)
(sf5 l2 (plus p1 p2 p5) p32m v4 v5 v9 v10) (630 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1435) (l l2 l1));
 
aa(36):='(((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) (1058 l2 (plus p1 p2
p5) (minus (plus (minus p3) (minus p6))) p4 v7 v6 v5 v4 u4)
(sf5 l2 (plus p1 p2 p5) p32m v4 v5 v9 v10) (630 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1436) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (612 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(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1437) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (612 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(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1438) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (614 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(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1439) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (614 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(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1440) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (616 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(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1441) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (616 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(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1442) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (622 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(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1443) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (622 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(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1444) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (624 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(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1445) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (624 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(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1446) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (626 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(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1447) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (626 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(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1448) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (628 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(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1449) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (631 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (628 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(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1450) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (914 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p29m v5 v1) (344 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1
(15 l1 v10)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1451) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (914 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p29m v5 v1) (344 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1
(15 l1 v10)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1452) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (916 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p27m v5 v1) (372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1453) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (916 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p27m v5 v1) (372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1454) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (918 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p26m v5 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1455) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (918 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p26m v5 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1456) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (922 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p20m v5 v1) (462 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1457) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (922 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p20m v5 v1) (462 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1458) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (924 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p19m v5 v1) (488 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1459) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (924 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p19m v5 v1) (488 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1460) (l l2 l1));
 
aa(61):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (926 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p17m v5 v1) (514 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1
(15 l1 v10)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1461) (l l2 l1));
 
aa(62):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (926 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p17m v5 v1) (514 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1
(15 l1 v10)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1462) (l l2 l1));
 
aa(63):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (928 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p12m v5 v1) (544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1
(15 l1 v10)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1463) (l l2 l1));
 
aa(64):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (631 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p32m
v7 v8 v3 v4) (928 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p12m v5 v1) (544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1
(15 l1 v10)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1464) (l l2 l1));
 
aa(65):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (631 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p32m v9 v10 v4 v5) (1055 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p4 p5) p3 u3 v6 v7 v5 v4) (sf5 l2 (
plus p4 p5) p16m v6 v7 v1 v2) (684 l2 (minus (plus p4 p5)) 
p5 p4 u4 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1465) (l l2 l1));
 
aa(66):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (631 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p32m v9 v10 v4 v5) (1055 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p3 p5) p4 u4 v6 v7 v5 v4) (sf5 l2 (
plus p3 p5) p16m v6 v7 v1 v2) (684 l2 (minus (plus p3 p5)) 
p5 p3 u3 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1466) (l l2 l1));
 
aa(67):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (631 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p32m v9 v10 v4 v5) (1057 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p4 p5) p3 v7 v6 v5 v4 u3) (sf5 l2 (
plus p4 p5) p15m v6 v7 v1 v2) (710 l2 (minus (plus p4 p5)) 
p5 p4 v2 v1 u4)) (l1 (15 l1 v12)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1467) (l l2 l1));
 
aa(68):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (631 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p32m v9 v10 v4 v5) (1057 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p3 p5) p4 v7 v6 v5 v4 u4) (sf5 l2 (
plus p3 p5) p15m v6 v7 v1 v2) (710 l2 (minus (plus p3 p5)) 
p5 p3 v2 v1 u3)) (l1 (15 l1 v12)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1468) (l l2 l1));
 
aa(69):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (127 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p33m) (637 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1469) (l l2 l1));
 
aa(70):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (127 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p33m) (637 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1470) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (147 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p31m) (639 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1471) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (147 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p31m) (639 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1472) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (641 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1473) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (641 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1474) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (643 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1475) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (643 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1476) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (649 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1477) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (649 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1478) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (651 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1479) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (651 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1480) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (653 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1481) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (653 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1482) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (655 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1483) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (655 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p22m v2 v3 v5 v6) (656 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1484) (l l2 l1));
 
aa(85):='(((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) (931 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1485) (l l2 l1));
 
aa(86):='(((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) (931 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1486) (l l2 l1));
 
aa(87):='(((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) (933 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1487) (l l2 l1));
 
aa(88):='(((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) (933 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1488) (l l2 l1));
 
aa(89):='(((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) (935 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1489) (l l2 l1));
 
aa(90):='(((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) (935 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1490) (l l2 l1));
 
aa(91):='(((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) (937 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1491) (l l2 l1));
 
aa(92):='(((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) (937 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1492) (l l2 l1));
 
aa(93):='(((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) (939 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1493) (l l2 l1));
 
aa(94):='(((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) (939 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1494) (l l2 l1));
 
aa(95):='(((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) (943 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1495) (l l2 l1));
 
aa(96):='(((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) (943 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1496) (l l2 l1));
 
aa(97):='(((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) (945 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1497) (l l2 l1));
 
aa(98):='(((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) (945 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1498) (l l2 l1));
 
aa(99):='(((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) (947 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1 (15 l1 v10))
);
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1499) (l l2 l1));
 
aa(100):='(((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) (947 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2
(plus p1 p2 p5) p22m v3 v4 v7 v8) (656 l2 p5 v9 v8 v7)) (l1
(15 l1 v10)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v5 v4 v3 v1) (ijk 1500) (l l2 l1));
 
;end;
 
