aa(1):='(nil (l1 (143 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p34m v1 v3) (327 l1 p3 (minus (plus (minus p2) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p43m v2 v4) (114 l1
p4 v4)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 101) (l l1));
 
aa(2):='(nil (l1 (157 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p32m v1 v3) (329 l1 p2 (minus (plus (minus p3) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p43m v2 v4) (114 l1
p4 v4)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 102) (l l1));
 
aa(3):='(nil (l1 (167 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p28m v1 v3) (331 l1 p3 (minus (plus (minus p2) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p43m v2 v4) (114 l1
p4 v4)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 103) (l l1));
 
aa(4):='(nil (l1 (185 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p26m v1 v3) (333 l1 p2 (minus (plus (minus p3) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p43m v2 v4) (114 l1
p4 v4)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 104) (l l1));
 
aa(5):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v3) (335 l1 p3 (minus (plus (minus p2) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p43m v2 v4) (114 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 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v3) (337 l1 p2 (minus (plus (minus p3) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p43m v2 v4) (114 l1
p4 v4)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 106) (l l1));
 
aa(7):='(((s11 (plus p2 p3) p4m v3 v1) (20 p3 v1)) (l1 (397
l1 p5 v3 v2) (sf3 l1 (plus p1 p4) p43m v2 v4) (114 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 (115 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v2 v1) (106 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p37m) (65 l1)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 108) (l l1));
 
aa(9):='(nil (l1 (115 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v2 v1) (108 l1 (plus p2 p4) v1) (sf l1 (plus
p2 p4) p35m) (75 l1)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 109) (l l1));
 
aa(10):='(nil (l1 (115 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v2 v1) (110 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p31m) (79 l1)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 110) (l l1));
 
aa(11):='(nil (l1 (115 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v2 v1) (112 l1 (plus p2 p4) v1) (sf l1 (plus
p2 p4) p29m) (87 l1)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 111) (l l1));
 
aa(12):='(((s0 (plus p2 p3) p5m) (16)) (l1 (115 l1 p5 v2) (
sf3 l1 (plus (minus p1) (minus p5)) p43m v2 v1) (116 l1 p4 
v1)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 112) (l l1));
 
aa(13):='(((s0 (plus p2 p3) p3m) (17)) (l1 (115 l1 p5 v2) (
sf3 l1 (plus (minus p1) (minus p5)) p43m v2 v1) (118 l1 p4 
v1)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 113) (l l1));
 
aa(14):='(nil (l1 (115 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v4 v2) (326 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p34m v3 v1) (142 l1 p4 v1)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 114) (l l1));
 
aa(15):='(nil (l1 (115 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v4 v2) (328 l1 p3 (plus p2 p4) v3 v2) (sf3 
l1 (plus p2 p4) p32m v3 v1) (156 l1 p4 v1)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 115) (l l1));
 
aa(16):='(nil (l1 (115 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v4 v2) (330 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p28m v3 v1) (166 l1 p4 v1)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 116) (l l1));
 
aa(17):='(nil (l1 (115 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v4 v2) (332 l1 p3 (plus p2 p4) v3 v2) (sf3 
l1 (plus p2 p4) p26m v3 v1) (184 l1 p4 v1)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 117) (l l1));
 
aa(18):='(nil (l1 (115 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v4 v2) (334 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p25m v3 v1) (204 l1 p4 v1)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 118) (l l1));
 
aa(19):='(nil (l1 (115 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v4 v2) (336 l1 p3 (plus p2 p4) v3 v2) (sf3 
l1 (plus p2 p4) p24m v3 v1) (224 l1 p4 v1)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 119) (l l1));
 
aa(20):='(((s11 (plus p2 p3) p4m v3 v1) (20 p3 v1)) (l1 (115
l1 p5 v4) (sf3 l1 (plus (minus p1) (minus p5)) p43m v4 v2) (
396 l1 p4 v3 v2)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 120) (l l1));
 
aa(21):='(nil (l1 (66 l1) (sf l1 (plus (minus p2) (minus p5)
) p37m) (121 l1 (minus (plus (minus p2) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p41m v1 v2) (128 l1 p4 v2)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 121) (l l1));
 
aa(22):='(nil (l1 (76 l1) (sf l1 (plus (minus p3) (minus p5)
) p35m) (123 l1 (minus (plus (minus p3) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p41m v1 v2) (128 l1 p4 v2)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 122) (l l1));
 
aa(23):='(nil (l1 (80 l1) (sf l1 (plus (minus p2) (minus p5)
) p31m) (125 l1 (minus (plus (minus p2) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p41m v1 v2) (128 l1 p4 v2)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 123) (l l1));
 
aa(24):='(nil (l1 (88 l1) (sf l1 (plus (minus p3) (minus p5)
) p29m) (127 l1 (minus (plus (minus p3) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p41m v1 v2) (128 l1 p4 v2)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 124) (l l1));
 
aa(25):='(((s0 (plus p2 p3) p5m) (16)) (l1 (131 l1 p5 v1) (
sf3 l1 (plus p1 p4) p41m v1 v2) (128 l1 p4 v2)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 125) (l l1));
 
aa(26):='(((s0 (plus p2 p3) p3m) (17)) (l1 (133 l1 p5 v1) (
sf3 l1 (plus p1 p4) p41m v1 v2) (128 l1 p4 v2)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 126) (l l1));
 
aa(27):='(nil (l1 (143 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p34m v1 v3) (339 l1 p3 (minus (plus (minus p2) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p41m v2 v4) (128 l1
p4 v4)));
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 127) (l l1));
 
aa(28):='(nil (l1 (157 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p32m v1 v3) (341 l1 p2 (minus (plus (minus p3) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p41m v2 v4) (128 l1
p4 v4)));
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 128) (l l1));
 
aa(29):='(nil (l1 (167 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p28m v1 v3) (343 l1 p3 (minus (plus (minus p2) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p41m v2 v4) (128 l1
p4 v4)));
 
aaaa(29):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 129) (l l1));
 
aa(30):='(nil (l1 (185 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p26m v1 v3) (345 l1 p2 (minus (plus (minus p3) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p41m v2 v4) (128 l1
p4 v4)));
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 130) (l l1));
 
aa(31):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v3) (347 l1 p3 (minus (plus (minus p2) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p41m v2 v4) (128 l1
p4 v4)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 131) (l l1));
 
aa(32):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v3) (349 l1 p2 (minus (plus (minus p3) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p41m v2 v4) (128 l1
p4 v4)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 132) (l l1));
 
aa(33):='(((s11 (plus p2 p3) p4m v3 v1) (20 p3 v1)) (l1 (399
l1 p5 v2 v3) (sf3 l1 (plus p1 p4) p41m v2 v4) (128 l1 p4 v4)
));
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 133) (l l1));
 
aa(34):='(nil (l1 (129 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p41m v2 v1) (120 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p37m) (65 l1)));
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 134) (l l1));
 
aa(35):='(nil (l1 (129 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p41m v2 v1) (122 l1 (plus p2 p4) v1) (sf l1 (plus
p2 p4) p35m) (75 l1)));
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 135) (l l1));
 
aa(36):='(nil (l1 (129 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p41m v2 v1) (124 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p31m) (79 l1)));
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 136) (l l1));
 
aa(37):='(nil (l1 (129 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p41m v2 v1) (126 l1 (plus p2 p4) v1) (sf l1 (plus
p2 p4) p29m) (87 l1)));
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 137) (l l1));
 
aa(38):='(((s0 (plus p2 p3) p5m) (16)) (l1 (129 l1 p5 v2) (
sf3 l1 (plus (minus p1) (minus p5)) p41m v2 v1) (130 l1 p4 
v1)));
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 138) (l l1));
 
aa(39):='(((s0 (plus p2 p3) p3m) (17)) (l1 (129 l1 p5 v2) (
sf3 l1 (plus (minus p1) (minus p5)) p41m v2 v1) (132 l1 p4 
v1)));
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 139) (l l1));
 
aa(40):='(nil (l1 (129 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p41m v4 v2) (338 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p34m v3 v1) (142 l1 p4 v1)));
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 140) (l l1));
 
aa(41):='(nil (l1 (129 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p41m v4 v2) (340 l1 p3 (plus p2 p4) v3 v2) (sf3 
l1 (plus p2 p4) p32m v3 v1) (156 l1 p4 v1)));
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 141) (l l1));
 
aa(42):='(nil (l1 (129 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p41m v4 v2) (342 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p28m v3 v1) (166 l1 p4 v1)));
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 142) (l l1));
 
aa(43):='(nil (l1 (129 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p41m v4 v2) (344 l1 p3 (plus p2 p4) v3 v2) (sf3 
l1 (plus p2 p4) p26m v3 v1) (184 l1 p4 v1)));
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 143) (l l1));
 
aa(44):='(nil (l1 (129 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p41m v4 v2) (346 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p25m v3 v1) (204 l1 p4 v1)));
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 144) (l l1));
 
aa(45):='(nil (l1 (129 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p41m v4 v2) (348 l1 p3 (plus p2 p4) v3 v2) (sf3 
l1 (plus p2 p4) p24m v3 v1) (224 l1 p4 v1)));
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 145) (l l1));
 
aa(46):='(((s11 (plus p2 p3) p4m v3 v1) (20 p3 v1)) (l1 (129
l1 p5 v4) (sf3 l1 (plus (minus p1) (minus p5)) p41m v4 v2) (
398 l1 p4 v2 v3)));
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 146) (l l1));
 
aa(47):='(((s0 (plus p2 p3) p3m) (17)) (l1 (147 l1 p5 v1) (
sf3 l1 (plus p1 p4) p33m v1 v2) (144 l1 p4 v2)));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 147) (l l1));
 
aa(48):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v3) (357 l1 p3 (minus (plus (minus p2) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p33m v2 v4) (144 l1
p4 v4)));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 148) (l l1));
 
aa(49):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v3) (359 l1 p2 (minus (plus (minus p3) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p33m v2 v4) (144 l1
p4 v4)));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 149) (l l1));
 
aa(50):='(((s0 (plus p2 p3) p3m) (17)) (l1 (145 l1 p5 v2) (
sf3 l1 (plus (minus p1) (minus p5)) p33m v2 v1) (146 l1 p4 
v1)));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 150) (l l1));
 
aa(51):='(nil (l1 (145 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p33m v4 v2) (356 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p25m v3 v1) (204 l1 p4 v1)));
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 151) (l l1));
 
aa(52):='(nil (l1 (145 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p33m v4 v2) (358 l1 p3 (plus p2 p4) v3 v2) (sf3 
l1 (plus p2 p4) p24m v3 v1) (224 l1 p4 v1)));
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 152) (l l1));
 
aa(53):='(((s0 (plus p2 p3) p3m) (17)) (l1 (175 l1 p5 v1) (
sf3 l1 (plus p1 p4) p27m v1 v2) (172 l1 p4 v2)));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 153) (l l1));
 
aa(54):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v3) (371 l1 p3 (minus (plus (minus p2) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p27m v2 v4) (172 l1
p4 v4)));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 154) (l l1));
 
aa(55):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v3) (373 l1 p2 (minus (plus (minus p3) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p27m v2 v4) (172 l1
p4 v4)));
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 155) (l l1));
 
aa(56):='(((s0 (plus p2 p3) p3m) (17)) (l1 (173 l1 p5 v2) (
sf3 l1 (plus (minus p1) (minus p5)) p27m v2 v1) (174 l1 p4 
v1)));
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 156) (l l1));
 
aa(57):='(nil (l1 (173 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p27m v4 v2) (370 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p25m v3 v1) (204 l1 p4 v1)));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 157) (l l1));
 
aa(58):='(nil (l1 (173 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p27m v4 v2) (372 l1 p3 (plus p2 p4) v3 v2) (sf3 
l1 (plus p2 p4) p24m v3 v1) (224 l1 p4 v1)));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 158) (l l1));
 
aa(59):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v2) (192 l1 (plus p3 p4) v2) (sf l1 (plus
p3 p4) p31m) (79 l1)));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 159) (l l1));
 
aa(60):='(nil (l1 (80 l1) (sf l1 (plus (minus p2) (minus p5)
) p31m) (193 l1 (minus (plus (minus p2) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p25m v2 v1) (204 l1 p4 v1)));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 160) (l l1));
 
aa(61):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v2) (214 l1 (plus p2 p4) v2) (sf l1 (plus
p2 p4) p29m) (87 l1)));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 161) (l l1));
 
aa(62):='(nil (l1 (88 l1) (sf l1 (plus (minus p3) (minus p5)
) p29m) (215 l1 (minus (plus (minus p3) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p24m v2 v1) (224 l1 p4 v1)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 162) (l l1));
 
aa(63):='(nil (l1 (66 l1) (sf l1 (plus (minus p2) (minus p5)
) p37m) (227 l1 (minus (plus (minus p2) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p21m v1 v2) (234 l1 p4 v2)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 163) (l l1));
 
aa(64):='(nil (l1 (76 l1) (sf l1 (plus (minus p3) (minus p5)
) p35m) (229 l1 (minus (plus (minus p3) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p21m v1 v2) (234 l1 p4 v2)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 164) (l l1));
 
aa(65):='(nil (l1 (80 l1) (sf l1 (plus (minus p2) (minus p5)
) p31m) (231 l1 (minus (plus (minus p2) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p21m v1 v2) (234 l1 p4 v2)));
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 165) (l l1));
 
aa(66):='(nil (l1 (88 l1) (sf l1 (plus (minus p3) (minus p5)
) p29m) (233 l1 (minus (plus (minus p3) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p21m v1 v2) (234 l1 p4 v2)));
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 166) (l l1));
 
aa(67):='(((s0 (plus p2 p3) p3m) (17)) (l1 (237 l1 p5 v1) (
sf3 l1 (plus p1 p4) p21m v1 v2) (234 l1 p4 v2)));
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 167) (l l1));
 
aa(68):='(nil (l1 (143 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p34m v1 v2) (352 l1 p3 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p21m v3 v4) (234 l1 p4 v4)));
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 168) (l l1));
 
aa(69):='(nil (l1 (157 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p32m v1 v2) (362 l1 p2 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p21m v3 v4) (234 l1 p4 v4)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 169) (l l1));
 
aa(70):='(nil (l1 (167 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p28m v1 v2) (368 l1 p3 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p21m v3 v4) (234 l1 p4 v4)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 170) (l l1));
 
aa(71):='(nil (l1 (185 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p26m v1 v2) (376 l1 p2 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p21m v3 v4) (234 l1 p4 v4)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 171) (l l1));
 
aa(72):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v2) (379 l1 p3 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p21m v3 v4) (234 l1 p4 v4)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 172) (l l1));
 
aa(73):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v2) (388 l1 p2 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p21m v3 v4) (234 l1 p4 v4)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 173) (l l1));
 
aa(74):='(((s11 (plus p2 p3) p4m v3 v1) (20 p3 v1)) (l1 (401
l1 p5 v2 v3) (sf3 l1 (plus p1 p4) p21m v2 v4) (234 l1 p4 v4)
));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 174) (l l1));
 
aa(75):='(nil (l1 (235 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p21m v2 v1) (226 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p37m) (65 l1)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 175) (l l1));
 
aa(76):='(nil (l1 (235 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p21m v2 v1) (228 l1 (plus p2 p4) v1) (sf l1 (plus
p2 p4) p35m) (75 l1)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 176) (l l1));
 
aa(77):='(nil (l1 (235 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p21m v2 v1) (230 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p31m) (79 l1)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 177) (l l1));
 
aa(78):='(nil (l1 (235 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p21m v2 v1) (232 l1 (plus p2 p4) v1) (sf l1 (plus
p2 p4) p29m) (87 l1)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 178) (l l1));
 
aa(79):='(((s0 (plus p2 p3) p3m) (17)) (l1 (235 l1 p5 v2) (
sf3 l1 (plus (minus p1) (minus p5)) p21m v2 v1) (236 l1 p4 
v1)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 179) (l l1));
 
aa(80):='(nil (l1 (235 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p21m v4 v3) (353 l1 p2 (minus (plus (minus p1) (
minus p5))) v3 v2) (sf3 l1 (plus p3 p4) p34m v2 v1) (142 l1
p4 v1)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 180) (l l1));
 
aa(81):='(nil (l1 (235 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p21m v4 v3) (363 l1 p3 (minus (plus (minus p1) (
minus p5))) v3 v2) (sf3 l1 (plus p2 p4) p32m v2 v1) (156 l1
p4 v1)));
 
aaaa(81):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 181) (l l1));
 
aa(82):='(nil (l1 (235 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p21m v4 v3) (369 l1 p2 (minus (plus (minus p1) (
minus p5))) v3 v2) (sf3 l1 (plus p3 p4) p28m v2 v1) (166 l1
p4 v1)));
 
aaaa(82):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 182) (l l1));
 
aa(83):='(nil (l1 (235 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p21m v4 v3) (377 l1 p3 (minus (plus (minus p1) (
minus p5))) v3 v2) (sf3 l1 (plus p2 p4) p26m v2 v1) (184 l1
p4 v1)));
 
aaaa(83):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 183) (l l1));
 
aa(84):='(nil (l1 (235 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p21m v4 v3) (380 l1 p2 (minus (plus (minus p1) (
minus p5))) v3 v2) (sf3 l1 (plus p3 p4) p25m v2 v1) (204 l1
p4 v1)));
 
aaaa(84):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 184) (l l1));
 
aa(85):='(nil (l1 (235 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p21m v4 v3) (389 l1 p3 (minus (plus (minus p1) (
minus p5))) v3 v2) (sf3 l1 (plus p2 p4) p24m v2 v1) (224 l1
p4 v1)));
 
aaaa(85):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 185) (l l1));
 
aa(86):='(((s11 (plus p2 p3) p4m v3 v1) (20 p3 v1)) (l1 (235
l1 p5 v4) (sf3 l1 (plus (minus p1) (minus p5)) p21m v4 v2) (
400 l1 p4 v2 v3)));
 
aaaa(86):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 186) (l l1));
 
aa(87):='(((s0 (plus p2 p3) p3m) (17)) (l1 (241 l1 p5 v1) (
sf3 l1 (plus p1 p4) p20m v1 v2) (238 l1 p4 v2)));
 
aaaa(87):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 187) (l l1));
 
aa(88):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v2) (381 l1 p3 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p20m v3 v4) (238 l1 p4 v4)));
 
aaaa(88):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 188) (l l1));
 
aa(89):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v2) (390 l1 p2 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p20m v3 v4) (238 l1 p4 v4)));
 
aaaa(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 189) (l l1));
 
aa(90):='(((s11 (plus p2 p3) p4m v3 v1) (20 p3 v1)) (l1 (403
l1 p5 v2 v3) (sf3 l1 (plus p1 p4) p20m v2 v4) (238 l1 p4 v4)
));
 
aaaa(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 190) (l l1));
 
aa(91):='(((s0 (plus p2 p3) p3m) (17)) (l1 (239 l1 p5 v2) (
sf3 l1 (plus (minus p1) (minus p5)) p20m v2 v1) (240 l1 p4 
v1)));
 
aaaa(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 191) (l l1));
 
aa(92):='(nil (l1 (239 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p20m v4 v3) (382 l1 p2 (minus (plus (minus p1) (
minus p5))) v3 v2) (sf3 l1 (plus p3 p4) p25m v2 v1) (204 l1
p4 v1)));
 
aaaa(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 192) (l l1));
 
aa(93):='(nil (l1 (239 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p20m v4 v3) (391 l1 p3 (minus (plus (minus p1) (
minus p5))) v3 v2) (sf3 l1 (plus p2 p4) p24m v2 v1) (224 l1
p4 v1)));
 
aaaa(93):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 193) (l l1));
 
aa(94):='(((s11 (plus p2 p3) p4m v3 v1) (20 p3 v1)) (l1 (239
l1 p5 v4) (sf3 l1 (plus (minus p1) (minus p5)) p20m v4 v2) (
402 l1 p4 v2 v3)));
 
aaaa(94):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 194) (l l1));
 
aa(95):='(((s0 (plus p2 p3) p3m) (17)) (l1 (245 l1 p5 v1) (
sf3 l1 (plus p1 p4) p18m v1 v2) (242 l1 p4 v2)));
 
aaaa(95):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 195) (l l1));
 
aa(96):='(nil (l1 (205 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p25m v1 v2) (383 l1 p3 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p18m v3 v4) (242 l1 p4 v4)));
 
aaaa(96):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 196) (l l1));
 
aa(97):='(nil (l1 (225 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p24m v1 v2) (392 l1 p2 (plus p1 p4) v3 v2) (sf3 
l1 (plus p1 p4) p18m v3 v4) (242 l1 p4 v4)));
 
aaaa(97):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 197) (l l1));
 
aa(98):='(((s0 (plus p2 p3) p3m) (17)) (l1 (243 l1 p5 v2) (
sf3 l1 (plus (minus p1) (minus p5)) p18m v2 v1) (244 l1 p4 
v1)));
 
aaaa(98):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 198) (l l1));
 
aa(99):='(nil (l1 (243 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p18m v4 v3) (384 l1 p2 (minus (plus (minus p1) (
minus p5))) v3 v2) (sf3 l1 (plus p3 p4) p25m v2 v1) (204 l1
p4 v1)));
 
aaaa(99):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 199) (l l1));
 
aa(100):='(nil (l1 (243 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p18m v4 v3) (393 l1 p3 (minus (plus (minus p1) (
minus p5))) v3 v2) (sf3 l1 (plus p2 p4) p24m v2 v1) (224 l1
p4 v1)));
 
aaaa(100):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3
v2 v1) (ijk 200) (l l1));
 
;end;
 
