aa(1):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7 
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (712 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p34m v4 v1) (
318 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 801) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7 
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (712 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p34m v4 v1) (
318 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 802) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7 
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (714 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p29m v4 v1) (
344 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 803) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7 
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (714 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p29m v4 v1) (
344 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 804) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7 
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (716 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p27m v4 v1) (
372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 805) (l l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7 
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (716 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p27m v4 v1) (
372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 806) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7 
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (718 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p26m v4 v1) (
410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 807) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7 
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (718 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p26m v4 v1) (
410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 808) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7 
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (722 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p20m v4 v1) (
462 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 809) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (722 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p20m v4 v1) (
462 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 810) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (724 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p19m v4 v1) (
488 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 811) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (724 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p19m v4 v1) (
488 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 812) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (726 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p17m v4 v1) (
514 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 813) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (726 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p17m v4 v1) (
514 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 814) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (728 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p12m v4 v1) (
544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 815) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (291 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v6
v3) (728 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p12m v4 v1) (
544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 816) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (291 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v8
v6) (891 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 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 v10)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 817) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (291 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v8
v6) (891 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 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 v10)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 818) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (291 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v8
v6) (911 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v6 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 v10)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 819) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (291 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v8
v6) (911 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v6 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 v10)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 820) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (291 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v8
v6) (951 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v6 v5 v4) (sf5 l2 (plus p4 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 821) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (291 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v8
v6) (951 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v6 v5 v4) (sf5 l2 (plus p3 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 822) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (291 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v8
v6) (973 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v6 v5 v4 u3) (sf5 l2 (plus p4 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p4 p5)) p5 p4 v2 v1 u4)) (l1 (15
l1 v10)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 823) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (291 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v8
v6) (973 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v6 v5 v4 u4) (sf5 l2 (plus p3 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p3 p5)) p5 p3 v2 v1 u3)) (l1 (15
l1 v10)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 824) (l l2 l1));
 
aa(25):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (127 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p33m) (297 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 825) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (127 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p33m) (297 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 826) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (147 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p31m) (299 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 827) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (147 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p31m) (299 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 828) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (301 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 829) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (301 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 830) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (303 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 831) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (303 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 832) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (309 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 833) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (309 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 834) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (311 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 835) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (311 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 836) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (313 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 837) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (313 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 838) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (315 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 839) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (315 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p34m v2 v4) (316 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 840) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (345 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p29m v1 v4) (731 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 841) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (345 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p29m v1 v4) (731 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 842) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (373 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p27m v1 v4) (733 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 843) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (373 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p27m v1 v4) (733 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 844) (l l2 l1));
 
aa(45):='(((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 v4) (735 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 845) (l l2 l1));
 
aa(46):='(((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 v4) (735 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 846) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (463 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p20m v1 v4) (739 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 847) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (463 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p20m v1 v4) (739 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 848) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (489 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p19m v1 v4) (741 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 849) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (489 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p19m v1 v4) (741 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 850) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (515 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p17m v1 v4) (743 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 851) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (515 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p17m v1 v4) (743 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 852) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p12m v1 v4) (745 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 853) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p12m v1 v4) (745 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p34m v3 v6) (316 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 854) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (912 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v6 v5 v4 u3) (sf3
l2 (plus p1 p2 p5) p34m v6 v8) (316 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 855) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (912 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v6 v5 v4 u4) (sf3
l2 (plus p1 p2 p5) p34m v6 v8) (316 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 856) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (685 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (minus
p4) (minus p6)) p16m v1 v2 v4 v5) (952 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v6 v5 v4 u3) (sf3
l2 (plus p1 p2 p5) p34m v6 v8) (316 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 857) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (685 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (minus
p3) (minus p6)) p16m v1 v2 v4 v5) (952 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v6 v5 v4 u4) (sf3
l2 (plus p1 p2 p5) p34m v6 v8) (316 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 858) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (711 l2 (plus
(minus p4) (minus p6)) p6 p4 v2 v1 u4) (sf5 l2 (plus (minus
p4) (minus p6)) p15m v1 v2 v4 v5) (974 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p34m v6 v8) (316 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 859) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (711 l2 (plus
(minus p3) (minus p6)) p6 p3 v2 v1 u3) (sf5 l2 (plus (minus
p3) (minus p6)) p15m v1 v2 v4 v5) (974 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p34m v6 v8) (316 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 860) (l l2 l1));
 
aa(61):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (296 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p33m) (126 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 861) (l l2 l1));
 
aa(62):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (296 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p33m) (126 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 862) (l l2 l1));
 
aa(63):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (298 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p31m) (146 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 863) (l l2 l1));
 
aa(64):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (298 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p31m) (146 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 864) (l l2 l1));
 
aa(65):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (300 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p30m) (164 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 865) (l l2 l1));
 
aa(66):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (300 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p30m) (164 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 866) (l l2 l1));
 
aa(67):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (302 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p28m) (182 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 867) (l l2 l1));
 
aa(68):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (302 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p28m) (182 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 868) (l l2 l1));
 
aa(69):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (308 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p18m) (218 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 869) (l l2 l1));
 
aa(70):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (308 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p18m) (218 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 870) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (310 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p14m) (228 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 871) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (310 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p14m) (228 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 872) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (312 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p13m) (237 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 873) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (312 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p13m) (237 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 874) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (314 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p11m) (242 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 875) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (317 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v4
v2) (314 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p11m) (242 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 876) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (730 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p29m v4 v1) (
344 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 877) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (730 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p29m v4 v1) (
344 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 878) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (732 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p27m v4 v1) (
372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 879) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (732 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p27m v4 v1) (
372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 880) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (734 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p26m v4 v1) (
410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 881) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (734 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p26m v4 v1) (
410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 882) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (738 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p20m v4 v1) (
462 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 883) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (738 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p20m v4 v1) (
462 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 884) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (740 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p19m v4 v1) (
488 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 885) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (740 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p19m v4 v1) (
488 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 886) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (742 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p17m v4 v1) (
514 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 887) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (742 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p17m v4 v1) (
514 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 888) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (744 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p12m v4 v1) (
544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 889) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (317 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v6
v3) (744 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p12m v4 v1) (
544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 890) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (317 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v8
v6) (913 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v6 v5 v4 u3) (sf5 l2 (plus p4 p5) p32m v4 v5
v1 v2) (632 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 891) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (317 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v8
v6) (913 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v6 v5 v4 u4) (sf5 l2 (plus p3 p5) p32m v4 v5
v1 v2) (632 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 892) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (317 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v8
v6) (953 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v6 v5 v4 u3) (sf5 l2 (plus p4 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 893) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (317 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v8
v6) (953 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v6 v5 v4 u4) (sf5 l2 (plus p3 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 894) (l l2 l1));
 
aa(95):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (317 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v8
v6) (975 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v6 v5 v4) (sf5 l2 (plus p4 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p4 p5)) p5 p4 v2 v1 u4)) (l1 (15
l1 v10)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 895) (l l2 l1));
 
aa(96):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (317 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p34m v8
v6) (975 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v6 v5 v4) (sf5 l2 (plus p3 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p3 p5)) p5 p3 v2 v1 u3)) (l1 (15
l1 v10)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 896) (l l2 l1));
 
aa(97):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (329 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p29m v2 v4) (342 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 897) (l l2 l1));
 
aa(98):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (329 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p29m v2 v4) (342 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 898) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (337 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p29m v2 v4) (342 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 899) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p3 u3
) (sf l2 (plus (minus p3) (minus p6)) p14m) (337 l2 (plus p1
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p29m v2 v4) (342 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v2) (ijk 900) (l l2 l1));
 
;end;
 
