aa(1):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (125 l2 (plus 
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (663 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 u3 v4 v5) (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(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 301) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (125 l2 (plus 
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (663 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 u4 v4 v5) (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(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 302) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (125 l2 (plus 
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (689 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p3 v5 v4 u3) (sf5 l2 (plus p4 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p4 p5)) p5 p4 v2 v1 u4)) (l1 (15
l1 v8)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 303) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (125 l2 (plus 
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p33m) (689 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2
) (minus p6))) p4 v5 v4 u4) (sf5 l2 (plus p3 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p3 p5)) p5 p3 v2 v1 u3)) (l1 (15
l1 v8)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 304) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (129 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 305) (l l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (129 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 306) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (131 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 307) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (131 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 308) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (137 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 309) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (137 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 310) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (139 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 311) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (139 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 312) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (141 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 313) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (141 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 314) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (143 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 315) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (143 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 316) (l l2 l1));
 
aa(17):='(((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) (324 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p31m) (144 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 317) (l l2 l1));
 
aa(18):='(((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) (324 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p31m) (144 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 318) (l l2 l1));
 
aa(19):='(((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) (350 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p31m) (144 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 319) (l l2 l1));
 
aa(20):='(((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) (350 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p31m) (144 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 320) (l l2 l1));
 
aa(21):='(((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) (378 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p31m) (144 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 321) (l l2 l1));
 
aa(22):='(((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) (378 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p31m) (144 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 322) (l l2 l1));
 
aa(23):='(((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) (468 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p31m) (144 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 323) (l l2 l1));
 
aa(24):='(((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) (468 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p31m) (144 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 324) (l l2 l1));
 
aa(25):='(((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) (494 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p31m) (144 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 325) (l l2 l1));
 
aa(26):='(((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) (494 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p31m) (144 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 326) (l l2 l1));
 
aa(27):='(((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) (520 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p31m) (144 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 327) (l l2 l1));
 
aa(28):='(((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) (520 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p31m) (144 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 328) (l l2 l1));
 
aa(29):='(((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) (664 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 329) (l l2 l1));
 
aa(30):='(((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) (664 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 330) (l l2 l1));
 
aa(31):='(((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) (690 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v4 v5) (sf l2 (
plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 331) (l l2 l1));
 
aa(32):='(((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) (690 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v4 v5) (sf l2 (
plus p1 p2 p5) p31m) (144 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 332) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (145 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (128 l2 p3 u3) (sf l2 (plus p4 p5) p30m) (164 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 333) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (145 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (128 l2 p4 u4) (sf l2 (plus p3 p5) p30m) (164 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 334) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (145 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (130 l2 p3 u3) (sf l2 (plus p4 p5) p28m) (182 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 335) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (145 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (130 l2 p4 u4) (sf l2 (plus p3 p5) p28m) (182 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 336) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (145 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (136 l2 p3 u3) (sf l2 (plus p4 p5) p18m) (218 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 337) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (145 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (136 l2 p4 u4) (sf l2 (plus p3 p5) p18m) (218 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 338) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (145 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (138 l2 p3 u3) (sf l2 (plus p4 p5) p14m) (228 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 339) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (145 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (138 l2 p4 u4) (sf l2 (plus p3 p5) p14m) (228 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 340) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (145 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (140 l2 p3 u3) (sf l2 (plus p4 p5) p13m) (237 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 341) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (145 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (140 l2 p4 u4) (sf l2 (plus p3 p5) p13m) (237 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 342) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (145 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (142 l2 p3 u3) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 343) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (145 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (142 l2 p4 u4) (sf l2 (plus p3 p5) p11m) (242 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 344) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (145 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (325 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(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 345) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (145 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (325 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(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 346) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (145 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (351 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(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 347) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (145 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (351 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(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 348) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (145 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (379 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(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 349) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (145 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (379 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(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 350) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (145 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (469 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(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 351) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (145 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (469 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(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 352) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (145 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (495 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(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 353) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (145 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (495 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(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 354) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (145 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (521 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(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 355) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (145 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (521 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(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 356) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (145 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (665 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(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 357) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (145 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (665 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(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 358) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (145 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (691 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(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 359) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (145 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p31m) (691 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(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 360) (l l2 l1));
 
aa(61):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (149 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 361) (l l2 l1));
 
aa(62):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (149 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 362) (l l2 l1));
 
aa(63):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (155 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 363) (l l2 l1));
 
aa(64):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (155 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 364) (l l2 l1));
 
aa(65):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (157 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 365) (l l2 l1));
 
aa(66):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (157 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 366) (l l2 l1));
 
aa(67):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (159 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 367) (l l2 l1));
 
aa(68):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (159 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 368) (l l2 l1));
 
aa(69):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (161 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 369) (l l2 l1));
 
aa(70):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (161 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 370) (l l2 l1));
 
aa(71):='(((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) (326 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p30m) (162 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 371) (l l2 l1));
 
aa(72):='(((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) (326 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p30m) (162 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 372) (l l2 l1));
 
aa(73):='(((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) (352 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p30m) (162 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 373) (l l2 l1));
 
aa(74):='(((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) (352 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p30m) (162 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 374) (l l2 l1));
 
aa(75):='(((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) (382 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p30m) (162 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 375) (l l2 l1));
 
aa(76):='(((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) (382 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p30m) (162 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 376) (l l2 l1));
 
aa(77):='(((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) (470 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p30m) (162 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 377) (l l2 l1));
 
aa(78):='(((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) (470 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p30m) (162 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 378) (l l2 l1));
 
aa(79):='(((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) (496 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p30m) (162 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 379) (l l2 l1));
 
aa(80):='(((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) (496 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p30m) (162 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 380) (l l2 l1));
 
aa(81):='(((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) (522 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p30m) (162 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 381) (l l2 l1));
 
aa(82):='(((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) (522 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p30m) (162 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 382) (l l2 l1));
 
aa(83):='(((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) (666 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v4 v5) (sf l2 (
plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 383) (l l2 l1));
 
aa(84):='(((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) (666 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v4 v5) (sf l2 (
plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 384) (l l2 l1));
 
aa(85):='(((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) (692 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 385) (l l2 l1));
 
aa(86):='(((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) (692 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p30m) (162 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 386) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (163 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (148 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 387) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (163 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (148 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 388) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (163 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (154 l2 p3 u3) (sf l2 (plus p4 p5) p18m) (218 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 389) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (163 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (154 l2 p4 u4) (sf l2 (plus p3 p5) p18m) (218 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 390) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (163 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (156 l2 p3 u3) (sf l2 (plus p4 p5) p14m) (228 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 391) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (163 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (156 l2 p4 u4) (sf l2 (plus p3 p5) p14m) (228 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 392) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (163 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (158 l2 p3 u3) (sf l2 (plus p4 p5) p13m) (237 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 393) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (163 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (158 l2 p4 u4) (sf l2 (plus p3 p5) p13m) (237 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 394) (l l2 l1));
 
aa(95):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (163 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (160 l2 p3 u3) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 395) (l l2 l1));
 
aa(96):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (163 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (160 l2 p4 u4) (sf l2 (plus p3 p5) p11m) (242 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 396) (l l2 l1));
 
aa(97):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (163 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (327 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(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 397) (l l2 l1));
 
aa(98):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (163 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (327 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(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 398) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (163 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (353 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(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 399) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (163 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (353 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(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v3 v1) (ijk 400) (l l2 l1));
 
;end;
 
