aa(1):='(((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 v3) (752 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v4 v3) (sf3 l2 (plus p1 p2
p5) p23m v4 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1001) (l l2 l1));
 
aa(2):='(((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 v3) (752 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v4 v3) (sf3 l2 (plus p1 p2
p5) p23m v4 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1002) (l l2 l1));
 
aa(3):='(((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 v3) (766 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v4 v3 u3) (sf3 l2 (plus p1 p2
p5) p23m v4 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1003) (l l2 l1));
 
aa(4):='(((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 v3) (766 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v4 v3 u4) (sf3 l2 (plus p1 p2
p5) p23m v4 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1004) (l l2 l1));
 
aa(5):='(((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 v3) (777 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v4 v3 u3) (sf3 l2 (plus p1 p2
p5) p23m v4 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1005) (l l2 l1));
 
aa(6):='(((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 v3) (777 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v4 v3 u4) (sf3 l2 (plus p1 p2
p5) p23m v4 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1006) (l l2 l1));
 
aa(7):='(((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) (794 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p23m v3 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1007) (l l2 l1));
 
aa(8):='(((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) (794 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p23m v3 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1008) (l l2 l1));
 
aa(9):='(((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) (796 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p23m v3 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1009) (l l2 l1));
 
aa(10):='(((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) (796 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p23m v3 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1010) (l l2 l1));
 
aa(11):='(((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) (798 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p23m v3 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1011) (l l2 l1));
 
aa(12):='(((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) (798 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p23m v3 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1012) (l l2 l1));
 
aa(13):='(((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) (800 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p23m v3 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1013) (l l2 l1));
 
aa(14):='(((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) (800 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p23m v3 v6) (434 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1014) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (581 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (minus
p4) (minus p6)) p38m v1 v2 v4 v5) (880 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p23m v6 v8) (434 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1015) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (581 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (minus
p3) (minus p6)) p38m v1 v2 v4 v5) (880 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p23m v6 v8) (434 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1016) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (607 l2 (plus
(minus p4) (minus p6)) p6 p4 v2 v1 u4) (sf5 l2 (plus (minus
p4) (minus p6)) p35m v1 v2 v4 v5) (900 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v6 v5 v4 u3) (sf3
l2 (plus p1 p2 p5) p23m v6 v8) (434 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1017) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (607 l2 (plus
(minus p3) (minus p6)) p6 p3 v2 v1 u3) (sf5 l2 (plus (minus
p3) (minus p6)) p35m v1 v2 v4 v5) (900 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v6 v5 v4 u4) (sf3
l2 (plus p1 p2 p5) p23m v6 v8) (434 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1018) (l l2 l1));
 
aa(19):='(((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) (920 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p23m v6 v8) (434 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1019) (l l2 l1));
 
aa(20):='(((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) (920 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p23m v6 v8) (434 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1020) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (659 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (minus
p4) (minus p6)) p22m v1 v2 v4 v5) (940 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p23m v6 v8) (434 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1021) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (659 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (minus
p3) (minus p6)) p22m v1 v2 v4 v5) (940 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p23m v6 v8) (434 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1022) (l l2 l1));
 
aa(23):='(((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) (962 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p23m v6 v8) (434 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1023) (l l2 l1));
 
aa(24):='(((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) (962 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p23m v6 v8) (434 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1024) (l l2 l1));
 
aa(25):='(((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) (984 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v6 v5 v4 u3) (sf3
l2 (plus p1 p2 p5) p23m v6 v8) (434 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1025) (l l2 l1));
 
aa(26):='(((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) (984 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v6 v5 v4 u4) (sf3
l2 (plus p1 p2 p5) p23m v6 v8) (434 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1026) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (843 l2 (
plus (minus p4) (minus p6)) p6 p4 v3 v2 v1 u4) (sf7 l2 (plus
(minus p4) (minus p6)) p37m v1 v2 v3 v5 v6 v7) (1005 l2 (
minus (plus (minus p4) (minus p6))) (plus p1 p2 p5) p3 v8 v7
v6 v5 u3) (sf3 l2 (plus p1 p2 p5) p23m v8 v10) (434 l2 p5 
v11 v10)) (l1 (15 l1 v12)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v8 v7 v6 v5 v3 v2 v1) (ijk 1027) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (843 l2 (
plus (minus p3) (minus p6)) p6 p3 v3 v2 v1 u3) (sf7 l2 (plus
(minus p3) (minus p6)) p37m v1 v2 v3 v5 v6 v7) (1005 l2 (
minus (plus (minus p3) (minus p6))) (plus p1 p2 p5) p4 v8 v7
v6 v5 u4) (sf3 l2 (plus p1 p2 p5) p23m v8 v10) (434 l2 p5 
v11 v10)) (l1 (15 l1 v12)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v8 v7 v6 v5 v3 v2 v1) (ijk 1028) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (869 l2 (
plus (minus p4) (minus p6)) p6 p4 v3 v2 v1 u4) (sf7 l2 (plus
(minus p4) (minus p6)) p21m v1 v2 v3 v5 v6 v7) (1025 l2 (
minus (plus (minus p4) (minus p6))) (plus p1 p2 p5) p3 v8 v7
v6 v5 u3) (sf3 l2 (plus p1 p2 p5) p23m v8 v10) (434 l2 p5 
v11 v10)) (l1 (15 l1 v12)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v8 v7 v6 v5 v3 v2 v1) (ijk 1029) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (869 l2 (
plus (minus p3) (minus p6)) p6 p3 v3 v2 v1 u3) (sf7 l2 (plus
(minus p3) (minus p6)) p21m v1 v2 v3 v5 v6 v7) (1025 l2 (
minus (plus (minus p3) (minus p6))) (plus p1 p2 p5) p4 v8 v7
v6 v5 u4) (sf3 l2 (plus p1 p2 p5) p23m v8 v10) (434 l2 p5 
v11 v10)) (l1 (15 l1 v12)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v8 v7 v6 v5 v3 v2 v1) (ijk 1030) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (414 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p33m) (126 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1031) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (414 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p33m) (126 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1032) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (416 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p31m) (146 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1033) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (416 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p31m) (146 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1034) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (418 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p30m) (164 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1035) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (418 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p30m) (164 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1036) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (420 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p28m) (182 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1037) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (420 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p28m) (182 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1038) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (426 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p18m) (218 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1039) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (426 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p18m) (218 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1040) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (428 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p14m) (228 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1041) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (428 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p14m) (228 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1042) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (430 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p13m) (237 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1043) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (430 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p13m) (237 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1044) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (432 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p11m) (242 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1045) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (435 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v4
v2) (432 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p11m) (242 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1046) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v4) (721 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p36m v3 v1) (
292 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1047) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v4) (721 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p36m v3 v1) (
292 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1048) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v4) (737 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p34m v3 v1) (
318 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1049) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v4) (737 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p34m v3 v1) (
318 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1050) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v4) (753 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p29m v3 v1) (
344 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1051) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v4) (753 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p29m v3 v1) (
344 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1052) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v4) (767 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p27m v3 v1) (
372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1053) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v4) (767 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p27m v3 v1) (
372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1054) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v4) (778 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p26m v3 v1) (
410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1055) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v4) (778 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p26m v3 v1) (
410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1056) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v3) (793 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(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1057) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v3) (793 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(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1058) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v3) (795 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(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1059) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v3) (795 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(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1060) (l l2 l1));
 
aa(61):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v3) (797 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(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1061) (l l2 l1));
 
aa(62):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v3) (797 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(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1062) (l l2 l1));
 
aa(63):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v3) (799 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(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1063) (l l2 l1));
 
aa(64):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (435 l2 p6 v7
v6) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v6
v3) (799 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(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1064) (l l2 l1));
 
aa(65):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (435 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v8
v6) (881 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v6 v5 v4) (sf5 l2 (plus p4 p5) p38m v4 v5
v1 v2) (580 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1065) (l l2 l1));
 
aa(66):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (435 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v8
v6) (881 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v6 v5 v4) (sf5 l2 (plus p3 p5) p38m v4 v5
v1 v2) (580 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1066) (l l2 l1));
 
aa(67):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (435 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v8
v6) (901 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(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1067) (l l2 l1));
 
aa(68):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (435 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v8
v6) (901 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(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1068) (l l2 l1));
 
aa(69):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (435 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v8
v6) (921 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(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1069) (l l2 l1));
 
aa(70):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (435 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v8
v6) (921 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(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1070) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (435 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v8
v6) (941 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v6 v5 v4) (sf5 l2 (plus p4 p5) p22m v4 v5
v1 v2) (658 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1071) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (435 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v8
v6) (941 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v6 v5 v4) (sf5 l2 (plus p3 p5) p22m v4 v5
v1 v2) (658 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1072) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (435 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v8
v6) (963 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(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1073) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (435 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v8
v6) (963 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(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1074) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (435 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v8
v6) (985 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(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1075) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (435 l2 p6 v9
v8) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p23m v8
v6) (985 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(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1076) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (435 l2 p6 
v11 v10) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) 
p23m v10 v8) (1006 l2 (plus p4 p5) (minus (plus (minus p1) (
minus p2) (minus p6))) p3 v8 v7 v6 v5 u3) (sf7 l2 (plus p4 
p5) p37m v5 v6 v7 v1 v2 v3) (842 l2 (minus (plus p4 p5)) p5
p4 v3 v2 v1 u4)) (l1 (15 l1 v12)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v8 v7 v6 v5 v3 v2 v1) (ijk 1077) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (435 l2 p6 
v11 v10) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) 
p23m v10 v8) (1006 l2 (plus p3 p5) (minus (plus (minus p1) (
minus p2) (minus p6))) p4 v8 v7 v6 v5 u4) (sf7 l2 (plus p3 
p5) p37m v5 v6 v7 v1 v2 v3) (842 l2 (minus (plus p3 p5)) p5
p3 v3 v2 v1 u3)) (l1 (15 l1 v12)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v8 v7 v6 v5 v3 v2 v1) (ijk 1078) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (435 l2 p6 
v11 v10) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) 
p23m v10 v8) (1026 l2 (plus p4 p5) (minus (plus (minus p1) (
minus p2) (minus p6))) p3 v8 v7 v6 v5 u3) (sf7 l2 (plus p4 
p5) p21m v5 v6 v7 v1 v2 v3) (868 l2 (minus (plus p4 p5)) p5
p4 v3 v2 v1 u4)) (l1 (15 l1 v12)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v8 v7 v6 v5 v3 v2 v1) (ijk 1079) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (435 l2 p6 
v11 v10) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) 
p23m v10 v8) (1026 l2 (plus p3 p5) (minus (plus (minus p1) (
minus p2) (minus p6))) p4 v8 v7 v6 v5 u4) (sf7 l2 (plus p3 
p5) p21m v5 v6 v7 v1 v2 v3) (868 l2 (minus (plus p3 p5)) p5
p3 v3 v2 v1 u3)) (l1 (15 l1 v12)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v8 v7 v6 v5 v3 v2 v1) (ijk 1080) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (147 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p31m) (443 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1081) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (147 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p31m) (443 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1082) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (445 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1083) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (445 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1084) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (447 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1085) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (447 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1086) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (453 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1087) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (453 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1088) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (455 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1089) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (455 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1090) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (457 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1091) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (457 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1092) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (459 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1093) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (459 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p20m v2 v4) (460 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1094) (l l2 l1));
 
aa(95):='(((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 v3) (754 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v4 v3 u3) (sf3 l2 (plus p1 p2
p5) p20m v4 v6) (460 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1095) (l l2 l1));
 
aa(96):='(((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 v3) (754 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v4 v3 u4) (sf3 l2 (plus p1 p2
p5) p20m v4 v6) (460 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1096) (l l2 l1));
 
aa(97):='(((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 v3) (768 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v4 v3) (sf3 l2 (plus p1 p2
p5) p20m v4 v6) (460 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1097) (l l2 l1));
 
aa(98):='(((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 v3) (768 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v4 v3) (sf3 l2 (plus p1 p2
p5) p20m v4 v6) (460 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1098) (l l2 l1));
 
aa(99):='(((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 v3) (779 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v4 v3) (sf3 l2 (plus p1 p2
p5) p20m v4 v6) (460 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1099) (l l2 l1));
 
aa(100):='(((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 v3) (779 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v4 v3) (sf3 l2 (plus p1 p2
p5) p20m v4 v6) (460 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v4 v3 v1) (ijk 1100) (l l2 l1));
 
;end;
 
