aa(1):='(((s3 (plus p4 p6) p14m v4 v5 v6 v1 v2 v3) (s11 (
plus p1 p2) p36m v11 v12) (s2 (plus (minus p1) (minus p2) (
minus p5)) p33m v9 v10 v7 v8) (109 p6 v3 v2 v1) (195 (plus 
p1 p2 p5) (plus p4 p6) v6 v5 v4 v8 v7) (69 (plus p1 p2) (
plus (minus p1) (minus p2) (minus p5)) v10 v9 v11)) (l1 (19
l1 v12)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 201) (l l1));
 
aa(2):='(((s3 (plus p4 p5) p14m v4 v5 v6 v1 v2 v3) (s11 (
plus p1 p2) p36m v11 v12) (s2 (plus (minus p1) (minus p2) (
minus p6)) p33m v9 v10 v7 v8) (109 p5 v3 v2 v1) (195 (plus 
p1 p2 p6) (plus p4 p5) v6 v5 v4 v8 v7) (69 (plus p1 p2) (
plus (minus p1) (minus p2) (minus p6)) v10 v9 v11)) (l1 (19
l1 v12)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 202) (l l1));
 
aa(3):='(((s3 (plus p3 p6) p14m v4 v5 v6 v1 v2 v3) (s11 (
plus p1 p2) p36m v11 v12) (s2 (plus (minus p1) (minus p2) (
minus p5)) p33m v9 v10 v7 v8) (109 p6 v3 v2 v1) (195 (plus 
p1 p2 p5) (plus p3 p6) v6 v5 v4 v8 v7) (69 (plus p1 p2) (
plus (minus p1) (minus p2) (minus p5)) v10 v9 v11)) (l1 (19
l1 v12)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 203) (l l1));
 
aa(4):='(((s3 (plus p3 p5) p14m v4 v5 v6 v1 v2 v3) (s11 (
plus p1 p2) p36m v11 v12) (s2 (plus (minus p1) (minus p2) (
minus p6)) p33m v9 v10 v7 v8) (109 p5 v3 v2 v1) (195 (plus 
p1 p2 p6) (plus p3 p5) v6 v5 v4 v8 v7) (69 (plus p1 p2) (
plus (minus p1) (minus p2) (minus p6)) v10 v9 v11)) (l1 (19
l1 v12)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 204) (l l1));
 
aa(5):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p6) 
p9m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p32m
v2 v3 v5 v6) (31 p6 v1) (85 (plus (minus p4) (minus p5) (
minus p6)) (plus p4 p6) v4 v2 v3) (82 (plus p4 p5 p6) (plus
p1 p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 205) (l l1));
 
aa(6):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p5) 
p9m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p32m
v2 v3 v5 v6) (31 p5 v1) (85 (plus (minus p4) (minus p5) (
minus p6)) (plus p4 p5) v4 v2 v3) (82 (plus p4 p5 p6) (plus
p1 p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 206) (l l1));
 
aa(7):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p6) 
p9m v4 v1) (s2 (plus p1 p2 p4) p32m v2 v3 v5 v6) (31 p6 v1)
(85 (plus p1 p2 p4) (plus p3 p6) v4 v2 v3) (82 (plus (minus
p1) (minus p2) (minus p4)) (plus p1 p2) v7 v5 v6)) (l1 (19 
l1 v8)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 207) (l l1));
 
aa(8):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p5) 
p9m v4 v1) (s2 (plus p1 p2 p4) p32m v2 v3 v5 v6) (31 p5 v1)
(85 (plus p1 p2 p4) (plus p3 p5) v4 v2 v3) (82 (plus (minus
p1) (minus p2) (minus p4)) (plus p1 p2) v7 v5 v6)) (l1 (19 
l1 v8)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 208) (l l1));
 
aa(9):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p6) 
p6m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p32m
v2 v3 v5 v6) (32 p6 v1) (87 (plus (minus p4) (minus p5) (
minus p6)) (plus p4 p6) v4 v2 v3) (82 (plus p4 p5 p6) (plus
p1 p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 209) (l l1));
 
aa(10):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p5) 
p6m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p32m
v2 v3 v5 v6) (32 p5 v1) (87 (plus (minus p4) (minus p5) (
minus p6)) (plus p4 p5) v4 v2 v3) (82 (plus p4 p5 p6) (plus
p1 p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 210) (l l1));
 
aa(11):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p6) 
p6m v4 v1) (s2 (plus p1 p2 p4) p32m v2 v3 v5 v6) (32 p6 v1)
(87 (plus p1 p2 p4) (plus p3 p6) v4 v2 v3) (82 (plus (minus
p1) (minus p2) (minus p4)) (plus p1 p2) v7 v5 v6)) (l1 (19 
l1 v8)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 211) (l l1));
 
aa(12):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p5) 
p6m v4 v1) (s2 (plus p1 p2 p4) p32m v2 v3 v5 v6) (32 p5 v1)
(87 (plus p1 p2 p4) (plus p3 p5) v4 v2 v3) (82 (plus (minus
p1) (minus p2) (minus p4)) (plus p1 p2) v7 v5 v6)) (l1 (19 
l1 v8)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 212) (l l1));
 
aa(13):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p6) 
p2m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p32m
v2 v3 v5 v6) (35 p6 v1) (89 (plus (minus p4) (minus p5) (
minus p6)) (plus p4 p6) v4 v2 v3) (82 (plus p4 p5 p6) (plus
p1 p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 213) (l l1));
 
aa(14):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p5) 
p2m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p32m
v2 v3 v5 v6) (35 p5 v1) (89 (plus (minus p4) (minus p5) (
minus p6)) (plus p4 p5) v4 v2 v3) (82 (plus p4 p5 p6) (plus
p1 p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 214) (l l1));
 
aa(15):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p6) 
p2m v4 v1) (s2 (plus p1 p2 p4) p32m v2 v3 v5 v6) (35 p6 v1)
(89 (plus p1 p2 p4) (plus p3 p6) v4 v2 v3) (82 (plus (minus
p1) (minus p2) (minus p4)) (plus p1 p2) v7 v5 v6)) (l1 (19 
l1 v8)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 215) (l l1));
 
aa(16):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p5) 
p2m v4 v1) (s2 (plus p1 p2 p4) p32m v2 v3 v5 v6) (35 p5 v1)
(89 (plus p1 p2 p4) (plus p3 p5) v4 v2 v3) (82 (plus (minus
p1) (minus p2) (minus p4)) (plus p1 p2) v7 v5 v6)) (l1 (19 
l1 v8)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 216) (l l1));
 
aa(17):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p6) 
p7m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p32m v3 v4 v7 v8) (61 p6 v2 v1) (144 (plus p4 p6) (plus (
minus p4) (minus p5) (minus p6)) v5 v3 v4 v6) (82 (plus p4 
p5 p6) (plus p1 p2) v9 v7 v8)) (l1 (19 l1 v10)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 217) (l l1));
 
aa(18):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p5) 
p7m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p32m v3 v4 v7 v8) (61 p5 v2 v1) (144 (plus p4 p5) (plus (
minus p4) (minus p5) (minus p6)) v5 v3 v4 v6) (82 (plus p4 
p5 p6) (plus p1 p2) v9 v7 v8)) (l1 (19 l1 v10)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 218) (l l1));
 
aa(19):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p6) 
p7m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p32m v3 v4 v7 v8) (61 
p6 v2 v1) (144 (plus p3 p6) (plus p1 p2 p4) v5 v3 v4 v6) (82
(plus (minus p1) (minus p2) (minus p4)) (plus p1 p2) v9 v7 
v8)) (l1 (19 l1 v10)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 219) (l l1));
 
aa(20):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p5) 
p7m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p32m v3 v4 v7 v8) (61 
p5 v2 v1) (144 (plus p3 p5) (plus p1 p2 p4) v5 v3 v4 v6) (82
(plus (minus p1) (minus p2) (minus p4)) (plus p1 p2) v9 v7 
v8)) (l1 (19 l1 v10)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 220) (l l1));
 
aa(21):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p6) 
p4m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p32m v3 v4 v7 v8) (64 p6 v2 v1) (146 (plus p4 p6) (plus (
minus p4) (minus p5) (minus p6)) v5 v3 v4 v6) (82 (plus p4 
p5 p6) (plus p1 p2) v9 v7 v8)) (l1 (19 l1 v10)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 221) (l l1));
 
aa(22):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p5) 
p4m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p32m v3 v4 v7 v8) (64 p5 v2 v1) (146 (plus p4 p5) (plus (
minus p4) (minus p5) (minus p6)) v5 v3 v4 v6) (82 (plus p4 
p5 p6) (plus p1 p2) v9 v7 v8)) (l1 (19 l1 v10)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 222) (l l1));
 
aa(23):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p6) 
p4m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p32m v3 v4 v7 v8) (64 
p6 v2 v1) (146 (plus p3 p6) (plus p1 p2 p4) v5 v3 v4 v6) (82
(plus (minus p1) (minus p2) (minus p4)) (plus p1 p2) v9 v7 
v8)) (l1 (19 l1 v10)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 223) (l l1));
 
aa(24):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p5) 
p4m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p32m v3 v4 v7 v8) (64 
p5 v2 v1) (146 (plus p3 p5) (plus p1 p2 p4) v5 v3 v4 v6) (82
(plus (minus p1) (minus p2) (minus p4)) (plus p1 p2) v9 v7 
v8)) (l1 (19 l1 v10)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 224) (l l1));
 
aa(25):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p6) 
p3m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p32m v3 v4 v7 v8) (67 p6 v2 v1) (148 (plus p4 p6) (plus (
minus p4) (minus p5) (minus p6)) v5 v3 v4 v6) (82 (plus p4 
p5 p6) (plus p1 p2) v9 v7 v8)) (l1 (19 l1 v10)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 225) (l l1));
 
aa(26):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p5) 
p3m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p32m v3 v4 v7 v8) (67 p5 v2 v1) (148 (plus p4 p5) (plus (
minus p4) (minus p5) (minus p6)) v5 v3 v4 v6) (82 (plus p4 
p5 p6) (plus p1 p2) v9 v7 v8)) (l1 (19 l1 v10)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 226) (l l1));
 
aa(27):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p6) 
p3m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p32m v3 v4 v7 v8) (67 
p6 v2 v1) (148 (plus p3 p6) (plus p1 p2 p4) v5 v3 v4 v6) (82
(plus (minus p1) (minus p2) (minus p4)) (plus p1 p2) v9 v7 
v8)) (l1 (19 l1 v10)));
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 227) (l l1));
 
aa(28):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p5) 
p3m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p32m v3 v4 v7 v8) (67 
p5 v2 v1) (148 (plus p3 p5) (plus p1 p2 p4) v5 v3 v4 v6) (82
(plus (minus p1) (minus p2) (minus p4)) (plus p1 p2) v9 v7 
v8)) (l1 (19 l1 v10)));
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 228) (l l1));
 
aa(29):='(((s11 (plus p4 p6) p9m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p32m
v5 v6 v2 v3) (31 p6 v1) (84 (plus p1 p2 p5) (plus p4 p6) v4
v2 v3) (83 (plus (minus p1) (minus p2) (minus p5)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(29):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 229) (l l1));
 
aa(30):='(((s11 (plus p4 p5) p9m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (31 p5 v1) (84 (plus p1 p2 p6) (plus p4 p5) v4
v2 v3) (83 (plus (minus p1) (minus p2) (minus p6)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 230) (l l1));
 
aa(31):='(((s11 (plus p3 p6) p9m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p32m
v5 v6 v2 v3) (31 p6 v1) (84 (plus p1 p2 p5) (plus p3 p6) v4
v2 v3) (83 (plus (minus p1) (minus p2) (minus p5)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 231) (l l1));
 
aa(32):='(((s11 (plus p3 p5) p9m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (31 p5 v1) (84 (plus p1 p2 p6) (plus p3 p5) v4
v2 v3) (83 (plus (minus p1) (minus p2) (minus p6)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 232) (l l1));
 
aa(33):='(((s11 (plus p4 p6) p6m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p32m
v5 v6 v2 v3) (32 p6 v1) (86 (plus p1 p2 p5) (plus p4 p6) v4
v2 v3) (83 (plus (minus p1) (minus p2) (minus p5)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 233) (l l1));
 
aa(34):='(((s11 (plus p4 p5) p6m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (32 p5 v1) (86 (plus p1 p2 p6) (plus p4 p5) v4
v2 v3) (83 (plus (minus p1) (minus p2) (minus p6)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 234) (l l1));
 
aa(35):='(((s11 (plus p3 p6) p6m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p32m
v5 v6 v2 v3) (32 p6 v1) (86 (plus p1 p2 p5) (plus p3 p6) v4
v2 v3) (83 (plus (minus p1) (minus p2) (minus p5)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 235) (l l1));
 
aa(36):='(((s11 (plus p3 p5) p6m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (32 p5 v1) (86 (plus p1 p2 p6) (plus p3 p5) v4
v2 v3) (83 (plus (minus p1) (minus p2) (minus p6)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 236) (l l1));
 
aa(37):='(((s11 (plus p4 p6) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p32m
v5 v6 v2 v3) (35 p6 v1) (88 (plus p1 p2 p5) (plus p4 p6) v4
v2 v3) (83 (plus (minus p1) (minus p2) (minus p5)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 237) (l l1));
 
aa(38):='(((s11 (plus p4 p5) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (35 p5 v1) (88 (plus p1 p2 p6) (plus p4 p5) v4
v2 v3) (83 (plus (minus p1) (minus p2) (minus p6)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 238) (l l1));
 
aa(39):='(((s11 (plus p3 p6) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p32m
v5 v6 v2 v3) (35 p6 v1) (88 (plus p1 p2 p5) (plus p3 p6) v4
v2 v3) (83 (plus (minus p1) (minus p2) (minus p5)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 239) (l l1));
 
aa(40):='(((s11 (plus p3 p5) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p32m
v5 v6 v2 v3) (35 p5 v1) (88 (plus p1 p2 p6) (plus p3 p5) v4
v2 v3) (83 (plus (minus p1) (minus p2) (minus p6)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 240) (l l1));
 
aa(41):='(((s2 (plus p4 p6) p7m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p32m v7 v8 v3 v4) (61 p6 v2 v1) (143 (plus p4 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v5 v3 v4 v6) (83 (
plus (minus p1) (minus p2) (minus p5)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 241) (l l1));
 
aa(42):='(((s2 (plus p4 p5) p7m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p32m v7 v8 v3 v4) (61 p5 v2 v1) (143 (plus p4 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v5 v3 v4 v6) (83 (
plus (minus p1) (minus p2) (minus p6)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 242) (l l1));
 
aa(43):='(((s2 (plus p3 p6) p7m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p32m v7 v8 v3 v4) (61 p6 v2 v1) (143 (plus p3 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v5 v3 v4 v6) (83 (
plus (minus p1) (minus p2) (minus p5)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 243) (l l1));
 
aa(44):='(((s2 (plus p3 p5) p7m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p32m v7 v8 v3 v4) (61 p5 v2 v1) (143 (plus p3 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v5 v3 v4 v6) (83 (
plus (minus p1) (minus p2) (minus p6)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 244) (l l1));
 
aa(45):='(((s2 (plus p4 p6) p4m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p32m v7 v8 v3 v4) (64 p6 v2 v1) (145 (plus p4 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v5 v3 v4 v6) (83 (
plus (minus p1) (minus p2) (minus p5)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 245) (l l1));
 
aa(46):='(((s2 (plus p4 p5) p4m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p32m v7 v8 v3 v4) (64 p5 v2 v1) (145 (plus p4 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v5 v3 v4 v6) (83 (
plus (minus p1) (minus p2) (minus p6)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 246) (l l1));
 
aa(47):='(((s2 (plus p3 p6) p4m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p32m v7 v8 v3 v4) (64 p6 v2 v1) (145 (plus p3 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v5 v3 v4 v6) (83 (
plus (minus p1) (minus p2) (minus p5)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 247) (l l1));
 
aa(48):='(((s2 (plus p3 p5) p4m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p32m v7 v8 v3 v4) (64 p5 v2 v1) (145 (plus p3 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v5 v3 v4 v6) (83 (
plus (minus p1) (minus p2) (minus p6)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 248) (l l1));
 
aa(49):='(((s2 (plus p4 p6) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p32m v7 v8 v3 v4) (67 p6 v2 v1) (147 (plus p4 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v5 v3 v4 v6) (83 (
plus (minus p1) (minus p2) (minus p5)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 249) (l l1));
 
aa(50):='(((s2 (plus p4 p5) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p32m v7 v8 v3 v4) (67 p5 v2 v1) (147 (plus p4 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v5 v3 v4 v6) (83 (
plus (minus p1) (minus p2) (minus p6)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 250) (l l1));
 
aa(51):='(((s2 (plus p3 p6) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p32m v7 v8 v3 v4) (67 p6 v2 v1) (147 (plus p3 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v5 v3 v4 v6) (83 (
plus (minus p1) (minus p2) (minus p5)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 251) (l l1));
 
aa(52):='(((s2 (plus p3 p5) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p32m v7 v8 v3 v4) (67 p5 v2 v1) (147 (plus p3 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v5 v3 v4 v6) (83 (
plus (minus p1) (minus p2) (minus p6)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 252) (l l1));
 
aa(53):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p6) 
p2m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p30m
v2 v3 v5 v6) (35 p6 v1) (93 (plus p4 p6) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (90 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 253) (l l1));
 
aa(54):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p5) 
p2m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p30m
v2 v3 v5 v6) (35 p5 v1) (93 (plus p4 p5) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (90 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 254) (l l1));
 
aa(55):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p6) 
p2m v4 v1) (s2 (plus p1 p2 p4) p30m v2 v3 v5 v6) (35 p6 v1)
(93 (plus p3 p6) (plus p1 p2 p4) v3 v2 v4) (90 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 255) (l l1));
 
aa(56):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p5) 
p2m v4 v1) (s2 (plus p1 p2 p4) p30m v2 v3 v5 v6) (35 p5 v1)
(93 (plus p3 p5) (plus p1 p2 p4) v3 v2 v4) (90 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 256) (l l1));
 
aa(57):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p6) 
p4m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p30m v3 v4 v7 v8) (64 p6 v2 v1) (150 (plus p4 p6) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (90 (plus p1 
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 257) (l l1));
 
aa(58):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p5) 
p4m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p30m v3 v4 v7 v8) (64 p5 v2 v1) (150 (plus p4 p5) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (90 (plus p1 
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 258) (l l1));
 
aa(59):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p6) 
p4m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p30m v3 v4 v7 v8) (64 
p6 v2 v1) (150 (plus p3 p6) (plus p1 p2 p4) v4 v3 v6 v5) (90
(plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v9)) (l1 (19 l1 
v10)));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 259) (l l1));
 
aa(60):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p5) 
p4m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p30m v3 v4 v7 v8) (64 
p5 v2 v1) (150 (plus p3 p5) (plus p1 p2 p4) v4 v3 v6 v5) (90
(plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v9)) (l1 (19 l1 
v10)));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 260) (l l1));
 
aa(61):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p6) 
p3m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p30m v3 v4 v7 v8) (67 p6 v2 v1) (152 (plus p4 p6) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (90 (plus p1 
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 261) (l l1));
 
aa(62):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p5) 
p3m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p30m v3 v4 v7 v8) (67 p5 v2 v1) (152 (plus p4 p5) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (90 (plus p1 
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 262) (l l1));
 
aa(63):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p6) 
p3m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p30m v3 v4 v7 v8) (67 
p6 v2 v1) (152 (plus p3 p6) (plus p1 p2 p4) v4 v3 v6 v5) (90
(plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v9)) (l1 (19 l1 
v10)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 263) (l l1));
 
aa(64):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p5) 
p3m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p30m v3 v4 v7 v8) (67 
p5 v2 v1) (152 (plus p3 p5) (plus p1 p2 p4) v4 v3 v6 v5) (90
(plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v9)) (l1 (19 l1 
v10)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 264) (l l1));
 
aa(65):='(((s11 (plus p4 p6) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p30m
v5 v6 v2 v3) (35 p6 v1) (92 (plus p4 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (91 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 265) (l l1));
 
aa(66):='(((s11 (plus p4 p5) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p30m
v5 v6 v2 v3) (35 p5 v1) (92 (plus p4 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (91 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 266) (l l1));
 
aa(67):='(((s11 (plus p3 p6) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p30m
v5 v6 v2 v3) (35 p6 v1) (92 (plus p3 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (91 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 267) (l l1));
 
aa(68):='(((s11 (plus p3 p5) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p30m
v5 v6 v2 v3) (35 p5 v1) (92 (plus p3 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (91 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 268) (l l1));
 
aa(69):='(((s2 (plus p4 p6) p4m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p30m v7 v8 v3 v4) (64 p6 v2 v1) (149 (plus p4 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (91 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 269) (l l1));
 
aa(70):='(((s2 (plus p4 p5) p4m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p30m v7 v8 v3 v4) (64 p5 v2 v1) (149 (plus p4 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (91 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 270) (l l1));
 
aa(71):='(((s2 (plus p3 p6) p4m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p30m v7 v8 v3 v4) (64 p6 v2 v1) (149 (plus p3 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (91 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 271) (l l1));
 
aa(72):='(((s2 (plus p3 p5) p4m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p30m v7 v8 v3 v4) (64 p5 v2 v1) (149 (plus p3 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (91 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 272) (l l1));
 
aa(73):='(((s2 (plus p4 p6) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p30m v7 v8 v3 v4) (67 p6 v2 v1) (151 (plus p4 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (91 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 273) (l l1));
 
aa(74):='(((s2 (plus p4 p5) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p30m v7 v8 v3 v4) (67 p5 v2 v1) (151 (plus p4 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (91 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 274) (l l1));
 
aa(75):='(((s2 (plus p3 p6) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p30m v7 v8 v3 v4) (67 p6 v2 v1) (151 (plus p3 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (91 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 275) (l l1));
 
aa(76):='(((s2 (plus p3 p5) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p30m v7 v8 v3 v4) (67 p5 v2 v1) (151 (plus p3 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (91 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 276) (l l1));
 
aa(77):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p6) 
p2m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p29m
v2 v3 v5 v6) (35 p6 v1) (97 (plus p4 p6) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (94 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 277) (l l1));
 
aa(78):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p5) 
p2m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p29m
v2 v3 v5 v6) (35 p5 v1) (97 (plus p4 p5) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (94 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 278) (l l1));
 
aa(79):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p6) 
p2m v4 v1) (s2 (plus p1 p2 p4) p29m v2 v3 v5 v6) (35 p6 v1)
(97 (plus p3 p6) (plus p1 p2 p4) v3 v2 v4) (94 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 279) (l l1));
 
aa(80):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p5) 
p2m v4 v1) (s2 (plus p1 p2 p4) p29m v2 v3 v5 v6) (35 p5 v1)
(97 (plus p3 p5) (plus p1 p2 p4) v3 v2 v4) (94 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 280) (l l1));
 
aa(81):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p6) 
p3m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p29m v3 v4 v7 v8) (67 p6 v2 v1) (154 (plus p4 p6) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (94 (plus p1 
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(81):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 281) (l l1));
 
aa(82):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p5) 
p3m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p29m v3 v4 v7 v8) (67 p5 v2 v1) (154 (plus p4 p5) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (94 (plus p1 
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(82):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 282) (l l1));
 
aa(83):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p6) 
p3m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p29m v3 v4 v7 v8) (67 
p6 v2 v1) (154 (plus p3 p6) (plus p1 p2 p4) v4 v3 v6 v5) (94
(plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v9)) (l1 (19 l1 
v10)));
 
aaaa(83):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 283) (l l1));
 
aa(84):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p5) 
p3m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p29m v3 v4 v7 v8) (67 
p5 v2 v1) (154 (plus p3 p5) (plus p1 p2 p4) v4 v3 v6 v5) (94
(plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v9)) (l1 (19 l1 
v10)));
 
aaaa(84):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 284) (l l1));
 
aa(85):='(((s11 (plus p4 p6) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p29m
v5 v6 v2 v3) (35 p6 v1) (96 (plus p4 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (95 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(85):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 285) (l l1));
 
aa(86):='(((s11 (plus p4 p5) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p29m
v5 v6 v2 v3) (35 p5 v1) (96 (plus p4 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (95 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(86):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 286) (l l1));
 
aa(87):='(((s11 (plus p3 p6) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p29m
v5 v6 v2 v3) (35 p6 v1) (96 (plus p3 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (95 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(87):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 287) (l l1));
 
aa(88):='(((s11 (plus p3 p5) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p29m
v5 v6 v2 v3) (35 p5 v1) (96 (plus p3 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (95 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(88):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 288) (l l1));
 
aa(89):='(((s2 (plus p4 p6) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p29m v7 v8 v3 v4) (67 p6 v2 v1) (153 (plus p4 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (95 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 289) (l l1));
 
aa(90):='(((s2 (plus p4 p5) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p29m v7 v8 v3 v4) (67 p5 v2 v1) (153 (plus p4 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (95 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 290) (l l1));
 
aa(91):='(((s2 (plus p3 p6) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p29m v7 v8 v3 v4) (67 p6 v2 v1) (153 (plus p3 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (95 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 291) (l l1));
 
aa(92):='(((s2 (plus p3 p5) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p29m v7 v8 v3 v4) (67 p5 v2 v1) (153 (plus p3 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (95 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 292) (l l1));
 
aa(93):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p6) 
p2m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p27m
v2 v3 v5 v6) (35 p6 v1) (101 (plus p4 p6) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (98 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(93):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 293) (l l1));
 
aa(94):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p5) 
p2m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p27m
v2 v3 v5 v6) (35 p5 v1) (101 (plus p4 p5) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (98 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(94):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 294) (l l1));
 
aa(95):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p6) 
p2m v4 v1) (s2 (plus p1 p2 p4) p27m v2 v3 v5 v6) (35 p6 v1)
(101 (plus p3 p6) (plus p1 p2 p4) v3 v2 v4) (98 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(95):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 295) (l l1));
 
aa(96):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p5) 
p2m v4 v1) (s2 (plus p1 p2 p4) p27m v2 v3 v5 v6) (35 p5 v1)
(101 (plus p3 p5) (plus p1 p2 p4) v3 v2 v4) (98 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(96):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 296) (l l1));
 
aa(97):='(((s11 (plus p4 p6) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p27m
v5 v6 v2 v3) (35 p6 v1) (100 (plus p4 p6) (minus (plus (
minus p1) (minus p2) (minus p5))) v3 v2 v4) (99 (plus p1 p2)
(plus (minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(97):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 297) (l l1));
 
aa(98):='(((s11 (plus p4 p5) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p27m
v5 v6 v2 v3) (35 p5 v1) (100 (plus p4 p5) (minus (plus (
minus p1) (minus p2) (minus p6))) v3 v2 v4) (99 (plus p1 p2)
(plus (minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(98):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 298) (l l1));
 
aa(99):='(((s11 (plus p3 p6) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p27m
v5 v6 v2 v3) (35 p6 v1) (100 (plus p3 p6) (minus (plus (
minus p1) (minus p2) (minus p5))) v3 v2 v4) (99 (plus p1 p2)
(plus (minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(99):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 299) (l l1));
 
aa(100):='(((s11 (plus p3 p5) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p27m
v5 v6 v2 v3) (35 p5 v1) (100 (plus p3 p5) (minus (plus (
minus p1) (minus p2) (minus p6))) v3 v2 v4) (99 (plus p1 p2)
(plus (minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(100):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7
v6 v5 v4 v3 v2 v1) (ijk 300) (l l1));
 
;end;
 
