aaaaa:='((k) (l l1) (nop 0) (nep 6) (namel (ef efb pr2b pr2
pr1 pr1)) (inpl (1 1 -1 -1 -1 -1)) (onshl (0 0 0 0 0 0)));
 
aa(1):='(((s11 (plus p1 p2) p32m v5 v6) (s0 (plus (minus p4)
(minus p5) (minus p6)) p27m) (s2 (plus p5 p6) p5m v3 v4 v1 
v2) (80 p5 v2 v1) (78 (plus (minus p4) (minus p5) (minus p6)
) v4 v3) (26 (plus p4 p5 p6) v5)) (l1 (19 l1 v6)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 1) (l l1));
 
aa(2):='(((s2 (plus p5 p6) p5m v3 v4 v1 v2) (s0 (plus (minus
p1) (minus p2) (minus p4)) p27m) (s11 (plus p1 p2) p32m v5 
v6) (80 p5 v2 v1) (77 (plus p1 p2 p4) v4 v3) (27 (plus (
minus p1) (minus p2) (minus p4)) v5)) (l1 (19 l1 v6)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 2) (l l1));
 
aa(3):='(((s0 (plus p5 p6) p6m) (s11 (plus p1 p2) p32m v2 v4
) (s11 (plus (minus p3) (minus p4)) p15m v1 v3) (25) (31 p4
v1) (40 (plus p3 p4) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 3) (l l1));
 
aa(4):='(((s11 (plus p1 p2) p32m v4 v6) (s11 (plus p3 p4) 
p4m v3 v1) (s11 (plus p1 p2 p5) p15m v2 v5) (36 p4 v1) (52 (
plus p3 p4) (plus p1 p2 p5) v3 v2) (41 (plus (minus p1) (
minus p2) (minus p5)) (plus p1 p2) v5 v4)) (l1 (19 l1 v6)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 4) (l l1));
 
aa(5):='(((s11 (plus p3 p4) p4m v3 v1) (s11 (plus (minus p1)
(minus p2) (minus p6)) p15m v5 v2) (s11 (plus p1 p2) p32m v4
v6) (36 p4 v1) (52 (plus p3 p4) (minus (plus (minus p1) (
minus p2) (minus p6))) v3 v2) (41 (plus (minus p1) (minus p2
) (minus p6)) (plus p1 p2) v5 v4)) (l1 (19 l1 v6)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 5) (l l1));
 
aa(6):='(((s0 (plus p5 p6) p6m) (s11 (plus p1 p2) p32m v2 v4
) (s11 (plus (minus p3) (minus p4)) p13m v1 v3) (25) (32 p4
v1) (42 (plus p3 p4) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 6) (l l1));
 
aa(7):='(((s11 (plus p1 p2) p32m v4 v6) (s11 (plus p3 p4) 
p4m v3 v1) (s11 (plus p1 p2 p5) p13m v2 v5) (36 p4 v1) (53 (
plus p3 p4) (plus p1 p2 p5) v3 v2) (43 (plus (minus p1) (
minus p2) (minus p5)) (plus p1 p2) v5 v4)) (l1 (19 l1 v6)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 7) (l l1));
 
aa(8):='(((s11 (plus p3 p4) p4m v3 v1) (s11 (plus (minus p1)
(minus p2) (minus p6)) p13m v5 v2) (s11 (plus p1 p2) p32m v4
v6) (36 p4 v1) (53 (plus p3 p4) (minus (plus (minus p1) (
minus p2) (minus p6))) v3 v2) (43 (plus (minus p1) (minus p2
) (minus p6)) (plus p1 p2) v5 v4)) (l1 (19 l1 v6)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 8) (l l1));
 
aa(9):='(((s11 (plus p1 p2) p32m v4 v6) (s11 (plus p3 p4) 
p4m v3 v1) (s11 (plus p1 p2 p5) p11m v2 v5) (36 p4 v1) (54 (
plus p3 p4) (plus p1 p2 p5) v2 v3) (45 (plus (minus p1) (
minus p2) (minus p5)) (plus p1 p2) v4 v5)) (l1 (19 l1 v6)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 9) (l l1));
 
aa(10):='(((s11 (plus p3 p4) p4m v3 v1) (s11 (plus (minus p1
) (minus p2) (minus p6)) p11m v5 v2) (s11 (plus p1 p2) p32m
v4 v6) (36 p4 v1) (54 (plus p3 p4) (minus (plus (minus p1) (
minus p2) (minus p6))) v2 v3) (45 (plus (minus p1) (minus p2
) (minus p6)) (plus p1 p2) v4 v5)) (l1 (19 l1 v6)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 10) (l l1));
 
aa(11):='(((s0 (plus p5 p6) p6m) (s11 (plus p1 p2) p32m v2 
v4) (s11 (plus (minus p3) (minus p4)) p7m v1 v3) (25) (33 p4
v1) (46 (plus p3 p4) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 11) (l l1));
 
aa(12):='(((s0 (plus p5 p6) p22m) (s11 (plus p1 p2) p32m v2
v4) (s11 (plus (minus p3) (minus p4)) p4m v1 v3) (36 p4 v1)
(21) (48 (plus p3 p4) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 12) (l l1));
 
aa(13):='(((s0 (plus p5 p6) p16m) (s11 (plus p1 p2) p32m v2
v4) (s11 (plus (minus p3) (minus p4)) p4m v1 v3) (36 p4 v1)
(23) (49 (plus p3 p4) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 13) (l l1));
 
aa(14):='(((s0 (plus p5 p6) p6m) (s11 (plus p1 p2) p32m v2 
v4) (s11 (plus (minus p3) (minus p4)) p4m v1 v3) (36 p4 v1)
(25) (50 (plus p3 p4) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 14) (l l1));
 
aa(15):='(((s11 (plus p3 p6) p24m v5 v1) (s11 (plus p1 p2) 
p32m v3 v6) (s11 (plus (minus p4) (minus p5)) p24m v2 v4) (
29 p3 v1) (30 p4 v2) (81 (plus p3 p6) (minus (plus (minus p4
) (minus p5))) (plus p1 p2) v3 v5 v4)) (l1 (19 l1 v6)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 15) (l l1));
 
aa(16):='(((s11 (plus p3 p5) p24m v5 v1) (s11 (plus p1 p2) 
p32m v3 v6) (s11 (plus (minus p4) (minus p6)) p24m v2 v4) (
29 p3 v1) (30 p4 v2) (81 (plus p3 p5) (minus (plus (minus p4
) (minus p6))) (plus p1 p2) v3 v5 v4)) (l1 (19 l1 v6)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 16) (l l1));
 
aa(17):='(((s11 (plus p5 p6) p3m v5 v2) (s11 (plus p1 p2) 
p32m v3 v6) (s11 (plus (minus p3) (minus p4)) p4m v1 v4) (36
p4 v1) (37 p5 v2) (82 (plus p3 p4) (plus p1 p2) v3 v5 v4)) (
l1 (19 l1 v6)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 17) (l l1));
 
aa(18):='(((s11 (plus p1 p2) p32m v5 v6) (s0 (plus p5 p6) 
p16m) (s2 (plus (minus p4) (minus p5) (minus p6)) p29m v1 v2
v3 v4) (23) (56 (plus p5 p6) v2 v1) (83 (plus p1 p2) (minus
(plus (minus p4) (minus p5) (minus p6))) v4 v3 v5)) (l1 (19
l1 v6)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 18) (l l1));
 
aa(19):='(((s11 (plus p1 p2) p32m v5 v6) (s0 (plus p5 p6) 
p6m) (s2 (plus (minus p4) (minus p5) (minus p6)) p29m v1 v2
v3 v4) (25) (58 (plus p5 p6) v2 v1) (83 (plus p1 p2) (minus
(plus (minus p4) (minus p5) (minus p6))) v4 v3 v5)) (l1 (19
l1 v6)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 19) (l l1));
 
aa(20):='(((s11 (plus p1 p2) p32m v7 v8) (s11 (plus (minus 
p4) (minus p6)) p24m v1 v4) (s2 (plus (minus p4) (minus p5)
(minus p6)) p29m v2 v3 v5 v6) (30 p4 v1) (86 (plus p4 p6) (
plus (minus p4) (minus p5) (minus p6)) v3 v2 v4) (83 (plus 
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v6 v5
v7)) (l1 (19 l1 v8)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 20) (l l1));
 
aa(21):='(((s11 (plus p1 p2) p32m v7 v8) (s11 (plus (minus 
p4) (minus p5)) p24m v1 v4) (s2 (plus (minus p4) (minus p5)
(minus p6)) p29m v2 v3 v5 v6) (30 p4 v1) (86 (plus p4 p5) (
plus (minus p4) (minus p5) (minus p6)) v3 v2 v4) (83 (plus 
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v6 v5
v7)) (l1 (19 l1 v8)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 21) (l l1));
 
aa(22):='(((s11 (plus p1 p2) p32m v9 v10) (s2 (plus p5 p6) 
p12m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6)
) p29m v3 v4 v7 v8) (70 p5 v2 v1) (146 (plus p5 p6) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (83 (plus p1 
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 22) (l l1));
 
aa(23):='(((s11 (plus p1 p2) p32m v9 v10) (s2 (plus p5 p6) 
p10m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6)
) p29m v3 v4 v7 v8) (72 p5 v2 v1) (148 (plus p5 p6) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (83 (plus p1 
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 23) (l l1));
 
aa(24):='(((s11 (plus p1 p2) p32m v9 v10) (s2 (plus p5 p6) 
p9m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p29m v3 v4 v7 v8) (74 p5 v2 v1) (150 (plus p5 p6) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (83 (plus p1 
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 24) (l l1));
 
aa(25):='(((s11 (plus p1 p2) p32m v9 v10) (s2 (plus p5 p6) 
p8m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p29m v3 v4 v7 v8) (76 p5 v2 v1) (152 (plus p5 p6) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (83 (plus p1 
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 25) (l l1));
 
aa(26):='(((s11 (plus p1 p2) p32m v9 v10) (s2 (plus p5 p6) 
p5m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p29m v3 v4 v7 v8) (80 p5 v2 v1) (154 (plus p5 p6) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (83 (plus p1 
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 26) (l l1));
 
aa(27):='(((s0 (plus p5 p6) p16m) (s11 (plus p1 p2) p32m v5
v6) (s2 (plus (minus p1) (minus p2) (minus p4)) p29m v3 v4 
v1 v2) (23) (55 (plus p5 p6) v2 v1) (84 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p4)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 27) (l l1));
 
aa(28):='(((s0 (plus p5 p6) p6m) (s11 (plus p1 p2) p32m v5 
v6) (s2 (plus (minus p1) (minus p2) (minus p4)) p29m v3 v4 
v1 v2) (25) (57 (plus p5 p6) v2 v1) (84 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p4)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 28) (l l1));
 
aa(29):='(((s11 (plus p1 p2) p32m v7 v8) (s11 (plus p3 p6) 
p24m v4 v1) (s2 (plus (minus p1) (minus p2) (minus p4)) p29m
v5 v6 v2 v3) (29 p3 v1) (85 (plus p3 p6) (minus (plus (minus
p1) (minus p2) (minus p4))) v3 v2 v4) (84 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p4)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(29):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 29) (l l1));
 
aa(30):='(((s11 (plus p1 p2) p32m v7 v8) (s11 (plus p3 p5) 
p24m v4 v1) (s2 (plus (minus p1) (minus p2) (minus p4)) p29m
v5 v6 v2 v3) (29 p3 v1) (85 (plus p3 p5) (minus (plus (minus
p1) (minus p2) (minus p4))) v3 v2 v4) (84 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p4)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 30) (l l1));
 
aa(31):='(((s2 (plus p5 p6) p12m v5 v6 v1 v2) (s11 (plus p1
p2) p32m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p4))
p29m v7 v8 v3 v4) (70 p5 v2 v1) (145 (plus p5 p6) (minus (
plus (minus p1) (minus p2) (minus p4))) v4 v3 v6 v5) (84 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p4)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 31) (l l1));
 
aa(32):='(((s2 (plus p5 p6) p10m v5 v6 v1 v2) (s11 (plus p1
p2) p32m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p4))
p29m v7 v8 v3 v4) (72 p5 v2 v1) (147 (plus p5 p6) (minus (
plus (minus p1) (minus p2) (minus p4))) v4 v3 v6 v5) (84 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p4)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 32) (l l1));
 
aa(33):='(((s2 (plus p5 p6) p9m v5 v6 v1 v2) (s11 (plus p1 
p2) p32m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p4))
p29m v7 v8 v3 v4) (74 p5 v2 v1) (149 (plus p5 p6) (minus (
plus (minus p1) (minus p2) (minus p4))) v4 v3 v6 v5) (84 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p4)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 33) (l l1));
 
aa(34):='(((s2 (plus p5 p6) p8m v5 v6 v1 v2) (s11 (plus p1 
p2) p32m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p4))
p29m v7 v8 v3 v4) (76 p5 v2 v1) (151 (plus p5 p6) (minus (
plus (minus p1) (minus p2) (minus p4))) v4 v3 v6 v5) (84 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p4)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 34) (l l1));
 
aa(35):='(((s2 (plus p5 p6) p5m v5 v6 v1 v2) (s11 (plus p1 
p2) p32m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p4))
p29m v7 v8 v3 v4) (80 p5 v2 v1) (153 (plus p5 p6) (minus (
plus (minus p1) (minus p2) (minus p4))) v4 v3 v6 v5) (84 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p4)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 35) (l l1));
 
aa(36):='(((s11 (plus p1 p2) p32m v7 v8) (s11 (plus (minus 
p4) (minus p6)) p24m v1 v4) (s2 (plus (minus p4) (minus p5)
(minus p6)) p28m v2 v3 v5 v6) (30 p4 v1) (100 (plus (minus 
p4) (minus p5) (minus p6)) (minus (plus (minus p4) (minus p6
))) v4 v2 v3) (97 (plus p4 p5 p6) (plus p1 p2) v7 v5 v6)) (
l1 (19 l1 v8)));
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 36) (l l1));
 
aa(37):='(((s11 (plus p1 p2) p32m v7 v8) (s11 (plus (minus 
p4) (minus p5)) p24m v1 v4) (s2 (plus (minus p4) (minus p5)
(minus p6)) p28m v2 v3 v5 v6) (30 p4 v1) (100 (plus (minus 
p4) (minus p5) (minus p6)) (minus (plus (minus p4) (minus p5
))) v4 v2 v3) (97 (plus p4 p5 p6) (plus p1 p2) v7 v5 v6)) (
l1 (19 l1 v8)));
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 37) (l l1));
 
aa(38):='(((s11 (plus p1 p2) p32m v9 v10) (s2 (plus p5 p6) 
p8m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p28m v3 v4 v7 v8) (76 p5 v2 v1) (156 (plus p5 p6) (plus (
minus p4) (minus p5) (minus p6)) v5 v3 v4 v6) (97 (plus p4 
p5 p6) (plus p1 p2) v9 v7 v8)) (l1 (19 l1 v10)));
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 38) (l l1));
 
aa(39):='(((s11 (plus p1 p2) p32m v9 v10) (s2 (plus p5 p6) 
p5m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p28m v3 v4 v7 v8) (80 p5 v2 v1) (158 (plus p5 p6) (plus (
minus p4) (minus p5) (minus p6)) v5 v3 v4 v6) (97 (plus p4 
p5 p6) (plus p1 p2) v9 v7 v8)) (l1 (19 l1 v10)));
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 39) (l l1));
 
aa(40):='(((s11 (plus p1 p2) p32m v7 v8) (s11 (plus p3 p6) 
p24m v4 v1) (s2 (plus (minus p1) (minus p2) (minus p4)) p28m
v5 v6 v2 v3) (29 p3 v1) (99 (plus p1 p2 p4) (plus p3 p6) v4
v2 v3) (98 (plus (minus p1) (minus p2) (minus p4)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 40) (l l1));
 
aa(41):='(((s11 (plus p1 p2) p32m v7 v8) (s11 (plus p3 p5) 
p24m v4 v1) (s2 (plus (minus p1) (minus p2) (minus p4)) p28m
v5 v6 v2 v3) (29 p3 v1) (99 (plus p1 p2 p4) (plus p3 p5) v4
v2 v3) (98 (plus (minus p1) (minus p2) (minus p4)) (plus p1
p2) v7 v5 v6)) (l1 (19 l1 v8)));
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 41) (l l1));
 
aa(42):='(((s2 (plus p5 p6) p8m v5 v6 v1 v2) (s11 (plus p1 
p2) p32m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p4))
p28m v7 v8 v3 v4) (76 p5 v2 v1) (155 (plus p5 p6) (minus (
plus (minus p1) (minus p2) (minus p4))) v5 v3 v4 v6) (98 (
plus (minus p1) (minus p2) (minus p4)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 42) (l l1));
 
aa(43):='(((s2 (plus p5 p6) p5m v5 v6 v1 v2) (s11 (plus p1 
p2) p32m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p4))
p28m v7 v8 v3 v4) (80 p5 v2 v1) (157 (plus p5 p6) (minus (
plus (minus p1) (minus p2) (minus p4))) v5 v3 v4 v6) (98 (
plus (minus p1) (minus p2) (minus p4)) (plus p1 p2) v9 v7 v8
)) (l1 (19 l1 v10)));
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 43) (l l1));
 
aa(44):='(((s11 (plus p1 p2) p32m v9 v10) (s2 (plus p5 p6) 
p5m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p26m v3 v4 v7 v8) (80 p5 v2 v1) (160 (plus p5 p6) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (105 (plus p1
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 44) (l l1));
 
aa(45):='(((s2 (plus p5 p6) p5m v5 v6 v1 v2) (s11 (plus p1 
p2) p32m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p4))
p26m v7 v8 v3 v4) (80 p5 v2 v1) (159 (plus p5 p6) (minus (
plus (minus p1) (minus p2) (minus p4))) v4 v3 v6 v5) (106 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p4)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 45) (l l1));
 
aa(46):='(((s11 (plus p1 p2) p32m v9 v10) (s2 (plus p5 p6) 
p5m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p25m v3 v4 v7 v8) (80 p5 v2 v1) (162 (plus p5 p6) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (109 (plus p1
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 46) (l l1));
 
aa(47):='(((s2 (plus p5 p6) p5m v5 v6 v1 v2) (s11 (plus p1 
p2) p32m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p4))
p25m v7 v8 v3 v4) (80 p5 v2 v1) (161 (plus p5 p6) (minus (
plus (minus p1) (minus p2) (minus p4))) v4 v3 v6 v5) (110 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p4)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 47) (l l1));
 
aa(48):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p21m v4 v5 v2 v3) (s11 (plus (minus p3) (minus p4)) p4m v1 
v7) (36 p4 v1) (62 p5 v3 v2) (126 (plus p1 p2) (plus p5 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 48) (l l1));
 
aa(49):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p20m v4 v5 v2 v3) (s11 (plus (minus p3) (minus p4)) p4m v1 
v7) (36 p4 v1) (64 p5 v3 v2) (127 (plus p1 p2) (plus p5 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 49) (l l1));
 
aa(50):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p19m v4 v5 v2 v3) (s11 (plus (minus p3) (minus p4)) p4m v1 
v7) (36 p4 v1) (66 p5 v3 v2) (128 (plus p1 p2) (plus p5 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 50) (l l1));
 
aa(51):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p17m v4 v5 v2 v3) (s11 (plus (minus p3) (minus p4)) p4m v1 
v7) (36 p4 v1) (68 p5 v3 v2) (129 (plus p1 p2) (plus p5 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 51) (l l1));
 
aa(52):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p12m v4 v5 v2 v3) (s11 (plus (minus p3) (minus p4)) p7m v1 
v7) (33 p4 v1) (70 p5 v3 v2) (130 (plus p1 p2) (plus p5 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 52) (l l1));
 
aa(53):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p12m v4 v5 v2 v3) (s11 (plus (minus p3) (minus p4)) p4m v1 
v7) (36 p4 v1) (70 p5 v3 v2) (131 (plus p1 p2) (plus p5 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 53) (l l1));
 
aa(54):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p10m v4 v5 v2 v3) (s11 (plus (minus p3) (minus p4)) p7m v1 
v7) (33 p4 v1) (72 p5 v3 v2) (132 (plus p1 p2) (plus p5 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 54) (l l1));
 
aa(55):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p10m v4 v5 v2 v3) (s11 (plus (minus p3) (minus p4)) p4m v1 
v7) (36 p4 v1) (72 p5 v3 v2) (133 (plus p1 p2) (plus p5 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 55) (l l1));
 
aa(56):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p9m v4 v5 v2 v3) (s11 (plus (minus p3) (minus p4)) p7m v1 v7
) (33 p4 v1) (74 p5 v3 v2) (134 (plus p1 p2) (plus p5 p6) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 56) (l l1));
 
aa(57):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p9m v4 v5 v2 v3) (s11 (plus (minus p3) (minus p4)) p4m v1 v7
) (36 p4 v1) (74 p5 v3 v2) (135 (plus p1 p2) (plus p5 p6) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 57) (l l1));
 
aa(58):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p8m v4 v5 v1 v2) (s11 (plus (minus p3) (minus p4)) p13m v3 
v7) (76 p5 v2 v1) (32 p4 v3) (136 (plus p1 p2) (plus p5 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 58) (l l1));
 
aa(59):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p8m v4 v5 v2 v3) (s11 (plus (minus p3) (minus p4)) p7m v1 v7
) (33 p4 v1) (76 p5 v3 v2) (138 (plus p1 p2) (plus p5 p6) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 59) (l l1));
 
aa(60):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p8m v4 v5 v2 v3) (s11 (plus (minus p3) (minus p4)) p4m v1 v7
) (36 p4 v1) (76 p5 v3 v2) (139 (plus p1 p2) (plus p5 p6) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 60) (l l1));
 
aa(61):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p5m v4 v5 v1 v2) (s11 (plus (minus p3) (minus p4)) p15m v3 
v7) (80 p5 v2 v1) (31 p4 v3) (140 (plus p1 p2) (plus p5 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 61) (l l1));
 
aa(62):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p5m v4 v5 v1 v2) (s11 (plus (minus p3) (minus p4)) p13m v3 
v7) (80 p5 v2 v1) (32 p4 v3) (141 (plus p1 p2) (plus p5 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 62) (l l1));
 
aa(63):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p5m v4 v5 v1 v2) (s11 (plus (minus p3) (minus p4)) p7m v3 v7
) (80 p5 v2 v1) (33 p4 v3) (143 (plus p1 p2) (plus p5 p6) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 63) (l l1));
 
aa(64):='(((s11 (plus p1 p2) p32m v6 v8) (s2 (plus p5 p6) 
p5m v4 v5 v2 v3) (s11 (plus (minus p3) (minus p4)) p4m v1 v7
) (36 p4 v1) (80 p5 v3 v2) (144 (plus p1 p2) (plus p5 p6) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 64) (l l1));
 
aa(65):='(((s11 (plus p1 p2) p32m v7 v8) (s0 (plus p5 p6) 
p16m) (s3 (plus (minus p4) (minus p5) (minus p6)) p30m v1 v2
v3 v4 v5 v6) (23) (121 (plus p5 p6) v3 v2 v1) (167 (plus p1
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v6 v5 v4
v7)) (l1 (19 l1 v8)));
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 65) (l l1));
 
aa(66):='(((s11 (plus p1 p2) p32m v7 v8) (s0 (plus p5 p6) 
p6m) (s3 (plus (minus p4) (minus p5) (minus p6)) p30m v1 v2
v3 v4 v5 v6) (25) (123 (plus p5 p6) v3 v2 v1) (167 (plus p1
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v6 v5 v4
v7)) (l1 (19 l1 v8)));
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 66) (l l1));
 
aa(67):='(((s11 (plus p1 p2) p32m v9 v10) (s11 (plus (minus
p4) (minus p6)) p24m v1 v5) (s3 (plus (minus p4) (minus p5)
(minus p6)) p30m v2 v3 v4 v6 v7 v8) (30 p4 v1) (170 (plus p4
p6) (plus (minus p4) (minus p5) (minus p6)) v4 v3 v2 v5) (
167 (plus p1 p2) (minus (plus (minus p4) (minus p5) (minus 
p6))) v8 v7 v6 v9)) (l1 (19 l1 v10)));
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 67) (l l1));
 
aa(68):='(((s11 (plus p1 p2) p32m v9 v10) (s11 (plus (minus
p4) (minus p5)) p24m v1 v5) (s3 (plus (minus p4) (minus p5)
(minus p6)) p30m v2 v3 v4 v6 v7 v8) (30 p4 v1) (170 (plus p4
p5) (plus (minus p4) (minus p5) (minus p6)) v4 v3 v2 v5) (
167 (plus p1 p2) (minus (plus (minus p4) (minus p5) (minus 
p6))) v8 v7 v6 v9)) (l1 (19 l1 v10)));
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 68) (l l1));
 
aa(69):='(((s11 (plus p1 p2) p32m v11 v12) (s2 (plus p5 p6)
p17m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6)
) p30m v3 v4 v5 v8 v9 v10) (68 p5 v2 v1) (195 (plus p5 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (167
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 69) (l l1));
 
aa(70):='(((s11 (plus p1 p2) p32m v11 v12) (s2 (plus p5 p6)
p12m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6)
) p30m v3 v4 v5 v8 v9 v10) (70 p5 v2 v1) (197 (plus p5 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (167
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 70) (l l1));
 
aa(71):='(((s11 (plus p1 p2) p32m v11 v12) (s2 (plus p5 p6)
p10m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6)
) p30m v3 v4 v5 v8 v9 v10) (72 p5 v2 v1) (199 (plus p5 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (167
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 71) (l l1));
 
aa(72):='(((s11 (plus p1 p2) p32m v11 v12) (s2 (plus p5 p6)
p9m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6))
p30m v3 v4 v5 v8 v9 v10) (74 p5 v2 v1) (201 (plus p5 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (167
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 72) (l l1));
 
aa(73):='(((s11 (plus p1 p2) p32m v11 v12) (s2 (plus p5 p6)
p8m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6))
p30m v3 v4 v5 v8 v9 v10) (76 p5 v2 v1) (203 (plus p5 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (167
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 73) (l l1));
 
aa(74):='(((s11 (plus p1 p2) p32m v11 v12) (s2 (plus p5 p6)
p5m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6))
p30m v3 v4 v5 v8 v9 v10) (80 p5 v2 v1) (205 (plus p5 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (167
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 74) (l l1));
 
aa(75):='(((s0 (plus p5 p6) p16m) (s11 (plus p1 p2) p32m v7
v8) (s3 (plus (minus p1) (minus p2) (minus p4)) p30m v4 v5 
v6 v1 v2 v3) (23) (120 (plus p5 p6) v3 v2 v1) (168 (plus p1
p2) (plus (minus p1) (minus p2) (minus p4)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 75) (l l1));
 
aa(76):='(((s0 (plus p5 p6) p6m) (s11 (plus p1 p2) p32m v7 
v8) (s3 (plus (minus p1) (minus p2) (minus p4)) p30m v4 v5 
v6 v1 v2 v3) (25) (122 (plus p5 p6) v3 v2 v1) (168 (plus p1
p2) (plus (minus p1) (minus p2) (minus p4)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 76) (l l1));
 
aa(77):='(((s11 (plus p1 p2) p32m v9 v10) (s11 (plus p3 p6)
p24m v5 v1) (s3 (plus (minus p1) (minus p2) (minus p4)) p30m
v6 v7 v8 v2 v3 v4) (29 p3 v1) (169 (plus p3 p6) (minus (plus
(minus p1) (minus p2) (minus p4))) v4 v3 v2 v5) (168 (plus 
p1 p2) (plus (minus p1) (minus p2) (minus p4)) v8 v7 v6 v9))
(l1 (19 l1 v10)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 77) (l l1));
 
aa(78):='(((s11 (plus p1 p2) p32m v9 v10) (s11 (plus p3 p5)
p24m v5 v1) (s3 (plus (minus p1) (minus p2) (minus p4)) p30m
v6 v7 v8 v2 v3 v4) (29 p3 v1) (169 (plus p3 p5) (minus (plus
(minus p1) (minus p2) (minus p4))) v4 v3 v2 v5) (168 (plus 
p1 p2) (plus (minus p1) (minus p2) (minus p4)) v8 v7 v6 v9))
(l1 (19 l1 v10)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 78) (l l1));
 
aa(79):='(((s2 (plus p5 p6) p17m v6 v7 v1 v2) (s11 (plus p1
p2) p32m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p4)
) p30m v8 v9 v10 v3 v4 v5) (68 p5 v2 v1) (194 (plus p5 p6) (
minus (plus (minus p1) (minus p2) (minus p4))) v5 v4 v3 v7 
v6) (168 (plus p1 p2) (plus (minus p1) (minus p2) (minus p4)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 79) (l l1));
 
aa(80):='(((s2 (plus p5 p6) p12m v6 v7 v1 v2) (s11 (plus p1
p2) p32m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p4)
) p30m v8 v9 v10 v3 v4 v5) (70 p5 v2 v1) (196 (plus p5 p6) (
minus (plus (minus p1) (minus p2) (minus p4))) v5 v4 v3 v7 
v6) (168 (plus p1 p2) (plus (minus p1) (minus p2) (minus p4)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 80) (l l1));
 
aa(81):='(((s2 (plus p5 p6) p10m v6 v7 v1 v2) (s11 (plus p1
p2) p32m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p4)
) p30m v8 v9 v10 v3 v4 v5) (72 p5 v2 v1) (198 (plus p5 p6) (
minus (plus (minus p1) (minus p2) (minus p4))) v5 v4 v3 v7 
v6) (168 (plus p1 p2) (plus (minus p1) (minus p2) (minus p4)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(81):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 81) (l l1));
 
aa(82):='(((s2 (plus p5 p6) p9m v6 v7 v1 v2) (s11 (plus p1 
p2) p32m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p4)
) p30m v8 v9 v10 v3 v4 v5) (74 p5 v2 v1) (200 (plus p5 p6) (
minus (plus (minus p1) (minus p2) (minus p4))) v5 v4 v3 v7 
v6) (168 (plus p1 p2) (plus (minus p1) (minus p2) (minus p4)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(82):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 82) (l l1));
 
aa(83):='(((s2 (plus p5 p6) p8m v6 v7 v1 v2) (s11 (plus p1 
p2) p32m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p4)
) p30m v8 v9 v10 v3 v4 v5) (76 p5 v2 v1) (202 (plus p5 p6) (
minus (plus (minus p1) (minus p2) (minus p4))) v5 v4 v3 v7 
v6) (168 (plus p1 p2) (plus (minus p1) (minus p2) (minus p4)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(83):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 83) (l l1));
 
aa(84):='(((s2 (plus p5 p6) p5m v6 v7 v1 v2) (s11 (plus p1 
p2) p32m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p4)
) p30m v8 v9 v10 v3 v4 v5) (80 p5 v2 v1) (204 (plus p5 p6) (
minus (plus (minus p1) (minus p2) (minus p4))) v5 v4 v3 v7 
v6) (168 (plus p1 p2) (plus (minus p1) (minus p2) (minus p4)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(84):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 84) (l l1));
 
aa(85):='(((s11 (plus p1 p2) p32m v9 v10) (s11 (plus p3 p4)
p4m v5 v1) (s3 (plus p1 p2 p5) p18m v2 v3 v4 v6 v7 v8) (36 
p4 v1) (182 (plus p1 p2 p5) (plus p3 p4) v5 v2 v4 v3) (181 (
plus (minus p1) (minus p2) (minus p5)) (plus p1 p2) v9 v6 v8
v7)) (l1 (19 l1 v10)));
 
aaaa(85):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 85) (l l1));
 
aa(86):='(((s11 (plus p3 p4) p4m v5 v1) (s11 (plus p1 p2) 
p32m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p18m v6 v7 v8 v2 v3 v4) (36 p4 v1) (182 (plus p1 p2 p6) (
plus p3 p4) v5 v2 v4 v3) (181 (plus (minus p1) (minus p2) (
minus p6)) (plus p1 p2) v9 v6 v8 v7)) (l1 (19 l1 v10)));
 
aaaa(86):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 86) (l l1));
 
aa(87):='(((s11 (plus p1 p2) p32m v7 v8) (s0 (plus p5 p6) 
p6m) (s3 (plus (minus p3) (minus p4)) p14m v1 v2 v3 v4 v5 v6
) (25) (125 p4 v3 v2 v1) (183 (plus p1 p2) (minus (plus (
minus p3) (minus p4))) v6 v5 v4 v7)) (l1 (19 l1 v8)));
 
aaaa(87):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 87) (l l1));
 
aa(88):='(((s11 (plus p1 p2) p32m v9 v10) (s11 (plus p3 p4)
p4m v5 v1) (s3 (plus p1 p2 p5) p14m v2 v3 v4 v6 v7 v8) (36 
p4 v1) (185 (plus p1 p2 p5) (plus p3 p4) v5 v2 v4 v3) (184 (
plus (minus p1) (minus p2) (minus p5)) (plus p1 p2) v9 v6 v8
v7)) (l1 (19 l1 v10)));
 
aaaa(88):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 88) (l l1));
 
aa(89):='(((s11 (plus p3 p4) p4m v5 v1) (s11 (plus p1 p2) 
p32m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p14m v6 v7 v8 v2 v3 v4) (36 p4 v1) (185 (plus p1 p2 p6) (
plus p3 p4) v5 v2 v4 v3) (184 (plus (minus p1) (minus p2) (
minus p6)) (plus p1 p2) v9 v6 v8 v7)) (l1 (19 l1 v10)));
 
aaaa(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 89) (l l1));
 
aa(90):='(((s11 (plus p1 p2) p32m v9 v10) (s0 (plus p5 p6) 
p16m) (s4 (plus (minus p4) (minus p5) (minus p6)) p31m v1 v2
v3 v4 v5 v6 v7 v8) (23) (187 (plus p5 p6) v4 v3 v2 v1) (208
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 90) (l l1));
 
aa(91):='(((s11 (plus p1 p2) p32m v9 v10) (s0 (plus p5 p6) 
p6m) (s4 (plus (minus p4) (minus p5) (minus p6)) p31m v1 v2
v3 v4 v5 v6 v7 v8) (25) (189 (plus p5 p6) v4 v3 v2 v1) (208
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v8 v7 v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 91) (l l1));
 
aa(92):='(((s11 (plus p1 p2) p32m v11 v12) (s11 (plus (minus
p4) (minus p6)) p24m v1 v6) (s4 (plus (minus p4) (minus p5)
(minus p6)) p31m v2 v3 v4 v5 v7 v8 v9 v10) (30 p4 v1) (211 (
plus p4 p6) (plus (minus p4) (minus p5) (minus p6)) v5 v4 v3
v2 v6) (208 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 92) (l l1));
 
aa(93):='(((s11 (plus p1 p2) p32m v11 v12) (s11 (plus (minus
p4) (minus p5)) p24m v1 v6) (s4 (plus (minus p4) (minus p5)
(minus p6)) p31m v2 v3 v4 v5 v7 v8 v9 v10) (30 p4 v1) (211 (
plus p4 p5) (plus (minus p4) (minus p5) (minus p6)) v5 v4 v3
v2 v6) (208 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(93):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 93) (l l1));
 
aa(94):='(((s11 (plus p1 p2) p32m v11 v12) (s11 (plus p5 p6)
p3m v6 v1) (s4 (plus (minus p4) (minus p5) (minus p6)) p31m
v2 v3 v4 v5 v7 v8 v9 v10) (37 p5 v1) (223 (plus p5 p6) (plus
(minus p4) (minus p5) (minus p6)) v5 v4 v3 v2 v6) (208 (plus
p1 p2) (minus (plus (minus p4) (minus p5) (minus p6))) v10 
v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(94):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 94) (l l1));
 
aa(95):='(((s11 (plus p1 p2) p32m v13 v14) (s2 (plus p5 p6)
p20m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p31m v3 v4 v5 v6 v9 v10 v11 v12) (64 p5 v2 v1) (237 (plus
p5 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (208 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(95):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 95) (l l1));
 
aa(96):='(((s11 (plus p1 p2) p32m v13 v14) (s2 (plus p5 p6)
p19m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p31m v3 v4 v5 v6 v9 v10 v11 v12) (66 p5 v2 v1) (239 (plus
p5 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (208 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(96):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 96) (l l1));
 
aa(97):='(((s11 (plus p1 p2) p32m v13 v14) (s2 (plus p5 p6)
p17m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p31m v3 v4 v5 v6 v9 v10 v11 v12) (68 p5 v2 v1) (241 (plus
p5 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (208 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(97):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 97) (l l1));
 
aa(98):='(((s11 (plus p1 p2) p32m v13 v14) (s2 (plus p5 p6)
p12m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p31m v3 v4 v5 v6 v9 v10 v11 v12) (70 p5 v2 v1) (243 (plus
p5 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (208 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(98):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 98) (l l1));
 
aa(99):='(((s11 (plus p1 p2) p32m v13 v14) (s2 (plus p5 p6)
p10m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6)
) p31m v3 v4 v5 v6 v9 v10 v11 v12) (72 p5 v2 v1) (245 (plus
p5 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 
v8 v7) (208 (plus p1 p2) (minus (plus (minus p4) (minus p5)
(minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(99):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 99) (l l1));
 
aa(100):='(((s11 (plus p1 p2) p32m v13 v14) (s2 (plus p5 p6)
p9m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6))
p31m v3 v4 v5 v6 v9 v10 v11 v12) (74 p5 v2 v1) (247 (plus p5
p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 v8 
v7) (208 (plus p1 p2) (minus (plus (minus p4) (minus p5) (
minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(100):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 
v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 100) (l l1)
);
 
;end;
 
