aa(1):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (163 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (383 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(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 401) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (163 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (383 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(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 402) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (163 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (471 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(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 403) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (163 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (471 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(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 404) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (163 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (497 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(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 405) (l l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (163 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (497 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(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 406) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (163 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (523 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(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 407) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (163 l2 (plus 
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (523 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(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 408) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (163 l2 (plus 
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (667 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(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 409) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (163 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (667 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(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 410) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (163 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (693 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(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 411) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (163 l2 (plus
p1 p2) v7) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p30m) (693 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(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 412) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (176 l2 (plus p1 
p2) v3) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4)) (l1 (15 l1
v4)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 413) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (176 l2 (plus p1 
p2) v3) (sf l2 (plus p3 p5) p11m) (242 l2 p3 u3)) (l1 (15 l1
v4)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 414) (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) (177 l2 (plus p1 
p2) v3) (sf l2 (plus p3 p5) p28m) (182 l2 p3 u3)) (l1 (15 l1
v4)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 415) (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) (177 l2 (plus p1 
p2) v3) (sf l2 (plus p4 p5) p28m) (182 l2 p4 u4)) (l1 (15 l1
v4)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 416) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (175 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p28m) (180 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 417) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (175 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p28m) (180 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 418) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (179 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p28m) (180 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 419) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (179 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p28m) (180 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 420) (l l2 l1));
 
aa(21):='(((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) (354 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p28m) (180 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 421) (l l2 l1));
 
aa(22):='(((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) (354 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p28m) (180 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 422) (l l2 l1));
 
aa(23):='(((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) (386 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p28m) (180 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 423) (l l2 l1));
 
aa(24):='(((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) (386 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p28m) (180 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 424) (l l2 l1));
 
aa(25):='(((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) (524 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p28m) (180 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 425) (l l2 l1));
 
aa(26):='(((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) (524 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p28m) (180 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 426) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (181 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p28m) (174 l2 p3 u3) (sf l2 (plus p4 p5) p13m) (237 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 427) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (181 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p28m) (174 l2 p4 u4) (sf l2 (plus p3 p5) p13m) (237 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 428) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (181 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p28m) (178 l2 p3 u3) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 429) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (181 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p28m) (178 l2 p4 u4) (sf l2 (plus p3 p5) p11m) (242 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 430) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (181 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p28m) (355 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(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 431) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (181 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p28m) (355 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(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 432) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (181 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p28m) (387 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(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 433) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (181 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p28m) (387 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(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 434) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (181 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p28m) (525 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(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 435) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (181 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p28m) (525 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(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 436) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (127 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p33m) (112 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 437) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (127 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p33m) (112 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 438) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (147 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p31m) (132 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 439) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (147 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p31m) (132 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 440) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (150 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 441) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (150 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 442) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (166 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 443) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (166 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 444) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (209 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p24m) (185 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 445) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (209 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p24m) (185 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 446) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (187 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 447) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (187 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 448) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (189 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 449) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (189 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 450) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (191 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 451) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (191 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 452) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (193 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 453) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (193 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 454) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (293 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p36m v1 v3) (278 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 455) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (293 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p36m v1 v3) (278 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 456) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (319 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p34m v1 v3) (304 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 457) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (319 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p34m v1 v3) (304 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 458) (l l2 l1));
 
aa(59):='(((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) (330 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 459) (l l2 l1));
 
aa(60):='(((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) (330 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 460) (l l2 l1));
 
aa(61):='(((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) (356 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 461) (l l2 l1));
 
aa(62):='(((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) (356 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 462) (l l2 l1));
 
aa(63):='(((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) (388 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 463) (l l2 l1));
 
aa(64):='(((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) (388 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 464) (l l2 l1));
 
aa(65):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (437 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p23m v1 v3) (422 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 465) (l l2 l1));
 
aa(66):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (437 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p23m v1 v3) (422 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 466) (l l2 l1));
 
aa(67):='(((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) (448 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 467) (l l2 l1));
 
aa(68):='(((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) (448 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 468) (l l2 l1));
 
aa(69):='(((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) (474 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 469) (l l2 l1));
 
aa(70):='(((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) (474 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 470) (l l2 l1));
 
aa(71):='(((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) (500 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 471) (l l2 l1));
 
aa(72):='(((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) (500 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 472) (l l2 l1));
 
aa(73):='(((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) (526 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 473) (l l2 l1));
 
aa(74):='(((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) (526 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p25m) (194 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 474) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (581 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (minus
p4) (minus p6)) p38m v1 v2 v4 v5) (566 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v4 v5) (sf l2 (
plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 475) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (581 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (minus
p3) (minus p6)) p38m v1 v2 v4 v5) (566 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v4 v5) (sf l2 (
plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 476) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (607 l2 (plus
(minus p4) (minus p6)) p6 p4 v2 v1 u4) (sf5 l2 (plus (minus
p4) (minus p6)) p35m v1 v2 v4 v5) (592 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 477) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (607 l2 (plus
(minus p3) (minus p6)) p6 p3 v2 v1 u3) (sf5 l2 (plus (minus
p3) (minus p6)) p35m v1 v2 v4 v5) (592 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 478) (l l2 l1));
 
aa(79):='(((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) (618 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v4 v5) (sf l2 (
plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 479) (l l2 l1));
 
aa(80):='(((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) (618 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v4 v5) (sf l2 (
plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 480) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (659 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (minus
p4) (minus p6)) p22m v1 v2 v4 v5) (644 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v4 v5) (sf l2 (
plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 481) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (659 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (minus
p3) (minus p6)) p22m v1 v2 v4 v5) (644 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v4 v5) (sf l2 (
plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v7)) (l1 (15 l1 v8
)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v5
v4 v2 v1) (ijk 482) (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) (670 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v4 v5) (sf l2 (
plus p1 p2 p5) p25m) (194 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 483) (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) (670 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v4 v5) (sf l2 (
plus p1 p2 p5) p25m) (194 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 484) (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) (696 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v5 v4 u3) (sf l2 (
plus p1 p2 p5) p25m) (194 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 485) (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) (696 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v5 v4 u4) (sf l2 (
plus p1 p2 p5) p25m) (194 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 486) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (843 l2 (plus
(minus p4) (minus p6)) p6 p4 v3 v2 v1 u4) (sf7 l2 (plus (
minus p4) (minus p6)) p37m v1 v2 v3 v5 v6 v7) (828 l2 (minus
(plus (minus p4) (minus p6))) (plus p1 p2 p5) p3 v7 v6 v5 u3
) (sf l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v9)) (l1
(15 l1 v10)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 487) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (843 l2 (plus
(minus p3) (minus p6)) p6 p3 v3 v2 v1 u3) (sf7 l2 (plus (
minus p3) (minus p6)) p37m v1 v2 v3 v5 v6 v7) (828 l2 (minus
(plus (minus p3) (minus p6))) (plus p1 p2 p5) p4 v7 v6 v5 u4
) (sf l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v9)) (l1
(15 l1 v10)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 488) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (869 l2 (plus
(minus p4) (minus p6)) p6 p4 v3 v2 v1 u4) (sf7 l2 (plus (
minus p4) (minus p6)) p21m v1 v2 v3 v5 v6 v7) (854 l2 (minus
(plus (minus p4) (minus p6))) (plus p1 p2 p5) p3 v7 v6 v5 u3
) (sf l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v9)) (l1
(15 l1 v10)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 489) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (869 l2 (plus
(minus p3) (minus p6)) p6 p3 v3 v2 v1 u3) (sf7 l2 (plus (
minus p3) (minus p6)) p21m v1 v2 v3 v5 v6 v7) (854 l2 (minus
(plus (minus p3) (minus p6))) (plus p1 p2 p5) p4 v7 v6 v5 u4
) (sf l2 (plus p1 p2 p5) p25m) (194 l2 (plus p1 p2) v9)) (l1
(15 l1 v10)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v7 v6 v5 v3 v2 v1) (ijk 490) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (113 l2 p3 u3) (sf l2 (plus p4 p5) p33m) (126 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 491) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (113 l2 p4 u4) (sf l2 (plus p3 p5) p33m) (126 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 492) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (133 l2 p3 u3) (sf l2 (plus p4 p5) p31m) (146 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 493) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (133 l2 p4 u4) (sf l2 (plus p3 p5) p31m) (146 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 494) (l l2 l1));
 
aa(95):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (151 l2 p3 u3) (sf l2 (plus p4 p5) p30m) (164 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 495) (l l2 l1));
 
aa(96):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (151 l2 p4 u4) (sf l2 (plus p3 p5) p30m) (164 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 496) (l l2 l1));
 
aa(97):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (167 l2 p3 u3) (sf l2 (plus p4 p5) p28m) (182 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 497) (l l2 l1));
 
aa(98):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (167 l2 p4 u4) (sf l2 (plus p3 p5) p28m) (182 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 498) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (184 l2 p3 u3) (sf l2 (plus p4 p5) p24m) (208 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 499) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (195 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p25m) (184 l2 p4 u4) (sf l2 (plus p3 p5) p24m) (208 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3)
(ijk 500) (l l2 l1));
 
;end;
 
