aaaaa:='((k) (l l2 l1) (nop 0) (nep 6) (namel (ef efb pr1 
pr1 pr2b pr2)) (inpl (1 1 -1 -1 -1 -1)) (onshl (0 0 0 0 0 0)
));
 
aa(1):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4)
(minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (l2
(127 l2 p4 u4) (sf l2 (plus (minus p4) (minus p6)) p33m) (23
l2)) (l1 (15 l1 v4)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 1) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (127 l2 p3 u3) (sf l2 (
plus (minus p3) (minus p6)) p33m) (23 l2)) (l1 (15 l1 v4)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 2) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4)
(minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (l2
(24 l2) (sf l2 (plus p4 p5) p33m) (126 l2 p4 u4)) (l1 (15 l1
v4)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 3) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (24 l2) (sf l2 (plus p3
p5) p33m) (126 l2 p3 u3)) (l1 (15 l1 v4)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 4) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4)
(minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (l2
(147 l2 p4 u4) (sf l2 (plus (minus p4) (minus p6)) p31m) (25
l2)) (l1 (15 l1 v4)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 5) (l l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (147 l2 p3 u3) (sf l2 (
plus (minus p3) (minus p6)) p31m) (25 l2)) (l1 (15 l1 v4)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 6) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4)
(minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (l2
(26 l2) (sf l2 (plus p4 p5) p31m) (146 l2 p4 u4)) (l1 (15 l1
v4)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 7) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (26 l2) (sf l2 (plus p3
p5) p31m) (146 l2 p3 u3)) (l1 (15 l1 v4)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 8) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4)
(minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (l2
(165 l2 p4 u4) (sf l2 (plus (minus p4) (minus p6)) p30m) (27
l2)) (l1 (15 l1 v4)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 9) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (165 l2 p3 u3) (sf l2 (
plus (minus p3) (minus p6)) p30m) (27 l2)) (l1 (15 l1 v4)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 10) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (
l2 (28 l2) (sf l2 (plus p4 p5) p30m) (164 l2 p4 u4)) (l1 (15
l1 v4)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 11) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (28 l2) (sf l2 (plus p3
p5) p30m) (164 l2 p3 u3)) (l1 (15 l1 v4)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 12) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (
l2 (183 l2 p4 u4) (sf l2 (plus (minus p4) (minus p6)) p28m)
(29 l2)) (l1 (15 l1 v4)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 13) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (183 l2 p3 u3) (sf l2 (
plus (minus p3) (minus p6)) p28m) (29 l2)) (l1 (15 l1 v4)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 14) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (
l2 (30 l2) (sf l2 (plus p4 p5) p28m) (182 l2 p4 u4)) (l1 (15
l1 v4)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 15) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (30 l2) (sf l2 (plus p3
p5) p28m) (182 l2 p3 u3)) (l1 (15 l1 v4)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 16) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (
l2 (219 l2 p4 u4) (sf l2 (plus (minus p4) (minus p6)) p18m)
(31 l2)) (l1 (15 l1 v4)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 17) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (219 l2 p3 u3) (sf l2 (
plus (minus p3) (minus p6)) p18m) (31 l2)) (l1 (15 l1 v4)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 18) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (
l2 (32 l2) (sf l2 (plus p4 p5) p18m) (218 l2 p4 u4)) (l1 (15
l1 v4)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 19) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (32 l2) (sf l2 (plus p3
p5) p18m) (218 l2 p3 u3)) (l1 (15 l1 v4)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 20) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (
l2 (229 l2 p4 u4) (sf l2 (plus (minus p4) (minus p6)) p14m)
(33 l2)) (l1 (15 l1 v4)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 21) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (229 l2 p3 u3) (sf l2 (
plus (minus p3) (minus p6)) p14m) (33 l2)) (l1 (15 l1 v4)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 22) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (
l2 (34 l2) (sf l2 (plus p4 p5) p14m) (228 l2 p4 u4)) (l1 (15
l1 v4)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 23) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (34 l2) (sf l2 (plus p3
p5) p14m) (228 l2 p3 u3)) (l1 (15 l1 v4)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 24) (l l2 l1));
 
aa(25):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (
l2 (238 l2 p4 u4) (sf l2 (plus (minus p4) (minus p6)) p13m)
(37 l2)) (l1 (15 l1 v4)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 25) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (238 l2 p3 u3) (sf l2 (
plus (minus p3) (minus p6)) p13m) (37 l2)) (l1 (15 l1 v4)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 26) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (
l2 (38 l2) (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 v2) (
ijk 27) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (38 l2) (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 v2) (
ijk 28) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (
l2 (243 l2 p4 u4) (sf l2 (plus (minus p4) (minus p6)) p11m)
(40 l2)) (l1 (15 l1 v4)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 29) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (243 l2 p3 u3) (sf l2 (
plus (minus p3) (minus p6)) p11m) (40 l2)) (l1 (15 l1 v4)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 30) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v2)) (
l2 (41 l2) (sf l2 (plus p4 p5) p11m) (242 l2 p4 u4)) (l1 (15
l1 v4)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 31) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v2 v4) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v2)) (l2 (41 l2) (sf l2 (plus p3
p5) p11m) (242 l2 p3 u3)) (l1 (15 l1 v4)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v2) (
ijk 32) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (293 l2 (plus (minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2
(plus (minus p4) (minus p6)) p36m v1 v3) (46 l2 p5 v3)) (l1
(15 l1 v6)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 33) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (293 l2 (plus (minus p3
) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3) (minus 
p6)) p36m v1 v3) (46 l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 34) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (47 l2 p6 v3) (sf3 l2 (plus p4 p5) p36m v3 v1) (292 l2 (
minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 35) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (47 l2 p6 v3) (sf3 l2 (
plus p3 p5) p36m v3 v1) (292 l2 (minus (plus p3 p5)) p5 p3 
u3 v1)) (l1 (15 l1 v6)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 36) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (319 l2 (plus (minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2
(plus (minus p4) (minus p6)) p34m v1 v3) (48 l2 p5 v3)) (l1
(15 l1 v6)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 37) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (319 l2 (plus (minus p3
) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3) (minus 
p6)) p34m v1 v3) (48 l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 38) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (49 l2 p6 v3) (sf3 l2 (plus p4 p5) p34m v3 v1) (318 l2 (
minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 39) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (49 l2 p6 v3) (sf3 l2 (
plus p3 p5) p34m v3 v1) (318 l2 (minus (plus p3 p5)) p5 p3 
v1 u3)) (l1 (15 l1 v6)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 40) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (345 l2 (plus (minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2
(plus (minus p4) (minus p6)) p29m v1 v3) (50 l2 p5 v3)) (l1
(15 l1 v6)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 41) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (345 l2 (plus (minus p3
) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3) (minus 
p6)) p29m v1 v3) (50 l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 42) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (51 l2 p6 v3) (sf3 l2 (plus p4 p5) p29m v3 v1) (344 l2 (
minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 43) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (51 l2 p6 v3) (sf3 l2 (
plus p3 p5) p29m v3 v1) (344 l2 (minus (plus p3 p5)) p5 p3 
u3 v1)) (l1 (15 l1 v6)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 44) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (373 l2 (plus (minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2
(plus (minus p4) (minus p6)) p27m v1 v3) (52 l2 p5 v3)) (l1
(15 l1 v6)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 45) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (373 l2 (plus (minus p3
) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3) (minus 
p6)) p27m v1 v3) (52 l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 46) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (53 l2 p6 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 v4 v3
v1) (ijk 47) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (53 l2 p6 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 v4 v3
v1) (ijk 48) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (411 l2 (plus (minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2
(plus (minus p4) (minus p6)) p26m v1 v3) (64 l2 p5 v3)) (l1
(15 l1 v6)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 49) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (411 l2 (plus (minus p3
) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3) (minus 
p6)) p26m v1 v3) (64 l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 50) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (65 l2 p6 v3) (sf3 l2 (plus p4 p5) p26m v3 v1) (410 l2 (
minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 51) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (65 l2 p6 v3) (sf3 l2 (
plus p3 p5) p26m v3 v1) (410 l2 (minus (plus p3 p5)) p5 p3 
v1 u3)) (l1 (15 l1 v6)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 52) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (463 l2 (plus (minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2
(plus (minus p4) (minus p6)) p20m v1 v3) (72 l2 p5 v3)) (l1
(15 l1 v6)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 53) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (463 l2 (plus (minus p3
) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3) (minus 
p6)) p20m v1 v3) (72 l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 54) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (73 l2 p6 v3) (sf3 l2 (plus p4 p5) p20m v3 v1) (462 l2 (
minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 55) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (73 l2 p6 v3) (sf3 l2 (
plus p3 p5) p20m v3 v1) (462 l2 (minus (plus p3 p5)) p5 p3 
v1 u3)) (l1 (15 l1 v6)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 56) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (489 l2 (plus (minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2
(plus (minus p4) (minus p6)) p19m v1 v3) (74 l2 p5 v3)) (l1
(15 l1 v6)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 57) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (489 l2 (plus (minus p3
) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3) (minus 
p6)) p19m v1 v3) (74 l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 58) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (75 l2 p6 v3) (sf3 l2 (plus p4 p5) p19m v3 v1) (488 l2 (
minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v6)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 59) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (75 l2 p6 v3) (sf3 l2 (
plus p3 p5) p19m v3 v1) (488 l2 (minus (plus p3 p5)) p5 p3 
v1 u3)) (l1 (15 l1 v6)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 60) (l l2 l1));
 
aa(61):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (515 l2 (plus (minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2
(plus (minus p4) (minus p6)) p17m v1 v3) (76 l2 p5 v3)) (l1
(15 l1 v6)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 61) (l l2 l1));
 
aa(62):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (515 l2 (plus (minus p3
) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3) (minus 
p6)) p17m v1 v3) (76 l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 62) (l l2 l1));
 
aa(63):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (77 l2 p6 v3) (sf3 l2 (plus p4 p5) p17m v3 v1) (514 l2 (
minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 63) (l l2 l1));
 
aa(64):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (77 l2 p6 v3) (sf3 l2 (
plus p3 p5) p17m v3 v1) (514 l2 (minus (plus p3 p5)) p5 p3 
u3 v1)) (l1 (15 l1 v6)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 64) (l l2 l1));
 
aa(65):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (545 l2 (plus (minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2
(plus (minus p4) (minus p6)) p12m v1 v3) (80 l2 p5 v3)) (l1
(15 l1 v6)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 65) (l l2 l1));
 
aa(66):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (545 l2 (plus (minus p3
) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3) (minus 
p6)) p12m v1 v3) (80 l2 p5 v3)) (l1 (15 l1 v6)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 66) (l l2 l1));
 
aa(67):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v4)) (
l2 (81 l2 p6 v3) (sf3 l2 (plus p4 p5) p12m v3 v1) (544 l2 (
minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v6)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 67) (l l2 l1));
 
aa(68):='(((s11 (plus p1 p2) p10m v4 v6) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v4)) (l2 (81 l2 p6 v3) (sf3 l2 (
plus p3 p5) p12m v3 v1) (544 l2 (minus (plus p3 p5)) p5 p3 
u3 v1)) (l1 (15 l1 v6)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v4 v3
v1) (ijk 68) (l l2 l1));
 
aa(69):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v6)) (
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) (245 l2 p5
v5 v4)) (l1 (15 l1 v8)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 69) (l l2 l1));
 
aa(70):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v6)) (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) (245 l2 p5 v5 v4)) (l1 (15 l1 
v8)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 70) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v6)) (
l2 (246 l2 p6 v5 v4) (sf5 l2 (plus p4 p5) p38m v4 v5 v1 v2)
(580 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15 l1 v8)
));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 71) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v6)) (l2 (246 l2 p6 v5 v4) (sf5
l2 (plus p3 p5) p38m v4 v5 v1 v2) (580 l2 (minus (plus p3 p5
)) p5 p3 u3 v1 v2)) (l1 (15 l1 v8)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 72) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v6)) (
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) (247 l2 p5
v5 v4)) (l1 (15 l1 v8)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 73) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v6)) (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) (247 l2 p5 v5 v4)) (l1 (15 l1 
v8)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 74) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v6)) (
l2 (248 l2 p6 v5 v4) (sf5 l2 (plus p4 p5) p35m v4 v5 v1 v2)
(606 l2 (minus (plus p4 p5)) p5 p4 v2 v1 u4)) (l1 (15 l1 v8)
));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 75) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v6)) (l2 (248 l2 p6 v5 v4) (sf5
l2 (plus p3 p5) p35m v4 v5 v1 v2) (606 l2 (minus (plus p3 p5
)) p5 p3 v2 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 76) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v6)) (
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) (249 l2 p5
v5 v4)) (l1 (15 l1 v8)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 77) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v6)) (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) (249 l2 p5 v5 v4)) (l1 (15 l1 
v8)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 78) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v6)) (
l2 (250 l2 p6 v5 v4) (sf5 l2 (plus p4 p5) p32m v4 v5 v1 v2)
(632 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15 l1 v8)
));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 79) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v6)) (l2 (250 l2 p6 v5 v4) (sf5
l2 (plus p3 p5) p32m v4 v5 v1 v2) (632 l2 (minus (plus p3 p5
)) p5 p3 u3 v1 v2)) (l1 (15 l1 v8)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 80) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v6)) (
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) (251 l2 p5
v5 v4)) (l1 (15 l1 v8)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 81) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v6)) (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) (251 l2 p5 v5 v4)) (l1 (15 l1 
v8)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 82) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v6)) (
l2 (252 l2 p6 v5 v4) (sf5 l2 (plus p4 p5) p22m v4 v5 v1 v2)
(658 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15 l1 v8)
));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 83) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v6)) (l2 (252 l2 p6 v5 v4) (sf5
l2 (plus p3 p5) p22m v4 v5 v1 v2) (658 l2 (minus (plus p3 p5
)) p5 p3 u3 v1 v2)) (l1 (15 l1 v8)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 84) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v6)) (
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) (253 l2 p5
v5 v4)) (l1 (15 l1 v8)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 85) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v6)) (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) (253 l2 p5 v5 v4)) (l1 (15 l1 
v8)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 86) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v6)) (
l2 (254 l2 p6 v5 v4) (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(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 87) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v6)) (l2 (254 l2 p6 v5 v4) (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(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 88) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v6)) (
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) (255 l2 p5
v5 v4)) (l1 (15 l1 v8)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 89) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v6)) (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) (255 l2 p5 v5 v4)) (l1 (15 l1 
v8)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 90) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus (minus p4
) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v6)) (
l2 (256 l2 p6 v5 v4) (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(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 91) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v6 v8) (s0 (plus p1 p2 p4)
p9m) (16 p4 (plus p1 p2) u4 v6)) (l2 (256 l2 p6 v5 v4) (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(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v6 v5
v4 v2 v1) (ijk 92) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v8 v10) (s0 (plus (minus 
p4) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v8))
(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)
(548 l2 p5 v7 v6 v5)) (l1 (15 l1 v10)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v3 v2 v1) (ijk 93) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v8 v10) (s0 (plus p1 p2 p4
) p9m) (16 p4 (plus p1 p2) u4 v8)) (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) (548 l2 p5 v7 v6 v5)) (
l1 (15 l1 v10)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v3 v2 v1) (ijk 94) (l l2 l1));
 
aa(95):='(((s11 (plus p1 p2) p10m v8 v10) (s0 (plus (minus 
p4) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v8))
(l2 (549 l2 p6 v7 v6 v5) (sf7 l2 (plus p4 p5) p37m v5 v6 v7
v1 v2 v3) (842 l2 (minus (plus p4 p5)) p5 p4 v3 v2 v1 u4)) (
l1 (15 l1 v10)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v3 v2 v1) (ijk 95) (l l2 l1));
 
aa(96):='(((s11 (plus p1 p2) p10m v8 v10) (s0 (plus p1 p2 p4
) p9m) (16 p4 (plus p1 p2) u4 v8)) (l2 (549 l2 p6 v7 v6 v5)
(sf7 l2 (plus p3 p5) p37m v5 v6 v7 v1 v2 v3) (842 l2 (minus
(plus p3 p5)) p5 p3 v3 v2 v1 u3)) (l1 (15 l1 v10)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v3 v2 v1) (ijk 96) (l l2 l1));
 
aa(97):='(((s11 (plus p1 p2) p10m v8 v10) (s0 (plus (minus 
p4) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v8))
(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)
(550 l2 p5 v7 v6 v5)) (l1 (15 l1 v10)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v3 v2 v1) (ijk 97) (l l2 l1));
 
aa(98):='(((s11 (plus p1 p2) p10m v8 v10) (s0 (plus p1 p2 p4
) p9m) (16 p4 (plus p1 p2) u4 v8)) (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) (550 l2 p5 v7 v6 v5)) (
l1 (15 l1 v10)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v3 v2 v1) (ijk 98) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v8 v10) (s0 (plus (minus 
p4) (minus p5) (minus p6)) p9m) (16 p3 (plus p1 p2) u3 v8))
(l2 (551 l2 p6 v7 v6 v5) (sf7 l2 (plus p4 p5) p21m v5 v6 v7
v1 v2 v3) (868 l2 (minus (plus p4 p5)) p5 p4 v3 v2 v1 u4)) (
l1 (15 l1 v10)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8 
v7 v6 v5 v3 v2 v1) (ijk 99) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v8 v10) (s0 (plus p1 p2 
p4) p9m) (16 p4 (plus p1 p2) u4 v8)) (l2 (551 l2 p6 v7 v6 v5
) (sf7 l2 (plus p3 p5) p21m v5 v6 v7 v1 v2 v3) (868 l2 (
minus (plus p3 p5)) p5 p3 v3 v2 v1 u3)) (l1 (15 l1 v10)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v8
v7 v6 v5 v3 v2 v1) (ijk 100) (l l2 l1));
 
;end;
 
