aa(1):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v2) (330 l1 (plus p3 p4) v2) (sf l1 (plus
p3 p4) p17m) (153 l1)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 101) (l l1));
 
aa(2):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v2) (332 l1 (plus p3 p4) v2) (sf l1 (plus
p3 p4) p16m) (161 l1)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 102) (l l1));
 
aa(3):='(nil (l1 (120 l1) (sf l1 (plus (minus p3) (minus p5)
) p35m) (345 l1 (minus (plus (minus p3) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p23m v1 v2) (350 l1 p4 v2)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 103) (l l1));
 
aa(4):='(nil (l1 (134 l1) (sf l1 (plus (minus p3) (minus p5)
) p31m) (347 l1 (minus (plus (minus p3) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p23m v1 v2) (350 l1 p4 v2)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 104) (l l1));
 
aa(5):='(nil (l1 (245 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p33m v1 v2) (564 l1 p2 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p23m v3 v4) (350 l1 p4 v4)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 105) (l l1));
 
aa(6):='(nil (l1 (269 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p29m v1 v2) (576 l1 p2 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p23m v3 v4) (350 l1 p4 v4)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 106) (l l1));
 
aa(7):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v2) (592 l1 p3 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p23m v3 v4) (350 l1 p4 v4)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 107) (l l1));
 
aa(8):='(nil (l1 (165 l1) (sf l1 (plus (minus p2) (minus p5)
) p14m) (381 l1 (minus (plus (minus p2) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p15m v2 v1) (386 l1 p4 v1)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 108) (l l1));
 
aa(9):='(nil (l1 (401 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p51m v3 v4 v1 v2) (388 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p34m) (127 l1)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 109) (l l1));
 
aa(10):='(nil (l1 (401 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p51m v3 v4 v1 v2) (390 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p30m) (141 l1)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 110) (l l1));
 
aa(11):='(nil (l1 (401 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p51m v3 v4 v1 v2) (392 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p21m) (147 l1)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 111) (l l1));
 
aa(12):='(nil (l1 (401 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p51m v3 v4 v1 v2) (394 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p17m) (153 l1)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 112) (l l1));
 
aa(13):='(nil (l1 (401 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p51m v3 v4 v1 v2) (396 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p16m) (161 l1)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 113) (l l1));
 
aa(14):='(((s0 (plus (minus p2) (minus p3)) p5m) (26)) (l1 (
401 l1 p5 v4 v3) (sf5 l1 (plus (minus p1) (minus p5)) p51m 
v3 v4 v1 v2) (404 l1 p4 v2 v1)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 114) (l l1));
 
aa(15):='(nil (l1 (401 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p51m v5 v6 v2 v3) (652 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p32m v4 v1) (256 l1 p4 v1)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 115) (l l1));
 
aa(16):='(nil (l1 (401 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p51m v5 v6 v2 v3) (654 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p28m v4 v1) (282 l1 p4 v1)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 116) (l l1));
 
aa(17):='(nil (l1 (401 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p51m v5 v6 v2 v3) (656 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p27m v4 v1) (312 l1 p4 v1)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 117) (l l1));
 
aa(18):='(nil (l1 (401 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p51m v5 v6 v2 v3) (660 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p22m v4 v1) (362 l1 p4 v1)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 118) (l l1));
 
aa(19):='(nil (l1 (401 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p51m v5 v6 v2 v3) (662 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p20m v4 v1) (372 l1 p4 v1)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 119) (l l1));
 
aa(20):='(nil (l1 (401 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p51m v5 v6 v2 v3) (664 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p15m v4 v1) (386 l1 p4 v1)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 120) (l l1));
 
aa(21):='(nil (l1 (401 l1 p5 v8 v7) (sf5 l1 (plus (minus p1)
(minus p5)) p51m v7 v8 v3 v4) (780 l1 p2 (plus p3 p4) v6 v5
v4 v3) (sf5 l1 (plus p3 p4) p19m v5 v6 v1 v2) (504 l1 p4 v2
v1)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 121) (l l1));
 
aa(22):='(nil (l1 (401 l1 p5 v8 v7) (sf5 l1 (plus (minus p1)
(minus p5)) p51m v7 v8 v3 v4) (782 l1 p2 (plus p3 p4) v6 v5
v4 v3) (sf5 l1 (plus p3 p4) p18m v5 v6 v1 v2) (514 l1 p4 v2
v1)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 122) (l l1));
 
aa(23):='(nil (l1 (120 l1) (sf l1 (plus (minus p3) (minus p5
)) p35m) (409 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p50m v1 v2 v3 v4) (418 l1 p4 v4 v3)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 123) (l l1));
 
aa(24):='(nil (l1 (134 l1) (sf l1 (plus (minus p3) (minus p5
)) p31m) (411 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p50m v1 v2 v3 v4) (418 l1 p4 v4 v3)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 124) (l l1));
 
aa(25):='(nil (l1 (165 l1) (sf l1 (plus (minus p2) (minus p5
)) p14m) (413 l1 (minus (plus (minus p2) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p50m v1 v2 v3 v4) (418 l1 p4 v4 v3)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 125) (l l1));
 
aa(26):='(((s0 (plus (minus p2) (minus p3)) p5m) (26)) (l1 (
415 l1 p5 v2 v1) (sf5 l1 (plus p1 p4) p50m v1 v2 v3 v4) (418
l1 p4 v4 v3)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 126) (l l1));
 
aa(27):='(nil (l1 (245 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p33m v1 v4) (667 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p50m v2 v3 v5 v6)
(418 l1 p4 v6 v5)));
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 127) (l l1));
 
aa(28):='(nil (l1 (269 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p29m v1 v4) (669 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p50m v2 v3 v5 v6)
(418 l1 p4 v6 v5)));
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 128) (l l1));
 
aa(29):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v4) (673 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p50m v2 v3 v5 v6)
(418 l1 p4 v6 v5)));
 
aaaa(29):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 129) (l l1));
 
aa(30):='(nil (l1 (435 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v3 v4 v1 v2) (422 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p34m) (127 l1)));
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 130) (l l1));
 
aa(31):='(nil (l1 (435 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v3 v4 v1 v2) (424 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p30m) (141 l1)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 131) (l l1));
 
aa(32):='(nil (l1 (435 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v3 v4 v1 v2) (426 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p21m) (147 l1)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 132) (l l1));
 
aa(33):='(nil (l1 (435 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v3 v4 v1 v2) (428 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p17m) (153 l1)));
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 133) (l l1));
 
aa(34):='(nil (l1 (435 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v3 v4 v1 v2) (430 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p16m) (161 l1)));
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 134) (l l1));
 
aa(35):='(((s0 (plus (minus p2) (minus p3)) p5m) (26)) (l1 (
435 l1 p5 v4 v3) (sf5 l1 (plus (minus p1) (minus p5)) p45m 
v3 v4 v1 v2) (438 l1 p4 v2 v1)));
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 135) (l l1));
 
aa(36):='(nil (l1 (435 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v5 v6 v2 v3) (674 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p32m v4 v1) (256 l1 p4 v1)));
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 136) (l l1));
 
aa(37):='(nil (l1 (435 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v5 v6 v2 v3) (676 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p28m v4 v1) (282 l1 p4 v1)));
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 137) (l l1));
 
aa(38):='(nil (l1 (435 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v5 v6 v2 v3) (678 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p27m v4 v1) (312 l1 p4 v1)));
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 138) (l l1));
 
aa(39):='(nil (l1 (435 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v5 v6 v2 v3) (682 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p22m v4 v1) (362 l1 p4 v1)));
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 139) (l l1));
 
aa(40):='(nil (l1 (435 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v5 v6 v2 v3) (684 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p20m v4 v1) (372 l1 p4 v1)));
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 140) (l l1));
 
aa(41):='(nil (l1 (435 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v5 v6 v2 v3) (686 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p15m v4 v1) (386 l1 p4 v1)));
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 141) (l l1));
 
aa(42):='(nil (l1 (435 l1 p5 v8 v7) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v7 v8 v3 v4) (784 l1 p2 (plus p3 p4) v6 v5
v4 v3) (sf5 l1 (plus p3 p4) p19m v5 v6 v1 v2) (504 l1 p4 v2
v1)));
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 142) (l l1));
 
aa(43):='(nil (l1 (435 l1 p5 v8 v7) (sf5 l1 (plus (minus p1)
(minus p5)) p45m v7 v8 v3 v4) (786 l1 p2 (plus p3 p4) v6 v5
v4 v3) (sf5 l1 (plus p3 p4) p18m v5 v6 v1 v2) (514 l1 p4 v2
v1)));
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 143) (l l1));
 
aa(44):='(nil (l1 (120 l1) (sf l1 (plus (minus p3) (minus p5
)) p35m) (443 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p44m v1 v2 v3 v4) (450 l1 p4 v4 v3)));
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 144) (l l1));
 
aa(45):='(nil (l1 (134 l1) (sf l1 (plus (minus p3) (minus p5
)) p31m) (445 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p44m v1 v2 v3 v4) (450 l1 p4 v4 v3)));
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 145) (l l1));
 
aa(46):='(((s0 (plus (minus p2) (minus p3)) p5m) (26)) (l1 (
447 l1 p5 v2 v1) (sf5 l1 (plus p1 p4) p44m v1 v2 v3 v4) (450
l1 p4 v4 v3)));
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 146) (l l1));
 
aa(47):='(nil (l1 (245 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p33m v1 v4) (689 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p44m v2 v3 v5 v6)
(450 l1 p4 v6 v5)));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 147) (l l1));
 
aa(48):='(nil (l1 (269 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p29m v1 v4) (691 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p44m v2 v3 v5 v6)
(450 l1 p4 v6 v5)));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 148) (l l1));
 
aa(49):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v4) (695 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p44m v2 v3 v5 v6)
(450 l1 p4 v6 v5)));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 149) (l l1));
 
aa(50):='(nil (l1 (467 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v3 v4 v1 v2) (454 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p34m) (127 l1)));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 150) (l l1));
 
aa(51):='(nil (l1 (467 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v3 v4 v1 v2) (456 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p30m) (141 l1)));
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 151) (l l1));
 
aa(52):='(nil (l1 (467 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v3 v4 v1 v2) (458 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p21m) (147 l1)));
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 152) (l l1));
 
aa(53):='(nil (l1 (467 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v3 v4 v1 v2) (460 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p17m) (153 l1)));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 153) (l l1));
 
aa(54):='(nil (l1 (467 l1 p5 v4 v3) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v3 v4 v1 v2) (462 l1 (plus p3 p4) v2 v1) (
sf l1 (plus p3 p4) p16m) (161 l1)));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 154) (l l1));
 
aa(55):='(nil (l1 (467 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v5 v6 v2 v3) (696 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p32m v4 v1) (256 l1 p4 v1)));
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 155) (l l1));
 
aa(56):='(nil (l1 (467 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v5 v6 v2 v3) (698 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p28m v4 v1) (282 l1 p4 v1)));
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 156) (l l1));
 
aa(57):='(nil (l1 (467 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v5 v6 v2 v3) (700 l1 p3 (plus p2 p4) v4 v3
v2) (sf3 l1 (plus p2 p4) p27m v4 v1) (312 l1 p4 v1)));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 157) (l l1));
 
aa(58):='(nil (l1 (467 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v5 v6 v2 v3) (704 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p22m v4 v1) (362 l1 p4 v1)));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 158) (l l1));
 
aa(59):='(nil (l1 (467 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v5 v6 v2 v3) (706 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p20m v4 v1) (372 l1 p4 v1)));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 159) (l l1));
 
aa(60):='(nil (l1 (467 l1 p5 v6 v5) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v5 v6 v2 v3) (708 l1 p2 (plus p3 p4) v4 v3
v2) (sf3 l1 (plus p3 p4) p15m v4 v1) (386 l1 p4 v1)));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 160) (l l1));
 
aa(61):='(nil (l1 (467 l1 p5 v8 v7) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v7 v8 v3 v4) (788 l1 p2 (plus p3 p4) v6 v5
v4 v3) (sf5 l1 (plus p3 p4) p19m v5 v6 v1 v2) (504 l1 p4 v2
v1)));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 161) (l l1));
 
aa(62):='(nil (l1 (467 l1 p5 v8 v7) (sf5 l1 (plus (minus p1)
(minus p5)) p39m v7 v8 v3 v4) (790 l1 p2 (plus p3 p4) v6 v5
v4 v3) (sf5 l1 (plus p3 p4) p18m v5 v6 v1 v2) (514 l1 p4 v2
v1)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 162) (l l1));
 
aa(63):='(nil (l1 (120 l1) (sf l1 (plus (minus p3) (minus p5
)) p35m) (473 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p38m v1 v2 v3 v4) (478 l1 p4 v4 v3)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 163) (l l1));
 
aa(64):='(nil (l1 (134 l1) (sf l1 (plus (minus p3) (minus p5
)) p31m) (475 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p38m v1 v2 v3 v4) (478 l1 p4 v4 v3)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 164) (l l1));
 
aa(65):='(nil (l1 (245 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p33m v1 v4) (711 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p38m v2 v3 v5 v6)
(478 l1 p4 v6 v5)));
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 165) (l l1));
 
aa(66):='(nil (l1 (269 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p29m v1 v4) (713 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p38m v2 v3 v5 v6)
(478 l1 p4 v6 v5)));
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 166) (l l1));
 
aa(67):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v4) (717 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p38m v2 v3 v5 v6)
(478 l1 p4 v6 v5)));
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 167) (l l1));
 
aa(68):='(nil (l1 (120 l1) (sf l1 (plus (minus p3) (minus p5
)) p35m) (483 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p25m v1 v2 v3 v4) (492 l1 p4 v4 v3)));
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 168) (l l1));
 
aa(69):='(nil (l1 (134 l1) (sf l1 (plus (minus p3) (minus p5
)) p31m) (485 l1 (minus (plus (minus p3) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p25m v1 v2 v3 v4) (492 l1 p4 v4 v3)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 169) (l l1));
 
aa(70):='(nil (l1 (165 l1) (sf l1 (plus (minus p2) (minus p5
)) p14m) (487 l1 (minus (plus (minus p2) (minus p5))) v2 v1)
(sf5 l1 (plus p1 p4) p25m v1 v2 v3 v4) (492 l1 p4 v4 v3)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 170) (l l1));
 
aa(71):='(((s0 (plus (minus p2) (minus p3)) p5m) (26)) (l1 (
489 l1 p5 v2 v1) (sf5 l1 (plus p1 p4) p25m v1 v2 v3 v4) (492
l1 p4 v4 v3)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 171) (l l1));
 
aa(72):='(nil (l1 (245 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p33m v1 v4) (719 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p25m v2 v3 v5 v6)
(492 l1 p4 v6 v5)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 172) (l l1));
 
aa(73):='(nil (l1 (269 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p29m v1 v4) (721 l1 p2 (minus (plus (minus p3) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p25m v2 v3 v5 v6)
(492 l1 p4 v6 v5)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 173) (l l1));
 
aa(74):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v4) (725 l1 p3 (minus (plus (minus p2) (
minus p5))) v4 v3 v2) (sf5 l1 (plus p1 p4) p25m v2 v3 v5 v6)
(492 l1 p4 v6 v5)));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 174) (l l1));
 
aa(75):='(nil (l1 (245 l1 p5 v2) (sf3 l1 (plus (minus p3) (
minus p5)) p33m v2 v3) (560 l1 p1 (plus p2 p4) v4 v3) (sf3 
l1 (plus p2 p4) p27m v4 v1) (312 l1 p4 v1)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 175) (l l1));
 
aa(76):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v4) (571 l1 p1 (minus (plus (minus p2) (
minus p5))) v4 v3) (sf3 l1 (plus p3 p4) p32m v3 v2) (256 l1
p4 v2)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 176) (l l1));
 
aa(77):='(nil (l1 (269 l1 p5 v2) (sf3 l1 (plus (minus p3) (
minus p5)) p29m v2 v3) (572 l1 p1 (plus p2 p4) v4 v3) (sf3 
l1 (plus p2 p4) p27m v4 v1) (312 l1 p4 v1)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 177) (l l1));
 
aa(78):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v4) (581 l1 p1 (minus (plus (minus p2) (
minus p5))) v4 v3) (sf3 l1 (plus p3 p4) p28m v3 v2) (282 l1
p4 v2)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 178) (l l1));
 
aa(79):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v3) (594 l1 p1 (plus p3 p4) v4 v3) (sf3 
l1 (plus p3 p4) p22m v4 v2) (362 l1 p4 v2)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 179) (l l1));
 
aa(80):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v3) (596 l1 p1 (plus p3 p4) v4 v3) (sf3 
l1 (plus p3 p4) p20m v4 v2) (372 l1 p4 v2)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 180) (l l1));
 
aa(81):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v3) (598 l1 p1 (plus p3 p4) v4 v3) (sf3 
l1 (plus p3 p4) p15m v4 v2) (386 l1 p4 v2)));
 
aaaa(81):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 181) (l l1));
 
aa(82):='(nil (l1 (619 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus
p1) (minus p5)) p49m v4 v5 v6 v1 v2 v3) (606 l1 (plus p3 p4)
v3 v2 v1) (sf l1 (plus p3 p4) p34m) (127 l1)));
 
aaaa(82):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 182) (l l1));
 
aa(83):='(nil (l1 (619 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus
p1) (minus p5)) p49m v4 v5 v6 v1 v2 v3) (608 l1 (plus p3 p4)
v3 v2 v1) (sf l1 (plus p3 p4) p30m) (141 l1)));
 
aaaa(83):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 183) (l l1));
 
aa(84):='(nil (l1 (619 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus
p1) (minus p5)) p49m v4 v5 v6 v1 v2 v3) (610 l1 (plus p3 p4)
v3 v2 v1) (sf l1 (plus p3 p4) p21m) (147 l1)));
 
aaaa(84):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 184) (l l1));
 
aa(85):='(nil (l1 (619 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus
p1) (minus p5)) p49m v4 v5 v6 v1 v2 v3) (612 l1 (plus p3 p4)
v3 v2 v1) (sf l1 (plus p3 p4) p17m) (153 l1)));
 
aaaa(85):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 185) (l l1));
 
aa(86):='(nil (l1 (619 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus
p1) (minus p5)) p49m v4 v5 v6 v1 v2 v3) (614 l1 (plus p3 p4)
v3 v2 v1) (sf l1 (plus p3 p4) p16m) (161 l1)));
 
aaaa(86):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 186) (l l1));
 
aa(87):='(((s0 (plus (minus p2) (minus p3)) p5m) (26)) (l1 (
619 l1 p5 v6 v5 v4) (sf7 l1 (plus (minus p1) (minus p5)) 
p49m v4 v5 v6 v1 v2 v3) (622 l1 p4 v3 v2 v1)));
 
aaaa(87):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 187) (l l1));
 
aa(88):='(nil (l1 (619 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p49m v6 v7 v8 v2 v3 v4) (750 l1 p2 (plus p3
p4) v5 v4 v3 v2) (sf3 l1 (plus p3 p4) p32m v5 v1) (256 l1 p4
v1)));
 
aaaa(88):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 188) (l l1));
 
aa(89):='(nil (l1 (619 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p49m v6 v7 v8 v2 v3 v4) (752 l1 p2 (plus p3
p4) v5 v4 v3 v2) (sf3 l1 (plus p3 p4) p28m v5 v1) (282 l1 p4
v1)));
 
aaaa(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 189) (l l1));
 
aa(90):='(nil (l1 (619 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p49m v6 v7 v8 v2 v3 v4) (754 l1 p3 (plus p2
p4) v5 v4 v3 v2) (sf3 l1 (plus p2 p4) p27m v5 v1) (312 l1 p4
v1)));
 
aaaa(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 190) (l l1));
 
aa(91):='(nil (l1 (619 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p49m v6 v7 v8 v2 v3 v4) (758 l1 p2 (plus p3
p4) v5 v4 v3 v2) (sf3 l1 (plus p3 p4) p22m v5 v1) (362 l1 p4
v1)));
 
aaaa(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 191) (l l1));
 
aa(92):='(nil (l1 (619 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p49m v6 v7 v8 v2 v3 v4) (760 l1 p2 (plus p3
p4) v5 v4 v3 v2) (sf3 l1 (plus p3 p4) p20m v5 v1) (372 l1 p4
v1)));
 
aaaa(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 192) (l l1));
 
aa(93):='(nil (l1 (619 l1 p5 v8 v7 v6) (sf7 l1 (plus (minus
p1) (minus p5)) p49m v6 v7 v8 v2 v3 v4) (762 l1 p2 (plus p3
p4) v5 v4 v3 v2) (sf3 l1 (plus p3 p4) p15m v5 v1) (386 l1 p4
v1)));
 
aaaa(93):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 193) (l l1));
 
aa(94):='(nil (l1 (619 l1 p5 v10 v9 v8) (sf7 l1 (plus (minus
p1) (minus p5)) p49m v8 v9 v10 v3 v4 v5) (796 l1 p2 (plus p3
p4) v7 v6 v5 v4 v3) (sf5 l1 (plus p3 p4) p19m v6 v7 v1 v2) (
504 l1 p4 v2 v1)));
 
aaaa(94):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 194) (l l1));
 
aa(95):='(nil (l1 (619 l1 p5 v10 v9 v8) (sf7 l1 (plus (minus
p1) (minus p5)) p49m v8 v9 v10 v3 v4 v5) (798 l1 p2 (plus p3
p4) v7 v6 v5 v4 v3) (sf5 l1 (plus p3 p4) p18m v6 v7 v1 v2) (
514 l1 p4 v2 v1)));
 
aaaa(95):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 195) (l l1));
 
aa(96):='(nil (l1 (120 l1) (sf l1 (plus (minus p3) (minus p5
)) p35m) (627 l1 (minus (plus (minus p3) (minus p5))) v3 v2
v1) (sf7 l1 (plus p1 p4) p48m v1 v2 v3 v4 v5 v6) (634 l1 p4
v6 v5 v4)));
 
aaaa(96):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 196) (l l1));
 
aa(97):='(nil (l1 (134 l1) (sf l1 (plus (minus p3) (minus p5
)) p31m) (629 l1 (minus (plus (minus p3) (minus p5))) v3 v2
v1) (sf7 l1 (plus p1 p4) p48m v1 v2 v3 v4 v5 v6) (634 l1 p4
v6 v5 v4)));
 
aaaa(97):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 197) (l l1));
 
aa(98):='(((s0 (plus (minus p2) (minus p3)) p5m) (26)) (l1 (
631 l1 p5 v3 v2 v1) (sf7 l1 (plus p1 p4) p48m v1 v2 v3 v4 v5
v6) (634 l1 p4 v6 v5 v4)));
 
aaaa(98):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 198) (l l1));
 
aa(99):='(nil (l1 (245 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p33m v1 v5) (765 l1 p2 (minus (plus (minus p3) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p48m v2 v3 v4
v6 v7 v8) (634 l1 p4 v8 v7 v6)));
 
aaaa(99):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 199) (l l1));
 
aa(100):='(nil (l1 (269 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p29m v1 v5) (767 l1 p2 (minus (plus (minus p3) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p48m v2 v3 v4
v6 v7 v8) (634 l1 p4 v8 v7 v6)));
 
aaaa(100):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7
v6 v5 v4 v3 v2 v1) (ijk 200) (l l1));
 
;end;
 
