aaaaa:='((k) (l l1) (nop 0) (nep 4) (namel (pr5 pr1b pr2 
pr3b)) (inpl (1 -1 -1 -1)) (onshl (0 0 0 0)));
 
aa(1):='(((s4 (plus (minus p3) (minus p4)) p4m v1 v2 v3 v4 
v5 v6 v7 v8) (15 p1 v8 v7 v6 v5)) (l1 (593 l1 p3 v4 v3 v2 v1
)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 1) (l l1));
 
aa(2):='(nil (l1 (32 l1) (sf l1 (plus (minus p2) (minus p3))
p33m) (29 l1)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 2) (l
l1));
 
aa(3):='(nil (l1 (40 l1) (sf l1 (plus p2 p4) p32m) (37 l1)))
;
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 3) (l
l1));
 
aa(4):='(nil (l1 (56 l1) (sf l1 (plus (minus p2) (minus p3))
p29m) (53 l1)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 4) (l
l1));
 
aa(5):='(nil (l1 (64 l1) (sf l1 (plus p2 p4) p28m) (61 l1)))
;
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 5) (l
l1));
 
aa(6):='(nil (l1 (72 l1) (sf l1 (plus (minus p2) (minus p3))
p27m) (69 l1)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 6) (l
l1));
 
aa(7):='(nil (l1 (76 l1) (sf l1 (plus p2 p4) p26m) (73 l1)))
;
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 7) (l
l1));
 
aa(8):='(nil (l1 (82 l1) (sf l1 (plus (minus p2) (minus p3))
p23m) (79 l1)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 8) (l
l1));
 
aa(9):='(nil (l1 (86 l1) (sf l1 (plus p2 p4) p22m) (83 l1)))
;
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 9) (l
l1));
 
aa(10):='(nil (l1 (90 l1) (sf l1 (plus p2 p4) p13m) (87 l1))
);
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 10) (
l l1));
 
aa(11):='(nil (l1 (94 l1) (sf l1 (plus p2 p4) p9m) (91 l1)))
;
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 11) (
l l1));
 
aa(12):='(nil (l1 (100 l1) (sf l1 (plus p2 p4) p8m) (97 l1))
);
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 12) (
l l1));
 
aa(13):='(nil (l1 (105 l1) (sf l1 (plus p2 p4) p6m) (102 l1)
));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 13) (
l l1));
 
aa(14):='(nil (l1 (123 l1 p3 v1) (sf3 l1 (plus (minus p2) (
minus p3)) p39m v1 v2) (120 l1 p4 v2)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 14) (l l1));
 
aa(15):='(nil (l1 (131 l1 p3 v2) (sf3 l1 (plus p2 p4) p38m 
v2 v1) (128 l1 p4 v1)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 15) (l l1));
 
aa(16):='(nil (l1 (147 l1 p3 v1) (sf3 l1 (plus (minus p2) (
minus p3)) p35m v1 v2) (144 l1 p4 v2)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 16) (l l1));
 
aa(17):='(nil (l1 (155 l1 p3 v2) (sf3 l1 (plus p2 p4) p34m 
v2 v1) (152 l1 p4 v1)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 17) (l l1));
 
aa(18):='(nil (l1 (167 l1 p3 v1) (sf3 l1 (plus (minus p2) (
minus p3)) p25m v1 v2) (164 l1 p4 v2)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 18) (l l1));
 
aa(19):='(nil (l1 (175 l1 p3 v2) (sf3 l1 (plus p2 p4) p24m 
v2 v1) (172 l1 p4 v1)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 19) (l l1));
 
aa(20):='(nil (l1 (187 l1 p3 v1) (sf3 l1 (plus (minus p2) (
minus p3)) p21m v1 v2) (184 l1 p4 v2)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 20) (l l1));
 
aa(21):='(nil (l1 (197 l1 p3 v2) (sf3 l1 (plus p2 p4) p20m 
v2 v1) (194 l1 p4 v1)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 21) (l l1));
 
aa(22):='(nil (l1 (219 l1 p3 v1) (sf3 l1 (plus (minus p2) (
minus p3)) p19m v1 v2) (216 l1 p4 v2)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 22) (l l1));
 
aa(23):='(nil (l1 (241 l1 p3 v2) (sf3 l1 (plus p2 p4) p18m 
v2 v1) (238 l1 p4 v1)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 23) (l l1));
 
aa(24):='(nil (l1 (249 l1 p3 v2) (sf3 l1 (plus p2 p4) p15m 
v2 v1) (246 l1 p4 v1)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 24) (l l1));
 
aa(25):='(nil (l1 (257 l1 p3 v2) (sf3 l1 (plus p2 p4) p14m 
v2 v1) (254 l1 p4 v1)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 25) (l l1));
 
aa(26):='(nil (l1 (265 l1 p3 v2) (sf3 l1 (plus p2 p4) p12m 
v2 v1) (262 l1 p4 v1)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 26) (l l1));
 
aa(27):='(nil (l1 (277 l1 p3 v2) (sf3 l1 (plus p2 p4) p7m v2
v1) (274 l1 p4 v1)));
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 27) (l l1));
 
aa(28):='(nil (l1 (293 l1 p3 v2 v1) (sf5 l1 (plus (minus p2)
(minus p3)) p43m v1 v2 v3 v4) (290 l1 p4 v4 v3)));
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 28) (l l1));
 
aa(29):='(nil (l1 (301 l1 p3 v4 v3) (sf5 l1 (plus p2 p4) 
p42m v3 v4 v1 v2) (298 l1 p4 v2 v1)));
 
aaaa(29):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 29) (l l1));
 
aa(30):='(nil (l1 (317 l1 p3 v2 v1) (sf5 l1 (plus (minus p2)
(minus p3)) p37m v1 v2 v3 v4) (314 l1 p4 v4 v3)));
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 30) (l l1));
 
aa(31):='(nil (l1 (325 l1 p3 v4 v3) (sf5 l1 (plus p2 p4) 
p36m v3 v4 v1 v2) (322 l1 p4 v2 v1)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 31) (l l1));
 
aa(32):='(nil (l1 (341 l1 p3 v2 v1) (sf5 l1 (plus (minus p2)
(minus p3)) p31m v1 v2 v3 v4) (338 l1 p4 v4 v3)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 32) (l l1));
 
aa(33):='(nil (l1 (349 l1 p3 v4 v3) (sf5 l1 (plus p2 p4) 
p30m v3 v4 v1 v2) (346 l1 p4 v2 v1)));
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 33) (l l1));
 
aa(34):='(nil (l1 (357 l1 p3 v4 v3) (sf5 l1 (plus p2 p4) 
p17m v3 v4 v1 v2) (354 l1 p4 v2 v1)));
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 34) (l l1));
 
aa(35):='(nil (l1 (365 l1 p3 v4 v3) (sf5 l1 (plus p2 p4) 
p11m v3 v4 v1 v2) (362 l1 p4 v2 v1)));
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 35) (l l1));
 
aa(36):='(nil (l1 (373 l1 p3 v4 v3) (sf5 l1 (plus p2 p4) 
p10m v3 v4 v1 v2) (370 l1 p4 v2 v1)));
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 36) (l l1));
 
aa(37):='(nil (l1 (463 l1 p3 v3 v2 v1) (sf7 l1 (plus (minus
p2) (minus p3)) p41m v1 v2 v3 v4 v5 v6) (460 l1 p4 v6 v5 v4)
));
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 37) (l l1));
 
aa(38):='(nil (l1 (471 l1 p3 v6 v5 v4) (sf7 l1 (plus p2 p4)
p40m v4 v5 v6 v1 v2 v3) (468 l1 p4 v3 v2 v1)));
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 38) (l l1));
 
aa(39):='(nil (l1 (479 l1 p3 v6 v5 v4) (sf7 l1 (plus p2 p4)
p16m v4 v5 v6 v1 v2 v3) (476 l1 p4 v3 v2 v1)));
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 39) (l l1));
 
;end;
 
