aaaaa:='((k) (l) (nop 0) (nep 5) (namel (pr22 pr1b pr1b pr1
pr1)) (inpl (1 -1 -1 -1 -1)) (onshl (0 0 0 0 0)));
 
aa(1):='(((s11 (plus p3 p5) p2m v3 v1) (s11 (plus p1 p2) 
p10m v2 v4) (18 p1 v4) (40 (plus p3 p5) (plus p1 p2) v3 v2)
(23 p5 v1)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 1) (l));
 
aa(2):='(((s11 (plus p3 p4) p2m v3 v1) (s11 (plus p1 p2) 
p10m v2 v4) (18 p1 v4) (40 (plus p3 p4) (plus p1 p2) v3 v2)
(23 p4 v1)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 2) (l));
 
aa(3):='(((s11 (plus p2 p5) p2m v3 v1) (s11 (plus p1 p3) 
p10m v2 v4) (18 p1 v4) (40 (plus p2 p5) (plus p1 p3) v3 v2)
(23 p5 v1)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 3) (l));
 
aa(4):='(((s11 (plus p2 p4) p2m v3 v1) (s11 (plus p1 p3) 
p10m v2 v4) (18 p1 v4) (40 (plus p2 p4) (plus p1 p3) v3 v2)
(23 p4 v1)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 4) (l));
 
aa(5):='(((s11 (plus p1 p2) p10m v5 v6) (s2 (plus p3 p5) p6m
v3 v4 v1 v2) (18 p1 v6) (83 (plus p3 p5) (plus p1 p2) v5 v3
v4) (56 p5 v2 v1)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 5) (l));
 
aa(6):='(((s11 (plus p1 p2) p10m v5 v6) (s2 (plus p3 p4) p6m
v3 v4 v1 v2) (18 p1 v6) (83 (plus p3 p4) (plus p1 p2) v5 v3
v4) (56 p4 v2 v1)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 6) (l));
 
aa(7):='(((s11 (plus p1 p3) p10m v5 v6) (s2 (plus p2 p5) p6m
v3 v4 v1 v2) (18 p1 v6) (83 (plus p2 p5) (plus p1 p3) v5 v3
v4) (56 p5 v2 v1)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 7) (l));
 
aa(8):='(((s11 (plus p1 p3) p10m v5 v6) (s2 (plus p2 p4) p6m
v3 v4 v1 v2) (18 p1 v6) (83 (plus p2 p4) (plus p1 p3) v5 v3
v4) (56 p4 v2 v1)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 8) (l));
 
aa(9):='(((s11 (plus p1 p2) p10m v5 v6) (s2 (plus p3 p5) p3m
v3 v4 v1 v2) (18 p1 v6) (99 (plus p3 p5) (plus p1 p2) v5 v3
v4) (59 p5 v2 v1)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 9) (l));
 
aa(10):='(((s11 (plus p1 p2) p10m v5 v6) (s2 (plus p3 p4) 
p3m v3 v4 v1 v2) (18 p1 v6) (99 (plus p3 p4) (plus p1 p2) v5
v3 v4) (59 p4 v2 v1)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 10) (l));
 
aa(11):='(((s11 (plus p1 p3) p10m v5 v6) (s2 (plus p2 p5) 
p3m v3 v4 v1 v2) (18 p1 v6) (99 (plus p2 p5) (plus p1 p3) v5
v3 v4) (59 p5 v2 v1)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 11) (l));
 
aa(12):='(((s11 (plus p1 p3) p10m v5 v6) (s2 (plus p2 p4) 
p3m v3 v4 v1 v2) (18 p1 v6) (99 (plus p2 p4) (plus p1 p3) v5
v3 v4) (59 p4 v2 v1)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 12) (l));
 
aa(13):='(((s11 (plus (minus p1) (minus p4)) p10m v4 v2) (
s11 (plus (minus p3) (minus p5)) p2m v1 v3) (19 p1 v4) (39 (
plus p3 p5) (minus (plus (minus p1) (minus p4))) v3 v2) (23
p5 v1)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 13) (l));
 
aa(14):='(((s11 (plus (minus p1) (minus p5)) p10m v4 v2) (
s11 (plus (minus p3) (minus p4)) p2m v1 v3) (19 p1 v4) (39 (
plus p3 p4) (minus (plus (minus p1) (minus p5))) v3 v2) (23
p4 v1)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 14) (l));
 
aa(15):='(((s11 (plus p2 p5) p2m v3 v1) (s11 (plus (minus p1
) (minus p4)) p10m v4 v2) (19 p1 v4) (39 (plus p2 p5) (minus
(plus (minus p1) (minus p4))) v3 v2) (23 p5 v1)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 15) (l));
 
aa(16):='(((s11 (plus p2 p4) p2m v3 v1) (s11 (plus (minus p1
) (minus p5)) p10m v4 v2) (19 p1 v4) (39 (plus p2 p4) (minus
(plus (minus p1) (minus p5))) v3 v2) (23 p4 v1)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 16) (l));
 
aa(17):='(((s11 (plus (minus p1) (minus p4)) p10m v6 v5) (s2
(plus (minus p3) (minus p5)) p6m v1 v2 v3 v4) (19 p1 v6) (82
(plus p3 p5) (minus (plus (minus p1) (minus p4))) v5 v3 v4)
(56 p5 v2 v1)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 17) (l));
 
aa(18):='(((s11 (plus (minus p1) (minus p5)) p10m v6 v5) (s2
(plus (minus p3) (minus p4)) p6m v1 v2 v3 v4) (19 p1 v6) (82
(plus p3 p4) (minus (plus (minus p1) (minus p5))) v5 v3 v4)
(56 p4 v2 v1)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 18) (l));
 
aa(19):='(((s11 (plus (minus p1) (minus p4)) p10m v6 v5) (s2
(plus p2 p5) p6m v3 v4 v1 v2) (19 p1 v6) (82 (plus p2 p5) (
minus (plus (minus p1) (minus p4))) v5 v3 v4) (56 p5 v2 v1))
);
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 19) (l));
 
aa(20):='(((s11 (plus (minus p1) (minus p5)) p10m v6 v5) (s2
(plus p2 p4) p6m v3 v4 v1 v2) (19 p1 v6) (82 (plus p2 p4) (
minus (plus (minus p1) (minus p5))) v5 v3 v4) (56 p4 v2 v1))
);
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 20) (l));
 
aa(21):='(((s11 (plus (minus p1) (minus p4)) p10m v6 v5) (s2
(plus (minus p3) (minus p5)) p3m v1 v2 v3 v4) (19 p1 v6) (98
(plus p3 p5) (minus (plus (minus p1) (minus p4))) v5 v3 v4)
(59 p5 v2 v1)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 21) (l));
 
aa(22):='(((s11 (plus (minus p1) (minus p5)) p10m v6 v5) (s2
(plus (minus p3) (minus p4)) p3m v1 v2 v3 v4) (19 p1 v6) (98
(plus p3 p4) (minus (plus (minus p1) (minus p5))) v5 v3 v4)
(59 p4 v2 v1)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 22) (l));
 
aa(23):='(((s11 (plus (minus p1) (minus p4)) p10m v6 v5) (s2
(plus p2 p5) p3m v3 v4 v1 v2) (19 p1 v6) (98 (plus p2 p5) (
minus (plus (minus p1) (minus p4))) v5 v3 v4) (59 p5 v2 v1))
);
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 23) (l));
 
aa(24):='(((s11 (plus (minus p1) (minus p5)) p10m v6 v5) (s2
(plus p2 p4) p3m v3 v4 v1 v2) (19 p1 v6) (98 (plus p2 p4) (
minus (plus (minus p1) (minus p5))) v5 v3 v4) (59 p4 v2 v1))
);
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 24) (l));
 
aa(25):='(((s11 (plus p3 p5) p2m v3 v1) (s11 (plus p1 p2) 
p5m v2 v4) (21 p1 v4) (45 (plus p3 p5) (plus p1 p2) v3 v2) (
23 p5 v1)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 25) (l));
 
aa(26):='(((s11 (plus p3 p4) p2m v3 v1) (s11 (plus p1 p2) 
p5m v2 v4) (21 p1 v4) (45 (plus p3 p4) (plus p1 p2) v3 v2) (
23 p4 v1)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 26) (l));
 
aa(27):='(((s11 (plus p2 p5) p2m v3 v1) (s11 (plus p1 p3) 
p5m v2 v4) (21 p1 v4) (45 (plus p2 p5) (plus p1 p3) v3 v2) (
23 p5 v1)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 27) (l));
 
aa(28):='(((s11 (plus p2 p4) p2m v3 v1) (s11 (plus p1 p3) 
p5m v2 v4) (21 p1 v4) (45 (plus p2 p4) (plus p1 p3) v3 v2) (
23 p4 v1)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 28) (l));
 
aa(29):='(((s11 (plus (minus p1) (minus p4)) p5m v4 v2) (s11
(plus (minus p3) (minus p5)) p2m v1 v3) (22 p1 v4) (44 (plus
p3 p5) (minus (plus (minus p1) (minus p4))) v3 v2) (23 p5 v1
)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 29) (l));
 
aa(30):='(((s11 (plus (minus p1) (minus p5)) p5m v4 v2) (s11
(plus (minus p3) (minus p4)) p2m v1 v3) (22 p1 v4) (44 (plus
p3 p4) (minus (plus (minus p1) (minus p5))) v3 v2) (23 p4 v1
)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 30) (l));
 
aa(31):='(((s11 (plus p2 p5) p2m v3 v1) (s11 (plus (minus p1
) (minus p4)) p5m v4 v2) (22 p1 v4) (44 (plus p2 p5) (minus
(plus (minus p1) (minus p4))) v3 v2) (23 p5 v1)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 31) (l));
 
aa(32):='(((s11 (plus p2 p4) p2m v3 v1) (s11 (plus (minus p1
) (minus p5)) p5m v4 v2) (22 p1 v4) (44 (plus p2 p4) (minus
(plus (minus p1) (minus p5))) v3 v2) (23 p4 v1)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 32) (l));
 
aa(33):='(((s11 (plus p2 p4) p21m v3 v2) (s11 (plus (minus 
p3) (minus p5)) p2m v1 v4) (28 (plus p3 p5) (plus p2 p4) v4
v3) (15 p4 v2) (23 p5 v1)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 33) (l));
 
aa(34):='(((s11 (plus p2 p5) p21m v3 v2) (s11 (plus (minus 
p3) (minus p4)) p2m v1 v4) (28 (plus p3 p4) (plus p2 p5) v4
v3) (15 p5 v2) (23 p4 v1)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 34) (l));
 
aa(35):='(((s11 (plus p2 p5) p2m v4 v1) (s11 (plus (minus p3
) (minus p4)) p21m v2 v3) (28 (plus p2 p5) (minus (plus (
minus p3) (minus p4))) v4 v3) (15 p4 v2) (23 p5 v1)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 35) (l));
 
aa(36):='(((s11 (plus p2 p4) p2m v4 v1) (s11 (plus (minus p3
) (minus p5)) p21m v2 v3) (28 (plus p2 p4) (minus (plus (
minus p3) (minus p5))) v4 v3) (15 p5 v2) (23 p4 v1)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 36) (l));
 
aa(37):='(((s11 (plus p2 p4) p18m v3 v2) (s11 (plus (minus 
p3) (minus p5)) p2m v1 v4) (33 (plus p3 p5) (plus p2 p4) v4
v3) (16 p4 v2) (23 p5 v1)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 37) (l));
 
aa(38):='(((s11 (plus p2 p5) p18m v3 v2) (s11 (plus (minus 
p3) (minus p4)) p2m v1 v4) (33 (plus p3 p4) (plus p2 p5) v4
v3) (16 p5 v2) (23 p4 v1)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 38) (l));
 
aa(39):='(((s11 (plus p2 p5) p2m v4 v1) (s11 (plus (minus p3
) (minus p4)) p18m v2 v3) (33 (plus p2 p5) (minus (plus (
minus p3) (minus p4))) v4 v3) (16 p4 v2) (23 p5 v1)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 39) (l));
 
aa(40):='(((s11 (plus p2 p4) p2m v4 v1) (s11 (plus (minus p3
) (minus p5)) p18m v2 v3) (33 (plus p2 p4) (minus (plus (
minus p3) (minus p5))) v4 v3) (16 p5 v2) (23 p4 v1)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 40) (l));
 
aa(41):='(((s11 (plus p2 p4) p15m v3 v2) (s11 (plus (minus 
p3) (minus p5)) p2m v1 v4) (36 (plus p3 p5) (plus p2 p4) v4
v3) (17 p4 v2) (23 p5 v1)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 41) (l));
 
aa(42):='(((s11 (plus p2 p5) p15m v3 v2) (s11 (plus (minus 
p3) (minus p4)) p2m v1 v4) (36 (plus p3 p4) (plus p2 p5) v4
v3) (17 p5 v2) (23 p4 v1)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 42) (l));
 
aa(43):='(((s11 (plus p2 p5) p2m v4 v1) (s11 (plus (minus p3
) (minus p4)) p15m v2 v3) (36 (plus p2 p5) (minus (plus (
minus p3) (minus p4))) v4 v3) (17 p4 v2) (23 p5 v1)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 43) (l));
 
aa(44):='(((s11 (plus p2 p4) p2m v4 v1) (s11 (plus (minus p3
) (minus p5)) p15m v2 v3) (36 (plus p2 p4) (minus (plus (
minus p3) (minus p5))) v4 v3) (17 p5 v2) (23 p4 v1)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 44) (l));
 
aa(45):='(((s11 (plus p2 p4) p7m v3 v2) (s11 (plus (minus p3
) (minus p5)) p7m v1 v4) (41 (plus p3 p5) (plus p2 p4) v4 v3
) (20 p4 v2) (20 p5 v1)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 45) (l));
 
aa(46):='(((s11 (plus p2 p5) p7m v3 v2) (s11 (plus (minus p3
) (minus p4)) p7m v1 v4) (41 (plus p3 p4) (plus p2 p5) v4 v3
) (20 p5 v2) (20 p4 v1)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 46) (l));
 
aa(47):='(((s11 (plus p2 p5) p7m v3 v1) (s11 (plus (minus p3
) (minus p4)) p7m v2 v4) (41 (plus p3 p4) (plus p2 p5) v4 v3
) (20 p4 v2) (20 p5 v1)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 47) (l));
 
aa(48):='(((s11 (plus p2 p4) p7m v3 v1) (s11 (plus (minus p3
) (minus p5)) p7m v2 v4) (41 (plus p3 p5) (plus p2 p4) v4 v3
) (20 p5 v2) (20 p4 v1)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 48) (l));
 
aa(49):='(((s11 (plus p2 p4) p7m v3 v2) (s11 (plus (minus p3
) (minus p5)) p2m v1 v4) (42 (plus p3 p5) (plus p2 p4) v4 v3
) (20 p4 v2) (23 p5 v1)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 49) (l));
 
aa(50):='(((s11 (plus p2 p5) p7m v3 v2) (s11 (plus (minus p3
) (minus p4)) p2m v1 v4) (42 (plus p3 p4) (plus p2 p5) v4 v3
) (20 p5 v2) (23 p4 v1)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 50) (l));
 
aa(51):='(((s11 (plus p2 p5) p2m v4 v1) (s11 (plus (minus p3
) (minus p4)) p7m v2 v3) (42 (plus p2 p5) (minus (plus (
minus p3) (minus p4))) v4 v3) (20 p4 v2) (23 p5 v1)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 51) (l));
 
aa(52):='(((s11 (plus p2 p4) p2m v4 v1) (s11 (plus (minus p3
) (minus p5)) p7m v2 v3) (42 (plus p2 p4) (minus (plus (
minus p3) (minus p5))) v4 v3) (20 p5 v2) (23 p4 v1)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 52) (l));
 
aa(53):='(((s11 (plus p2 p4) p2m v3 v2) (s11 (plus (minus p3
) (minus p5)) p2m v1 v4) (46 (plus p3 p5) (plus p2 p4) v4 v3
) (23 p4 v2) (23 p5 v1)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 53) (l));
 
aa(54):='(((s11 (plus p2 p5) p2m v3 v2) (s11 (plus (minus p3
) (minus p4)) p2m v1 v4) (46 (plus p3 p4) (plus p2 p5) v4 v3
) (23 p5 v2) (23 p4 v1)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 54) (l));
 
aa(55):='(((s11 (plus p2 p5) p2m v3 v1) (s11 (plus (minus p3
) (minus p4)) p2m v2 v4) (46 (plus p3 p4) (plus p2 p5) v4 v3
) (23 p4 v2) (23 p5 v1)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 55) (l));
 
aa(56):='(((s11 (plus p2 p4) p2m v3 v1) (s11 (plus (minus p3
) (minus p5)) p2m v2 v4) (46 (plus p3 p5) (plus p2 p4) v4 v3
) (23 p5 v2) (23 p4 v1)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 56) (l));
 
aa(57):='(((s11 (plus p3 p5) p7m v4 v1) (s2 (plus p1 p2) 
p16m v2 v3 v5 v6) (48 p1 v6 v5) (69 (plus p1 p2) (plus p3 p5
) v4 v2 v3) (20 p5 v1)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 57) (l));
 
aa(58):='(((s11 (plus p3 p4) p7m v4 v1) (s2 (plus p1 p2) 
p16m v2 v3 v5 v6) (48 p1 v6 v5) (69 (plus p1 p2) (plus p3 p4
) v4 v2 v3) (20 p4 v1)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 58) (l));
 
aa(59):='(((s11 (plus p2 p5) p7m v4 v1) (s2 (plus p1 p3) 
p16m v2 v3 v5 v6) (48 p1 v6 v5) (69 (plus p1 p3) (plus p2 p5
) v4 v2 v3) (20 p5 v1)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 59) (l));
 
aa(60):='(((s11 (plus p2 p4) p7m v4 v1) (s2 (plus p1 p3) 
p16m v2 v3 v5 v6) (48 p1 v6 v5) (69 (plus p1 p3) (plus p2 p4
) v4 v2 v3) (20 p4 v1)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 60) (l));
 
aa(61):='(((s11 (plus p3 p5) p2m v4 v1) (s2 (plus p1 p2) 
p16m v2 v3 v5 v6) (48 p1 v6 v5) (71 (plus p1 p2) (plus p3 p5
) v4 v2 v3) (23 p5 v1)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 61) (l));
 
aa(62):='(((s11 (plus p3 p4) p2m v4 v1) (s2 (plus p1 p2) 
p16m v2 v3 v5 v6) (48 p1 v6 v5) (71 (plus p1 p2) (plus p3 p4
) v4 v2 v3) (23 p4 v1)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 62) (l));
 
aa(63):='(((s11 (plus p2 p5) p2m v4 v1) (s2 (plus p1 p3) 
p16m v2 v3 v5 v6) (48 p1 v6 v5) (71 (plus p1 p3) (plus p2 p5
) v4 v2 v3) (23 p5 v1)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 63) (l));
 
aa(64):='(((s11 (plus p2 p4) p2m v4 v1) (s2 (plus p1 p3) 
p16m v2 v3 v5 v6) (48 p1 v6 v5) (71 (plus p1 p3) (plus p2 p4
) v4 v2 v3) (23 p4 v1)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 64) (l));
 
aa(65):='(((s2 (plus p3 p5) p9m v5 v6 v1 v2) (s2 (plus p1 p2
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (110 (plus p3 p5) (plus p1
p2) v5 v3 v4 v6) (54 p5 v2 v1)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 65) (l));
 
aa(66):='(((s2 (plus p3 p4) p9m v5 v6 v1 v2) (s2 (plus p1 p2
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (110 (plus p3 p4) (plus p1
p2) v5 v3 v4 v6) (54 p4 v2 v1)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 66) (l));
 
aa(67):='(((s2 (plus p2 p5) p9m v5 v6 v1 v2) (s2 (plus p1 p3
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (110 (plus p2 p5) (plus p1
p3) v5 v3 v4 v6) (54 p5 v2 v1)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 67) (l));
 
aa(68):='(((s2 (plus p2 p4) p9m v5 v6 v1 v2) (s2 (plus p1 p3
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (110 (plus p2 p4) (plus p1
p3) v5 v3 v4 v6) (54 p4 v2 v1)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 68) (l));
 
aa(69):='(((s2 (plus p3 p5) p8m v5 v6 v1 v2) (s2 (plus p1 p2
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (112 (plus p3 p5) (plus p1
p2) v5 v3 v4 v6) (55 p5 v2 v1)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 69) (l));
 
aa(70):='(((s2 (plus p3 p4) p8m v5 v6 v1 v2) (s2 (plus p1 p2
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (112 (plus p3 p4) (plus p1
p2) v5 v3 v4 v6) (55 p4 v2 v1)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 70) (l));
 
aa(71):='(((s2 (plus p2 p5) p8m v5 v6 v1 v2) (s2 (plus p1 p3
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (112 (plus p2 p5) (plus p1
p3) v5 v3 v4 v6) (55 p5 v2 v1)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 71) (l));
 
aa(72):='(((s2 (plus p2 p4) p8m v5 v6 v1 v2) (s2 (plus p1 p3
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (112 (plus p2 p4) (plus p1
p3) v5 v3 v4 v6) (55 p4 v2 v1)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 72) (l));
 
aa(73):='(((s2 (plus p3 p5) p6m v5 v6 v1 v2) (s2 (plus p1 p2
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (114 (plus p3 p5) (plus p1
p2) v5 v3 v4 v6) (56 p5 v2 v1)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 73) (l));
 
aa(74):='(((s2 (plus p3 p4) p6m v5 v6 v1 v2) (s2 (plus p1 p2
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (114 (plus p3 p4) (plus p1
p2) v5 v3 v4 v6) (56 p4 v2 v1)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 74) (l));
 
aa(75):='(((s2 (plus p2 p5) p6m v5 v6 v1 v2) (s2 (plus p1 p3
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (114 (plus p2 p5) (plus p1
p3) v5 v3 v4 v6) (56 p5 v2 v1)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 75) (l));
 
aa(76):='(((s2 (plus p2 p4) p6m v5 v6 v1 v2) (s2 (plus p1 p3
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (114 (plus p2 p4) (plus p1
p3) v5 v3 v4 v6) (56 p4 v2 v1)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 76) (l));
 
aa(77):='(((s2 (plus p3 p5) p3m v5 v6 v1 v2) (s2 (plus p1 p2
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (116 (plus p3 p5) (plus p1
p2) v5 v3 v4 v6) (59 p5 v2 v1)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 77) (l));
 
aa(78):='(((s2 (plus p3 p4) p3m v5 v6 v1 v2) (s2 (plus p1 p2
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (116 (plus p3 p4) (plus p1
p2) v5 v3 v4 v6) (59 p4 v2 v1)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 78) (l));
 
aa(79):='(((s2 (plus p2 p5) p3m v5 v6 v1 v2) (s2 (plus p1 p3
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (116 (plus p2 p5) (plus p1
p3) v5 v3 v4 v6) (59 p5 v2 v1)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 79) (l));
 
aa(80):='(((s2 (plus p2 p4) p3m v5 v6 v1 v2) (s2 (plus p1 p3
) p16m v3 v4 v7 v8) (48 p1 v8 v7) (116 (plus p2 p4) (plus p1
p3) v5 v3 v4 v6) (59 p4 v2 v1)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 80) (l));
 
aa(81):='(((s2 (plus (minus p1) (minus p4)) p16m v5 v6 v2 v3
) (s11 (plus (minus p3) (minus p5)) p7m v1 v4) (49 p1 v6 v5)
(68 (plus p1 p4) (minus (plus (minus p3) (minus p5))) v4 v2
v3) (20 p5 v1)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 81) (l));
 
aa(82):='(((s2 (plus (minus p1) (minus p5)) p16m v5 v6 v2 v3
) (s11 (plus (minus p3) (minus p4)) p7m v1 v4) (49 p1 v6 v5)
(68 (plus p1 p5) (minus (plus (minus p3) (minus p4))) v4 v2
v3) (20 p4 v1)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 82) (l));
 
aa(83):='(((s11 (plus p2 p5) p7m v4 v1) (s2 (plus (minus p1)
(minus p4)) p16m v5 v6 v2 v3) (49 p1 v6 v5) (68 (plus p1 p4)
(plus p2 p5) v4 v2 v3) (20 p5 v1)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 83) (l));
 
aa(84):='(((s11 (plus p2 p4) p7m v4 v1) (s2 (plus (minus p1)
(minus p5)) p16m v5 v6 v2 v3) (49 p1 v6 v5) (68 (plus p1 p5)
(plus p2 p4) v4 v2 v3) (20 p4 v1)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 84) (l));
 
aa(85):='(((s2 (plus (minus p1) (minus p4)) p16m v5 v6 v2 v3
) (s11 (plus (minus p3) (minus p5)) p2m v1 v4) (49 p1 v6 v5)
(70 (plus p1 p4) (minus (plus (minus p3) (minus p5))) v4 v2
v3) (23 p5 v1)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 85) (l));
 
aa(86):='(((s2 (plus (minus p1) (minus p5)) p16m v5 v6 v2 v3
) (s11 (plus (minus p3) (minus p4)) p2m v1 v4) (49 p1 v6 v5)
(70 (plus p1 p5) (minus (plus (minus p3) (minus p4))) v4 v2
v3) (23 p4 v1)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 86) (l));
 
aa(87):='(((s11 (plus p2 p5) p2m v4 v1) (s2 (plus (minus p1)
(minus p4)) p16m v5 v6 v2 v3) (49 p1 v6 v5) (70 (plus p1 p4)
(plus p2 p5) v4 v2 v3) (23 p5 v1)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 87) (l));
 
aa(88):='(((s11 (plus p2 p4) p2m v4 v1) (s2 (plus (minus p1)
(minus p5)) p16m v5 v6 v2 v3) (49 p1 v6 v5) (70 (plus p1 p5)
(plus p2 p4) v4 v2 v3) (23 p4 v1)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 88) (l));
 
aa(89):='(((s2 (plus (minus p1) (minus p4)) p16m v7 v8 v3 v4
) (s2 (plus (minus p3) (minus p5)) p9m v1 v2 v5 v6) (49 p1 
v8 v7) (109 (plus p3 p5) (minus (plus (minus p1) (minus p4))
) v5 v3 v4 v6) (54 p5 v2 v1)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 89) (l));
 
aa(90):='(((s2 (plus (minus p1) (minus p5)) p16m v7 v8 v3 v4
) (s2 (plus (minus p3) (minus p4)) p9m v1 v2 v5 v6) (49 p1 
v8 v7) (109 (plus p3 p4) (minus (plus (minus p1) (minus p5))
) v5 v3 v4 v6) (54 p4 v2 v1)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 90) (l));
 
aa(91):='(((s2 (plus p2 p5) p9m v5 v6 v1 v2) (s2 (plus (
minus p1) (minus p4)) p16m v7 v8 v3 v4) (49 p1 v8 v7) (109 (
plus p2 p5) (minus (plus (minus p1) (minus p4))) v5 v3 v4 v6
) (54 p5 v2 v1)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 91) (l));
 
aa(92):='(((s2 (plus p2 p4) p9m v5 v6 v1 v2) (s2 (plus (
minus p1) (minus p5)) p16m v7 v8 v3 v4) (49 p1 v8 v7) (109 (
plus p2 p4) (minus (plus (minus p1) (minus p5))) v5 v3 v4 v6
) (54 p4 v2 v1)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 92) (l));
 
aa(93):='(((s2 (plus (minus p1) (minus p4)) p16m v7 v8 v3 v4
) (s2 (plus (minus p3) (minus p5)) p8m v1 v2 v5 v6) (49 p1 
v8 v7) (111 (plus p3 p5) (minus (plus (minus p1) (minus p4))
) v5 v3 v4 v6) (55 p5 v2 v1)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 93) (l));
 
aa(94):='(((s2 (plus (minus p1) (minus p5)) p16m v7 v8 v3 v4
) (s2 (plus (minus p3) (minus p4)) p8m v1 v2 v5 v6) (49 p1 
v8 v7) (111 (plus p3 p4) (minus (plus (minus p1) (minus p5))
) v5 v3 v4 v6) (55 p4 v2 v1)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 94) (l));
 
aa(95):='(((s2 (plus p2 p5) p8m v5 v6 v1 v2) (s2 (plus (
minus p1) (minus p4)) p16m v7 v8 v3 v4) (49 p1 v8 v7) (111 (
plus p2 p5) (minus (plus (minus p1) (minus p4))) v5 v3 v4 v6
) (55 p5 v2 v1)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 95) (l));
 
aa(96):='(((s2 (plus p2 p4) p8m v5 v6 v1 v2) (s2 (plus (
minus p1) (minus p5)) p16m v7 v8 v3 v4) (49 p1 v8 v7) (111 (
plus p2 p4) (minus (plus (minus p1) (minus p5))) v5 v3 v4 v6
) (55 p4 v2 v1)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 96) (l));
 
aa(97):='(((s2 (plus (minus p1) (minus p4)) p16m v7 v8 v3 v4
) (s2 (plus (minus p3) (minus p5)) p6m v1 v2 v5 v6) (49 p1 
v8 v7) (113 (plus p3 p5) (minus (plus (minus p1) (minus p4))
) v5 v3 v4 v6) (56 p5 v2 v1)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 97) (l));
 
aa(98):='(((s2 (plus (minus p1) (minus p5)) p16m v7 v8 v3 v4
) (s2 (plus (minus p3) (minus p4)) p6m v1 v2 v5 v6) (49 p1 
v8 v7) (113 (plus p3 p4) (minus (plus (minus p1) (minus p5))
) v5 v3 v4 v6) (56 p4 v2 v1)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 98) (l));
 
aa(99):='(((s2 (plus p2 p5) p6m v5 v6 v1 v2) (s2 (plus (
minus p1) (minus p4)) p16m v7 v8 v3 v4) (49 p1 v8 v7) (113 (
plus p2 p5) (minus (plus (minus p1) (minus p4))) v5 v3 v4 v6
) (56 p5 v2 v1)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 99) (l));
 
aa(100):='(((s2 (plus p2 p4) p6m v5 v6 v1 v2) (s2 (plus (
minus p1) (minus p5)) p16m v7 v8 v3 v4) (49 p1 v8 v7) (113 (
plus p2 p4) (minus (plus (minus p1) (minus p5))) v5 v3 v4 v6
) (56 p4 v2 v1)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 100) (l));
 
;end;
 
