aa(1):='(((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) (949 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(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1501) (l l2 l1));
 
aa(2):='(((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) (949 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(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1502) (l l2 l1));
 
aa(3):='(((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 v4 v5) (1047 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v7 v6 v5 v4 u3) (
sf5 l2 (plus p1 p2 p5) p22m v6 v7 v9 v10) (656 l2 p5 v11 v10
v9)) (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 1503) (l l2 l1));
 
aa(4):='(((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 v4 v5) (1047 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v7 v6 v5 v4 u4) (
sf5 l2 (plus p1 p2 p5) p22m v6 v7 v9 v10) (656 l2 p5 v11 v10
v9)) (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 1504) (l l2 l1));
 
aa(5):='(((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 v4 v5) (1053 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v6 v7 v5 v4) (
sf5 l2 (plus p1 p2 p5) p22m v6 v7 v9 v10) (656 l2 p5 v11 v10
v9)) (l1 (15 l1 v12)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1505) (l l2 l1));
 
aa(6):='(((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 v4 v5) (1053 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v6 v7 v5 v4) (
sf5 l2 (plus p1 p2 p5) p22m v6 v7 v9 v10) (656 l2 p5 v11 v10
v9)) (l1 (15 l1 v12)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1506) (l l2 l1));
 
aa(7):='(((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) (1060 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 u3 v6 v7 v5 v4) (sf5
l2 (plus p1 p2 p5) p22m v4 v5 v9 v10) (656 l2 p5 v11 v10 v9)
) (l1 (15 l1 v12)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1507) (l l2 l1));
 
aa(8):='(((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) (1060 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 u4 v6 v7 v5 v4) (sf5
l2 (plus p1 p2 p5) p22m v4 v5 v9 v10) (656 l2 p5 v11 v10 v9)
) (l1 (15 l1 v12)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1508) (l l2 l1));
 
aa(9):='(((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) (1062 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 v7 v6 v5 v4 u3) (sf5
l2 (plus p1 p2 p5) p22m v4 v5 v9 v10) (656 l2 p5 v11 v10 v9)
) (l1 (15 l1 v12)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1509) (l l2 l1));
 
aa(10):='(((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) (1062 l2 (plus p1 p2
p5) (minus (plus (minus p3) (minus p6))) p4 v7 v6 v5 v4 u4)
(sf5 l2 (plus p1 p2 p5) p22m v4 v5 v9 v10) (656 l2 p5 v11 
v10 v9)) (l1 (15 l1 v12)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1510) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (636 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(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1511) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (636 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(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1512) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (638 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(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1513) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (638 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(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1514) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (640 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(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1515) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (640 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(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1516) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (642 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(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1517) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (642 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(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1518) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (648 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(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1519) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (648 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(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1520) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (650 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(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1521) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (650 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(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1522) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (652 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(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1523) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (652 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(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1524) (l l2 l1));
 
aa(25):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (654 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(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1525) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (657 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v5 v6 v2 v3) (654 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(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1526) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (930 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p36m v5 v1) (292 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1
(15 l1 v10)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1527) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (930 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p36m v5 v1) (292 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1
(15 l1 v10)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1528) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (932 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p34m v5 v1) (318 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1529) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (932 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p34m v5 v1) (318 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1530) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (934 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(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1531) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (934 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(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1532) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (936 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(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1533) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (936 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(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1534) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (938 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(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1535) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (938 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(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1536) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (942 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(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1537) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (942 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(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1538) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (944 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(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1539) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (944 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(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1540) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (946 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(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1541) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (946 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(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1542) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (948 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(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1543) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (657 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p22m
v7 v8 v3 v4) (948 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(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1544) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (657 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p22m v9 v10 v6 v7) (1048 l2 (plus p4 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) p3 v7 v6 v5 v4 u3) (sf5 l2 (plus
p4 p5) p35m v4 v5 v1 v2) (606 l2 (minus (plus p4 p5)) p5 p4
v2 v1 u4)) (l1 (15 l1 v12)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1545) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (657 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p22m v9 v10 v6 v7) (1048 l2 (plus p3 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) p4 v7 v6 v5 v4 u4) (sf5 l2 (plus
p3 p5) p35m v4 v5 v1 v2) (606 l2 (minus (plus p3 p5)) p5 p3
v2 v1 u3)) (l1 (15 l1 v12)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1546) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (657 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p22m v9 v10 v6 v7) (1054 l2 (plus p4 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) p3 u3 v6 v7 v5 v4) (sf5 l2 (plus
p4 p5) p32m v4 v5 v1 v2) (632 l2 (minus (plus p4 p5)) p5 p4
u4 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1547) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (657 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p22m v9 v10 v6 v7) (1054 l2 (plus p3 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) p4 u4 v6 v7 v5 v4) (sf5 l2 (plus
p3 p5) p32m v4 v5 v1 v2) (632 l2 (minus (plus p3 p5)) p5 p3
u3 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1548) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (657 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p22m v9 v10 v4 v5) (1059 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(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1549) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (657 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p22m v9 v10 v4 v5) (1059 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(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1550) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (657 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p22m v9 v10 v4 v5) (1061 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(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1551) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (657 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p22m v9 v10 v4 v5) (1061 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(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1552) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (669 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p16m v2 v3 v5 v6) (682 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 1553) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (669 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p16m v2 v3 v5 v6) (682 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 1554) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (677 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p16m v2 v3 v5 v6) (682 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 1555) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (677 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p16m v2 v3 v5 v6) (682 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 1556) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (679 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p16m v2 v3 v5 v6) (682 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1557) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (679 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p16m v2 v3 v5 v6) (682 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1558) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (681 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p16m v2 v3 v5 v6) (682 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1559) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (681 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p16m v2 v3 v5 v6) (682 l2 p5 v7 v6 v5
)) (l1 (15 l1 v8)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1560) (l l2 l1));
 
aa(61):='(((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) (957 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p16m v3 v4 v7 v8) (682 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 1561) (l l2 l1));
 
aa(62):='(((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) (957 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p16m v3 v4 v7 v8) (682 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 1562) (l l2 l1));
 
aa(63):='(((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) (961 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p16m v3 v4 v7 v8) (682 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 1563) (l l2 l1));
 
aa(64):='(((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) (961 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p16m v3 v4 v7 v8) (682 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 1564) (l l2 l1));
 
aa(65):='(((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) (971 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p16m v3 v4 v7 v8) (682 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 1565) (l l2 l1));
 
aa(66):='(((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) (971 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p16m v3 v4 v7 v8) (682 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 1566) (l l2 l1));
 
aa(67):='(((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) (1064 l2 (plus p1 p2
p5) (minus (plus (minus p4) (minus p6))) p3 v7 v6 v5 v4 u3)
(sf5 l2 (plus p1 p2 p5) p16m v4 v5 v9 v10) (682 l2 p5 v11 
v10 v9)) (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 1567) (l l2 l1));
 
aa(68):='(((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) (1064 l2 (plus p1 p2
p5) (minus (plus (minus p3) (minus p6))) p4 v7 v6 v5 v4 u4)
(sf5 l2 (plus p1 p2 p5) p16m v4 v5 v9 v10) (682 l2 p5 v11 
v10 v9)) (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 1568) (l l2 l1));
 
aa(69):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (683 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v5 v6 v2 v3) (668 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(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1569) (l l2 l1));
 
aa(70):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (683 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v5 v6 v2 v3) (668 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(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1570) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (683 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v5 v6 v2 v3) (676 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(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1571) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (683 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v5 v6 v2 v3) (676 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(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1572) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (683 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v5 v6 v2 v3) (678 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(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1573) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (683 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v5 v6 v2 v3) (678 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(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1574) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (683 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v5 v6 v2 v3) (680 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(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1575) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (683 l2 p6 v7
v6 v5) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v5 v6 v2 v3) (680 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(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1576) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (683 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v7 v8 v3 v4) (956 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(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1577) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (683 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v7 v8 v3 v4) (956 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(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1578) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (683 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v7 v8 v3 v4) (960 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(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1579) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (683 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v7 v8 v3 v4) (960 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(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1580) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (683 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v7 v8 v3 v4) (970 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(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1581) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (683 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p16m
v7 v8 v3 v4) (970 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(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1582) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (683 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p16m v9 v10 v4 v5) (1063 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(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1583) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (683 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p16m v9 v10 v4 v5) (1063 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(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1584) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (695 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p15m v2 v3 v5 v6) (708 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1585) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (695 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p15m v2 v3 v5 v6) (708 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1586) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (703 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p15m v2 v3 v5 v6) (708 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1587) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (703 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p15m v2 v3 v5 v6) (708 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1588) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (705 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p15m v2 v3 v5 v6) (708 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1589) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (705 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p15m v2 v3 v5 v6) (708 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1590) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (707 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p15m v2 v3 v5 v6) (708 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1591) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (707 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p15m v2 v3 v5 v6) (708 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1592) (l l2 l1));
 
aa(93):='(((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) (979 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p15m v3 v4 v7 v8) (708 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1593) (l l2 l1));
 
aa(94):='(((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) (979 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p15m v3 v4 v7 v8) (708 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1594) (l l2 l1));
 
aa(95):='(((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) (983 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p15m v3 v4 v7 v8) (708 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1595) (l l2 l1));
 
aa(96):='(((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) (983 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p15m v3 v4 v7 v8) (708 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1596) (l l2 l1));
 
aa(97):='(((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) (993 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p15m v3 v4 v7 v8) (708 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1597) (l l2 l1));
 
aa(98):='(((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) (993 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p15m v3 v4 v7 v8) (708 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1598) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (709 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p15m
v5 v6 v2 v3) (694 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v2 v3) (sf l2 (plus p4 p5) 
p28m) (182 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1599) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (709 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p15m
v5 v6 v2 v3) (694 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v2 v3) (sf l2 (plus p3 p5) 
p28m) (182 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v3 v2) (ijk 1600) (l l2 l1));
 
;end;
 
