aa(1):='(((s2 (plus (minus p1) (minus p4)) p16m v7 v8 v3 v4)
(s2 (plus (minus p3) (minus p5)) p3m v1 v2 v5 v6) (49 p1 v8
v7) (115 (plus p3 p5) (minus (plus (minus p1) (minus p4))) 
v5 v3 v4 v6) (59 p5 v2 v1)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 101) (l));
 
aa(2):='(((s2 (plus (minus p1) (minus p5)) p16m v7 v8 v3 v4)
(s2 (plus (minus p3) (minus p4)) p3m v1 v2 v5 v6) (49 p1 v8
v7) (115 (plus p3 p4) (minus (plus (minus p1) (minus p5))) 
v5 v3 v4 v6) (59 p4 v2 v1)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 102) (l));
 
aa(3):='(((s2 (plus p2 p5) p3m v5 v6 v1 v2) (s2 (plus (minus
p1) (minus p4)) p16m v7 v8 v3 v4) (49 p1 v8 v7) (115 (plus 
p2 p5) (minus (plus (minus p1) (minus p4))) v5 v3 v4 v6) (59
p5 v2 v1)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 103) (l));
 
aa(4):='(((s2 (plus p2 p4) p3m v5 v6 v1 v2) (s2 (plus (minus
p1) (minus p5)) p16m v7 v8 v3 v4) (49 p1 v8 v7) (115 (plus 
p2 p4) (minus (plus (minus p1) (minus p5))) v5 v3 v4 v6) (59
p4 v2 v1)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 104) (l));
 
aa(5):='(((s11 (plus p3 p5) p2m v4 v1) (s2 (plus p1 p2) p4m
v2 v3 v5 v6) (57 p1 v6 v5) (97 (plus p1 p2) (plus p3 p5) v4
v2 v3) (23 p5 v1)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 105) (l));
 
aa(6):='(((s11 (plus p3 p4) p2m v4 v1) (s2 (plus p1 p2) p4m
v2 v3 v5 v6) (57 p1 v6 v5) (97 (plus p1 p2) (plus p3 p4) v4
v2 v3) (23 p4 v1)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 106) (l));
 
aa(7):='(((s11 (plus p2 p5) p2m v4 v1) (s2 (plus p1 p3) p4m
v2 v3 v5 v6) (57 p1 v6 v5) (97 (plus p1 p3) (plus p2 p5) v4
v2 v3) (23 p5 v1)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 107) (l));
 
aa(8):='(((s11 (plus p2 p4) p2m v4 v1) (s2 (plus p1 p3) p4m
v2 v3 v5 v6) (57 p1 v6 v5) (97 (plus p1 p3) (plus p2 p4) v4
v2 v3) (23 p4 v1)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 108) (l));
 
aa(9):='(((s2 (plus (minus p1) (minus p4)) p4m v5 v6 v2 v3)
(s11 (plus (minus p3) (minus p5)) p2m v1 v4) (58 p1 v6 v5) (
96 (plus p1 p4) (minus (plus (minus p3) (minus p5))) v4 v2 
v3) (23 p5 v1)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 109) (l));
 
aa(10):='(((s2 (plus (minus p1) (minus p5)) p4m v5 v6 v2 v3)
(s11 (plus (minus p3) (minus p4)) p2m v1 v4) (58 p1 v6 v5) (
96 (plus p1 p5) (minus (plus (minus p3) (minus p4))) v4 v2 
v3) (23 p4 v1)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 110) (l));
 
aa(11):='(((s11 (plus p2 p5) p2m v4 v1) (s2 (plus (minus p1)
(minus p4)) p4m v5 v6 v2 v3) (58 p1 v6 v5) (96 (plus p1 p4)
(plus p2 p5) v4 v2 v3) (23 p5 v1)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 111) (l));
 
aa(12):='(((s11 (plus p2 p4) p2m v4 v1) (s2 (plus (minus p1)
(minus p5)) p4m v5 v6 v2 v3) (58 p1 v6 v5) (96 (plus p1 p5)
(plus p2 p4) v4 v2 v3) (23 p4 v1)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 112) (l));
 
aa(13):='(((s2 (plus p2 p4) p13m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p5)) p3m v1 v2 v7 v8) (119 (plus p3 p5) (
plus p2 p4) v7 v5 v6 v8) (50 p4 v4 v3) (59 p5 v2 v1)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 113) (l));
 
aa(14):='(((s2 (plus p2 p5) p13m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p4)) p3m v1 v2 v7 v8) (119 (plus p3 p4) (
plus p2 p5) v7 v5 v6 v8) (50 p5 v4 v3) (59 p4 v2 v1)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 114) (l));
 
aa(15):='(((s2 (plus p2 p5) p3m v7 v8 v1 v2) (s2 (plus (
minus p3) (minus p4)) p13m v3 v4 v5 v6) (119 (plus p2 p5) (
minus (plus (minus p3) (minus p4))) v7 v5 v6 v8) (50 p4 v4 
v3) (59 p5 v2 v1)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 115) (l));
 
aa(16):='(((s2 (plus p2 p4) p3m v7 v8 v1 v2) (s2 (plus (
minus p3) (minus p5)) p13m v3 v4 v5 v6) (119 (plus p2 p4) (
minus (plus (minus p3) (minus p5))) v7 v5 v6 v8) (50 p5 v4 
v3) (59 p4 v2 v1)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 116) (l));
 
aa(17):='(((s2 (plus p2 p4) p9m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p5)) p6m v1 v2 v7 v8) (124 (plus p3 p5) (
plus p2 p4) v7 v5 v6 v8) (54 p4 v4 v3) (56 p5 v2 v1)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 117) (l));
 
aa(18):='(((s2 (plus p2 p5) p9m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p4)) p6m v1 v2 v7 v8) (124 (plus p3 p4) (
plus p2 p5) v7 v5 v6 v8) (54 p5 v4 v3) (56 p4 v2 v1)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 118) (l));
 
aa(19):='(((s2 (plus p2 p5) p6m v7 v8 v1 v2) (s2 (plus (
minus p3) (minus p4)) p9m v3 v4 v5 v6) (124 (plus p2 p5) (
minus (plus (minus p3) (minus p4))) v7 v5 v6 v8) (54 p4 v4 
v3) (56 p5 v2 v1)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 119) (l));
 
aa(20):='(((s2 (plus p2 p4) p6m v7 v8 v1 v2) (s2 (plus (
minus p3) (minus p5)) p9m v3 v4 v5 v6) (124 (plus p2 p4) (
minus (plus (minus p3) (minus p5))) v7 v5 v6 v8) (54 p5 v4 
v3) (56 p4 v2 v1)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 120) (l));
 
aa(21):='(((s2 (plus p2 p4) p9m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p5)) p3m v1 v2 v7 v8) (127 (plus p3 p5) (
plus p2 p4) v7 v5 v6 v8) (54 p4 v4 v3) (59 p5 v2 v1)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 121) (l));
 
aa(22):='(((s2 (plus p2 p5) p9m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p4)) p3m v1 v2 v7 v8) (127 (plus p3 p4) (
plus p2 p5) v7 v5 v6 v8) (54 p5 v4 v3) (59 p4 v2 v1)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 122) (l));
 
aa(23):='(((s2 (plus p2 p5) p3m v7 v8 v1 v2) (s2 (plus (
minus p3) (minus p4)) p9m v3 v4 v5 v6) (127 (plus p2 p5) (
minus (plus (minus p3) (minus p4))) v7 v5 v6 v8) (54 p4 v4 
v3) (59 p5 v2 v1)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 123) (l));
 
aa(24):='(((s2 (plus p2 p4) p3m v7 v8 v1 v2) (s2 (plus (
minus p3) (minus p5)) p9m v3 v4 v5 v6) (127 (plus p2 p4) (
minus (plus (minus p3) (minus p5))) v7 v5 v6 v8) (54 p5 v4 
v3) (59 p4 v2 v1)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 124) (l));
 
aa(25):='(((s2 (plus p2 p4) p8m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p5)) p6m v1 v2 v7 v8) (128 (plus p3 p5) (
plus p2 p4) v7 v5 v6 v8) (55 p4 v4 v3) (56 p5 v2 v1)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 125) (l));
 
aa(26):='(((s2 (plus p2 p5) p8m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p4)) p6m v1 v2 v7 v8) (128 (plus p3 p4) (
plus p2 p5) v7 v5 v6 v8) (55 p5 v4 v3) (56 p4 v2 v1)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 126) (l));
 
aa(27):='(((s2 (plus p2 p5) p6m v7 v8 v1 v2) (s2 (plus (
minus p3) (minus p4)) p8m v3 v4 v5 v6) (128 (plus p2 p5) (
minus (plus (minus p3) (minus p4))) v7 v5 v6 v8) (55 p4 v4 
v3) (56 p5 v2 v1)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 127) (l));
 
aa(28):='(((s2 (plus p2 p4) p6m v7 v8 v1 v2) (s2 (plus (
minus p3) (minus p5)) p8m v3 v4 v5 v6) (128 (plus p2 p4) (
minus (plus (minus p3) (minus p5))) v7 v5 v6 v8) (55 p5 v4 
v3) (56 p4 v2 v1)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 128) (l));
 
aa(29):='(((s2 (plus p2 p4) p8m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p5)) p3m v1 v2 v7 v8) (131 (plus p3 p5) (
plus p2 p4) v7 v5 v6 v8) (55 p4 v4 v3) (59 p5 v2 v1)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 129) (l));
 
aa(30):='(((s2 (plus p2 p5) p8m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p4)) p3m v1 v2 v7 v8) (131 (plus p3 p4) (
plus p2 p5) v7 v5 v6 v8) (55 p5 v4 v3) (59 p4 v2 v1)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 130) (l));
 
aa(31):='(((s2 (plus p2 p5) p3m v7 v8 v1 v2) (s2 (plus (
minus p3) (minus p4)) p8m v3 v4 v5 v6) (131 (plus p2 p5) (
minus (plus (minus p3) (minus p4))) v7 v5 v6 v8) (55 p4 v4 
v3) (59 p5 v2 v1)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 131) (l));
 
aa(32):='(((s2 (plus p2 p4) p3m v7 v8 v1 v2) (s2 (plus (
minus p3) (minus p5)) p8m v3 v4 v5 v6) (131 (plus p2 p4) (
minus (plus (minus p3) (minus p5))) v7 v5 v6 v8) (55 p5 v4 
v3) (59 p4 v2 v1)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 132) (l));
 
aa(33):='(((s2 (plus p2 p4) p6m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p5)) p6m v1 v2 v7 v8) (132 (plus p3 p5) (
plus p2 p4) v7 v5 v6 v8) (56 p4 v4 v3) (56 p5 v2 v1)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 133) (l));
 
aa(34):='(((s2 (plus p2 p5) p6m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p4)) p6m v1 v2 v7 v8) (132 (plus p3 p4) (
plus p2 p5) v7 v5 v6 v8) (56 p5 v4 v3) (56 p4 v2 v1)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 134) (l));
 
aa(35):='(((s2 (plus p2 p5) p6m v5 v6 v1 v2) (s2 (plus (
minus p3) (minus p4)) p6m v3 v4 v7 v8) (132 (plus p3 p4) (
plus p2 p5) v7 v5 v6 v8) (56 p4 v4 v3) (56 p5 v2 v1)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 135) (l));
 
aa(36):='(((s2 (plus p2 p4) p6m v5 v6 v1 v2) (s2 (plus (
minus p3) (minus p5)) p6m v3 v4 v7 v8) (132 (plus p3 p5) (
plus p2 p4) v7 v5 v6 v8) (56 p5 v4 v3) (56 p4 v2 v1)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 136) (l));
 
aa(37):='(((s2 (plus p2 p4) p6m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p5)) p3m v1 v2 v7 v8) (133 (plus p3 p5) (
plus p2 p4) v7 v5 v6 v8) (56 p4 v4 v3) (59 p5 v2 v1)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 137) (l));
 
aa(38):='(((s2 (plus p2 p5) p6m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p4)) p3m v1 v2 v7 v8) (133 (plus p3 p4) (
plus p2 p5) v7 v5 v6 v8) (56 p5 v4 v3) (59 p4 v2 v1)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 138) (l));
 
aa(39):='(((s2 (plus p2 p5) p3m v7 v8 v1 v2) (s2 (plus (
minus p3) (minus p4)) p6m v3 v4 v5 v6) (133 (plus p2 p5) (
minus (plus (minus p3) (minus p4))) v7 v5 v6 v8) (56 p4 v4 
v3) (59 p5 v2 v1)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 139) (l));
 
aa(40):='(((s2 (plus p2 p4) p3m v7 v8 v1 v2) (s2 (plus (
minus p3) (minus p5)) p6m v3 v4 v5 v6) (133 (plus p2 p4) (
minus (plus (minus p3) (minus p5))) v7 v5 v6 v8) (56 p5 v4 
v3) (59 p4 v2 v1)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 140) (l));
 
aa(41):='(((s2 (plus p2 p4) p3m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p5)) p3m v1 v2 v7 v8) (135 (plus p3 p5) (
plus p2 p4) v7 v5 v6 v8) (59 p4 v4 v3) (59 p5 v2 v1)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 141) (l));
 
aa(42):='(((s2 (plus p2 p5) p3m v5 v6 v3 v4) (s2 (plus (
minus p3) (minus p4)) p3m v1 v2 v7 v8) (135 (plus p3 p4) (
plus p2 p5) v7 v5 v6 v8) (59 p5 v4 v3) (59 p4 v2 v1)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 142) (l));
 
aa(43):='(((s2 (plus p2 p5) p3m v5 v6 v1 v2) (s2 (plus (
minus p3) (minus p4)) p3m v3 v4 v7 v8) (135 (plus p3 p4) (
plus p2 p5) v7 v5 v6 v8) (59 p4 v4 v3) (59 p5 v2 v1)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 143) (l));
 
aa(44):='(((s2 (plus p2 p4) p3m v5 v6 v1 v2) (s2 (plus (
minus p3) (minus p5)) p3m v3 v4 v7 v8) (135 (plus p3 p5) (
plus p2 p4) v7 v5 v6 v8) (59 p5 v4 v3) (59 p4 v2 v1)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 144) (l));
 
aa(45):='(((s3 (plus p2 p4) p19m v5 v6 v7 v2 v3 v4) (s11 (
plus (minus p3) (minus p5)) p2m v1 v8) (140 (plus p2 p4) (
minus (plus (minus p3) (minus p5))) v8 v5 v7 v6) (100 p4 v4
v3 v2) (23 p5 v1)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 145) (l));
 
aa(46):='(((s3 (plus p2 p5) p19m v5 v6 v7 v2 v3 v4) (s11 (
plus (minus p3) (minus p4)) p2m v1 v8) (140 (plus p2 p5) (
minus (plus (minus p3) (minus p4))) v8 v5 v7 v6) (100 p5 v4
v3 v2) (23 p4 v1)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 146) (l));
 
aa(47):='(((s11 (plus p2 p5) p2m v8 v1) (s3 (plus (minus p3)
(minus p4)) p19m v2 v3 v4 v5 v6 v7) (140 (plus p3 p4) (plus
p2 p5) v8 v5 v7 v6) (100 p4 v4 v3 v2) (23 p5 v1)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 147) (l));
 
aa(48):='(((s11 (plus p2 p4) p2m v8 v1) (s3 (plus (minus p3)
(minus p5)) p19m v2 v3 v4 v5 v6 v7) (140 (plus p3 p5) (plus
p2 p4) v8 v5 v7 v6) (100 p5 v4 v3 v2) (23 p4 v1)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 148) (l));
 
aa(49):='(((s3 (plus p2 p4) p14m v5 v6 v7 v2 v3 v4) (s11 (
plus (minus p3) (minus p5)) p2m v1 v8) (143 (plus p2 p4) (
minus (plus (minus p3) (minus p5))) v8 v5 v7 v6) (101 p4 v4
v3 v2) (23 p5 v1)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 149) (l));
 
aa(50):='(((s3 (plus p2 p5) p14m v5 v6 v7 v2 v3 v4) (s11 (
plus (minus p3) (minus p4)) p2m v1 v8) (143 (plus p2 p5) (
minus (plus (minus p3) (minus p4))) v8 v5 v7 v6) (101 p5 v4
v3 v2) (23 p4 v1)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 150) (l));
 
aa(51):='(((s11 (plus p2 p5) p2m v8 v1) (s3 (plus (minus p3)
(minus p4)) p14m v2 v3 v4 v5 v6 v7) (143 (plus p3 p4) (plus
p2 p5) v8 v5 v7 v6) (101 p4 v4 v3 v2) (23 p5 v1)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 151) (l));
 
aa(52):='(((s11 (plus p2 p4) p2m v8 v1) (s3 (plus (minus p3)
(minus p5)) p14m v2 v3 v4 v5 v6 v7) (143 (plus p3 p5) (plus
p2 p4) v8 v5 v7 v6) (101 p5 v4 v3 v2) (23 p4 v1)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 152) (l));
 
aa(53):='(((s11 (plus p3 p5) p15m v6 v1) (s4 (plus p1 p2) 
p20m v2 v3 v4 v5 v7 v8 v9 v10) (144 p1 v10 v9 v8 v7) (153 (
plus p1 p2) (plus p3 p5) v6 v2 v5 v4 v3) (17 p5 v1)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 153) (l));
 
aa(54):='(((s11 (plus p3 p4) p15m v6 v1) (s4 (plus p1 p2) 
p20m v2 v3 v4 v5 v7 v8 v9 v10) (144 p1 v10 v9 v8 v7) (153 (
plus p1 p2) (plus p3 p4) v6 v2 v5 v4 v3) (17 p4 v1)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 154) (l));
 
aa(55):='(((s11 (plus p2 p5) p15m v6 v1) (s4 (plus p1 p3) 
p20m v2 v3 v4 v5 v7 v8 v9 v10) (144 p1 v10 v9 v8 v7) (153 (
plus p1 p3) (plus p2 p5) v6 v2 v5 v4 v3) (17 p5 v1)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 155) (l));
 
aa(56):='(((s11 (plus p2 p4) p15m v6 v1) (s4 (plus p1 p3) 
p20m v2 v3 v4 v5 v7 v8 v9 v10) (144 p1 v10 v9 v8 v7) (153 (
plus p1 p3) (plus p2 p4) v6 v2 v5 v4 v3) (17 p4 v1)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 156) (l));
 
aa(57):='(((s11 (plus p3 p5) p7m v6 v1) (s4 (plus p1 p2) 
p20m v2 v3 v4 v5 v7 v8 v9 v10) (144 p1 v10 v9 v8 v7) (155 (
plus p1 p2) (plus p3 p5) v6 v2 v5 v4 v3) (20 p5 v1)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 157) (l));
 
aa(58):='(((s11 (plus p3 p4) p7m v6 v1) (s4 (plus p1 p2) 
p20m v2 v3 v4 v5 v7 v8 v9 v10) (144 p1 v10 v9 v8 v7) (155 (
plus p1 p2) (plus p3 p4) v6 v2 v5 v4 v3) (20 p4 v1)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 158) (l));
 
aa(59):='(((s11 (plus p2 p5) p7m v6 v1) (s4 (plus p1 p3) 
p20m v2 v3 v4 v5 v7 v8 v9 v10) (144 p1 v10 v9 v8 v7) (155 (
plus p1 p3) (plus p2 p5) v6 v2 v5 v4 v3) (20 p5 v1)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 159) (l));
 
aa(60):='(((s11 (plus p2 p4) p7m v6 v1) (s4 (plus p1 p3) 
p20m v2 v3 v4 v5 v7 v8 v9 v10) (144 p1 v10 v9 v8 v7) (155 (
plus p1 p3) (plus p2 p4) v6 v2 v5 v4 v3) (20 p4 v1)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 160) (l));
 
aa(61):='(((s11 (plus p3 p5) p2m v6 v1) (s4 (plus p1 p2) 
p20m v2 v3 v4 v5 v7 v8 v9 v10) (144 p1 v10 v9 v8 v7) (157 (
plus p1 p2) (plus p3 p5) v6 v2 v5 v4 v3) (23 p5 v1)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 161) (l));
 
aa(62):='(((s11 (plus p3 p4) p2m v6 v1) (s4 (plus p1 p2) 
p20m v2 v3 v4 v5 v7 v8 v9 v10) (144 p1 v10 v9 v8 v7) (157 (
plus p1 p2) (plus p3 p4) v6 v2 v5 v4 v3) (23 p4 v1)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 162) (l));
 
aa(63):='(((s11 (plus p2 p5) p2m v6 v1) (s4 (plus p1 p3) 
p20m v2 v3 v4 v5 v7 v8 v9 v10) (144 p1 v10 v9 v8 v7) (157 (
plus p1 p3) (plus p2 p5) v6 v2 v5 v4 v3) (23 p5 v1)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 163) (l));
 
aa(64):='(((s11 (plus p2 p4) p2m v6 v1) (s4 (plus p1 p3) 
p20m v2 v3 v4 v5 v7 v8 v9 v10) (144 p1 v10 v9 v8 v7) (157 (
plus p1 p3) (plus p2 p4) v6 v2 v5 v4 v3) (23 p4 v1)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 164) (l));
 
aa(65):='(((s2 (plus p3 p5) p17m v7 v8 v1 v2) (s4 (plus p1 
p2) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9)
(159 (plus p3 p5) (plus p1 p2) v7 v3 v6 v5 v4 v8) (47 p5 v2
v1)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 165) (l));
 
aa(66):='(((s2 (plus p3 p4) p17m v7 v8 v1 v2) (s4 (plus p1 
p2) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9)
(159 (plus p3 p4) (plus p1 p2) v7 v3 v6 v5 v4 v8) (47 p4 v2
v1)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 166) (l));
 
aa(67):='(((s2 (plus p2 p5) p17m v7 v8 v1 v2) (s4 (plus p1 
p3) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9)
(159 (plus p2 p5) (plus p1 p3) v7 v3 v6 v5 v4 v8) (47 p5 v2
v1)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 167) (l));
 
aa(68):='(((s2 (plus p2 p4) p17m v7 v8 v1 v2) (s4 (plus p1 
p3) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9)
(159 (plus p2 p4) (plus p1 p3) v7 v3 v6 v5 v4 v8) (47 p4 v2
v1)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 168) (l));
 
aa(69):='(((s2 (plus p3 p5) p13m v7 v8 v1 v2) (s4 (plus p1 
p2) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9)
(161 (plus p3 p5) (plus p1 p2) v7 v3 v6 v5 v4 v8) (50 p5 v2
v1)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 169) (l));
 
aa(70):='(((s2 (plus p3 p4) p13m v7 v8 v1 v2) (s4 (plus p1 
p2) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9)
(161 (plus p3 p4) (plus p1 p2) v7 v3 v6 v5 v4 v8) (50 p4 v2
v1)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 170) (l));
 
aa(71):='(((s2 (plus p2 p5) p13m v7 v8 v1 v2) (s4 (plus p1 
p3) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9)
(161 (plus p2 p5) (plus p1 p3) v7 v3 v6 v5 v4 v8) (50 p5 v2
v1)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 171) (l));
 
aa(72):='(((s2 (plus p2 p4) p13m v7 v8 v1 v2) (s4 (plus p1 
p3) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9)
(161 (plus p2 p4) (plus p1 p3) v7 v3 v6 v5 v4 v8) (50 p4 v2
v1)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 172) (l));
 
aa(73):='(((s2 (plus (minus p4) (minus p5)) p12m v1 v2 v7 v8
) (s4 (plus p1 p2) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1
v12 v11 v10 v9) (163 (plus p4 p5) (plus p1 p2) v7 v3 v6 v5 
v4 v8) (52 p4 v2 v1)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 173) (l));
 
aa(74):='(((s2 (plus (minus p4) (minus p5)) p12m v1 v2 v7 v8
) (s4 (plus p1 p3) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1
v12 v11 v10 v9) (163 (plus p4 p5) (plus p1 p3) v7 v3 v6 v5 
v4 v8) (52 p4 v2 v1)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 174) (l));
 
aa(75):='(((s2 (plus p3 p5) p11m v7 v8 v1 v2) (s4 (plus p1 
p2) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9)
(165 (plus p3 p5) (plus p1 p2) v7 v3 v6 v5 v4 v8) (53 p5 v2
v1)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 175) (l));
 
aa(76):='(((s2 (plus p3 p4) p11m v7 v8 v1 v2) (s4 (plus p1 
p2) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9)
(165 (plus p3 p4) (plus p1 p2) v7 v3 v6 v5 v4 v8) (53 p4 v2
v1)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 176) (l));
 
aa(77):='(((s2 (plus p2 p5) p11m v7 v8 v1 v2) (s4 (plus p1 
p3) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9)
(165 (plus p2 p5) (plus p1 p3) v7 v3 v6 v5 v4 v8) (53 p5 v2
v1)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 177) (l));
 
aa(78):='(((s2 (plus p2 p4) p11m v7 v8 v1 v2) (s4 (plus p1 
p3) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9)
(165 (plus p2 p4) (plus p1 p3) v7 v3 v6 v5 v4 v8) (53 p4 v2
v1)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 178) (l));
 
aa(79):='(((s2 (plus p3 p5) p9m v7 v8 v1 v2) (s4 (plus p1 p2
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
167 (plus p3 p5) (plus p1 p2) v7 v3 v6 v5 v4 v8) (54 p5 v2 
v1)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 179) (l));
 
aa(80):='(((s2 (plus p3 p4) p9m v7 v8 v1 v2) (s4 (plus p1 p2
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
167 (plus p3 p4) (plus p1 p2) v7 v3 v6 v5 v4 v8) (54 p4 v2 
v1)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 180) (l));
 
aa(81):='(((s2 (plus p2 p5) p9m v7 v8 v1 v2) (s4 (plus p1 p3
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
167 (plus p2 p5) (plus p1 p3) v7 v3 v6 v5 v4 v8) (54 p5 v2 
v1)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 181) (l));
 
aa(82):='(((s2 (plus p2 p4) p9m v7 v8 v1 v2) (s4 (plus p1 p3
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
167 (plus p2 p4) (plus p1 p3) v7 v3 v6 v5 v4 v8) (54 p4 v2 
v1)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 182) (l));
 
aa(83):='(((s2 (plus p3 p5) p8m v7 v8 v1 v2) (s4 (plus p1 p2
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
169 (plus p3 p5) (plus p1 p2) v7 v3 v6 v5 v4 v8) (55 p5 v2 
v1)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 183) (l));
 
aa(84):='(((s2 (plus p3 p4) p8m v7 v8 v1 v2) (s4 (plus p1 p2
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
169 (plus p3 p4) (plus p1 p2) v7 v3 v6 v5 v4 v8) (55 p4 v2 
v1)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 184) (l));
 
aa(85):='(((s2 (plus p2 p5) p8m v7 v8 v1 v2) (s4 (plus p1 p3
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
169 (plus p2 p5) (plus p1 p3) v7 v3 v6 v5 v4 v8) (55 p5 v2 
v1)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 185) (l));
 
aa(86):='(((s2 (plus p2 p4) p8m v7 v8 v1 v2) (s4 (plus p1 p3
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
169 (plus p2 p4) (plus p1 p3) v7 v3 v6 v5 v4 v8) (55 p4 v2 
v1)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 186) (l));
 
aa(87):='(((s2 (plus p3 p5) p6m v7 v8 v1 v2) (s4 (plus p1 p2
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
171 (plus p3 p5) (plus p1 p2) v7 v3 v6 v5 v4 v8) (56 p5 v2 
v1)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 187) (l));
 
aa(88):='(((s2 (plus p3 p4) p6m v7 v8 v1 v2) (s4 (plus p1 p2
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
171 (plus p3 p4) (plus p1 p2) v7 v3 v6 v5 v4 v8) (56 p4 v2 
v1)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 188) (l));
 
aa(89):='(((s2 (plus p2 p5) p6m v7 v8 v1 v2) (s4 (plus p1 p3
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
171 (plus p2 p5) (plus p1 p3) v7 v3 v6 v5 v4 v8) (56 p5 v2 
v1)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 189) (l));
 
aa(90):='(((s2 (plus p2 p4) p6m v7 v8 v1 v2) (s4 (plus p1 p3
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
171 (plus p2 p4) (plus p1 p3) v7 v3 v6 v5 v4 v8) (56 p4 v2 
v1)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 190) (l));
 
aa(91):='(((s2 (plus p3 p5) p3m v7 v8 v1 v2) (s4 (plus p1 p2
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
173 (plus p3 p5) (plus p1 p2) v7 v3 v6 v5 v4 v8) (59 p5 v2 
v1)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 191) (l));
 
aa(92):='(((s2 (plus p3 p4) p3m v7 v8 v1 v2) (s4 (plus p1 p2
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
173 (plus p3 p4) (plus p1 p2) v7 v3 v6 v5 v4 v8) (59 p4 v2 
v1)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 192) (l));
 
aa(93):='(((s2 (plus p2 p5) p3m v7 v8 v1 v2) (s4 (plus p1 p3
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
173 (plus p2 p5) (plus p1 p3) v7 v3 v6 v5 v4 v8) (59 p5 v2 
v1)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 193) (l));
 
aa(94):='(((s2 (plus p2 p4) p3m v7 v8 v1 v2) (s4 (plus p1 p3
) p20m v3 v4 v5 v6 v9 v10 v11 v12) (144 p1 v12 v11 v10 v9) (
173 (plus p2 p4) (plus p1 p3) v7 v3 v6 v5 v4 v8) (59 p4 v2 
v1)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 194) (l));
 
aa(95):='(((s4 (plus (minus p1) (minus p4)) p20m v7 v8 v9 
v10 v2 v3 v4 v5) (s11 (plus (minus p3) (minus p5)) p15m v1 
v6) (145 p1 v10 v9 v8 v7) (152 (plus p1 p4) (minus (plus (
minus p3) (minus p5))) v6 v2 v5 v4 v3) (17 p5 v1)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 195) (l));
 
aa(96):='(((s4 (plus (minus p1) (minus p5)) p20m v7 v8 v9 
v10 v2 v3 v4 v5) (s11 (plus (minus p3) (minus p4)) p15m v1 
v6) (145 p1 v10 v9 v8 v7) (152 (plus p1 p5) (minus (plus (
minus p3) (minus p4))) v6 v2 v5 v4 v3) (17 p4 v1)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 196) (l));
 
aa(97):='(((s11 (plus p2 p5) p15m v6 v1) (s4 (plus (minus p1
) (minus p4)) p20m v7 v8 v9 v10 v2 v3 v4 v5) (145 p1 v10 v9
v8 v7) (152 (plus p1 p4) (plus p2 p5) v6 v2 v5 v4 v3) (17 p5
v1)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 197) (l));
 
aa(98):='(((s11 (plus p2 p4) p15m v6 v1) (s4 (plus (minus p1
) (minus p5)) p20m v7 v8 v9 v10 v2 v3 v4 v5) (145 p1 v10 v9
v8 v7) (152 (plus p1 p5) (plus p2 p4) v6 v2 v5 v4 v3) (17 p4
v1)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 198) (l));
 
aa(99):='(((s4 (plus (minus p1) (minus p4)) p20m v7 v8 v9 
v10 v2 v3 v4 v5) (s11 (plus (minus p3) (minus p5)) p7m v1 v6
) (145 p1 v10 v9 v8 v7) (154 (plus p1 p4) (minus (plus (
minus p3) (minus p5))) v6 v2 v5 v4 v3) (20 p5 v1)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 199) (l));
 
aa(100):='(((s4 (plus (minus p1) (minus p5)) p20m v7 v8 v9 
v10 v2 v3 v4 v5) (s11 (plus (minus p3) (minus p4)) p7m v1 v6
) (145 p1 v10 v9 v8 v7) (154 (plus p1 p5) (minus (plus (
minus p3) (minus p4))) v6 v2 v5 v4 v3) (20 p4 v1)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 200) (l));
 
;end;
 
