aa(1):='(((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) (702 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v2 v3) (sf l2 (plus p4 p5) 
p14m) (228 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1601) (l l2 l1));
 
aa(2):='(((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) (702 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v2 v3) (sf l2 (plus p3 p5) 
p14m) (228 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1602) (l l2 l1));
 
aa(3):='(((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) (704 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v2 v3) (sf l2 (plus p4 p5) 
p13m) (237 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1603) (l l2 l1));
 
aa(4):='(((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) (704 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v2 v3) (sf l2 (plus p3 p5) 
p13m) (237 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1604) (l l2 l1));
 
aa(5):='(((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) (706 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v3 v2 u3) (sf l2 (plus p4 p5) 
p11m) (242 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1605) (l l2 l1));
 
aa(6):='(((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) (706 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v3 v2 u4) (sf l2 (plus p3 p5) 
p11m) (242 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1606) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (709 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p15m
v7 v8 v3 v4) (978 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p27m v5 v1) (372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1607) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (709 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p15m
v7 v8 v3 v4) (978 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p27m v5 v1) (372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1608) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (709 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p15m
v7 v8 v3 v4) (982 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p26m v5 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1609) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (709 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p15m
v7 v8 v3 v4) (982 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p26m v5 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1610) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (709 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p15m
v7 v8 v3 v4) (992 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p12m v5 v1) (544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1
(15 l1 v10)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1611) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (709 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p15m
v7 v8 v3 v4) (992 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p12m v5 v1) (544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1
(15 l1 v10)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1612) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (345 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v3) (sf3 l2 (plus (minus p3)
(minus p6)) p29m v3 v5) (748 l2 (plus p1 p2) (plus p4 p5) v6
v5 v7) (sf3 l2 (plus p4 p5) p26m v6 v1) (410 l2 (minus (plus
p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1613) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (345 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v3) (sf3 l2 (plus (minus p4)
(minus p6)) p29m v3 v5) (748 l2 (plus p1 p2) (plus p3 p5) v6
v5 v7) (sf3 l2 (plus p3 p5) p26m v6 v1) (410 l2 (minus (plus
p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1614) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v6) (749 l2 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v6 v5 v7) (sf3 l2 (plus p3 p5) p29m 
v5 v3) (344 l2 (minus (plus p3 p5)) p5 p3 u3 v3)) (l1 (15 l1
v8)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1615) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v6) (749 l2 (plus p1 p2) (minus (plus (
minus p3) (minus p6))) v6 v5 v7) (sf3 l2 (plus p4 p5) p29m 
v5 v3) (344 l2 (minus (plus p4 p5)) p5 p4 u4 v3)) (l1 (15 l1
v8)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1616) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (373 l2 (plus
(minus p3) (minus p6)) p6 p3 v3 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p27m v3 v5) (762 l2 (plus p1 p2) (plus p4 p5) v6
v7 v5) (sf3 l2 (plus p4 p5) p26m v6 v1) (410 l2 (minus (plus
p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1617) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (373 l2 (plus
(minus p4) (minus p6)) p6 p4 v3 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p27m v3 v5) (762 l2 (plus p1 p2) (plus p3 p5) v6
v7 v5) (sf3 l2 (plus p3 p5) p26m v6 v1) (410 l2 (minus (plus
p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1618) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v6) (763 l2 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v6 v7 v5) (sf3 l2 (plus p3 p5) p27m 
v5 v3) (372 l2 (minus (plus p3 p5)) p5 p3 v3 u3)) (l1 (15 l1
v8)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1619) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v6) (763 l2 (plus p1 p2) (minus (plus (
minus p3) (minus p6))) v6 v7 v5) (sf3 l2 (plus p4 p5) p27m 
v5 v3) (372 l2 (minus (plus p4 p5)) p5 p4 v3 u4)) (l1 (15 l1
v8)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1620) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v3 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v3 v5) (776 l2 (plus p1 p2) (plus p4 p5) v6
v7 v5) (sf3 l2 (plus p4 p5) p26m v6 v1) (410 l2 (minus (plus
p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1621) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v3 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v3 v5) (776 l2 (plus p1 p2) (plus p3 p5) v6
v7 v5) (sf3 l2 (plus p3 p5) p26m v6 v1) (410 l2 (minus (plus
p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1622) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v5) (781 l2 (plus p1 p2) (plus p3 p5) v6
v7 v5) (sf3 l2 (plus p3 p5) p19m v6 v3) (488 l2 (minus (plus
p3 p5)) p5 p3 v3 u3)) (l1 (15 l1 v8)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1623) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v5) (781 l2 (plus p1 p2) (plus p4 p5) v6
v7 v5) (sf3 l2 (plus p4 p5) p19m v6 v3) (488 l2 (minus (plus
p4 p5)) p5 p4 v3 u4)) (l1 (15 l1 v8)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1624) (l l2 l1));
 
aa(25):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (489 l2 (plus
(minus p3) (minus p6)) p6 p3 v3 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p19m v3 v6) (782 l2 (plus p1 p2) (minus (plus (
minus p3) (minus p6))) v6 v7 v5) (sf3 l2 (plus p4 p5) p26m 
v5 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1
v8)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1625) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (489 l2 (plus
(minus p4) (minus p6)) p6 p4 v3 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p19m v3 v6) (782 l2 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v6 v7 v5) (sf3 l2 (plus p3 p5) p26m 
v5 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1
v8)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1626) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v5) (785 l2 (plus p1 p2) (plus p3 p5) v6
v5 v7) (sf3 l2 (plus p3 p5) p17m v6 v3) (514 l2 (minus (plus
p3 p5)) p5 p3 u3 v3)) (l1 (15 l1 v8)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1627) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v5) (785 l2 (plus p1 p2) (plus p4 p5) v6
v5 v7) (sf3 l2 (plus p4 p5) p17m v6 v3) (514 l2 (minus (plus
p4 p5)) p5 p4 u4 v3)) (l1 (15 l1 v8)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1628) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (515 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v3) (sf3 l2 (plus (minus p3)
(minus p6)) p17m v3 v6) (786 l2 (plus p1 p2) (minus (plus (
minus p3) (minus p6))) v6 v5 v7) (sf3 l2 (plus p4 p5) p26m 
v5 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1
v8)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1629) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (515 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v3) (sf3 l2 (plus (minus p4)
(minus p6)) p17m v3 v6) (786 l2 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v6 v5 v7) (sf3 l2 (plus p3 p5) p26m 
v5 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1
v8)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1630) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v5) (789 l2 (plus p1 p2) (plus p3 p5) v6
v5 v7) (sf3 l2 (plus p3 p5) p12m v6 v3) (544 l2 (minus (plus
p3 p5)) p5 p3 u3 v3)) (l1 (15 l1 v8)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1631) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v5) (789 l2 (plus p1 p2) (plus p4 p5) v6
v5 v7) (sf3 l2 (plus p4 p5) p12m v6 v3) (544 l2 (minus (plus
p4 p5)) p5 p4 u4 v3)) (l1 (15 l1 v8)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1632) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v3) (sf3 l2 (plus (minus p3)
(minus p6)) p12m v3 v6) (790 l2 (plus p1 p2) (minus (plus (
minus p3) (minus p6))) v6 v5 v7) (sf3 l2 (plus p4 p5) p26m 
v5 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1
v8)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1633) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v3) (sf3 l2 (plus (minus p4)
(minus p6)) p12m v3 v6) (790 l2 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v6 v5 v7) (sf3 l2 (plus p3 p5) p26m 
v5 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1
v8)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1634) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v3) (sf3 l2 (plus (minus p3)
(minus p6)) p12m v3 v5) (813 l2 (plus p1 p2) (plus p4 p5) v6
v7 v5) (sf3 l2 (plus p4 p5) p12m v6 v1) (544 l2 (minus (plus
p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1635) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v3) (sf3 l2 (plus (minus p4)
(minus p6)) p12m v3 v5) (813 l2 (plus p1 p2) (plus p3 p5) v6
v7 v5) (sf3 l2 (plus p3 p5) p12m v6 v1) (544 l2 (minus (plus
p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v1) (ijk 1636) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (127 l2 p4 u4
) (sf l2 (plus (minus p4) (minus p6)) p33m) (821 l2 (plus p1
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v4 v3 v2 u3)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1637) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (127 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p33m) (821 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v4 v3 v2 u4)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1638) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (147 l2 p4 u4
) (sf l2 (plus (minus p4) (minus p6)) p31m) (823 l2 (plus p1
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1639) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (147 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p31m) (823 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1640) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (165 l2 p4 u4
) (sf l2 (plus (minus p4) (minus p6)) p30m) (825 l2 (plus p1
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v4 v3 v2 u3)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1641) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (165 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p30m) (825 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v4 v3 v2 u4)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1642) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (183 l2 p4 u4
) (sf l2 (plus (minus p4) (minus p6)) p28m) (827 l2 (plus p1
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1643) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (183 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p28m) (827 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1644) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (219 l2 p4 u4
) (sf l2 (plus (minus p4) (minus p6)) p18m) (833 l2 (plus p1
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v4 v3 v2 u3)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1645) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (219 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p18m) (833 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v4 v3 v2 u4)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1646) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (229 l2 p4 u4
) (sf l2 (plus (minus p4) (minus p6)) p14m) (835 l2 (plus p1
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1647) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (229 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p14m) (835 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1648) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (238 l2 p4 u4
) (sf l2 (plus (minus p4) (minus p6)) p13m) (837 l2 (plus p1
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1649) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (238 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p13m) (837 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v4 v3)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1650) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (243 l2 p4 u4
) (sf l2 (plus (minus p4) (minus p6)) p11m) (839 l2 (plus p1
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v4 v3 v2 u3)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1651) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (243 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p11m) (839 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v4 v3 v2 u4)
(sf7 l2 (plus p1 p2 p5) p37m v2 v3 v4 v6 v7 v8) (840 l2 p5 
v8 v7 v6 v9)) (l1 (15 l1 v10)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1652) (l l2 l1));
 
aa(53):='(((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) (996 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 v6 v5 v4 v3 u3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1653) (l l2 l1));
 
aa(54):='(((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) (996 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 v6 v5 v4 v3 u4) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (l1 (15 l1 v12)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1654) (l l2 l1));
 
aa(55):='(((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) (998 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 u3 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1655) (l l2 l1));
 
aa(56):='(((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) (998 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 u4 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1656) (l l2 l1));
 
aa(57):='(((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) (1000 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 v6 v5 v4 v3 u3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1657) (l l2 l1));
 
aa(58):='(((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) (1000 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 v6 v5 v4 v3 u4) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1658) (l l2 l1));
 
aa(59):='(((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) (1002 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 u3 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1659) (l l2 l1));
 
aa(60):='(((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) (1002 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 u4 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1660) (l l2 l1));
 
aa(61):='(((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) (1004 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 u3 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1661) (l l2 l1));
 
aa(62):='(((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) (1004 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 u4 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1662) (l l2 l1));
 
aa(63):='(((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) (1008 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 u3 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1663) (l l2 l1));
 
aa(64):='(((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) (1008 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 u4 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1664) (l l2 l1));
 
aa(65):='(((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) (1010 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 u3 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1665) (l l2 l1));
 
aa(66):='(((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) (1010 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 u4 v6 v5 v4 v3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1666) (l l2 l1));
 
aa(67):='(((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) (1012 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 v6 v5 v4 v3 u3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1667) (l l2 l1));
 
aa(68):='(((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) (1012 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 v6 v5 v4 v3 u4) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1668) (l l2 l1));
 
aa(69):='(((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) (1014 l2 (plus p1 p2 p5) (
minus (plus (minus p4) (minus p6))) p3 v6 v5 v4 v3 u3) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1669) (l l2 l1));
 
aa(70):='(((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) (1014 l2 (plus p1 p2 p5) (
minus (plus (minus p3) (minus p6))) p4 v6 v5 v4 v3 u4) (sf7
l2 (plus p1 p2 p5) p37m v3 v4 v5 v8 v9 v10) (840 l2 p5 v10 
v9 v8 v11)) (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 1670) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (820 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(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1671) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (820 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(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1672) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (822 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(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1673) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (822 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(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1674) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (824 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(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1675) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (824 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(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1676) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (826 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(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1677) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (826 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(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1678) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (832 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(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1679) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (832 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(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1680) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (834 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(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1681) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (834 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(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1682) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (836 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(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1683) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (836 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(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1684) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (838 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(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1685) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (841 l2 p6 v8
v7 v6 v9) (sf7 l2 (plus (minus p1) (minus p2) (minus p6)) 
p37m v6 v7 v8 v2 v3 v4) (838 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(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v4 v3 v2) (ijk 1686) (l l2 l1));
 
aa(87):='(((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) (995 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(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1687) (l l2 l1));
 
aa(88):='(((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) (995 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(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1688) (l l2 l1));
 
aa(89):='(((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) (997 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(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1689) (l l2 l1));
 
aa(90):='(((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) (997 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(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1690) (l l2 l1));
 
aa(91):='(((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) (999 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(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1691) (l l2 l1));
 
aa(92):='(((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) (999 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(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1692) (l l2 l1));
 
aa(93):='(((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) (1001 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(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1693) (l l2 l1));
 
aa(94):='(((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) (1001 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(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1694) (l l2 l1));
 
aa(95):='(((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) (1003 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(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1695) (l l2 l1));
 
aa(96):='(((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) (1003 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(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1696) (l l2 l1));
 
aa(97):='(((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) (1007 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(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1697) (l l2 l1));
 
aa(98):='(((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) (1007 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(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1698) (l l2 l1));
 
aa(99):='(((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) (1009 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(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1699) (l l2 l1));
 
aa(100):='(((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) (1009 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(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v6 v5 v4 v3 v1) (ijk 1700) (l l2 l1));
 
;end;
 
