aa(1):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v2) (385 l1 p3 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p13m v3 v4) (252 l1 p4 v4)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 201) (l l1));
 
aa(2):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v2) (394 l1 p2 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p13m v3 v4) (252 l1 p4 v4)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 202) (l l1));
 
aa(3):='(nil (l1 (253 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p13m v4 v3) (386 l1 p2 (minus (plus (minus p1) (
minus p5))) v3 v2) (sf3 l1 (plus p3 p4) p25m v2 v1) (204 l1
p4 v1)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 203) (l l1));
 
aa(4):='(nil (l1 (253 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p13m v4 v3) (395 l1 p3 (minus (plus (minus p1) (
minus p5))) v3 v2) (sf3 l1 (plus p2 p4) p24m v2 v1) (224 l1
p4 v1)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 204) (l l1));
 
aa(5):='(nil (l1 (66 l1) (sf l1 (plus (minus p2) (minus p5))
p37m) (265 l1 (minus (plus (minus p2) (minus p5))) v2 v1) (
sf5 l1 (plus p1 p4) p45m v1 v2 v3 v4) (272 l1 p4 v4 v3)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 205) (l l1));
 
aa(6):='(nil (l1 (76 l1) (sf l1 (plus (minus p3) (minus p5))
p35m) (267 l1 (minus (plus (minus p3) (minus p5))) v2 v1) (
sf5 l1 (plus p1 p4) p45m v1 v2 v3 v4) (272 l1 p4 v4 v3)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 206) (l l1));
 
aa(7):='(nil (l1 (80 l1) (sf l1 (plus (minus p2) (minus p5))
p31m) (269 l1 (minus (plus (minus p2) (minus p5))) v2 v1) (
sf5 l1 (plus p1 p4) p45m v1 v2 v3 v4) (272 l1 p4 v4 v3)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 207) (l l1));
 
aa(8):='(nil (l1 (88 l1) (sf l1 (plus (minus p3) (minus p5))
p29m) (271 l1 (minus (plus (minus p3) (minus p5))) v2 v1) (
sf5 l1 (plus p1 p4) p45m v1 v2 v3 v4) (272 l1 p4 v4 v3)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 208) (l l1));
 
aa(9):='(((s0 (plus p2 p3) p5m) (16)) (l1 (275 l1 p5 v2 v1)
(sf5 l1 (plus p1 p4) p45m v1 v2 v3 v4) (272 l1 p4 v4 v3)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 209) (l l1));
 
aa(10):='(((s0 (plus p2 p3) p3m) (17)) (l1 (277 l1 p5 v2 v1)
(sf5 l1 (plus p1 p4) p45m v1 v2 v3 v4) (272 l1 p4 v4 v3)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 210) (l l1));
 
aa(11):='(nil (l1 (143 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p34m v1 v4) (433 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p45m v2 v3 v5 v6)
(272 l1 p4 v6 v5)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 211) (l l1));
 
aa(12):='(nil (l1 (157 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p32m v1 v4) (435 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p45m v2 v3 v5 v6)
(272 l1 p4 v6 v5)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 212) (l l1));
 
aa(13):='(nil (l1 (167 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p28m v1 v4) (437 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p45m v2 v3 v5 v6)
(272 l1 p4 v6 v5)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 213) (l l1));
 
aa(14):='(nil (l1 (185 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p26m v1 v4) (439 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p45m v2 v3 v5 v6)
(272 l1 p4 v6 v5)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 214) (l l1));
 
aa(15):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v4) (441 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p45m v2 v3 v5 v6)
(272 l1 p4 v6 v5)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 215) (l l1));
 
aa(16):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v4) (443 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p45m v2 v3 v5 v6)
(272 l1 p4 v6 v5)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 216) (l l1));
 
aa(17):='(((s11 (plus p2 p3) p4m v4 v1) (20 p3 v1)) (l1 (489
l1 p5 v4 v3 v2) (sf5 l1 (plus p1 p4) p45m v2 v3 v5 v6) (272
l1 p4 v6 v5)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 217) (l l1));
 
aa(18):='(nil (l1 (273 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v3 v4 v1 v2) (264 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p37m) (65 l1)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 218) (l l1));
 
aa(19):='(nil (l1 (273 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v3 v4 v1 v2) (266 l1 (plus p2 p4) v2 v1) (
sf l1 (plus p2 p4) p35m) (75 l1)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 219) (l l1));
 
aa(20):='(nil (l1 (273 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v3 v4 v1 v2) (268 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p31m) (79 l1)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 220) (l l1));
 
aa(21):='(nil (l1 (273 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v3 v4 v1 v2) (270 l1 (plus p2 p4) v2 v1) (
sf l1 (plus p2 p4) p29m) (87 l1)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 221) (l l1));
 
aa(22):='(((s0 (plus p2 p3) p5m) (16)) (l1 (273 l1 p5 v4 v3)
(sf5 l1 (plus (minus p1) (minus p5)) p45m v3 v4 v1 v2) (274
l1 p4 v2 v1)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 222) (l l1));
 
aa(23):='(((s0 (plus p2 p3) p3m) (17)) (l1 (273 l1 p5 v4 v3)
(sf5 l1 (plus (minus p1) (minus p5)) p45m v3 v4 v1 v2) (276
l1 p4 v2 v1)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 223) (l l1));
 
aa(24):='(nil (l1 (273 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v5 v6 v2 v3) (432 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p34m v4 v1) (142 l1 p4 v1)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 224) (l l1));
 
aa(25):='(nil (l1 (273 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v5 v6 v2 v3) (434 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p32m v4 v1) (156 l1 p4 v1)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 225) (l l1));
 
aa(26):='(nil (l1 (273 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v5 v6 v2 v3) (436 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p28m v4 v1) (166 l1 p4 v1)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 226) (l l1));
 
aa(27):='(nil (l1 (273 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v5 v6 v2 v3) (438 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p26m v4 v1) (184 l1 p4 v1)));
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 227) (l l1));
 
aa(28):='(nil (l1 (273 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v5 v6 v2 v3) (440 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p25m v4 v1) (204 l1 p4 v1)));
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 228) (l l1));
 
aa(29):='(nil (l1 (273 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v5 v6 v2 v3) (442 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p24m v4 v1) (224 l1 p4 v1)));
 
aaaa(29):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 229) (l l1));
 
aa(30):='(((s11 (plus p2 p3) p4m v4 v1) (20 p3 v1)) (l1 (273
l1 p5 v6 v5) (sf5 l1 (plus (minus p1) (minus p5)) p45m v5 v6
v2 v3) (488 l1 p4 v4 v3 v2)));
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 230) (l l1));
 
aa(31):='(nil (l1 (66 l1) (sf l1 (plus (minus p2) (minus p5)
) p37m) (279 l1 (minus (plus (minus p2) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p42m v1 v2 v3 v4) (286 l1 p4 v4 v3)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 231) (l l1));
 
aa(32):='(nil (l1 (76 l1) (sf l1 (plus (minus p3) (minus p5)
) p35m) (281 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p42m v1 v2 v3 v4) (286 l1 p4 v4 v3)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 232) (l l1));
 
aa(33):='(nil (l1 (80 l1) (sf l1 (plus (minus p2) (minus p5)
) p31m) (283 l1 (minus (plus (minus p2) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p42m v1 v2 v3 v4) (286 l1 p4 v4 v3)));
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 233) (l l1));
 
aa(34):='(nil (l1 (88 l1) (sf l1 (plus (minus p3) (minus p5)
) p29m) (285 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p42m v1 v2 v3 v4) (286 l1 p4 v4 v3)));
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 234) (l l1));
 
aa(35):='(((s0 (plus p2 p3) p5m) (16)) (l1 (289 l1 p5 v2 v1)
(sf5 l1 (plus p1 p4) p42m v1 v2 v3 v4) (286 l1 p4 v4 v3)));
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 235) (l l1));
 
aa(36):='(((s0 (plus p2 p3) p3m) (17)) (l1 (291 l1 p5 v2 v1)
(sf5 l1 (plus p1 p4) p42m v1 v2 v3 v4) (286 l1 p4 v4 v3)));
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 236) (l l1));
 
aa(37):='(nil (l1 (143 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p34m v1 v4) (445 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p42m v2 v3 v5 v6)
(286 l1 p4 v6 v5)));
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 237) (l l1));
 
aa(38):='(nil (l1 (157 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p32m v1 v4) (447 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p42m v2 v3 v5 v6)
(286 l1 p4 v6 v5)));
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 238) (l l1));
 
aa(39):='(nil (l1 (167 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p28m v1 v4) (449 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p42m v2 v3 v5 v6)
(286 l1 p4 v6 v5)));
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 239) (l l1));
 
aa(40):='(nil (l1 (185 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p26m v1 v4) (451 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p42m v2 v3 v5 v6)
(286 l1 p4 v6 v5)));
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 240) (l l1));
 
aa(41):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v4) (453 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p42m v2 v3 v5 v6)
(286 l1 p4 v6 v5)));
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 241) (l l1));
 
aa(42):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v4) (455 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p42m v2 v3 v5 v6)
(286 l1 p4 v6 v5)));
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 242) (l l1));
 
aa(43):='(((s11 (plus p2 p3) p4m v4 v1) (20 p3 v1)) (l1 (491
l1 p5 v3 v2 v4) (sf5 l1 (plus p1 p4) p42m v2 v3 v5 v6) (286
l1 p4 v6 v5)));
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 243) (l l1));
 
aa(44):='(nil (l1 (287 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p42m v3 v4 v1 v2) (278 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p37m) (65 l1)));
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 244) (l l1));
 
aa(45):='(nil (l1 (287 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p42m v3 v4 v1 v2) (280 l1 (plus p2 p4) v2 v1) (
sf l1 (plus p2 p4) p35m) (75 l1)));
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 245) (l l1));
 
aa(46):='(nil (l1 (287 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p42m v3 v4 v1 v2) (282 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p31m) (79 l1)));
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 246) (l l1));
 
aa(47):='(nil (l1 (287 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p42m v3 v4 v1 v2) (284 l1 (plus p2 p4) v2 v1) (
sf l1 (plus p2 p4) p29m) (87 l1)));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 247) (l l1));
 
aa(48):='(((s0 (plus p2 p3) p5m) (16)) (l1 (287 l1 p5 v4 v3)
(sf5 l1 (plus (minus p1) (minus p5)) p42m v3 v4 v1 v2) (288
l1 p4 v2 v1)));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 248) (l l1));
 
aa(49):='(((s0 (plus p2 p3) p3m) (17)) (l1 (287 l1 p5 v4 v3)
(sf5 l1 (plus (minus p1) (minus p5)) p42m v3 v4 v1 v2) (290
l1 p4 v2 v1)));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 249) (l l1));
 
aa(50):='(nil (l1 (287 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p42m v5 v6 v2 v3) (444 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p34m v4 v1) (142 l1 p4 v1)));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 250) (l l1));
 
aa(51):='(nil (l1 (287 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p42m v5 v6 v2 v3) (446 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p32m v4 v1) (156 l1 p4 v1)));
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 251) (l l1));
 
aa(52):='(nil (l1 (287 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p42m v5 v6 v2 v3) (448 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p28m v4 v1) (166 l1 p4 v1)));
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 252) (l l1));
 
aa(53):='(nil (l1 (287 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p42m v5 v6 v2 v3) (450 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p26m v4 v1) (184 l1 p4 v1)));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 253) (l l1));
 
aa(54):='(nil (l1 (287 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p42m v5 v6 v2 v3) (452 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p25m v4 v1) (204 l1 p4 v1)));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 254) (l l1));
 
aa(55):='(nil (l1 (287 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p42m v5 v6 v2 v3) (454 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p24m v4 v1) (224 l1 p4 v1)));
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 255) (l l1));
 
aa(56):='(((s11 (plus p2 p3) p4m v4 v1) (20 p3 v1)) (l1 (287
l1 p5 v6 v5) (sf5 l1 (plus (minus p1) (minus p5)) p42m v5 v6
v2 v3) (490 l1 p4 v3 v2 v4)));
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 256) (l l1));
 
aa(57):='(nil (l1 (66 l1) (sf l1 (plus (minus p2) (minus p5)
) p37m) (293 l1 (minus (plus (minus p2) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p39m v1 v2 v3 v4) (300 l1 p4 v4 v3)));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 257) (l l1));
 
aa(58):='(nil (l1 (76 l1) (sf l1 (plus (minus p3) (minus p5)
) p35m) (295 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p39m v1 v2 v3 v4) (300 l1 p4 v4 v3)));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 258) (l l1));
 
aa(59):='(nil (l1 (80 l1) (sf l1 (plus (minus p2) (minus p5)
) p31m) (297 l1 (minus (plus (minus p2) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p39m v1 v2 v3 v4) (300 l1 p4 v4 v3)));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 259) (l l1));
 
aa(60):='(nil (l1 (88 l1) (sf l1 (plus (minus p3) (minus p5)
) p29m) (299 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p39m v1 v2 v3 v4) (300 l1 p4 v4 v3)));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 260) (l l1));
 
aa(61):='(((s0 (plus p2 p3) p3m) (17)) (l1 (303 l1 p5 v2 v1)
(sf5 l1 (plus p1 p4) p39m v1 v2 v3 v4) (300 l1 p4 v4 v3)));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 261) (l l1));
 
aa(62):='(nil (l1 (143 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p34m v1 v4) (457 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p39m v2 v3 v5 v6)
(300 l1 p4 v6 v5)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 262) (l l1));
 
aa(63):='(nil (l1 (157 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p32m v1 v4) (459 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p39m v2 v3 v5 v6)
(300 l1 p4 v6 v5)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 263) (l l1));
 
aa(64):='(nil (l1 (167 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p28m v1 v4) (461 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p39m v2 v3 v5 v6)
(300 l1 p4 v6 v5)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 264) (l l1));
 
aa(65):='(nil (l1 (185 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p26m v1 v4) (463 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p39m v2 v3 v5 v6)
(300 l1 p4 v6 v5)));
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 265) (l l1));
 
aa(66):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v4) (465 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p39m v2 v3 v5 v6)
(300 l1 p4 v6 v5)));
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 266) (l l1));
 
aa(67):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v4) (467 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p39m v2 v3 v5 v6)
(300 l1 p4 v6 v5)));
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 267) (l l1));
 
aa(68):='(((s11 (plus p2 p3) p4m v4 v1) (20 p3 v1)) (l1 (493
l1 p5 v4 v3 v2) (sf5 l1 (plus p1 p4) p39m v2 v3 v5 v6) (300
l1 p4 v6 v5)));
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 268) (l l1));
 
aa(69):='(nil (l1 (301 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v3 v4 v1 v2) (292 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p37m) (65 l1)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 269) (l l1));
 
aa(70):='(nil (l1 (301 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v3 v4 v1 v2) (294 l1 (plus p2 p4) v2 v1) (
sf l1 (plus p2 p4) p35m) (75 l1)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 270) (l l1));
 
aa(71):='(nil (l1 (301 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v3 v4 v1 v2) (296 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p31m) (79 l1)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 271) (l l1));
 
aa(72):='(nil (l1 (301 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v3 v4 v1 v2) (298 l1 (plus p2 p4) v2 v1) (
sf l1 (plus p2 p4) p29m) (87 l1)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 272) (l l1));
 
aa(73):='(((s0 (plus p2 p3) p3m) (17)) (l1 (301 l1 p5 v4 v3)
(sf5 l1 (plus (minus p1) (minus p5)) p39m v3 v4 v1 v2) (302
l1 p4 v2 v1)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 273) (l l1));
 
aa(74):='(nil (l1 (301 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v5 v6 v2 v3) (456 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p34m v4 v1) (142 l1 p4 v1)));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 274) (l l1));
 
aa(75):='(nil (l1 (301 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v5 v6 v2 v3) (458 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p32m v4 v1) (156 l1 p4 v1)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 275) (l l1));
 
aa(76):='(nil (l1 (301 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v5 v6 v2 v3) (460 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p28m v4 v1) (166 l1 p4 v1)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 276) (l l1));
 
aa(77):='(nil (l1 (301 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v5 v6 v2 v3) (462 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p26m v4 v1) (184 l1 p4 v1)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 277) (l l1));
 
aa(78):='(nil (l1 (301 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v5 v6 v2 v3) (464 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p25m v4 v1) (204 l1 p4 v1)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 278) (l l1));
 
aa(79):='(nil (l1 (301 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v5 v6 v2 v3) (466 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p24m v4 v1) (224 l1 p4 v1)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 279) (l l1));
 
aa(80):='(((s11 (plus p2 p3) p4m v4 v1) (20 p3 v1)) (l1 (301
l1 p5 v6 v5) (sf5 l1 (plus (minus p1) (minus p5)) p39m v5 v6
v2 v3) (492 l1 p4 v4 v3 v2)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 280) (l l1));
 
aa(81):='(nil (l1 (66 l1) (sf l1 (plus (minus p2) (minus p5)
) p37m) (305 l1 (minus (plus (minus p2) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p23m v1 v2 v3 v4) (312 l1 p4 v4 v3)));
 
aaaa(81):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 281) (l l1));
 
aa(82):='(nil (l1 (76 l1) (sf l1 (plus (minus p3) (minus p5)
) p35m) (307 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p23m v1 v2 v3 v4) (312 l1 p4 v4 v3)));
 
aaaa(82):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 282) (l l1));
 
aa(83):='(nil (l1 (80 l1) (sf l1 (plus (minus p2) (minus p5)
) p31m) (309 l1 (minus (plus (minus p2) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p23m v1 v2 v3 v4) (312 l1 p4 v4 v3)));
 
aaaa(83):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 283) (l l1));
 
aa(84):='(nil (l1 (88 l1) (sf l1 (plus (minus p3) (minus p5)
) p29m) (311 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p23m v1 v2 v3 v4) (312 l1 p4 v4 v3)));
 
aaaa(84):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 284) (l l1));
 
aa(85):='(((s0 (plus p2 p3) p5m) (16)) (l1 (315 l1 p5 v2 v1)
(sf5 l1 (plus p1 p4) p23m v1 v2 v3 v4) (312 l1 p4 v4 v3)));
 
aaaa(85):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 285) (l l1));
 
aa(86):='(((s0 (plus p2 p3) p3m) (17)) (l1 (317 l1 p5 v2 v1)
(sf5 l1 (plus p1 p4) p23m v1 v2 v3 v4) (312 l1 p4 v4 v3)));
 
aaaa(86):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 286) (l l1));
 
aa(87):='(nil (l1 (143 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p34m v1 v4) (469 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p23m v2 v3 v5 v6)
(312 l1 p4 v6 v5)));
 
aaaa(87):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 287) (l l1));
 
aa(88):='(nil (l1 (157 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p32m v1 v4) (471 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p23m v2 v3 v5 v6)
(312 l1 p4 v6 v5)));
 
aaaa(88):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 288) (l l1));
 
aa(89):='(nil (l1 (167 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p28m v1 v4) (473 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p23m v2 v3 v5 v6)
(312 l1 p4 v6 v5)));
 
aaaa(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 289) (l l1));
 
aa(90):='(nil (l1 (185 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p26m v1 v4) (475 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p23m v2 v3 v5 v6)
(312 l1 p4 v6 v5)));
 
aaaa(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 290) (l l1));
 
aa(91):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v4) (477 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p23m v2 v3 v5 v6)
(312 l1 p4 v6 v5)));
 
aaaa(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 291) (l l1));
 
aa(92):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v4) (479 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p23m v2 v3 v5 v6)
(312 l1 p4 v6 v5)));
 
aaaa(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 292) (l l1));
 
aa(93):='(((s11 (plus p2 p3) p4m v4 v1) (20 p3 v1)) (l1 (495
l1 p5 v4 v3 v2) (sf5 l1 (plus p1 p4) p23m v2 v3 v5 v6) (312
l1 p4 v6 v5)));
 
aaaa(93):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 293) (l l1));
 
aa(94):='(nil (l1 (313 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p23m v3 v4 v1 v2) (304 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p37m) (65 l1)));
 
aaaa(94):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 294) (l l1));
 
aa(95):='(nil (l1 (313 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p23m v3 v4 v1 v2) (306 l1 (plus p2 p4) v2 v1) (
sf l1 (plus p2 p4) p35m) (75 l1)));
 
aaaa(95):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 295) (l l1));
 
aa(96):='(nil (l1 (313 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p23m v3 v4 v1 v2) (308 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p31m) (79 l1)));
 
aaaa(96):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 296) (l l1));
 
aa(97):='(nil (l1 (313 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p23m v3 v4 v1 v2) (310 l1 (plus p2 p4) v2 v1) (
sf l1 (plus p2 p4) p29m) (87 l1)));
 
aaaa(97):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 297) (l l1));
 
aa(98):='(((s0 (plus p2 p3) p5m) (16)) (l1 (313 l1 p5 v4 v3)
(sf5 l1 (plus (minus p1) (minus p5)) p23m v3 v4 v1 v2) (314
l1 p4 v2 v1)));
 
aaaa(98):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 298) (l l1));
 
aa(99):='(((s0 (plus p2 p3) p3m) (17)) (l1 (313 l1 p5 v4 v3)
(sf5 l1 (plus (minus p1) (minus p5)) p23m v3 v4 v1 v2) (316
l1 p4 v2 v1)));
 
aaaa(99):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 299) (l l1));
 
aa(100):='(nil (l1 (313 l1 p5 v6 v5) (sf5 l1 (plus (minus p1
) (minus p5)) p23m v5 v6 v2 v3) (468 l1 p2 (plus p3 p4) v4 
v3 v2) (sf3 l1 (plus p3 p4) p34m v4 v1) (142 l1 p4 v1)));
 
aaaa(100):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5
v4 v3 v2 v1) (ijk 300) (l l1));
 
;end;
 
