aa(1):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (225 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p14m) (226 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 701) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (225 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p14m) (226 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 702) (l l2 l1));
 
aa(3):='(((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) (362 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p14m) (226 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 703) (l l2 l1));
 
aa(4):='(((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) (362 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p14m) (226 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 704) (l l2 l1));
 
aa(5):='(((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) (398 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p14m) (226 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 705) (l l2 l1));
 
aa(6):='(((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) (398 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p14m) (226 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 706) (l l2 l1));
 
aa(7):='(((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) (532 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p14m) (226 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 707) (l l2 l1));
 
aa(8):='(((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) (532 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p14m) (226 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 708) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (227 l2 (plus 
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p14m) (173 l2 p3 u3) (sf l2 (plus p4 p5) p28m) (182 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 709) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (227 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p14m) (173 l2 p4 u4) (sf l2 (plus p3 p5) p28m) (182 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 710) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (227 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p14m) (220 l2 p3 u3) (sf l2 (plus p4 p5) p13m) (237 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 711) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (227 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p14m) (220 l2 p4 u4) (sf l2 (plus p3 p5) p13m) (237 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 712) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (227 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p14m) (224 l2 p3 u3) (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 713) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (227 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p14m) (224 l2 p4 u4) (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 714) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (227 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p14m) (363 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(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 715) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (227 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p14m) (363 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(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 716) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (227 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p14m) (399 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(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 717) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (227 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p14m) (399 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(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 718) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (227 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p14m) (533 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 719) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (227 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p14m) (533 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 720) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (230 l2 (plus p1 
p2) v3) (sf l2 (plus p4 p5) p13m) (237 l2 p4 u4)) (l1 (15 l1
v4)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 721) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (230 l2 (plus p1 
p2) v3) (sf l2 (plus p3 p5) p13m) (237 l2 p3 u3)) (l1 (15 l1
v4)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 722) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (231 l2 (plus p1 
p2) v3) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4)) (l1 (15 l1
v4)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 723) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (231 l2 (plus p1 
p2) v3) (sf l2 (plus p3 p5) p11m) (242 l2 p3 u3)) (l1 (15 l1
v4)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 724) (l l2 l1));
 
aa(25):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (232 l2 (plus p1 
p2) v3) (sf l2 (plus p3 p5) p13m) (237 l2 p3 u3)) (l1 (15 l1
v4)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 725) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (232 l2 (plus p1 
p2) v3) (sf l2 (plus p4 p5) p13m) (237 l2 p4 u4)) (l1 (15 l1
v4)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 726) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (234 l2 p3 u3) (sf
l2 (plus p1 p2 p5) p13m) (235 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 727) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (234 l2 p4 u4) (sf
l2 (plus p1 p2 p5) p13m) (235 l2 (plus p1 p2) v3)) (l1 (15 
l1 v4)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 728) (l l2 l1));
 
aa(29):='(((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) (402 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v3) (sf l2 (plus p1 p2 p5)
p13m) (235 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 729) (l l2 l1));
 
aa(30):='(((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) (402 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v3) (sf l2 (plus p1 p2 p5)
p13m) (235 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 730) (l l2 l1));
 
aa(31):='(((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) (536 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p13m) (235 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 731) (l l2 l1));
 
aa(32):='(((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) (536 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p13m) (235 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 732) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (236 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p13m) (233 l2 p3 u3) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4
)) (l1 (15 l1 v4)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 733) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (236 l2 (plus
p1 p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p13m) (233 l2 p4 u4) (sf l2 (plus p3 p5) p11m) (242 l2 p3 u3
)) (l1 (15 l1 v4)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 734) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (236 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p13m) (403 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(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 735) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (236 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p13m) (403 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(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 736) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (236 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p13m) (537 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(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 737) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (236 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p13m) (537 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(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 738) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (239 l2 (plus p1 
p2) v3) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4)) (l1 (15 l1
v4)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 739) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v3 v4)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (239 l2 (plus p1 
p2) v3) (sf l2 (plus p3 p5) p11m) (242 l2 p3 u3)) (l1 (15 l1
v4)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3) (
ijk 740) (l l2 l1));
 
aa(41):='(((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) (406 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v3 u3) (sf l2 (plus p1 p2 p5)
p11m) (240 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 741) (l l2 l1));
 
aa(42):='(((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) (406 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v3 u4) (sf l2 (plus p1 p2 p5)
p11m) (240 l2 (plus p1 p2) v5)) (l1 (15 l1 v6)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 742) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (241 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p11m) (407 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(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 743) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (241 l2 (plus
p1 p2) v5) (sf l2 (plus (minus p1) (minus p2) (minus p6)) 
p11m) (407 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(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v3
v1) (ijk 744) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (127 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p33m) (271 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 745) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (127 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p33m) (271 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 746) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (147 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p31m) (273 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 747) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (147 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p31m) (273 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 748) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (275 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 749) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (275 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 750) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (277 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 751) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (277 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 752) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (283 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 753) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (283 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 754) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (285 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 755) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (285 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 756) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (287 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 757) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (287 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 758) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (289 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 759) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (289 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p36m v2 v4) (290 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 760) (l l2 l1));
 
aa(61):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (319 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p34m v1 v4) (713 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 761) (l l2 l1));
 
aa(62):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (319 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p34m v1 v4) (713 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 762) (l l2 l1));
 
aa(63):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (345 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p29m v1 v4) (715 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 763) (l l2 l1));
 
aa(64):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (345 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p29m v1 v4) (715 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 764) (l l2 l1));
 
aa(65):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (373 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p27m v1 v4) (717 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 765) (l l2 l1));
 
aa(66):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (373 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p27m v1 v4) (717 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 766) (l l2 l1));
 
aa(67):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v4) (719 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 767) (l l2 l1));
 
aa(68):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v4) (719 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 768) (l l2 l1));
 
aa(69):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (463 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p20m v1 v4) (723 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 769) (l l2 l1));
 
aa(70):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (463 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p20m v1 v4) (723 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 770) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (489 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p19m v1 v4) (725 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 771) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (489 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p19m v1 v4) (725 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 772) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (515 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p17m v1 v4) (727 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 773) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (515 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p17m v1 v4) (727 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 774) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p12m v1 v4) (729 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 775) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p12m v1 v4) (729 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p36m v3 v6) (290 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 776) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (890 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v6 v5 v4 u3) (sf3
l2 (plus p1 p2 p5) p36m v6 v8) (290 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 777) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (890 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v6 v5 v4 u4) (sf3
l2 (plus p1 p2 p5) p36m v6 v8) (290 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 778) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (910 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p36m v6 v8) (290 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 779) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (910 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p36m v6 v8) (290 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 780) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (950 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p36m v6 v8) (290 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 781) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (950 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p36m v6 v8) (290 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 782) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (972 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v6 v5 v4 u3) (sf3
l2 (plus p1 p2 p5) p36m v6 v8) (290 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 783) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v9 v10)) (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) (972 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v6 v5 v4 u4) (sf3
l2 (plus p1 p2 p5) p36m v6 v8) (290 l2 p5 v9 v8)) (l1 (15 l1
v10)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 784) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (270 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p33m) (126 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 785) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (270 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p33m) (126 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 786) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (272 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p31m) (146 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 787) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (272 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p31m) (146 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 788) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (274 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p30m) (164 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 789) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (274 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p30m) (164 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 790) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (276 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p28m) (182 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 791) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (276 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p28m) (182 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 792) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (282 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p18m) (218 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 793) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (282 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p18m) (218 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 794) (l l2 l1));
 
aa(95):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (284 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p14m) (228 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 795) (l l2 l1));
 
aa(96):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (284 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p14m) (228 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 796) (l l2 l1));
 
aa(97):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (286 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p13m) (237 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 797) (l l2 l1));
 
aa(98):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (286 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p13m) (237 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 798) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (288 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p11m) (242 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 799) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (291 l2 p6 v5
v4) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p36m v4
v2) (288 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p11m) (242 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v2) (ijk 800) (l l2 l1));
 
;end;
 
