aa(1):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (841 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p37m v8 v9 v10 v3 v4 v5) (1011 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p4 p5) p3 v6 v5 v4 v3 u3) (sf3
l2 (plus p4 p5) p17m v6 v1) (514 l2 (minus (plus p4 p5)) p5
p4 u4 v1)) (l1 (15 l1 v12)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1701) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (841 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p37m v8 v9 v10 v3 v4 v5) (1011 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p3 p5) p4 v6 v5 v4 v3 u4) (sf3
l2 (plus p3 p5) p17m v6 v1) (514 l2 (minus (plus p3 p5)) p5
p3 u3 v1)) (l1 (15 l1 v12)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1702) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (841 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p37m v8 v9 v10 v3 v4 v5) (1013 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p4 p5) p3 v6 v5 v4 v3 u3) (sf3
l2 (plus p4 p5) p12m v6 v1) (544 l2 (minus (plus p4 p5)) p5
p4 u4 v1)) (l1 (15 l1 v12)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1703) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (841 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p37m v8 v9 v10 v3 v4 v5) (1013 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p3 p5) p4 v6 v5 v4 v3 u4) (sf3
l2 (plus p3 p5) p12m v6 v1) (544 l2 (minus (plus p3 p5)) p5
p3 u3 v1)) (l1 (15 l1 v12)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1704) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (127 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p33m) (847 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v4 v3 v2 u3)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v6 v4 v3 v2) (ijk 1705) (l l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (127 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p33m) (847 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v4 v3 v2 u4)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v6 v4 v3 v2) (ijk 1706) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (147 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p31m) (849 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v6 v4 v3 v2) (ijk 1707) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (147 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p31m) (849 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v6 v4 v3 v2) (ijk 1708) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (851 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v4 v3 v2 u3)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v6 v4 v3 v2) (ijk 1709) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (165 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p30m) (851 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v4 v3 v2 u4)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1710) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (183 l2 p4 u4
) (sf l2 (plus (minus p4) (minus p6)) p28m) (853 l2 (plus p1
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1711) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (183 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p28m) (853 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1712) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (219 l2 p4 u4
) (sf l2 (plus (minus p4) (minus p6)) p18m) (859 l2 (plus p1
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v4 v3 v2 u3)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1713) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (219 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p18m) (859 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v4 v3 v2 u4)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1714) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (229 l2 p4 u4
) (sf l2 (plus (minus p4) (minus p6)) p14m) (861 l2 (plus p1
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1715) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (229 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p14m) (861 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1716) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (238 l2 p4 u4
) (sf l2 (plus (minus p4) (minus p6)) p13m) (863 l2 (plus p1
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1717) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (238 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p13m) (863 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1718) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (243 l2 p4 u4
) (sf l2 (plus (minus p4) (minus p6)) p11m) (865 l2 (plus p1
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v4 v3 v2 u3)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1719) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (243 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p11m) (865 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v4 v3 v2 u4)
(sf7 l2 (plus p1 p2 p5) p21m v2 v3 v4 v6 v7 v8) (866 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1720) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (293 l2 (
plus (minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (
minus p4) (minus p6)) p36m v1 v6) (1016 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 v6 v5 v4 v3 u3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1721) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (293 l2 (
plus (minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (
minus p3) (minus p6)) p36m v1 v6) (1016 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 v6 v5 v4 v3 u4) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1722) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (319 l2 (
plus (minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (
minus p4) (minus p6)) p34m v1 v6) (1018 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 u3 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1723) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (319 l2 (
plus (minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (
minus p3) (minus p6)) p34m v1 v6) (1018 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 u4 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1724) (l l2 l1));
 
aa(25):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (345 l2 (
plus (minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (
minus p4) (minus p6)) p29m v1 v6) (1020 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 v6 v5 v4 v3 u3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1725) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (345 l2 (
plus (minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (
minus p3) (minus p6)) p29m v1 v6) (1020 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 v6 v5 v4 v3 u4) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1726) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (373 l2 (
plus (minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (
minus p4) (minus p6)) p27m v1 v6) (1022 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 u3 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1727) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (373 l2 (
plus (minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (
minus p3) (minus p6)) p27m v1 v6) (1022 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 u4 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1728) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (411 l2 (
plus (minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (
minus p4) (minus p6)) p26m v1 v6) (1024 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 u3 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1729) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (411 l2 (
plus (minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (
minus p3) (minus p6)) p26m v1 v6) (1024 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 u4 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1730) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (463 l2 (
plus (minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (
minus p4) (minus p6)) p20m v1 v6) (1028 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 u3 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1731) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (463 l2 (
plus (minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (
minus p3) (minus p6)) p20m v1 v6) (1028 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 u4 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1732) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (489 l2 (
plus (minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (
minus p4) (minus p6)) p19m v1 v6) (1030 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 u3 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1733) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (489 l2 (
plus (minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (
minus p3) (minus p6)) p19m v1 v6) (1030 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 u4 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1734) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (515 l2 (
plus (minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (
minus p4) (minus p6)) p17m v1 v6) (1032 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 v6 v5 v4 v3 u3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1735) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (515 l2 (
plus (minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (
minus p3) (minus p6)) p17m v1 v6) (1032 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 v6 v5 v4 v3 u4) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1736) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (545 l2 (
plus (minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (
minus p4) (minus p6)) p12m v1 v6) (1034 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 v6 v5 v4 v3 u3) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1737) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (545 l2 (
plus (minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (
minus p3) (minus p6)) p12m v1 v6) (1034 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 v6 v5 v4 v3 u4) (sf7
l2 (plus p1 p2 p5) p21m v3 v4 v5 v8 v9 v10) (866 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1738) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (846 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p4 p5) p3 v4 v3 v2 u3) (sf l2 (
plus p4 p5) p33m) (126 l2 p4 u4)) (l1 (15 l1 v10)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1739) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (846 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p3 p5) p4 v4 v3 v2 u4) (sf l2 (
plus p3 p5) p33m) (126 l2 p3 u3)) (l1 (15 l1 v10)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1740) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (848 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p4 p5) p3 u3 v2 v4 v3) (sf l2 (
plus p4 p5) p31m) (146 l2 p4 u4)) (l1 (15 l1 v10)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1741) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (848 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p3 p5) p4 u4 v2 v4 v3) (sf l2 (
plus p3 p5) p31m) (146 l2 p3 u3)) (l1 (15 l1 v10)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1742) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (850 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p4 p5) p3 v4 v3 v2 u3) (sf l2 (
plus p4 p5) p30m) (164 l2 p4 u4)) (l1 (15 l1 v10)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1743) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (850 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p3 p5) p4 v4 v3 v2 u4) (sf l2 (
plus p3 p5) p30m) (164 l2 p3 u3)) (l1 (15 l1 v10)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1744) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (852 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p4 p5) p3 u3 v2 v4 v3) (sf l2 (
plus p4 p5) p28m) (182 l2 p4 u4)) (l1 (15 l1 v10)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1745) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (852 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p3 p5) p4 u4 v2 v4 v3) (sf l2 (
plus p3 p5) p28m) (182 l2 p3 u3)) (l1 (15 l1 v10)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1746) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (858 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p4 p5) p3 v4 v3 v2 u3) (sf l2 (
plus p4 p5) p18m) (218 l2 p4 u4)) (l1 (15 l1 v10)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1747) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (858 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p3 p5) p4 v4 v3 v2 u4) (sf l2 (
plus p3 p5) p18m) (218 l2 p3 u3)) (l1 (15 l1 v10)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1748) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (860 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p4 p5) p3 u3 v2 v4 v3) (sf l2 (
plus p4 p5) p14m) (228 l2 p4 u4)) (l1 (15 l1 v10)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1749) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (860 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p3 p5) p4 u4 v2 v4 v3) (sf l2 (
plus p3 p5) p14m) (228 l2 p3 u3)) (l1 (15 l1 v10)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1750) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (862 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p4 p5) p3 u3 v2 v4 v3) (sf l2 (
plus p4 p5) p13m) (237 l2 p4 u4)) (l1 (15 l1 v10)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1751) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (862 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p3 p5) p4 u4 v2 v4 v3) (sf l2 (
plus p3 p5) p13m) (237 l2 p3 u3)) (l1 (15 l1 v10)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1752) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (864 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p4 p5) p3 v4 v3 v2 u3) (sf l2 (
plus p4 p5) p11m) (242 l2 p4 u4)) (l1 (15 l1 v10)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1753) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (867 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p21m v6 v7 v8 v2 v3 v4) (864 l2 (minus (plus (minus p1) (
minus p2) (minus p6))) (plus p3 p5) p4 v4 v3 v2 u4) (sf l2 (
plus p3 p5) p11m) (242 l2 p3 u3)) (l1 (15 l1 v10)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1754) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1015 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p4 p5) p3 v6 v5 v4 v3 u3) (sf3
l2 (plus p4 p5) p36m v6 v1) (292 l2 (minus (plus p4 p5)) p5
p4 u4 v1)) (l1 (15 l1 v12)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1755) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1015 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p3 p5) p4 v6 v5 v4 v3 u4) (sf3
l2 (plus p3 p5) p36m v6 v1) (292 l2 (minus (plus p3 p5)) p5
p3 u3 v1)) (l1 (15 l1 v12)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1756) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1017 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p4 p5) p3 u3 v6 v5 v4 v3) (sf3
l2 (plus p4 p5) p34m v6 v1) (318 l2 (minus (plus p4 p5)) p5
p4 v1 u4)) (l1 (15 l1 v12)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1757) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1017 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p3 p5) p4 u4 v6 v5 v4 v3) (sf3
l2 (plus p3 p5) p34m v6 v1) (318 l2 (minus (plus p3 p5)) p5
p3 v1 u3)) (l1 (15 l1 v12)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1758) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1019 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p4 p5) p3 v6 v5 v4 v3 u3) (sf3
l2 (plus p4 p5) p29m v6 v1) (344 l2 (minus (plus p4 p5)) p5
p4 u4 v1)) (l1 (15 l1 v12)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1759) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1019 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p3 p5) p4 v6 v5 v4 v3 u4) (sf3
l2 (plus p3 p5) p29m v6 v1) (344 l2 (minus (plus p3 p5)) p5
p3 u3 v1)) (l1 (15 l1 v12)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1760) (l l2 l1));
 
aa(61):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1021 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p4 p5) p3 u3 v6 v5 v4 v3) (sf3
l2 (plus p4 p5) p27m v6 v1) (372 l2 (minus (plus p4 p5)) p5
p4 v1 u4)) (l1 (15 l1 v12)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1761) (l l2 l1));
 
aa(62):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1021 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p3 p5) p4 u4 v6 v5 v4 v3) (sf3
l2 (plus p3 p5) p27m v6 v1) (372 l2 (minus (plus p3 p5)) p5
p3 v1 u3)) (l1 (15 l1 v12)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1762) (l l2 l1));
 
aa(63):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1023 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p4 p5) p3 u3 v6 v5 v4 v3) (sf3
l2 (plus p4 p5) p26m v6 v1) (410 l2 (minus (plus p4 p5)) p5
p4 v1 u4)) (l1 (15 l1 v12)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1763) (l l2 l1));
 
aa(64):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1023 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p3 p5) p4 u4 v6 v5 v4 v3) (sf3
l2 (plus p3 p5) p26m v6 v1) (410 l2 (minus (plus p3 p5)) p5
p3 v1 u3)) (l1 (15 l1 v12)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1764) (l l2 l1));
 
aa(65):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1027 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p4 p5) p3 u3 v6 v5 v4 v3) (sf3
l2 (plus p4 p5) p20m v6 v1) (462 l2 (minus (plus p4 p5)) p5
p4 v1 u4)) (l1 (15 l1 v12)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1765) (l l2 l1));
 
aa(66):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1027 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p3 p5) p4 u4 v6 v5 v4 v3) (sf3
l2 (plus p3 p5) p20m v6 v1) (462 l2 (minus (plus p3 p5)) p5
p3 v1 u3)) (l1 (15 l1 v12)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1766) (l l2 l1));
 
aa(67):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1029 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p4 p5) p3 u3 v6 v5 v4 v3) (sf3
l2 (plus p4 p5) p19m v6 v1) (488 l2 (minus (plus p4 p5)) p5
p4 v1 u4)) (l1 (15 l1 v12)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1767) (l l2 l1));
 
aa(68):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1029 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p3 p5) p4 u4 v6 v5 v4 v3) (sf3
l2 (plus p3 p5) p19m v6 v1) (488 l2 (minus (plus p3 p5)) p5
p3 v1 u3)) (l1 (15 l1 v12)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1768) (l l2 l1));
 
aa(69):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1031 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p4 p5) p3 v6 v5 v4 v3 u3) (sf3
l2 (plus p4 p5) p17m v6 v1) (514 l2 (minus (plus p4 p5)) p5
p4 u4 v1)) (l1 (15 l1 v12)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1769) (l l2 l1));
 
aa(70):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1031 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p3 p5) p4 v6 v5 v4 v3 u4) (sf3
l2 (plus p3 p5) p17m v6 v1) (514 l2 (minus (plus p3 p5)) p5
p3 u3 v1)) (l1 (15 l1 v12)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1770) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1033 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p4 p5) p3 v6 v5 v4 v3 u3) (sf3
l2 (plus p4 p5) p12m v6 v1) (544 l2 (minus (plus p4 p5)) p5
p4 u4 v1)) (l1 (15 l1 v12)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1771) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (867 l2 p6 
v10 v9 v8 v11) (sf7 l2 (plus (minus p1) (minus p2) (minus p6
)) p21m v8 v9 v10 v3 v4 v5) (1033 l2 (minus (plus (minus p1)
(minus p2) (minus p6))) (plus p3 p5) p4 v6 v5 v4 v3 u4) (sf3
l2 (plus p3 p5) p12m v6 v1) (544 l2 (minus (plus p3 p5)) p5
p3 u3 v1)) (l1 (15 l1 v12)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1772) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (685 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v3 v4) (sf5 l2 (plus (minus
p3) (minus p6)) p16m v3 v4 v6 v7) (958 l2 (plus p1 p2) (plus
p4 p5) v8 v7 v6 v9) (sf3 l2 (plus p4 p5) p26m v8 v1) (410 l2
(minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v10)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v1) (ijk 1773) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (685 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v3 v4) (sf5 l2 (plus (minus
p4) (minus p6)) p16m v3 v4 v6 v7) (958 l2 (plus p1 p2) (plus
p3 p5) v8 v7 v6 v9) (sf3 l2 (plus p3 p5) p26m v8 v1) (410 l2
(minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v10)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v1) (ijk 1774) (l l2 l1));
 
aa(75):='(((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 v8) (959 l2 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v8 v7 v6 v9) (sf5 l2 (plus p3 p5) 
p16m v6 v7 v3 v4) (684 l2 (minus (plus p3 p5)) p5 p3 u3 v3 
v4)) (l1 (15 l1 v10)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v1) (ijk 1775) (l l2 l1));
 
aa(76):='(((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 v8) (959 l2 (plus p1 p2) (minus (plus (
minus p3) (minus p6))) v8 v7 v6 v9) (sf5 l2 (plus p4 p5) 
p16m v6 v7 v3 v4) (684 l2 (minus (plus p4 p5)) p5 p4 u4 v3 
v4)) (l1 (15 l1 v10)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v1) (ijk 1776) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (711 l2 (plus
(minus p3) (minus p6)) p6 p3 v4 v3 u3) (sf5 l2 (plus (minus
p3) (minus p6)) p15m v3 v4 v6 v7) (980 l2 (plus p1 p2) (plus
p4 p5) v8 v9 v7 v6) (sf3 l2 (plus p4 p5) p26m v8 v1) (410 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 v6 v4 v3 v1) (ijk 1777) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (711 l2 (plus
(minus p4) (minus p6)) p6 p4 v4 v3 u4) (sf5 l2 (plus (minus
p4) (minus p6)) p15m v3 v4 v6 v7) (980 l2 (plus p1 p2) (plus
p3 p5) v8 v9 v7 v6) (sf3 l2 (plus p3 p5) p26m v8 v1) (410 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 v6 v4 v3 v1) (ijk 1778) (l l2 l1));
 
aa(79):='(((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 v8) (981 l2 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v8 v9 v7 v6) (sf5 l2 (plus p3 p5) 
p15m v6 v7 v3 v4) (710 l2 (minus (plus p3 p5)) p5 p3 v4 v3 
u3)) (l1 (15 l1 v10)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v1) (ijk 1779) (l l2 l1));
 
aa(80):='(((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 v8) (981 l2 (plus p1 p2) (minus (plus (
minus p3) (minus p6))) v8 v9 v7 v6) (sf5 l2 (plus p4 p5) 
p15m v6 v7 v3 v4) (710 l2 (minus (plus p4 p5)) p5 p4 v4 v3 
u4)) (l1 (15 l1 v10)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v1) (ijk 1780) (l l2 l1));
 
;end;
 
