aaaaa:='((k) (l l1) (nop 0) (nep 5) (namel (pr11 pr1b pr1 
pr2b pr2)) (inpl (1 -1 -1 -1 -1)) (onshl (0 0 0 0 0)));
 
aa(1):='(((s0 (plus p2 p3) p3m) (s0 (plus (minus p4) (minus
p5)) p9m) (17) (15)) (l1 (105 l1)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 1) (l
l1));
 
aa(2):='(((s11 (plus p2 p3) p4m v4 v1) (s11 (plus (minus p4)
(minus p5)) p8m v2 v3) (20 p3 v1) (21 (plus p2 p3) (minus (
plus (minus p4) (minus p5))) v4 v3)) (l1 (262 l1 (plus (
minus p4) (minus p5)) v2)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 2) (l l1));
 
aa(3):='(((s11 (plus p2 p3) p4m v4 v1) (s11 (plus (minus p4)
(minus p5)) p6m v2 v3) (20 p3 v1) (24 (plus p2 p3) (minus (
plus (minus p4) (minus p5))) v4 v3)) (l1 (263 l1 (plus (
minus p4) (minus p5)) v2)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 3) (l l1));
 
aa(4):='(((s11 (plus p2 p3) p4m v8 v1) (s3 (plus (minus p4)
(minus p5)) p7m v2 v3 v4 v5 v6 v7) (20 p3 v1) (30 (plus p4 
p5) (plus p2 p3) v8 v5 v7 v6)) (l1 (496 l1 p4 v4 v3 v2)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 4) (l l1));
 
aa(5):='(((s6 (plus p1 p2) p10m v1 v2 v3 v4 v5 v6 v7 v8 v9 
v10 v11 v12) (s0 (plus (minus p4) (minus p5)) p9m) (36 (plus
p4 p5) v6 v5 v4 v3 v2 v1) (33 p1 v12 v11 v10 v9 v8 v7)) (l1
(105 l1)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 5) (l l1));
 
aa(6):='(((s6 (plus (minus p1) (minus p3)) p10m v7 v8 v9 v10
v11 v12 v1 v2 v3 v4 v5 v6) (s0 (plus (minus p4) (minus p5))
p9m) (35 (plus p4 p5) v6 v5 v4 v3 v2 v1) (34 p1 v12 v11 v10
v9 v8 v7)) (l1 (105 l1)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 6) (l l1));
 
aa(7):='(nil (l1 (66 l1) (sf l1 (plus (minus p2) (minus p5))
p37m) (38 l1) (sf l1 (plus p1 p4) p40m) (45 l1)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 7) (l
l1));
 
aa(8):='(nil (l1 (76 l1) (sf l1 (plus (minus p3) (minus p5))
p35m) (40 l1) (sf l1 (plus p1 p4) p40m) (45 l1)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 8) (l
l1));
 
aa(9):='(nil (l1 (80 l1) (sf l1 (plus (minus p2) (minus p5))
p31m) (42 l1) (sf l1 (plus p1 p4) p40m) (45 l1)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 9) (l
l1));
 
aa(10):='(nil (l1 (88 l1) (sf l1 (plus (minus p3) (minus p5)
) p29m) (44 l1) (sf l1 (plus p1 p4) p40m) (45 l1)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 10) (
l l1));
 
aa(11):='(((s0 (plus p2 p3) p3m) (17)) (l1 (48 l1) (sf l1 (
plus p1 p4) p40m) (45 l1)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 11) (
l l1));
 
aa(12):='(nil (l1 (143 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p34m v1 v2) (134 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p40m) (45 l1)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 12) (l l1));
 
aa(13):='(nil (l1 (157 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p32m v1 v2) (148 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p40m) (45 l1)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 13) (l l1));
 
aa(14):='(nil (l1 (167 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p28m v1 v2) (158 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p40m) (45 l1)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 14) (l l1));
 
aa(15):='(nil (l1 (185 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p26m v1 v2) (176 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p40m) (45 l1)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 15) (l l1));
 
aa(16):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v2) (186 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p40m) (45 l1)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 16) (l l1));
 
aa(17):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v2) (206 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p40m) (45 l1)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 17) (l l1));
 
aa(18):='(((s11 (plus p2 p3) p4m v2 v1) (20 p3 v1)) (l1 (255
l1 (plus p2 p3) v2) (sf l1 (plus p1 p4) p40m) (45 l1)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 18) (l l1));
 
aa(19):='(nil (l1 (46 l1) (sf l1 (plus (minus p1) (minus p5)
) p40m) (37 l1) (sf l1 (plus p3 p4) p37m) (65 l1)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 19) (
l l1));
 
aa(20):='(nil (l1 (46 l1) (sf l1 (plus (minus p1) (minus p5)
) p40m) (39 l1) (sf l1 (plus p2 p4) p35m) (75 l1)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 20) (
l l1));
 
aa(21):='(nil (l1 (46 l1) (sf l1 (plus (minus p1) (minus p5)
) p40m) (41 l1) (sf l1 (plus p3 p4) p31m) (79 l1)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 21) (
l l1));
 
aa(22):='(nil (l1 (46 l1) (sf l1 (plus (minus p1) (minus p5)
) p40m) (43 l1) (sf l1 (plus p2 p4) p29m) (87 l1)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 22) (
l l1));
 
aa(23):='(((s0 (plus p2 p3) p3m) (17)) (l1 (46 l1) (sf l1 (
plus (minus p1) (minus p5)) p40m) (47 l1)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 23) (
l l1));
 
aa(24):='(nil (l1 (46 l1) (sf l1 (plus (minus p1) (minus p5)
) p40m) (135 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p34m v2 v1) (142 l1 p4 v1)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 24) (l l1));
 
aa(25):='(nil (l1 (46 l1) (sf l1 (plus (minus p1) (minus p5)
) p40m) (149 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p32m v2 v1) (156 l1 p4 v1)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 25) (l l1));
 
aa(26):='(nil (l1 (46 l1) (sf l1 (plus (minus p1) (minus p5)
) p40m) (159 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p28m v2 v1) (166 l1 p4 v1)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 26) (l l1));
 
aa(27):='(nil (l1 (46 l1) (sf l1 (plus (minus p1) (minus p5)
) p40m) (177 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p26m v2 v1) (184 l1 p4 v1)));
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 27) (l l1));
 
aa(28):='(nil (l1 (46 l1) (sf l1 (plus (minus p1) (minus p5)
) p40m) (187 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p25m v2 v1) (204 l1 p4 v1)));
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 28) (l l1));
 
aa(29):='(nil (l1 (46 l1) (sf l1 (plus (minus p1) (minus p5)
) p40m) (207 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p24m v2 v1) (224 l1 p4 v1)));
 
aaaa(29):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 29) (l l1));
 
aa(30):='(((s11 (plus p2 p3) p4m v2 v1) (20 p3 v1)) (l1 (46
l1) (sf l1 (plus (minus p1) (minus p5)) p40m) (254 l1 (plus
p2 p3) v2)));
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 30) (l l1));
 
aa(31):='(nil (l1 (66 l1) (sf l1 (plus (minus p2) (minus p5)
) p37m) (50 l1) (sf l1 (plus p1 p4) p38m) (57 l1)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 31) (
l l1));
 
aa(32):='(nil (l1 (76 l1) (sf l1 (plus (minus p3) (minus p5)
) p35m) (52 l1) (sf l1 (plus p1 p4) p38m) (57 l1)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 32) (
l l1));
 
aa(33):='(nil (l1 (80 l1) (sf l1 (plus (minus p2) (minus p5)
) p31m) (54 l1) (sf l1 (plus p1 p4) p38m) (57 l1)));
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 33) (
l l1));
 
aa(34):='(nil (l1 (88 l1) (sf l1 (plus (minus p3) (minus p5)
) p29m) (56 l1) (sf l1 (plus p1 p4) p38m) (57 l1)));
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 34) (
l l1));
 
aa(35):='(((s0 (plus p2 p3) p3m) (17)) (l1 (60 l1) (sf l1 (
plus p1 p4) p38m) (57 l1)));
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 35) (
l l1));
 
aa(36):='(nil (l1 (143 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p34m v1 v2) (136 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p38m) (57 l1)));
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 36) (l l1));
 
aa(37):='(nil (l1 (157 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p32m v1 v2) (150 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p38m) (57 l1)));
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 37) (l l1));
 
aa(38):='(nil (l1 (167 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p28m v1 v2) (160 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p38m) (57 l1)));
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 38) (l l1));
 
aa(39):='(nil (l1 (185 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p26m v1 v2) (178 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p38m) (57 l1)));
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 39) (l l1));
 
aa(40):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v2) (188 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p38m) (57 l1)));
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 40) (l l1));
 
aa(41):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v2) (208 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p38m) (57 l1)));
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 41) (l l1));
 
aa(42):='(((s11 (plus p2 p3) p4m v2 v1) (20 p3 v1)) (l1 (257
l1 (plus p2 p3) v2) (sf l1 (plus p1 p4) p38m) (57 l1)));
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 42) (l l1));
 
aa(43):='(nil (l1 (58 l1) (sf l1 (plus (minus p1) (minus p5)
) p38m) (49 l1) (sf l1 (plus p3 p4) p37m) (65 l1)));
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 43) (
l l1));
 
aa(44):='(nil (l1 (58 l1) (sf l1 (plus (minus p1) (minus p5)
) p38m) (51 l1) (sf l1 (plus p2 p4) p35m) (75 l1)));
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 44) (
l l1));
 
aa(45):='(nil (l1 (58 l1) (sf l1 (plus (minus p1) (minus p5)
) p38m) (53 l1) (sf l1 (plus p3 p4) p31m) (79 l1)));
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 45) (
l l1));
 
aa(46):='(nil (l1 (58 l1) (sf l1 (plus (minus p1) (minus p5)
) p38m) (55 l1) (sf l1 (plus p2 p4) p29m) (87 l1)));
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 46) (
l l1));
 
aa(47):='(((s0 (plus p2 p3) p3m) (17)) (l1 (58 l1) (sf l1 (
plus (minus p1) (minus p5)) p38m) (59 l1)));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 47) (
l l1));
 
aa(48):='(nil (l1 (58 l1) (sf l1 (plus (minus p1) (minus p5)
) p38m) (137 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p34m v2 v1) (142 l1 p4 v1)));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 48) (l l1));
 
aa(49):='(nil (l1 (58 l1) (sf l1 (plus (minus p1) (minus p5)
) p38m) (151 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p32m v2 v1) (156 l1 p4 v1)));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 49) (l l1));
 
aa(50):='(nil (l1 (58 l1) (sf l1 (plus (minus p1) (minus p5)
) p38m) (161 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p28m v2 v1) (166 l1 p4 v1)));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 50) (l l1));
 
aa(51):='(nil (l1 (58 l1) (sf l1 (plus (minus p1) (minus p5)
) p38m) (179 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p26m v2 v1) (184 l1 p4 v1)));
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 51) (l l1));
 
aa(52):='(nil (l1 (58 l1) (sf l1 (plus (minus p1) (minus p5)
) p38m) (189 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p25m v2 v1) (204 l1 p4 v1)));
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 52) (l l1));
 
aa(53):='(nil (l1 (58 l1) (sf l1 (plus (minus p1) (minus p5)
) p38m) (209 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p24m v2 v1) (224 l1 p4 v1)));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 53) (l l1));
 
aa(54):='(((s11 (plus p2 p3) p4m v2 v1) (20 p3 v1)) (l1 (58
l1) (sf l1 (plus (minus p1) (minus p5)) p38m) (256 l1 (plus
p2 p3) v2)));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 54) (l l1));
 
aa(55):='(((s0 (plus p2 p3) p3m) (17)) (l1 (70 l1) (sf l1 (
plus p1 p4) p36m) (67 l1)));
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 55) (
l l1));
 
aa(56):='(nil (l1 (167 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p28m v1 v2) (162 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p36m) (67 l1)));
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 56) (l l1));
 
aa(57):='(nil (l1 (185 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p26m v1 v2) (180 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p36m) (67 l1)));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 57) (l l1));
 
aa(58):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v2) (190 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p36m) (67 l1)));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 58) (l l1));
 
aa(59):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v2) (210 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p36m) (67 l1)));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 59) (l l1));
 
aa(60):='(((s11 (plus p2 p3) p4m v2 v1) (20 p3 v1)) (l1 (259
l1 (plus p2 p3) v2) (sf l1 (plus p1 p4) p36m) (67 l1)));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 60) (l l1));
 
aa(61):='(((s0 (plus p2 p3) p3m) (17)) (l1 (68 l1) (sf l1 (
plus (minus p1) (minus p5)) p36m) (69 l1)));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 61) (
l l1));
 
aa(62):='(nil (l1 (68 l1) (sf l1 (plus (minus p1) (minus p5)
) p36m) (163 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p28m v2 v1) (166 l1 p4 v1)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 62) (l l1));
 
aa(63):='(nil (l1 (68 l1) (sf l1 (plus (minus p1) (minus p5)
) p36m) (181 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p26m v2 v1) (184 l1 p4 v1)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 63) (l l1));
 
aa(64):='(nil (l1 (68 l1) (sf l1 (plus (minus p1) (minus p5)
) p36m) (191 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p25m v2 v1) (204 l1 p4 v1)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 64) (l l1));
 
aa(65):='(nil (l1 (68 l1) (sf l1 (plus (minus p1) (minus p5)
) p36m) (211 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p24m v2 v1) (224 l1 p4 v1)));
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 65) (l l1));
 
aa(66):='(((s11 (plus p2 p3) p4m v2 v1) (20 p3 v1)) (l1 (68
l1) (sf l1 (plus (minus p1) (minus p5)) p36m) (258 l1 (plus
p2 p3) v2)));
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 66) (l l1));
 
aa(67):='(((s0 (plus p2 p3) p3m) (17)) (l1 (84 l1) (sf l1 (
plus p1 p4) p30m) (81 l1)));
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 67) (
l l1));
 
aa(68):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v2) (194 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p30m) (81 l1)));
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 68) (l l1));
 
aa(69):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v2) (212 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p30m) (81 l1)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 69) (l l1));
 
aa(70):='(((s0 (plus p2 p3) p3m) (17)) (l1 (82 l1) (sf l1 (
plus (minus p1) (minus p5)) p30m) (83 l1)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 70) (
l l1));
 
aa(71):='(nil (l1 (82 l1) (sf l1 (plus (minus p1) (minus p5)
) p30m) (195 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p25m v2 v1) (204 l1 p4 v1)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 71) (l l1));
 
aa(72):='(nil (l1 (82 l1) (sf l1 (plus (minus p1) (minus p5)
) p30m) (213 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p24m v2 v1) (224 l1 p4 v1)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 72) (l l1));
 
aa(73):='(((s0 (plus p2 p3) p3m) (17)) (l1 (92 l1) (sf l1 (
plus p1 p4) p19m) (89 l1)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 73) (
l l1));
 
aa(74):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v2) (196 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p19m) (89 l1)));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 74) (l l1));
 
aa(75):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v2) (216 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p19m) (89 l1)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 75) (l l1));
 
aa(76):='(((s11 (plus p2 p3) p4m v2 v1) (20 p3 v1)) (l1 (261
l1 (plus p2 p3) v2) (sf l1 (plus p1 p4) p19m) (89 l1)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 76) (l l1));
 
aa(77):='(((s0 (plus p2 p3) p3m) (17)) (l1 (90 l1) (sf l1 (
plus (minus p1) (minus p5)) p19m) (91 l1)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 77) (
l l1));
 
aa(78):='(nil (l1 (90 l1) (sf l1 (plus (minus p1) (minus p5)
) p19m) (197 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p25m v2 v1) (204 l1 p4 v1)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 78) (l l1));
 
aa(79):='(nil (l1 (90 l1) (sf l1 (plus (minus p1) (minus p5)
) p19m) (217 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p24m v2 v1) (224 l1 p4 v1)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 79) (l l1));
 
aa(80):='(((s11 (plus p2 p3) p4m v2 v1) (20 p3 v1)) (l1 (90
l1) (sf l1 (plus (minus p1) (minus p5)) p19m) (260 l1 (plus
p2 p3) v2)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 80) (l l1));
 
aa(81):='(((s0 (plus p2 p3) p3m) (17)) (l1 (96 l1) (sf l1 (
plus p1 p4) p15m) (93 l1)));
 
aaaa(81):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 81) (
l l1));
 
aa(82):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v2) (198 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p15m) (93 l1)));
 
aaaa(82):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 82) (l l1));
 
aa(83):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v2) (218 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p15m) (93 l1)));
 
aaaa(83):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 83) (l l1));
 
aa(84):='(((s0 (plus p2 p3) p3m) (17)) (l1 (94 l1) (sf l1 (
plus (minus p1) (minus p5)) p15m) (95 l1)));
 
aaaa(84):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 84) (
l l1));
 
aa(85):='(nil (l1 (94 l1) (sf l1 (plus (minus p1) (minus p5)
) p15m) (199 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p25m v2 v1) (204 l1 p4 v1)));
 
aaaa(85):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 85) (l l1));
 
aa(86):='(nil (l1 (94 l1) (sf l1 (plus (minus p1) (minus p5)
) p15m) (219 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p24m v2 v1) (224 l1 p4 v1)));
 
aaaa(86):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 86) (l l1));
 
aa(87):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v2) (200 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p14m) (99 l1)));
 
aaaa(87):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 87) (l l1));
 
aa(88):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v2) (220 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p14m) (99 l1)));
 
aaaa(88):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 88) (l l1));
 
aa(89):='(nil (l1 (100 l1) (sf l1 (plus (minus p1) (minus p5
)) p14m) (201 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p25m v2 v1) (204 l1 p4 v1)));
 
aaaa(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 89) (l l1));
 
aa(90):='(nil (l1 (100 l1) (sf l1 (plus (minus p1) (minus p5
)) p14m) (221 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p24m v2 v1) (224 l1 p4 v1)));
 
aaaa(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 90) (l l1));
 
aa(91):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v2) (202 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p12m) (102 l1)));
 
aaaa(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 91) (l l1));
 
aa(92):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v2) (222 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p12m) (102 l1)));
 
aaaa(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 92) (l l1));
 
aa(93):='(nil (l1 (103 l1) (sf l1 (plus (minus p1) (minus p5
)) p12m) (203 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p25m v2 v1) (204 l1 p4 v1)));
 
aaaa(93):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 93) (l l1));
 
aa(94):='(nil (l1 (103 l1) (sf l1 (plus (minus p1) (minus p5
)) p12m) (223 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p24m v2 v1) (224 l1 p4 v1)));
 
aaaa(94):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 94) (l l1));
 
aa(95):='(nil (l1 (66 l1) (sf l1 (plus (minus p2) (minus p5)
) p37m) (107 l1 (minus (plus (minus p2) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p43m v1 v2) (114 l1 p4 v2)));
 
aaaa(95):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 95) (l l1));
 
aa(96):='(nil (l1 (76 l1) (sf l1 (plus (minus p3) (minus p5)
) p35m) (109 l1 (minus (plus (minus p3) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p43m v1 v2) (114 l1 p4 v2)));
 
aaaa(96):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 96) (l l1));
 
aa(97):='(nil (l1 (80 l1) (sf l1 (plus (minus p2) (minus p5)
) p31m) (111 l1 (minus (plus (minus p2) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p43m v1 v2) (114 l1 p4 v2)));
 
aaaa(97):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 97) (l l1));
 
aa(98):='(nil (l1 (88 l1) (sf l1 (plus (minus p3) (minus p5)
) p29m) (113 l1 (minus (plus (minus p3) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p43m v1 v2) (114 l1 p4 v2)));
 
aaaa(98):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 98) (l l1));
 
aa(99):='(((s0 (plus p2 p3) p5m) (16)) (l1 (117 l1 p5 v1) (
sf3 l1 (plus p1 p4) p43m v1 v2) (114 l1 p4 v2)));
 
aaaa(99):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 99) (l l1));
 
aa(100):='(((s0 (plus p2 p3) p3m) (17)) (l1 (119 l1 p5 v1) (
sf3 l1 (plus p1 p4) p43m v1 v2) (114 l1 p4 v2)));
 
aaaa(100):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 100) (l l1));
 
;end;
 
