aa(1):='(nil (l1 (313 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p23m v5 v6 v2 v3) (470 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p32m v4 v1) (156 l1 p4 v1)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 301) (l l1));
 
aa(2):='(nil (l1 (313 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p23m v5 v6 v2 v3) (472 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p28m v4 v1) (166 l1 p4 v1)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 302) (l l1));
 
aa(3):='(nil (l1 (313 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p23m v5 v6 v2 v3) (474 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p26m v4 v1) (184 l1 p4 v1)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 303) (l l1));
 
aa(4):='(nil (l1 (313 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p23m v5 v6 v2 v3) (476 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p25m v4 v1) (204 l1 p4 v1)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 304) (l l1));
 
aa(5):='(nil (l1 (313 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p23m v5 v6 v2 v3) (478 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p24m v4 v1) (224 l1 p4 v1)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 305) (l l1));
 
aa(6):='(((s11 (plus p2 p3) p4m v4 v1) (20 p3 v1)) (l1 (313
l1 p5 v6 v5) (sf5 l1 (plus (minus p1) (minus p5)) p23m v5 v6
v2 v3) (494 l1 p4 v4 v3 v2)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 306) (l l1));
 
aa(7):='(((s0 (plus p2 p3) p3m) (17)) (l1 (321 l1 p5 v2 v1)
(sf5 l1 (plus p1 p4) p17m v1 v2 v3 v4) (318 l1 p4 v4 v3)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 307) (l l1));
 
aa(8):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v4) (481 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p17m v2 v3 v5 v6)
(318 l1 p4 v6 v5)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 308) (l l1));
 
aa(9):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v4) (483 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p17m v2 v3 v5 v6)
(318 l1 p4 v6 v5)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 309) (l l1));
 
aa(10):='(((s0 (plus p2 p3) p3m) (17)) (l1 (319 l1 p5 v4 v3)
(sf5 l1 (plus (minus p1) (minus p5)) p17m v3 v4 v1 v2) (320
l1 p4 v2 v1)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 310) (l l1));
 
aa(11):='(nil (l1 (319 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p17m v5 v6 v2 v3) (480 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p25m v4 v1) (204 l1 p4 v1)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 311) (l l1));
 
aa(12):='(nil (l1 (319 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p17m v5 v6 v2 v3) (482 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p24m v4 v1) (224 l1 p4 v1)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 312) (l l1));
 
aa(13):='(((s0 (plus p2 p3) p3m) (17)) (l1 (325 l1 p5 v2 v1)
(sf5 l1 (plus p1 p4) p16m v1 v2 v3 v4) (322 l1 p4 v4 v3)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 313) (l l1));
 
aa(14):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v4) (485 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p16m v2 v3 v5 v6)
(322 l1 p4 v6 v5)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 314) (l l1));
 
aa(15):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v4) (487 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p16m v2 v3 v5 v6)
(322 l1 p4 v6 v5)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 315) (l l1));
 
aa(16):='(((s0 (plus p2 p3) p3m) (17)) (l1 (323 l1 p5 v4 v3)
(sf5 l1 (plus (minus p1) (minus p5)) p16m v3 v4 v1 v2) (324
l1 p4 v2 v1)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 316) (l l1));
 
aa(17):='(nil (l1 (323 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p16m v5 v6 v2 v3) (484 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p25m v4 v1) (204 l1 p4 v1)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 317) (l l1));
 
aa(18):='(nil (l1 (323 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p16m v5 v6 v2 v3) (486 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p24m v4 v1) (224 l1 p4 v1)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 318) (l l1));
 
aa(19):='(nil (l1 (143 l1 p5 v2) (sf3 l1 (plus (minus p2) (
minus p5)) p34m v2 v3) (350 l1 p1 (plus p3 p4) v4 v3) (sf3 
l1 (plus p3 p4) p25m v4 v1) (204 l1 p4 v1)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 319) (l l1));
 
aa(20):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v4) (351 l1 p1 (minus (plus (minus p2) (
minus p5))) v4 v3) (sf3 l1 (plus p3 p4) p34m v3 v2) (142 l1
p4 v2)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 320) (l l1));
 
aa(21):='(nil (l1 (157 l1 p5 v2) (sf3 l1 (plus (minus p3) (
minus p5)) p32m v2 v3) (360 l1 p1 (plus p2 p4) v4 v3) (sf3 
l1 (plus p2 p4) p24m v4 v1) (224 l1 p4 v1)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 321) (l l1));
 
aa(22):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v4) (361 l1 p1 (minus (plus (minus p3) (
minus p5))) v4 v3) (sf3 l1 (plus p2 p4) p32m v3 v2) (156 l1
p4 v2)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 322) (l l1));
 
aa(23):='(nil (l1 (167 l1 p5 v2) (sf3 l1 (plus (minus p2) (
minus p5)) p28m v2 v3) (366 l1 p1 (plus p3 p4) v4 v3) (sf3 
l1 (plus p3 p4) p25m v4 v1) (204 l1 p4 v1)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 323) (l l1));
 
aa(24):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v4) (367 l1 p1 (minus (plus (minus p2) (
minus p5))) v4 v3) (sf3 l1 (plus p3 p4) p28m v3 v2) (166 l1
p4 v2)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 324) (l l1));
 
aa(25):='(nil (l1 (185 l1 p5 v2) (sf3 l1 (plus (minus p3) (
minus p5)) p26m v2 v3) (374 l1 p1 (plus p2 p4) v4 v3) (sf3 
l1 (plus p2 p4) p24m v4 v1) (224 l1 p4 v1)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 325) (l l1));
 
aa(26):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v4) (375 l1 p1 (minus (plus (minus p3) (
minus p5))) v4 v3) (sf3 l1 (plus p2 p4) p26m v3 v2) (184 l1
p4 v2)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 326) (l l1));
 
aa(27):='(nil (l1 (205 l1 p5 v2) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v2 v3) (378 l1 p1 (plus p3 p4) v4 v3) (sf3 
l1 (plus p3 p4) p25m v4 v1) (204 l1 p4 v1)));
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 327) (l l1));
 
aa(28):='(nil (l1 (225 l1 p5 v2) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v2 v3) (387 l1 p1 (plus p2 p4) v4 v3) (sf3 
l1 (plus p2 p4) p24m v4 v1) (224 l1 p4 v1)));
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 328) (l l1));
 
aa(29):='(nil (l1 (66 l1) (sf l1 (plus (minus p2) (minus p5)
) p37m) (405 l1 (minus (plus (minus p2) (minus p5))) v3 v2 
v1) (sf7 l1 (plus p1 p4) p44m v1 v2 v3 v4 v5 v6) (412 l1 p4
v6 v5 v4)));
 
aaaa(29):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 329) (l l1));
 
aa(30):='(nil (l1 (76 l1) (sf l1 (plus (minus p3) (minus p5)
) p35m) (407 l1 (minus (plus (minus p3) (minus p5))) v3 v2 
v1) (sf7 l1 (plus p1 p4) p44m v1 v2 v3 v4 v5 v6) (412 l1 p4
v6 v5 v4)));
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 330) (l l1));
 
aa(31):='(nil (l1 (80 l1) (sf l1 (plus (minus p2) (minus p5)
) p31m) (409 l1 (minus (plus (minus p2) (minus p5))) v3 v2 
v1) (sf7 l1 (plus p1 p4) p44m v1 v2 v3 v4 v5 v6) (412 l1 p4
v6 v5 v4)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 331) (l l1));
 
aa(32):='(nil (l1 (88 l1) (sf l1 (plus (minus p3) (minus p5)
) p29m) (411 l1 (minus (plus (minus p3) (minus p5))) v3 v2 
v1) (sf7 l1 (plus p1 p4) p44m v1 v2 v3 v4 v5 v6) (412 l1 p4
v6 v5 v4)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 332) (l l1));
 
aa(33):='(((s0 (plus p2 p3) p5m) (16)) (l1 (415 l1 p5 v3 v2
v1) (sf7 l1 (plus p1 p4) p44m v1 v2 v3 v4 v5 v6) (412 l1 p4
v6 v5 v4)));
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 333) (l l1));
 
aa(34):='(((s0 (plus p2 p3) p3m) (17)) (l1 (417 l1 p5 v3 v2
v1) (sf7 l1 (plus p1 p4) p44m v1 v2 v3 v4 v5 v6) (412 l1 p4
v6 v5 v4)));
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 334) (l l1));
 
aa(35):='(nil (l1 (143 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p34m v1 v5) (498 l1 p3 (minus (plus (minus p2) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p44m v2 v3 v4
v6 v7 v8) (412 l1 p4 v8 v7 v6)));
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 335) (l l1));
 
aa(36):='(nil (l1 (157 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p32m v1 v5) (500 l1 p2 (minus (plus (minus p3) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p44m v2 v3 v4
v6 v7 v8) (412 l1 p4 v8 v7 v6)));
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 336) (l l1));
 
aa(37):='(nil (l1 (167 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p28m v1 v5) (502 l1 p3 (minus (plus (minus p2) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p44m v2 v3 v4
v6 v7 v8) (412 l1 p4 v8 v7 v6)));
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 337) (l l1));
 
aa(38):='(nil (l1 (185 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p26m v1 v5) (504 l1 p2 (minus (plus (minus p3) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p44m v2 v3 v4
v6 v7 v8) (412 l1 p4 v8 v7 v6)));
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 338) (l l1));
 
aa(39):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v5) (506 l1 p3 (minus (plus (minus p2) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p44m v2 v3 v4
v6 v7 v8) (412 l1 p4 v8 v7 v6)));
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 339) (l l1));
 
aa(40):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v5) (508 l1 p2 (minus (plus (minus p3) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p44m v2 v3 v4
v6 v7 v8) (412 l1 p4 v8 v7 v6)));
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 340) (l l1));
 
aa(41):='(((s11 (plus p2 p3) p4m v5 v1) (20 p3 v1)) (l1 (522
l1 p5 v4 v3 v2 v5) (sf7 l1 (plus p1 p4) p44m v2 v3 v4 v6 v7
v8) (412 l1 p4 v8 v7 v6)));
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 341) (l l1));
 
aa(42):='(nil (l1 (413 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus
p1) (minus p5)) p44m v4 v5 v6 v1 v2 v3) (404 l1 (plus p3 p4)
v3 v2 v1) (sf l1 (plus p3 p4) p37m) (65 l1)));
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 342) (l l1));
 
aa(43):='(nil (l1 (413 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus
p1) (minus p5)) p44m v4 v5 v6 v1 v2 v3) (406 l1 (plus p2 p4)
v3 v2 v1) (sf l1 (plus p2 p4) p35m) (75 l1)));
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 343) (l l1));
 
aa(44):='(nil (l1 (413 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus
p1) (minus p5)) p44m v4 v5 v6 v1 v2 v3) (408 l1 (plus p3 p4)
v3 v2 v1) (sf l1 (plus p3 p4) p31m) (79 l1)));
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 344) (l l1));
 
aa(45):='(nil (l1 (413 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus
p1) (minus p5)) p44m v4 v5 v6 v1 v2 v3) (410 l1 (plus p2 p4)
v3 v2 v1) (sf l1 (plus p2 p4) p29m) (87 l1)));
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 345) (l l1));
 
aa(46):='(((s0 (plus p2 p3) p5m) (16)) (l1 (413 l1 p5 v6 v5
v4) (sf7 l1 (plus (minus p1) (minus p5)) p44m v4 v5 v6 v1 v2
v3) (414 l1 p4 v3 v2 v1)));
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 346) (l l1));
 
aa(47):='(((s0 (plus p2 p3) p3m) (17)) (l1 (413 l1 p5 v6 v5
v4) (sf7 l1 (plus (minus p1) (minus p5)) p44m v4 v5 v6 v1 v2
v3) (416 l1 p4 v3 v2 v1)));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 347) (l l1));
 
aa(48):='(nil (l1 (413 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p44m v6 v7 v8 v2 v3 v4) (497 l1 p2 (plus p3
p4) v5 v4 v3 v2) (sf3 l1 (plus p3 p4) p34m v5 v1) (142 l1 p4
v1)));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 348) (l l1));
 
aa(49):='(nil (l1 (413 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p44m v6 v7 v8 v2 v3 v4) (499 l1 p3 (plus p2
p4) v5 v4 v3 v2) (sf3 l1 (plus p2 p4) p32m v5 v1) (156 l1 p4
v1)));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 349) (l l1));
 
aa(50):='(nil (l1 (413 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p44m v6 v7 v8 v2 v3 v4) (501 l1 p2 (plus p3
p4) v5 v4 v3 v2) (sf3 l1 (plus p3 p4) p28m v5 v1) (166 l1 p4
v1)));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 350) (l l1));
 
aa(51):='(nil (l1 (413 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p44m v6 v7 v8 v2 v3 v4) (503 l1 p3 (plus p2
p4) v5 v4 v3 v2) (sf3 l1 (plus p2 p4) p26m v5 v1) (184 l1 p4
v1)));
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 351) (l l1));
 
aa(52):='(nil (l1 (413 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p44m v6 v7 v8 v2 v3 v4) (505 l1 p2 (plus p3
p4) v5 v4 v3 v2) (sf3 l1 (plus p3 p4) p25m v5 v1) (204 l1 p4
v1)));
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 352) (l l1));
 
aa(53):='(nil (l1 (413 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p44m v6 v7 v8 v2 v3 v4) (507 l1 p3 (plus p2
p4) v5 v4 v3 v2) (sf3 l1 (plus p2 p4) p24m v5 v1) (224 l1 p4
v1)));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 353) (l l1));
 
aa(54):='(((s11 (plus p2 p3) p4m v5 v1) (20 p3 v1)) (l1 (413
l1 p5 v8 v7 v6) (sf7 l1 (plus (minus p1) (minus p5)) p44m v6
v7 v8 v2 v3 v4) (521 l1 p4 v4 v3 v2 v5)));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 354) (l l1));
 
aa(55):='(nil (l1 (66 l1) (sf l1 (plus (minus p2) (minus p5)
) p37m) (419 l1 (minus (plus (minus p2) (minus p5))) v3 v2 
v1) (sf7 l1 (plus p1 p4) p22m v1 v2 v3 v4 v5 v6) (426 l1 p4
v6 v5 v4)));
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 355) (l l1));
 
aa(56):='(nil (l1 (76 l1) (sf l1 (plus (minus p3) (minus p5)
) p35m) (421 l1 (minus (plus (minus p3) (minus p5))) v3 v2 
v1) (sf7 l1 (plus p1 p4) p22m v1 v2 v3 v4 v5 v6) (426 l1 p4
v6 v5 v4)));
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 356) (l l1));
 
aa(57):='(nil (l1 (80 l1) (sf l1 (plus (minus p2) (minus p5)
) p31m) (423 l1 (minus (plus (minus p2) (minus p5))) v3 v2 
v1) (sf7 l1 (plus p1 p4) p22m v1 v2 v3 v4 v5 v6) (426 l1 p4
v6 v5 v4)));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 357) (l l1));
 
aa(58):='(nil (l1 (88 l1) (sf l1 (plus (minus p3) (minus p5)
) p29m) (425 l1 (minus (plus (minus p3) (minus p5))) v3 v2 
v1) (sf7 l1 (plus p1 p4) p22m v1 v2 v3 v4 v5 v6) (426 l1 p4
v6 v5 v4)));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 358) (l l1));
 
aa(59):='(((s0 (plus p2 p3) p5m) (16)) (l1 (429 l1 p5 v3 v2
v1) (sf7 l1 (plus p1 p4) p22m v1 v2 v3 v4 v5 v6) (426 l1 p4
v6 v5 v4)));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 359) (l l1));
 
aa(60):='(((s0 (plus p2 p3) p3m) (17)) (l1 (431 l1 p5 v3 v2
v1) (sf7 l1 (plus p1 p4) p22m v1 v2 v3 v4 v5 v6) (426 l1 p4
v6 v5 v4)));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 360) (l l1));
 
aa(61):='(nil (l1 (143 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p34m v1 v5) (510 l1 p3 (minus (plus (minus p2) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p22m v2 v3 v4
v6 v7 v8) (426 l1 p4 v8 v7 v6)));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 361) (l l1));
 
aa(62):='(nil (l1 (157 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p32m v1 v5) (512 l1 p2 (minus (plus (minus p3) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p22m v2 v3 v4
v6 v7 v8) (426 l1 p4 v8 v7 v6)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 362) (l l1));
 
aa(63):='(nil (l1 (167 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p28m v1 v5) (514 l1 p3 (minus (plus (minus p2) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p22m v2 v3 v4
v6 v7 v8) (426 l1 p4 v8 v7 v6)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 363) (l l1));
 
aa(64):='(nil (l1 (185 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p26m v1 v5) (516 l1 p2 (minus (plus (minus p3) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p22m v2 v3 v4
v6 v7 v8) (426 l1 p4 v8 v7 v6)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 364) (l l1));
 
aa(65):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v5) (518 l1 p3 (minus (plus (minus p2) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p22m v2 v3 v4
v6 v7 v8) (426 l1 p4 v8 v7 v6)));
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 365) (l l1));
 
aa(66):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v5) (520 l1 p2 (minus (plus (minus p3) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p22m v2 v3 v4
v6 v7 v8) (426 l1 p4 v8 v7 v6)));
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 366) (l l1));
 
aa(67):='(((s11 (plus p2 p3) p4m v5 v1) (20 p3 v1)) (l1 (524
l1 p5 v4 v3 v2 v5) (sf7 l1 (plus p1 p4) p22m v2 v3 v4 v6 v7
v8) (426 l1 p4 v8 v7 v6)));
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 367) (l l1));
 
aa(68):='(nil (l1 (427 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus
p1) (minus p5)) p22m v4 v5 v6 v1 v2 v3) (418 l1 (plus p3 p4)
v3 v2 v1) (sf l1 (plus p3 p4) p37m) (65 l1)));
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 368) (l l1));
 
aa(69):='(nil (l1 (427 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus
p1) (minus p5)) p22m v4 v5 v6 v1 v2 v3) (420 l1 (plus p2 p4)
v3 v2 v1) (sf l1 (plus p2 p4) p35m) (75 l1)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 369) (l l1));
 
aa(70):='(nil (l1 (427 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus
p1) (minus p5)) p22m v4 v5 v6 v1 v2 v3) (422 l1 (plus p3 p4)
v3 v2 v1) (sf l1 (plus p3 p4) p31m) (79 l1)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 370) (l l1));
 
aa(71):='(nil (l1 (427 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus
p1) (minus p5)) p22m v4 v5 v6 v1 v2 v3) (424 l1 (plus p2 p4)
v3 v2 v1) (sf l1 (plus p2 p4) p29m) (87 l1)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 371) (l l1));
 
aa(72):='(((s0 (plus p2 p3) p5m) (16)) (l1 (427 l1 p5 v6 v5
v4) (sf7 l1 (plus (minus p1) (minus p5)) p22m v4 v5 v6 v1 v2
v3) (428 l1 p4 v3 v2 v1)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 372) (l l1));
 
aa(73):='(((s0 (plus p2 p3) p3m) (17)) (l1 (427 l1 p5 v6 v5
v4) (sf7 l1 (plus (minus p1) (minus p5)) p22m v4 v5 v6 v1 v2
v3) (430 l1 p4 v3 v2 v1)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 373) (l l1));
 
aa(74):='(nil (l1 (427 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p22m v6 v7 v8 v2 v3 v4) (509 l1 p2 (plus p3
p4) v5 v4 v3 v2) (sf3 l1 (plus p3 p4) p34m v5 v1) (142 l1 p4
v1)));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 374) (l l1));
 
aa(75):='(nil (l1 (427 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p22m v6 v7 v8 v2 v3 v4) (511 l1 p3 (plus p2
p4) v5 v4 v3 v2) (sf3 l1 (plus p2 p4) p32m v5 v1) (156 l1 p4
v1)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 375) (l l1));
 
aa(76):='(nil (l1 (427 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p22m v6 v7 v8 v2 v3 v4) (513 l1 p2 (plus p3
p4) v5 v4 v3 v2) (sf3 l1 (plus p3 p4) p28m v5 v1) (166 l1 p4
v1)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 376) (l l1));
 
aa(77):='(nil (l1 (427 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p22m v6 v7 v8 v2 v3 v4) (515 l1 p3 (plus p2
p4) v5 v4 v3 v2) (sf3 l1 (plus p2 p4) p26m v5 v1) (184 l1 p4
v1)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 377) (l l1));
 
aa(78):='(nil (l1 (427 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p22m v6 v7 v8 v2 v3 v4) (517 l1 p2 (plus p3
p4) v5 v4 v3 v2) (sf3 l1 (plus p3 p4) p25m v5 v1) (204 l1 p4
v1)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 378) (l l1));
 
aa(79):='(nil (l1 (427 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p22m v6 v7 v8 v2 v3 v4) (519 l1 p3 (plus p2
p4) v5 v4 v3 v2) (sf3 l1 (plus p2 p4) p24m v5 v1) (224 l1 p4
v1)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 379) (l l1));
 
aa(80):='(((s11 (plus p2 p3) p4m v5 v1) (20 p3 v1)) (l1 (427
l1 p5 v8 v7 v6) (sf7 l1 (plus (minus p1) (minus p5)) p22m v6
v7 v8 v2 v3 v4) (523 l1 p4 v4 v3 v2 v5)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 380) (l l1));
 
;end;
 
