aaaaa:='((k) (l l1) (nop 0) (nep 6) (namel (ef efb pr2 pr1 
pr3 pr3)) (inpl (1 1 -1 -1 -1 -1)) (onshl (0 0 0 0 0 0)));
 
aa(1):='(((s11 (plus p3 p6) p6m v4 v1) (s11 (plus (minus p1)
(minus p2) (minus p5)) p16m v6 v3) (s11 (plus p1 p2) p33m v5
v7) (178 p3 (minus (plus p3 p6)) u3 v1) (79 (plus p3 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v4 v3) (46 (
plus (minus p1) (minus p2) (minus p5)) (plus p1 p2) v6 v5))
(l1 (20 l1 v7)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 v5
v4 v3 v1) (ijk 1) (l l1));
 
aa(2):='(((s11 (plus p3 p5) p6m v4 v1) (s11 (plus (minus p1)
(minus p2) (minus p6)) p16m v6 v3) (s11 (plus p1 p2) p33m v5
v7) (178 p3 (minus (plus p3 p5)) u3 v1) (79 (plus p3 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v4 v3) (46 (
plus (minus p1) (minus p2) (minus p6)) (plus p1 p2) v6 v5))
(l1 (20 l1 v7)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 v5
v4 v3 v1) (ijk 2) (l l1));
 
aa(3):='(((s2 (plus p4 p6) p13m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p5)) p16m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (226 p6 v2 v1) (358 (plus p1 p2 p5) p3 (plus
p4 p6) u3 v3 v5 v4) (46 (plus (minus p1) (minus p2) (minus 
p5)) (plus p1 p2) v8 v7)) (l1 (20 l1 v9)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v5 v4 v3 v2 v1) (ijk 3) (l l1));
 
aa(4):='(((s2 (plus p4 p5) p13m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p6)) p16m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (226 p5 v2 v1) (358 (plus p1 p2 p6) p3 (plus
p4 p5) u3 v3 v5 v4) (46 (plus (minus p1) (minus p2) (minus 
p6)) (plus p1 p2) v8 v7)) (l1 (20 l1 v9)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v5 v4 v3 v2 v1) (ijk 4) (l l1));
 
aa(5):='(((s2 (plus p4 p6) p11m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p5)) p16m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (230 p6 v2 v1) (373 (plus p1 p2 p5) p3 (plus
p4 p6) u3 v3 v5 v4) (46 (plus (minus p1) (minus p2) (minus 
p5)) (plus p1 p2) v8 v7)) (l1 (20 l1 v9)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v5 v4 v3 v2 v1) (ijk 5) (l l1));
 
aa(6):='(((s2 (plus p4 p5) p11m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p6)) p16m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (230 p5 v2 v1) (373 (plus p1 p2 p6) p3 (plus
p4 p5) u3 v3 v5 v4) (46 (plus (minus p1) (minus p2) (minus 
p6)) (plus p1 p2) v8 v7)) (l1 (20 l1 v9)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v5 v4 v3 v2 v1) (ijk 6) (l l1));
 
aa(7):='(((s2 (plus p4 p6) p10m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p5)) p16m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (234 p6 v2 v1) (387 (plus p1 p2 p5) p3 (plus
p4 p6) u3 v3 v5 v4) (46 (plus (minus p1) (minus p2) (minus 
p5)) (plus p1 p2) v8 v7)) (l1 (20 l1 v9)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v5 v4 v3 v2 v1) (ijk 7) (l l1));
 
aa(8):='(((s2 (plus p4 p5) p10m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p6)) p16m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (234 p5 v2 v1) (387 (plus p1 p2 p6) p3 (plus
p4 p5) u3 v3 v5 v4) (46 (plus (minus p1) (minus p2) (minus 
p6)) (plus p1 p2) v8 v7)) (l1 (20 l1 v9)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v5 v4 v3 v2 v1) (ijk 8) (l l1));
 
aa(9):='(((s11 (plus p3 p6) p6m v4 v1) (s11 (plus (minus p1)
(minus p2) (minus p5)) p14m v6 v3) (s11 (plus p1 p2) p33m v5
v7) (178 p3 (minus (plus p3 p6)) u3 v1) (92 (plus p3 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v4 v3) (48 (
plus (minus p1) (minus p2) (minus p5)) (plus p1 p2) v6 v5))
(l1 (20 l1 v7)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 v5
v4 v3 v1) (ijk 9) (l l1));
 
aa(10):='(((s11 (plus p3 p5) p6m v4 v1) (s11 (plus (minus p1
) (minus p2) (minus p6)) p14m v6 v3) (s11 (plus p1 p2) p33m
v5 v7) (178 p3 (minus (plus p3 p5)) u3 v1) (92 (plus p3 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v4 v3) (48 (
plus (minus p1) (minus p2) (minus p6)) (plus p1 p2) v6 v5))
(l1 (20 l1 v7)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 
v5 v4 v3 v1) (ijk 10) (l l1));
 
aa(11):='(((s2 (plus p4 p6) p13m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p5)) p14m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (226 p6 v2 v1) (359 (plus p1 p2 p5) p3 (plus
p4 p6) u3 v3 v5 v4) (48 (plus (minus p1) (minus p2) (minus 
p5)) (plus p1 p2) v8 v7)) (l1 (20 l1 v9)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v5 v4 v3 v2 v1) (ijk 11) (l l1));
 
aa(12):='(((s2 (plus p4 p5) p13m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p6)) p14m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (226 p5 v2 v1) (359 (plus p1 p2 p6) p3 (plus
p4 p5) u3 v3 v5 v4) (48 (plus (minus p1) (minus p2) (minus 
p6)) (plus p1 p2) v8 v7)) (l1 (20 l1 v9)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v5 v4 v3 v2 v1) (ijk 12) (l l1));
 
aa(13):='(((s2 (plus p4 p6) p11m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p5)) p14m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (230 p6 v2 v1) (374 (plus p1 p2 p5) p3 (plus
p4 p6) u3 v3 v5 v4) (48 (plus (minus p1) (minus p2) (minus 
p5)) (plus p1 p2) v8 v7)) (l1 (20 l1 v9)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v5 v4 v3 v2 v1) (ijk 13) (l l1));
 
aa(14):='(((s2 (plus p4 p5) p11m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p6)) p14m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (230 p5 v2 v1) (374 (plus p1 p2 p6) p3 (plus
p4 p5) u3 v3 v5 v4) (48 (plus (minus p1) (minus p2) (minus 
p6)) (plus p1 p2) v8 v7)) (l1 (20 l1 v9)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v5 v4 v3 v2 v1) (ijk 14) (l l1));
 
aa(15):='(((s2 (plus p4 p6) p10m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p5)) p14m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (234 p6 v2 v1) (388 (plus p1 p2 p5) p3 (plus
p4 p6) u3 v3 v5 v4) (48 (plus (minus p1) (minus p2) (minus 
p5)) (plus p1 p2) v8 v7)) (l1 (20 l1 v9)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v5 v4 v3 v2 v1) (ijk 15) (l l1));
 
aa(16):='(((s2 (plus p4 p5) p10m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p6)) p14m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (234 p5 v2 v1) (388 (plus p1 p2 p6) p3 (plus
p4 p5) u3 v3 v5 v4) (48 (plus (minus p1) (minus p2) (minus 
p6)) (plus p1 p2) v8 v7)) (l1 (20 l1 v9)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v5 v4 v3 v2 v1) (ijk 16) (l l1));
 
aa(17):='(((s11 (plus p3 p6) p6m v4 v1) (s11 (plus (minus p1
) (minus p2) (minus p5)) p12m v6 v3) (s11 (plus p1 p2) p33m
v5 v7) (178 p3 (minus (plus p3 p6)) u3 v1) (105 (plus p3 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v3 v4) (50 (
plus (minus p1) (minus p2) (minus p5)) (plus p1 p2) v5 v6))
(l1 (20 l1 v7)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 
v5 v4 v3 v1) (ijk 17) (l l1));
 
aa(18):='(((s11 (plus p3 p5) p6m v4 v1) (s11 (plus (minus p1
) (minus p2) (minus p6)) p12m v6 v3) (s11 (plus p1 p2) p33m
v5 v7) (178 p3 (minus (plus p3 p5)) u3 v1) (105 (plus p3 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v3 v4) (50 (
plus (minus p1) (minus p2) (minus p6)) (plus p1 p2) v5 v6))
(l1 (20 l1 v7)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 
v5 v4 v3 v1) (ijk 18) (l l1));
 
aa(19):='(((s2 (plus p4 p6) p11m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p5)) p12m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (230 p6 v2 v1) (375 (plus p1 p2 p5) p3 (plus
p4 p6) u3 v5 v3 v4) (50 (plus (minus p1) (minus p2) (minus 
p5)) (plus p1 p2) v7 v8)) (l1 (20 l1 v9)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v5 v4 v3 v2 v1) (ijk 19) (l l1));
 
aa(20):='(((s2 (plus p4 p5) p11m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p6)) p12m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (230 p5 v2 v1) (375 (plus p1 p2 p6) p3 (plus
p4 p5) u3 v5 v3 v4) (50 (plus (minus p1) (minus p2) (minus 
p6)) (plus p1 p2) v7 v8)) (l1 (20 l1 v9)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v5 v4 v3 v2 v1) (ijk 20) (l l1));
 
aa(21):='(((s2 (plus p4 p6) p10m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p5)) p12m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (234 p6 v2 v1) (389 (plus p1 p2 p5) p3 (plus
p4 p6) u3 v5 v3 v4) (50 (plus (minus p1) (minus p2) (minus 
p5)) (plus p1 p2) v7 v8)) (l1 (20 l1 v9)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v5 v4 v3 v2 v1) (ijk 21) (l l1));
 
aa(22):='(((s2 (plus p4 p5) p10m v3 v4 v1 v2) (s11 (plus (
minus p1) (minus p2) (minus p6)) p12m v8 v5) (s11 (plus p1 
p2) p33m v7 v9) (234 p5 v2 v1) (389 (plus p1 p2 p6) p3 (plus
p4 p5) u3 v5 v3 v4) (50 (plus (minus p1) (minus p2) (minus 
p6)) (plus p1 p2) v7 v8)) (l1 (20 l1 v9)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v5 v4 v3 v2 v1) (ijk 22) (l l1));
 
aa(23):='(((s11 (plus p3 p6) p7m v4 v1) (s11 (plus p1 p2) 
p33m v3 v5) (s0 (plus (minus p4) (minus p5)) p17m) (161 p6 
p3 (minus (plus p3 p6)) u3 v1) (40) (56 (plus p3 p6) (plus 
p1 p2) v4 v3)) (l1 (20 l1 v5)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v5 v4 
v3 v1) (ijk 23) (l l1));
 
aa(24):='(((s11 (plus p3 p5) p7m v4 v1) (s11 (plus p1 p2) 
p33m v3 v5) (s0 (plus (minus p4) (minus p6)) p17m) (161 p5 
p3 (minus (plus p3 p5)) u3 v1) (40) (56 (plus p3 p5) (plus 
p1 p2) v4 v3)) (l1 (20 l1 v5)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v5 v4 
v3 v1) (ijk 24) (l l1));
 
aa(25):='(((s0 (plus p5 p6) p23m) (s11 (plus p1 p2) p33m v3
v5) (s11 (plus (minus p3) (minus p4)) p6m v1 v4) (179 p3 (
plus (minus p3) (minus p4)) u3 v1) (37) (59 (plus p3 p4) (
plus p1 p2) v3 v4)) (l1 (20 l1 v5)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v5 v4 
v3 v1) (ijk 25) (l l1));
 
aa(26):='(((s11 (plus p3 p6) p6m v4 v1) (s11 (plus p1 p2) 
p33m v3 v5) (s0 (plus (minus p4) (minus p5)) p23m) (178 p3 (
minus (plus p3 p6)) u3 v1) (38) (59 (plus p3 p6) (plus p1 p2
) v3 v4)) (l1 (20 l1 v5)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v5 v4 
v3 v1) (ijk 26) (l l1));
 
aa(27):='(((s11 (plus p3 p5) p6m v4 v1) (s11 (plus p1 p2) 
p33m v3 v5) (s0 (plus (minus p4) (minus p6)) p23m) (178 p3 (
minus (plus p3 p5)) u3 v1) (38) (59 (plus p3 p5) (plus p1 p2
) v3 v4)) (l1 (20 l1 v5)));
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v5 v4 
v3 v1) (ijk 27) (l l1));
 
aa(28):='(((s11 (plus p3 p6) p6m v4 v1) (s11 (plus p1 p2) 
p33m v3 v5) (s0 (plus (minus p4) (minus p5)) p17m) (178 p3 (
minus (plus p3 p6)) u3 v1) (40) (60 (plus p3 p6) (plus p1 p2
) v3 v4)) (l1 (20 l1 v5)));
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v5 v4 
v3 v1) (ijk 28) (l l1));
 
aa(29):='(((s11 (plus p3 p5) p6m v4 v1) (s11 (plus p1 p2) 
p33m v3 v5) (s0 (plus (minus p4) (minus p6)) p17m) (178 p3 (
minus (plus p3 p5)) u3 v1) (40) (60 (plus p3 p5) (plus p1 p2
) v3 v4)) (l1 (20 l1 v5)));
 
aaaa(29):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v5 v4 
v3 v1) (ijk 29) (l l1));
 
aa(30):='(((s0 (plus p5 p6) p27m) (s11 (plus p1 p2) p33m v3
v5) (s11 (plus (minus p3) (minus p4)) p5m v1 v4) (193 p3 (
plus (minus p3) (minus p4)) u3 v1) (31) (63 (plus p3 p4) (
plus p1 p2) v3 v4)) (l1 (20 l1 v5)));
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v5 v4 
v3 v1) (ijk 30) (l l1));
 
aa(31):='(((s0 (plus p5 p6) p25m) (s11 (plus p1 p2) p33m v3
v5) (s11 (plus (minus p3) (minus p4)) p5m v1 v4) (193 p3 (
plus (minus p3) (minus p4)) u3 v1) (34) (64 (plus p3 p4) (
plus p1 p2) v3 v4)) (l1 (20 l1 v5)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v5 v4 
v3 v1) (ijk 31) (l l1));
 
aa(32):='(((s0 (plus p5 p6) p23m) (s11 (plus p1 p2) p33m v3
v5) (s11 (plus (minus p3) (minus p4)) p5m v1 v4) (193 p3 (
plus (minus p3) (minus p4)) u3 v1) (37) (65 (plus p3 p4) (
plus p1 p2) v3 v4)) (l1 (20 l1 v5)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v5 v4 
v3 v1) (ijk 32) (l l1));
 
aa(33):='(((s11 (plus p1 p2) p33m v1 v3) (s0 (plus p5 p6) 
p30m) (s0 (plus (minus p4) (minus p5) (minus p6)) p32m) (28)
(21) (69 p3 (plus p1 p2) u3 v1)) (l1 (20 l1 v3)));
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v3 v1)
(ijk 33) (l l1));
 
aa(34):='(((s11 (plus p1 p2) p33m v1 v3) (s0 (plus p5 p6) 
p27m) (s0 (plus (minus p4) (minus p5) (minus p6)) p32m) (31)
(22) (69 p3 (plus p1 p2) u3 v1)) (l1 (20 l1 v3)));
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v3 v1)
(ijk 34) (l l1));
 
aa(35):='(((s11 (plus p1 p2) p33m v1 v3) (s0 (plus p5 p6) 
p25m) (s0 (plus (minus p4) (minus p5) (minus p6)) p32m) (34)
(23) (69 p3 (plus p1 p2) u3 v1)) (l1 (20 l1 v3)));
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v3 v1)
(ijk 35) (l l1));
 
aa(36):='(((s11 (plus p1 p2) p33m v1 v3) (s0 (plus p4 p6) 
p23m) (s0 (plus (minus p4) (minus p5) (minus p6)) p32m) (38)
(24) (69 p3 (plus p1 p2) u3 v1)) (l1 (20 l1 v3)));
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v3 v1)
(ijk 36) (l l1));
 
aa(37):='(((s11 (plus p1 p2) p33m v1 v3) (s0 (plus p4 p5) 
p23m) (s0 (plus (minus p4) (minus p5) (minus p6)) p32m) (38)
(24) (69 p3 (plus p1 p2) u3 v1)) (l1 (20 l1 v3)));
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v3 v1)
(ijk 37) (l l1));
 
aa(38):='(((s11 (plus p1 p2) p33m v1 v3) (s0 (plus p5 p6) 
p23m) (s0 (plus (minus p4) (minus p5) (minus p6)) p32m) (37)
(25) (69 p3 (plus p1 p2) u3 v1)) (l1 (20 l1 v3)));
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v3 v1)
(ijk 38) (l l1));
 
aa(39):='(((s11 (plus p1 p2) p33m v1 v3) (s0 (plus p4 p6) 
p17m) (s0 (plus (minus p4) (minus p5) (minus p6)) p32m) (40)
(26) (69 p3 (plus p1 p2) u3 v1)) (l1 (20 l1 v3)));
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v3 v1)
(ijk 39) (l l1));
 
aa(40):='(((s11 (plus p1 p2) p33m v1 v3) (s0 (plus p4 p5) 
p17m) (s0 (plus (minus p4) (minus p5) (minus p6)) p32m) (40)
(26) (69 p3 (plus p1 p2) u3 v1)) (l1 (20 l1 v3)));
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v3 v1)
(ijk 40) (l l1));
 
aa(41):='(((s11 (plus p1 p2) p33m v3 v5) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s11 (plus p4 p6) p4m v2 v1)
(44 p6 v1) (42 (plus (minus p4) (minus p5) (minus p6)) v2) (
69 p3 (plus p1 p2) u3 v3)) (l1 (20 l1 v5)));
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v5 v3 
v2 v1) (ijk 41) (l l1));
 
aa(42):='(((s11 (plus p1 p2) p33m v3 v5) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s11 (plus p4 p5) p4m v2 v1)
(44 p5 v1) (42 (plus (minus p4) (minus p5) (minus p6)) v2) (
69 p3 (plus p1 p2) u3 v3)) (l1 (20 l1 v5)));
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v5 v3 
v2 v1) (ijk 42) (l l1));
 
aa(43):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p5 p6) p31m v3 v4 
v1 v2) (195 p5 v2 v1) (194 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 43) (l l1));
 
aa(44):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p5 p6) p28m v3 v4 
v1 v2) (199 p5 v2 v1) (198 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 44) (l l1));
 
aa(45):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p5 p6) p26m v3 v4 
v1 v2) (203 p5 v2 v1) (202 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 45) (l l1));
 
aa(46):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p6) p22m v3 v4 
v1 v2) (209 p6 v2 v1) (206 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 46) (l l1));
 
aa(47):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p5) p22m v3 v4 
v1 v2) (209 p5 v2 v1) (206 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 47) (l l1));
 
aa(48):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p5 p6) p22m v3 v4 
v1 v2) (208 p5 v2 v1) (207 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 48) (l l1));
 
aa(49):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p6) p21m v3 v4 
v1 v2) (214 p6 v2 v1) (211 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 49) (l l1));
 
aa(50):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p5) p21m v3 v4 
v1 v2) (214 p5 v2 v1) (211 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 50) (l l1));
 
aa(51):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p5 p6) p21m v3 v4 
v1 v2) (213 p5 v2 v1) (212 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 51) (l l1));
 
aa(52):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p6) p20m v3 v4 
v1 v2) (218 p6 v2 v1) (216 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 52) (l l1));
 
aa(53):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p5) p20m v3 v4 
v1 v2) (218 p5 v2 v1) (216 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 53) (l l1));
 
aa(54):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p6) p18m v3 v4 
v1 v2) (222 p6 v2 v1) (220 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 54) (l l1));
 
aa(55):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p5) p18m v3 v4 
v1 v2) (222 p5 v2 v1) (220 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 55) (l l1));
 
aa(56):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p6) p13m v3 v4 
v1 v2) (226 p6 v2 v1) (224 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 56) (l l1));
 
aa(57):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p5) p13m v3 v4 
v1 v2) (226 p5 v2 v1) (224 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 57) (l l1));
 
aa(58):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p6) p11m v3 v4 
v1 v2) (230 p6 v2 v1) (228 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 58) (l l1));
 
aa(59):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p5) p11m v3 v4 
v1 v2) (230 p5 v2 v1) (228 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 59) (l l1));
 
aa(60):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p6) p10m v3 v4 
v1 v2) (234 p6 v2 v1) (232 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 60) (l l1));
 
aa(61):='(((s11 (plus p1 p2) p33m v5 v7) (s0 (plus (minus p4
) (minus p5) (minus p6)) p32m) (s2 (plus p4 p5) p10m v3 v4 
v1 v2) (234 p5 v2 v1) (232 (plus (minus p4) (minus p5) (
minus p6)) v4 v3) (69 p3 (plus p1 p2) u3 v5)) (l1 (20 l1 v7)
));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v5 
v4 v3 v2 v1) (ijk 61) (l l1));
 
aa(62):='(((s11 (plus p1 p2) p33m v9 v11) (s0 (plus (minus 
p4) (minus p5) (minus p6)) p32m) (s4 (plus p5 p6) p29m v5 v6
v7 v8 v1 v2 v3 v4) (435 p5 v4 v3 v2 v1) (434 (plus (minus p4
) (minus p5) (minus p6)) v8 v7 v6 v5) (69 p3 (plus p1 p2) u3
v9)) (l1 (20 l1 v11)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v11 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 62) (l l1));
 
aa(63):='(((s11 (plus p1 p2) p33m v9 v11) (s0 (plus (minus 
p4) (minus p5) (minus p6)) p32m) (s4 (plus p5 p6) p24m v5 v6
v7 v8 v1 v2 v3 v4) (439 p5 v4 v3 v2 v1) (438 (plus (minus p4
) (minus p5) (minus p6)) v8 v7 v6 v5) (69 p3 (plus p1 p2) u3
v9)) (l1 (20 l1 v11)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v11 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 63) (l l1));
 
aa(64):='(((s11 (plus p3 p6) p7m v5 v1) (s11 (plus p1 p2) 
p33m v4 v7) (s11 (plus (minus p4) (minus p5)) p4m v3 v6) (
161 p6 p3 (minus (plus p3 p6)) u3 v1) (44 p5 v3) (236 (plus
p1 p2) (plus p3 p6) v6 v5 v4)) (l1 (20 l1 v7)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 
v5 v4 v3 v1) (ijk 64) (l l1));
 
aa(65):='(((s11 (plus p3 p5) p7m v5 v1) (s11 (plus p1 p2) 
p33m v4 v7) (s11 (plus (minus p4) (minus p6)) p4m v3 v6) (
161 p5 p3 (minus (plus p3 p5)) u3 v1) (44 p6 v3) (236 (plus
p1 p2) (plus p3 p5) v6 v5 v4)) (l1 (20 l1 v7)));
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 
v5 v4 v3 v1) (ijk 65) (l l1));
 
aa(66):='(((s11 (plus p3 p6) p6m v5 v1) (s11 (plus p1 p2) 
p33m v4 v7) (s11 (plus (minus p4) (minus p5)) p4m v3 v6) (
178 p3 (minus (plus p3 p6)) u3 v1) (44 p5 v3) (237 (plus p3
p6) (plus p1 p2) v4 v6 v5)) (l1 (20 l1 v7)));
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 
v5 v4 v3 v1) (ijk 66) (l l1));
 
aa(67):='(((s11 (plus p3 p5) p6m v5 v1) (s11 (plus p1 p2) 
p33m v4 v7) (s11 (plus (minus p4) (minus p6)) p4m v3 v6) (
178 p3 (minus (plus p3 p5)) u3 v1) (44 p6 v3) (237 (plus p3
p5) (plus p1 p2) v4 v6 v5)) (l1 (20 l1 v7)));
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 
v5 v4 v3 v1) (ijk 67) (l l1));
 
aa(68):='(((s11 (plus p1 p2) p33m v7 v9) (s2 (plus p5 p6) 
p28m v5 v6 v3 v4) (s11 (plus (minus p3) (minus p4)) p5m v1 
v8) (193 p3 (plus (minus p3) (minus p4)) u3 v1) (199 p5 v4 
v3) (266 (plus p1 p2) (plus p5 p6) v6 v5 v8 v7)) (l1 (20 l1
v9)));
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 68) (l l1));
 
aa(69):='(((s11 (plus p1 p2) p33m v7 v9) (s2 (plus p5 p6) 
p26m v5 v6 v3 v4) (s11 (plus (minus p3) (minus p4)) p5m v1 
v8) (193 p3 (plus (minus p3) (minus p4)) u3 v1) (203 p5 v4 
v3) (283 (plus p1 p2) (plus p5 p6) v6 v5 v8 v7)) (l1 (20 l1
v9)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 69) (l l1));
 
aa(70):='(((s11 (plus p1 p2) p33m v7 v9) (s2 (plus p5 p6) 
p22m v5 v6 v3 v4) (s11 (plus (minus p3) (minus p4)) p6m v1 
v8) (179 p3 (plus (minus p3) (minus p4)) u3 v1) (208 p5 v4 
v3) (297 (plus p1 p2) (plus p5 p6) v6 v5 v8 v7)) (l1 (20 l1
v9)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 70) (l l1));
 
aa(71):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p6m v8 v1) (s2 (plus (minus p4) (minus p5)) p22m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p6)) u3 v1) (209 p5 v4 v3) (297 (
plus p1 p2) (minus (plus (minus p4) (minus p5))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 71) (l l1));
 
aa(72):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p6m v8 v1) (s2 (plus (minus p4) (minus p6)) p22m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p5)) u3 v1) (209 p6 v4 v3) (297 (
plus p1 p2) (minus (plus (minus p4) (minus p6))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 72) (l l1));
 
aa(73):='(((s11 (plus p1 p2) p33m v7 v9) (s2 (plus p5 p6) 
p22m v5 v6 v3 v4) (s11 (plus (minus p3) (minus p4)) p5m v1 
v8) (193 p3 (plus (minus p3) (minus p4)) u3 v1) (208 p5 v4 
v3) (298 (plus p1 p2) (plus p5 p6) v6 v5 v8 v7)) (l1 (20 l1
v9)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 73) (l l1));
 
aa(74):='(((s11 (plus p1 p2) p33m v7 v9) (s2 (plus p5 p6) 
p21m v5 v6 v3 v4) (s11 (plus (minus p3) (minus p4)) p6m v1 
v8) (179 p3 (plus (minus p3) (minus p4)) u3 v1) (213 p5 v4 
v3) (311 (plus p1 p2) (plus p5 p6) v6 v5 v8 v7)) (l1 (20 l1
v9)));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 74) (l l1));
 
aa(75):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p6m v8 v1) (s2 (plus (minus p4) (minus p5)) p21m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p6)) u3 v1) (214 p5 v4 v3) (311 (
plus p1 p2) (minus (plus (minus p4) (minus p5))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 75) (l l1));
 
aa(76):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p6m v8 v1) (s2 (plus (minus p4) (minus p6)) p21m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p5)) u3 v1) (214 p6 v4 v3) (311 (
plus p1 p2) (minus (plus (minus p4) (minus p6))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 76) (l l1));
 
aa(77):='(((s11 (plus p1 p2) p33m v7 v9) (s2 (plus p5 p6) 
p21m v5 v6 v3 v4) (s11 (plus (minus p3) (minus p4)) p5m v1 
v8) (193 p3 (plus (minus p3) (minus p4)) u3 v1) (213 p5 v4 
v3) (312 (plus p1 p2) (plus p5 p6) v6 v5 v8 v7)) (l1 (20 l1
v9)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 77) (l l1));
 
aa(78):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p7m v8 v1) (s2 (plus (minus p4) (minus p5)) p20m v3 v4 v5 v6
) (161 p6 p3 (minus (plus p3 p6)) u3 v1) (218 p5 v4 v3) (324
(plus p4 p5) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 78) (l l1));
 
aa(79):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p7m v8 v1) (s2 (plus (minus p4) (minus p6)) p20m v3 v4 v5 v6
) (161 p5 p3 (minus (plus p3 p5)) u3 v1) (218 p6 v4 v3) (324
(plus p4 p6) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 79) (l l1));
 
aa(80):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p6m v8 v1) (s2 (plus (minus p4) (minus p5)) p20m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p6)) u3 v1) (218 p5 v4 v3) (325 (
plus p1 p2) (minus (plus (minus p4) (minus p5))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 80) (l l1));
 
aa(81):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p6m v8 v1) (s2 (plus (minus p4) (minus p6)) p20m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p5)) u3 v1) (218 p6 v4 v3) (325 (
plus p1 p2) (minus (plus (minus p4) (minus p6))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(81):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 81) (l l1));
 
aa(82):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p7m v8 v1) (s2 (plus (minus p4) (minus p5)) p18m v3 v4 v5 v6
) (161 p6 p3 (minus (plus p3 p6)) u3 v1) (222 p5 v4 v3) (338
(plus p4 p5) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(82):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 82) (l l1));
 
aa(83):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p7m v8 v1) (s2 (plus (minus p4) (minus p6)) p18m v3 v4 v5 v6
) (161 p5 p3 (minus (plus p3 p5)) u3 v1) (222 p6 v4 v3) (338
(plus p4 p6) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(83):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 83) (l l1));
 
aa(84):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p6m v8 v1) (s2 (plus (minus p4) (minus p5)) p18m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p6)) u3 v1) (222 p5 v4 v3) (339 (
plus p1 p2) (minus (plus (minus p4) (minus p5))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(84):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 84) (l l1));
 
aa(85):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p6m v8 v1) (s2 (plus (minus p4) (minus p6)) p18m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p5)) u3 v1) (222 p6 v4 v3) (339 (
plus p1 p2) (minus (plus (minus p4) (minus p6))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(85):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 85) (l l1));
 
aa(86):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p9m v8 v1) (s2 (plus (minus p4) (minus p5)) p13m v3 v4 v5 v6
) (129 p3 (minus (plus p3 p6)) u3 v1) (226 p5 v4 v3) (352 (
plus p1 p2) (minus (plus (minus p4) (minus p5))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(86):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 86) (l l1));
 
aa(87):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p9m v8 v1) (s2 (plus (minus p4) (minus p6)) p13m v3 v4 v5 v6
) (129 p3 (minus (plus p3 p5)) u3 v1) (226 p6 v4 v3) (352 (
plus p1 p2) (minus (plus (minus p4) (minus p6))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(87):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 87) (l l1));
 
aa(88):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p8m v8 v1) (s2 (plus (minus p4) (minus p5)) p13m v3 v4 v5 v6
) (144 p6 p3 (minus (plus p3 p6)) u3 v1) (226 p5 v4 v3) (353
(plus p4 p5) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(88):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 88) (l l1));
 
aa(89):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p8m v8 v1) (s2 (plus (minus p4) (minus p6)) p13m v3 v4 v5 v6
) (144 p5 p3 (minus (plus p3 p5)) u3 v1) (226 p6 v4 v3) (353
(plus p4 p6) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 89) (l l1));
 
aa(90):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p7m v8 v1) (s2 (plus (minus p4) (minus p5)) p13m v3 v4 v5 v6
) (161 p6 p3 (minus (plus p3 p6)) u3 v1) (226 p5 v4 v3) (354
(plus p4 p5) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 90) (l l1));
 
aa(91):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p7m v8 v1) (s2 (plus (minus p4) (minus p6)) p13m v3 v4 v5 v6
) (161 p5 p3 (minus (plus p3 p5)) u3 v1) (226 p6 v4 v3) (354
(plus p4 p6) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 91) (l l1));
 
aa(92):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p6m v8 v1) (s2 (plus (minus p4) (minus p5)) p13m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p6)) u3 v1) (226 p5 v4 v3) (355 (
plus p1 p2) (minus (plus (minus p4) (minus p5))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 92) (l l1));
 
aa(93):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p6m v8 v1) (s2 (plus (minus p4) (minus p6)) p13m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p5)) u3 v1) (226 p6 v4 v3) (355 (
plus p1 p2) (minus (plus (minus p4) (minus p6))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(93):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 93) (l l1));
 
aa(94):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p9m v8 v1) (s2 (plus (minus p4) (minus p5)) p11m v3 v4 v5 v6
) (129 p3 (minus (plus p3 p6)) u3 v1) (230 p5 v4 v3) (367 (
plus p1 p2) (minus (plus (minus p4) (minus p5))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(94):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 94) (l l1));
 
aa(95):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p9m v8 v1) (s2 (plus (minus p4) (minus p6)) p11m v3 v4 v5 v6
) (129 p3 (minus (plus p3 p5)) u3 v1) (230 p6 v4 v3) (367 (
plus p1 p2) (minus (plus (minus p4) (minus p6))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(95):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 95) (l l1));
 
aa(96):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p8m v8 v1) (s2 (plus (minus p4) (minus p5)) p11m v3 v4 v5 v6
) (144 p6 p3 (minus (plus p3 p6)) u3 v1) (230 p5 v4 v3) (368
(plus p4 p5) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(96):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 96) (l l1));
 
aa(97):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p8m v8 v1) (s2 (plus (minus p4) (minus p6)) p11m v3 v4 v5 v6
) (144 p5 p3 (minus (plus p3 p5)) u3 v1) (230 p6 v4 v3) (368
(plus p4 p6) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(97):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 97) (l l1));
 
aa(98):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p7m v8 v1) (s2 (plus (minus p4) (minus p5)) p11m v3 v4 v5 v6
) (161 p6 p3 (minus (plus p3 p6)) u3 v1) (230 p5 v4 v3) (369
(plus p4 p5) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(98):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 98) (l l1));
 
aa(99):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p7m v8 v1) (s2 (plus (minus p4) (minus p6)) p11m v3 v4 v5 v6
) (161 p5 p3 (minus (plus p3 p5)) u3 v1) (230 p6 v4 v3) (369
(plus p4 p6) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(99):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v4 v3 v1) (ijk 99) (l l1));
 
aa(100):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6)
p6m v8 v1) (s2 (plus (minus p4) (minus p5)) p11m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p6)) u3 v1) (230 p5 v4 v3) (370 (
plus p1 p2) (minus (plus (minus p4) (minus p5))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(100):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8
v7 v6 v5 v4 v3 v1) (ijk 100) (l l1));
 
;end;
 
