aa(1):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (269 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p36m v3 v1) (
292 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 201) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (269 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p36m v3 v1) (
292 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 202) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (295 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p34m v3 v1) (
318 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 203) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (295 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p34m v3 v1) (
318 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 204) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (321 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p29m v3 v1) (
344 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 205) (l l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (321 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p29m v3 v1) (
344 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 206) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (347 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p27m v3 v1) (
372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 207) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (347 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p27m v3 v1) (
372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 208) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (375 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p26m v3 v1) (
410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 209) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (375 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p26m v3 v1) (
410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 210) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (413 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p23m v3 v1) (
436 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 211) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (413 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p23m v3 v1) (
436 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 212) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (439 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p20m v3 v1) (
462 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 213) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (439 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p20m v3 v1) (
462 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 214) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (465 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p19m v3 v1) (
488 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 215) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (465 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p19m v3 v1) (
488 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 216) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (491 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p17m v3 v1) (
514 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 217) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (491 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p17m v3 v1) (
514 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 218) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (517 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p12m v3 v1) (
544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 219) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (103 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (517 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p12m v3 v1) (
544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 220) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (103 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (557 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v5 v4 u3) (sf5 l2 (plus p4 p5) p38m v4 v5
v1 v2) (580 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 221) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (103 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (557 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v5 v4 u4) (sf5 l2 (plus p3 p5) p38m v4 v5
v1 v2) (580 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 222) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (103 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (583 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v4 v5) (sf5 l2 (plus p4 p5) p35m v4 v5
v1 v2) (606 l2 (minus (plus p4 p5)) p5 p4 v2 v1 u4)) (l1 (15
l1 v8)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 223) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (103 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (583 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v4 v5) (sf5 l2 (plus p3 p5) p35m v4 v5
v1 v2) (606 l2 (minus (plus p3 p5)) p5 p3 v2 v1 u3)) (l1 (15
l1 v8)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 224) (l l2 l1));
 
aa(25):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (103 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (609 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v5 v4 u3) (sf5 l2 (plus p4 p5) p32m v4 v5
v1 v2) (632 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 225) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (103 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (609 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v5 v4 u4) (sf5 l2 (plus p3 p5) p32m v4 v5
v1 v2) (632 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 226) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (103 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (635 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v5 v4 u3) (sf5 l2 (plus p4 p5) p22m v4 v5
v1 v2) (658 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 227) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (103 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (635 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v5 v4 u4) (sf5 l2 (plus p3 p5) p22m v4 v5
v1 v2) (658 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 228) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (103 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (661 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v5 v4 u3) (sf5 l2 (plus p4 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 229) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (103 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (661 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v5 v4 u4) (sf5 l2 (plus p3 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 230) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (103 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (687 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v4 v5) (sf5 l2 (plus p4 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p4 p5)) p5 p4 v2 v1 u4)) (l1 (15
l1 v8)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 231) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (103 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (687 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v4 v5) (sf5 l2 (plus p3 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p3 p5)) p5 p3 v2 v1 u3)) (l1 (15
l1 v8)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 232) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (103 l2 (plus
p1 p2) v9) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (819 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v5 v7 v6) (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 v10)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 233) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (103 l2 (plus
p1 p2) v9) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (819 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v5 v7 v6) (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 v10)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 234) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (103 l2 (plus
p1 p2) v9) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (845 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v5 v7 v6) (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 v10)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 235) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (103 l2 (plus
p1 p2) v9) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p39m) (845 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v5 v7 v6) (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 v10)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 236) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (147 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p31m) (107 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 237) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (147 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p31m) (107 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 238) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (109 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 239) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (109 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 240) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (111 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 241) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (111 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 242) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (117 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 243) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (117 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 244) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (119 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 245) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (119 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 246) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (121 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 247) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (121 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 248) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (123 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 249) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (123 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p33m) (124 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 250) (l l2 l1));
 
aa(51):='(((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) (322 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 251) (l l2 l1));
 
aa(52):='(((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) (322 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 252) (l l2 l1));
 
aa(53):='(((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) (348 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 253) (l l2 l1));
 
aa(54):='(((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) (348 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 254) (l l2 l1));
 
aa(55):='(((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) (376 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 255) (l l2 l1));
 
aa(56):='(((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) (376 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 256) (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) (440 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 257) (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) (440 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 258) (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) (466 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 259) (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) (466 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 260) (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) (492 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 261) (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) (492 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 262) (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) (518 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 263) (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) (518 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p33m) (124 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 264) (l l2 l1));
 
aa(65):='(((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) (610 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v4 v5) (sf l2 (
plus p1 p2 p5) p33m) (124 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 265) (l l2 l1));
 
aa(66):='(((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) (610 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v4 v5) (sf l2 (
plus p1 p2 p5) p33m) (124 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 266) (l l2 l1));
 
aa(67):='(((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) (662 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v4 v5) (sf l2 (
plus p1 p2 p5) p33m) (124 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 267) (l l2 l1));
 
aa(68):='(((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) (662 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v4 v5) (sf l2 (
plus p1 p2 p5) p33m) (124 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 268) (l l2 l1));
 
aa(69):='(((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) (688 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p33m) (124 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 269) (l l2 l1));
 
aa(70):='(((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) (688 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p33m) (124 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 270) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (106 l2 p3 u3) (sf l2 (plus p4 p5) p31m) (146 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 271) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (106 l2 p4 u4) (sf l2 (plus p3 p5) p31m) (146 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 272) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (108 l2 p3 u3) (sf l2 (plus p4 p5) p30m) (164 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 273) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (108 l2 p4 u4) (sf l2 (plus p3 p5) p30m) (164 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 274) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (110 l2 p3 u3) (sf l2 (plus p4 p5) p28m) (182 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 275) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (110 l2 p4 u4) (sf l2 (plus p3 p5) p28m) (182 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 276) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (116 l2 p3 u3) (sf l2 (plus p4 p5) p18m) (218 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 277) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (116 l2 p4 u4) (sf l2 (plus p3 p5) p18m) (218 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 278) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (118 l2 p3 u3) (sf l2 (plus p4 p5) p14m) (228 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 279) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (118 l2 p4 u4) (sf l2 (plus p3 p5) p14m) (228 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 280) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (120 l2 p3 u3) (sf l2 (plus p4 p5) p13m) (237 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 281) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (120 l2 p4 u4) (sf l2 (plus p3 p5) p13m) (237 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 282) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (122 l2 p3 u3) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 283) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (125 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (122 l2 p4 u4) (sf l2 (plus p3 p5) p11m) (242 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 284) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (323 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p29m v3 v1) (
344 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 285) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (323 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p29m v3 v1) (
344 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 286) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (349 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p27m v3 v1) (
372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 287) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (349 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p27m v3 v1) (
372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 288) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (377 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p26m v3 v1) (
410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 289) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (377 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p26m v3 v1) (
410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 290) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (441 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p20m v3 v1) (
462 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 291) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (441 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p20m v3 v1) (
462 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 292) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (467 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v3 u3) (sf3 l2 (plus p4 p5) p19m v3 v1) (
488 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 293) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (467 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v3 u4) (sf3 l2 (plus p3 p5) p19m v3 v1) (
488 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v6)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 294) (l l2 l1));
 
aa(95):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (493 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p17m v3 v1) (
514 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 295) (l l2 l1));
 
aa(96):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (493 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p17m v3 v1) (
514 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 296) (l l2 l1));
 
aa(97):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (519 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v3) (sf3 l2 (plus p4 p5) p12m v3 v1) (
544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 297) (l l2 l1));
 
aa(98):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (125 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (519 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v3) (sf3 l2 (plus p3 p5) p12m v3 v1) (
544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v6)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 298) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (125 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (611 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v4 v5) (sf5 l2 (plus p4 p5) p32m v4 v5
v1 v2) (632 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 299) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (125 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (611 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v4 v5) (sf5 l2 (plus p3 p5) p32m v4 v5
v1 v2) (632 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v8)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v5 v4 v2 v1) (ijk 300) (l l2 l1));
 
;end;
 
