aa(1):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4)
(minus p5) (minus p6)) p7m) (17 (plus p4 p5 p6) p3 (plus p1
p2) u3 v4)) (l2 (411 l2 (plus (minus p4) (minus p6)) p6 p4 
v1 u4) (sf3 l2 (plus (minus p4) (minus p6)) p26m v1 v3) (66
l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 101) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p7m) (17 (plus (minus p1) (minus p2) (minus p4)) p4 (plus p1
p2) u4 v4)) (l2 (411 l2 (plus (minus p3) (minus p6)) p6 p3 
v1 u3) (sf3 l2 (plus (minus p3) (minus p6)) p26m v1 v3) (66
l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 102) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4)
(minus p5) (minus p6)) p7m) (17 (plus p4 p5 p6) p3 (plus p1
p2) u3 v4)) (l2 (67 l2 p6 v3) (sf3 l2 (plus p4 p5) p26m v3 
v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6
)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 103) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p7m) (17 (plus (minus p1) (minus p2) (minus p4)) p4 (plus p1
p2) u4 v4)) (l2 (67 l2 p6 v3) (sf3 l2 (plus p3 p5) p26m v3 
v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6
)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 104) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4)
(minus p5) (minus p6)) p4m) (18 p3 (plus p1 p2) u3 v4)) (l2
(411 l2 (plus (minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (
plus (minus p4) (minus p6)) p26m v1 v3) (68 l2 p5 v3)) (l1 (
15 l1 v6)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 105) (l l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p4m) (18 p4 (plus p1 p2) u4 v4)) (l2 (411 l2 (plus (minus p3
) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3) (minus 
p6)) p26m v1 v3) (68 l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 106) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4)
(minus p5) (minus p6)) p4m) (18 p3 (plus p1 p2) u3 v4)) (l2
(69 l2 p6 v3) (sf3 l2 (plus p4 p5) p26m v3 v1) (410 l2 (
minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 107) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p4m) (18 p4 (plus p1 p2) u4 v4)) (l2 (69 l2 p6 v3) (sf3 l2 (
plus p3 p5) p26m v3 v1) (410 l2 (minus (plus p3 p5)) p5 p3 
v1 u3)) (l1 (15 l1 v6)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 108) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4)
(minus p5) (minus p6)) p3m) (19 (plus p4 p5 p6) p3 (plus p1
p2) u3 v4)) (l2 (411 l2 (plus (minus p4) (minus p6)) p6 p4 
v1 u4) (sf3 l2 (plus (minus p4) (minus p6)) p26m v1 v3) (70
l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 109) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p3m) (19 (plus (minus p1) (minus p2) (minus p4)) p4 (plus p1
p2) u4 v4)) (l2 (411 l2 (plus (minus p3) (minus p6)) p6 p3 
v1 u3) (sf3 l2 (plus (minus p3) (minus p6)) p26m v1 v3) (70
l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 110) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p3m) (19 (plus p4 p5 p6) p3 (plus 
p1 p2) u3 v4)) (l2 (71 l2 p6 v3) (sf3 l2 (plus p4 p5) p26m 
v3 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1
v6)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 111) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p3m) (19 (plus (minus p1) (minus p2) (minus p4)) p4 (plus p1
p2) u4 v4)) (l2 (71 l2 p6 v3) (sf3 l2 (plus p3 p5) p26m v3 
v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6
)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 112) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v8 v10) (s2 (plus (minus 
p4) (minus p5) (minus p6)) p8m v4 v5 v6 v7) (20 (plus p1 p2)
p3 (minus (plus (minus p4) (minus p5) (minus p6))) u3 v6 v8
v7)) (l2 (411 l2 (plus (minus p4) (minus p6)) p6 p4 v1 u4) (
sf3 l2 (plus (minus p4) (minus p6)) p26m v1 v3) (814 l2 p5 
v5 v3 v4)) (l1 (15 l1 v10)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v4 v3 v1) (ijk 113) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v8 v10) (s2 (plus p1 p2 p4
) p8m v4 v5 v6 v7) (20 (plus p1 p2) p4 (minus (plus p1 p2 p4
)) u4 v6 v8 v7)) (l2 (411 l2 (plus (minus p3) (minus p6)) p6
p3 v1 u3) (sf3 l2 (plus (minus p3) (minus p6)) p26m v1 v3) (
814 l2 p5 v5 v3 v4)) (l1 (15 l1 v10)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v4 v3 v1) (ijk 114) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v8 v10) (s2 (plus (minus 
p4) (minus p5) (minus p6)) p8m v4 v5 v6 v7) (20 (plus p1 p2)
p3 (minus (plus (minus p4) (minus p5) (minus p6))) u3 v6 v8
v7)) (l2 (815 l2 p6 v5 v3 v4) (sf3 l2 (plus p4 p5) p26m v3 
v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 
v10)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v4 v3 v1) (ijk 115) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v8 v10) (s2 (plus p1 p2 p4
) p8m v4 v5 v6 v7) (20 (plus p1 p2) p4 (minus (plus p1 p2 p4
)) u4 v6 v8 v7)) (l2 (815 l2 p6 v5 v3 v4) (sf3 l2 (plus p3 
p5) p26m v3 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (
l1 (15 l1 v10)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v4 v3 v1) (ijk 116) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v8 v10) (s2 (plus (minus 
p4) (minus p5) (minus p6)) p5m v4 v5 v6 v7) (21 (plus p1 p2)
p3 (minus (plus (minus p4) (minus p5) (minus p6))) u3 v6 v8
v7)) (l2 (411 l2 (plus (minus p4) (minus p6)) p6 p4 v1 u4) (
sf3 l2 (plus (minus p4) (minus p6)) p26m v1 v3) (816 l2 p5 
v5 v3 v4)) (l1 (15 l1 v10)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v4 v3 v1) (ijk 117) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v8 v10) (s2 (plus p1 p2 p4
) p5m v4 v5 v6 v7) (21 (plus p1 p2) p4 (minus (plus p1 p2 p4
)) u4 v6 v8 v7)) (l2 (411 l2 (plus (minus p3) (minus p6)) p6
p3 v1 u3) (sf3 l2 (plus (minus p3) (minus p6)) p26m v1 v3) (
816 l2 p5 v5 v3 v4)) (l1 (15 l1 v10)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v4 v3 v1) (ijk 118) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v8 v10) (s2 (plus (minus 
p4) (minus p5) (minus p6)) p5m v4 v5 v6 v7) (21 (plus p1 p2)
p3 (minus (plus (minus p4) (minus p5) (minus p6))) u3 v6 v8
v7)) (l2 (817 l2 p6 v5 v3 v4) (sf3 l2 (plus p4 p5) p26m v3 
v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 
v10)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v4 v3 v1) (ijk 119) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v8 v10) (s2 (plus p1 p2 p4
) p5m v4 v5 v6 v7) (21 (plus p1 p2) p4 (minus (plus p1 p2 p4
)) u4 v6 v8 v7)) (l2 (817 l2 p6 v5 v3 v4) (sf3 l2 (plus p3 
p5) p26m v3 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (
l1 (15 l1 v10)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v4 v3 v1) (ijk 120) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v12 v14) (s4 (plus (minus
p4) (minus p5) (minus p6)) p6m v4 v5 v6 v7 v8 v9 v10 v11) (
22 (plus p1 p2) p3 (minus (plus (minus p4) (minus p5) (minus
p6))) u3 v8 v12 v11 v10 v9)) (l2 (411 l2 (plus (minus p4) (
minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4) (minus p6))
p26m v1 v3) (1065 l2 p5 v7 v6 v5 v3 v4)) (l1 (15 l1 v14)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v14 v12
v11 v10 v9 v8 v7 v6 v5 v4 v3 v1) (ijk 121) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v12 v14) (s4 (plus p1 p2 
p4) p6m v4 v5 v6 v7 v8 v9 v10 v11) (22 (plus p1 p2) p4 (
minus (plus p1 p2 p4)) u4 v8 v12 v11 v10 v9)) (l2 (411 l2 (
plus (minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (
minus p3) (minus p6)) p26m v1 v3) (1065 l2 p5 v7 v6 v5 v3 v4
)) (l1 (15 l1 v14)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v14 v12
v11 v10 v9 v8 v7 v6 v5 v4 v3 v1) (ijk 122) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v12 v14) (s4 (plus (minus
p4) (minus p5) (minus p6)) p6m v4 v5 v6 v7 v8 v9 v10 v11) (
22 (plus p1 p2) p3 (minus (plus (minus p4) (minus p5) (minus
p6))) u3 v8 v12 v11 v10 v9)) (l2 (1066 l2 p6 v7 v6 v5 v3 v4)
(sf3 l2 (plus p4 p5) p26m v3 v1) (410 l2 (minus (plus p4 p5)
) p5 p4 v1 u4)) (l1 (15 l1 v14)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v14 v12
v11 v10 v9 v8 v7 v6 v5 v4 v3 v1) (ijk 123) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v12 v14) (s4 (plus p1 p2 
p4) p6m v4 v5 v6 v7 v8 v9 v10 v11) (22 (plus p1 p2) p4 (
minus (plus p1 p2 p4)) u4 v8 v12 v11 v10 v9)) (l2 (1066 l2 
p6 v7 v6 v5 v3 v4) (sf3 l2 (plus p3 p5) p26m v3 v1) (410 l2
(minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v14)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v14 v12
v11 v10 v9 v8 v7 v6 v5 v4 v3 v1) (ijk 124) (l l2 l1));
 
aa(25):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (127 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p33m) (83 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 125) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (127 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p33m) (83 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 126) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (147 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p31m) (85 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 127) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (147 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p31m) (85 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 128) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (87 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 129) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (87 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 130) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (89 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 131) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (89 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 132) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (197 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p25m) (91 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 133) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (197 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p25m) (91 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 134) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (209 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p24m) (93 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 135) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (209 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p24m) (93 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 136) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (95 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 137) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (95 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 138) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (97 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 139) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (97 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 140) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (99 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 141) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (99 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 142) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (101 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 143) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (101 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 144) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (293 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p36m v1 v3) (268 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 145) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (293 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p36m v1 v3) (268 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 146) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (319 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p34m v1 v3) (294 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 147) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (319 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p34m v1 v3) (294 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 148) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (345 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p29m v1 v3) (320 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 149) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (345 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p29m v1 v3) (320 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 150) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (373 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p27m v1 v3) (346 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 151) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (373 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p27m v1 v3) (346 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 152) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v3) (374 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 153) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v3) (374 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 154) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (437 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p23m v1 v3) (412 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 155) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (437 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p23m v1 v3) (412 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 156) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (463 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p20m v1 v3) (438 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 157) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (463 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p20m v1 v3) (438 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 158) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (489 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p19m v1 v3) (464 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 159) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (489 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p19m v1 v3) (464 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 160) (l l2 l1));
 
aa(61):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (515 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p17m v1 v3) (490 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 161) (l l2 l1));
 
aa(62):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (515 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p17m v1 v3) (490 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 162) (l l2 l1));
 
aa(63):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (545 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p12m v1 v3) (516 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 163) (l l2 l1));
 
aa(64):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (545 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p12m v1 v3) (516 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p39m) (102 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 164) (l l2 l1));
 
aa(65):='(((s11 (plus p1 p2) p10m v7 v8)) (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) (556 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 165) (l l2 l1));
 
aa(66):='(((s11 (plus p1 p2) p10m v7 v8)) (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) (556 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 166) (l l2 l1));
 
aa(67):='(((s11 (plus p1 p2) p10m v7 v8)) (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) (582 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v4 v5) (sf l2 (
plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 167) (l l2 l1));
 
aa(68):='(((s11 (plus p1 p2) p10m v7 v8)) (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) (582 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v4 v5) (sf l2 (
plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 168) (l l2 l1));
 
aa(69):='(((s11 (plus p1 p2) p10m v7 v8)) (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) (608 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 169) (l l2 l1));
 
aa(70):='(((s11 (plus p1 p2) p10m v7 v8)) (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) (608 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 170) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v7 v8)) (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) (634 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 171) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v7 v8)) (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) (634 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 172) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v7 v8)) (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) (660 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 173) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v7 v8)) (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) (660 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 174) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v7 v8)) (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) (686 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v4 v5) (sf l2 (
plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 175) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v7 v8)) (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) (686 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v4 v5) (sf l2 (
plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 176) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (818 l2 (minus
(plus (minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v5 v7 v6
) (sf l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v9)) (l1
(15 l1 v10)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 177) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (818 l2 (minus
(plus (minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v5 v7 v6
) (sf l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v9)) (l1
(15 l1 v10)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 178) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (844 l2 (minus
(plus (minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v5 v7 v6
) (sf l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v9)) (l1
(15 l1 v10)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 179) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (844 l2 (minus
(plus (minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v5 v7 v6
) (sf l2 (plus p1 p2 p5) p39m) (102 l2 (plus p1 p2) v9)) (l1
(15 l1 v10)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 180) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (82 l2 p3 u3) (sf l2 (plus p4 p5) p33m) (126 l2 p4 u4)
) (l1 (15 l1 v4)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 181) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (82 l2 p4 u4) (sf l2 (plus p3 p5) p33m) (126 l2 p3 u3)
) (l1 (15 l1 v4)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 182) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (84 l2 p3 u3) (sf l2 (plus p4 p5) p31m) (146 l2 p4 u4)
) (l1 (15 l1 v4)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 183) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (84 l2 p4 u4) (sf l2 (plus p3 p5) p31m) (146 l2 p3 u3)
) (l1 (15 l1 v4)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 184) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (86 l2 p3 u3) (sf l2 (plus p4 p5) p30m) (164 l2 p4 u4)
) (l1 (15 l1 v4)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 185) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (86 l2 p4 u4) (sf l2 (plus p3 p5) p30m) (164 l2 p3 u3)
) (l1 (15 l1 v4)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 186) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (88 l2 p3 u3) (sf l2 (plus p4 p5) p28m) (182 l2 p4 u4)
) (l1 (15 l1 v4)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 187) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (88 l2 p4 u4) (sf l2 (plus p3 p5) p28m) (182 l2 p3 u3)
) (l1 (15 l1 v4)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 188) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (90 l2 p3 u3) (sf l2 (plus p4 p5) p25m) (196 l2 p4 u4)
) (l1 (15 l1 v4)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 189) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (90 l2 p4 u4) (sf l2 (plus p3 p5) p25m) (196 l2 p3 u3)
) (l1 (15 l1 v4)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 190) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (92 l2 p3 u3) (sf l2 (plus p4 p5) p24m) (208 l2 p4 u4)
) (l1 (15 l1 v4)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 191) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (92 l2 p4 u4) (sf l2 (plus p3 p5) p24m) (208 l2 p3 u3)
) (l1 (15 l1 v4)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 192) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (94 l2 p3 u3) (sf l2 (plus p4 p5) p18m) (218 l2 p4 u4)
) (l1 (15 l1 v4)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 193) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (94 l2 p4 u4) (sf l2 (plus p3 p5) p18m) (218 l2 p3 u3)
) (l1 (15 l1 v4)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 194) (l l2 l1));
 
aa(95):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (96 l2 p3 u3) (sf l2 (plus p4 p5) p14m) (228 l2 p4 u4)
) (l1 (15 l1 v4)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 195) (l l2 l1));
 
aa(96):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (96 l2 p4 u4) (sf l2 (plus p3 p5) p14m) (228 l2 p3 u3)
) (l1 (15 l1 v4)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 196) (l l2 l1));
 
aa(97):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (98 l2 p3 u3) (sf l2 (plus p4 p5) p13m) (237 l2 p4 u4)
) (l1 (15 l1 v4)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 197) (l l2 l1));
 
aa(98):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (98 l2 p4 u4) (sf l2 (plus p3 p5) p13m) (237 l2 p3 u3)
) (l1 (15 l1 v4)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 198) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (100 l2 p3 u3) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 199) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (103 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (100 l2 p4 u4) (sf l2 (plus p3 p5) p11m) (242 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3)
(ijk 200) (l l2 l1));
 
;end;
 
