aaaaa:='((k) (l l1) (nop 0) (nep 5) (namel (pr13 pr1 pr2 
pr3b pr4)) (inpl (1 -1 -1 -1 -1)) (onshl (0 0 0 0 0)));
 
aa(1):='(((s0 (plus p1 p3) p11m) (s2 (plus p4 p5) p7m v3 v4
v1 v2) (36 (plus p1 p3) v4 v3) (15)) (l1 (602 l1 p4 v2 v1)))
;
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 1) (l l1));
 
aa(2):='(((s0 (plus p1 p3) p11m) (15)) (l1 (309 l1 p5 v2) (
sf3 l1 (plus p2 p4) p27m v2 v1) (312 l1 p4 v1)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 2) (l l1));
 
aa(3):='(((s0 (plus p1 p3) p11m) (15)) (l1 (337 l1 p5 v1) (
sf3 l1 (plus (minus p2) (minus p5)) p26m v1 v2) (340 l1 p4 
v2)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 3) (l l1));
 
aa(4):='(((s0 (plus p1 p3) p8m) (16)) (l1 (311 l1 p5 v2) (
sf3 l1 (plus p2 p4) p27m v2 v1) (312 l1 p4 v1)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 4) (l l1));
 
aa(5):='(((s0 (plus p1 p3) p8m) (16)) (l1 (337 l1 p5 v1) (
sf3 l1 (plus (minus p2) (minus p5)) p26m v1 v2) (342 l1 p4 
v2)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 5) (l l1));
 
aa(6):='(((s2 (plus p1 p3) p12m v3 v4 v7 v8) (s2 (plus p4 p5
) p7m v5 v6 v1 v2) (40 (plus p4 p5) (plus p1 p3) v4 v3 v6 v5
) (27 p1 v8 v7)) (l1 (602 l1 p4 v2 v1)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 6) (l l1));
 
aa(7):='(((s2 (plus p1 p3) p12m v9 v10 v11 v12) (s4 (plus p4
p5) p6m v5 v6 v7 v8 v1 v2 v3 v4) (54 (plus p1 p3) (plus p4 
p5) v9 v5 v8 v7 v6 v10) (27 p1 v12 v11)) (l1 (793 l1 p4 v4 
v3 v2 v1)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 7) (l l1));
 
aa(8):='(((s2 (plus p1 p3) p12m v3 v4 v5 v6) (27 p1 v6 v5))
(l1 (743 l1 p5 v4 v2 v3) (sf3 l1 (plus p2 p4) p27m v2 v1) (
312 l1 p4 v1)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 8) (l l1));
 
aa(9):='(((s2 (plus p1 p3) p12m v3 v4 v5 v6) (27 p1 v6 v5))
(l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (minus p5)) p26m
v1 v2) (746 l1 p4 v4 v2 v3)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 9) (l l1));
 
aa(10):='(((s2 (plus p1 p3) p9m v3 v4 v7 v8) (s2 (plus p4 p5
) p7m v5 v6 v1 v2) (42 (plus p4 p5) (plus p1 p3) v4 v3 v6 v5
) (31 p1 v8 v7)) (l1 (602 l1 p4 v2 v1)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 10) (l l1));
 
aa(11):='(((s2 (plus p1 p3) p9m v9 v10 v11 v12) (s4 (plus p4
p5) p6m v5 v6 v7 v8 v1 v2 v3 v4) (56 (plus p1 p3) (plus p4 
p5) v9 v5 v8 v7 v6 v10) (31 p1 v12 v11)) (l1 (793 l1 p4 v4 
v3 v2 v1)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 11) (l l1));
 
aa(12):='(((s2 (plus p1 p3) p9m v3 v4 v5 v6) (31 p1 v6 v5))
(l1 (745 l1 p5 v4 v2 v3) (sf3 l1 (plus p2 p4) p27m v2 v1) (
312 l1 p4 v1)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 12) (l l1));
 
aa(13):='(((s2 (plus p1 p3) p9m v3 v4 v5 v6) (31 p1 v6 v5))
(l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (minus p5)) p26m
v1 v2) (748 l1 p4 v4 v2 v3)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 13) (l l1));
 
aa(14):='(((s4 (plus p1 p3) p10m v3 v4 v5 v6 v9 v10 v11 v12)
(s2 (plus p4 p5) p7m v7 v8 v1 v2) (52 (plus p4 p5) (plus p1
p3) v6 v5 v4 v3 v8 v7) (43 p1 v12 v11 v10 v9)) (l1 (602 l1 
p4 v2 v1)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 14) (l l1));
 
aa(15):='(((s4 (plus p1 p3) p10m v3 v4 v5 v6 v7 v8 v9 v10) (
43 p1 v10 v9 v8 v7)) (l1 (801 l1 p5 v6 v5 v4 v2 v3) (sf3 l1
(plus p2 p4) p27m v2 v1) (312 l1 p4 v1)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 15) (l l1));
 
aa(16):='(((s4 (plus p1 p3) p10m v3 v4 v5 v6 v7 v8 v9 v10) (
43 p1 v10 v9 v8 v7)) (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus
p2) (minus p5)) p26m v1 v2) (802 l1 p4 v6 v5 v4 v2 v3)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 16) (l l1));
 
aa(17):='(nil (l1 (70 l1) (sf l1 (plus (minus p1) (minus p5)
) p41m) (57 l1) (sf l1 (plus p3 p4) p34m) (127 l1)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 17) (
l l1));
 
aa(18):='(nil (l1 (70 l1) (sf l1 (plus (minus p1) (minus p5)
) p41m) (59 l1) (sf l1 (plus p3 p4) p30m) (141 l1)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 18) (
l l1));
 
aa(19):='(nil (l1 (70 l1) (sf l1 (plus (minus p1) (minus p5)
) p41m) (61 l1) (sf l1 (plus p3 p4) p21m) (147 l1)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 19) (
l l1));
 
aa(20):='(nil (l1 (70 l1) (sf l1 (plus (minus p1) (minus p5)
) p41m) (63 l1) (sf l1 (plus p3 p4) p17m) (153 l1)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 20) (
l l1));
 
aa(21):='(nil (l1 (70 l1) (sf l1 (plus (minus p1) (minus p5)
) p41m) (65 l1) (sf l1 (plus p3 p4) p16m) (161 l1)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 21) (
l l1));
 
aa(22):='(nil (l1 (70 l1) (sf l1 (plus (minus p1) (minus p5)
) p41m) (249 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p32m v2 v1) (256 l1 p4 v1)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 22) (l l1));
 
aa(23):='(nil (l1 (70 l1) (sf l1 (plus (minus p1) (minus p5)
) p41m) (273 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p28m v2 v1) (282 l1 p4 v1)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 23) (l l1));
 
aa(24):='(nil (l1 (70 l1) (sf l1 (plus (minus p1) (minus p5)
) p41m) (285 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p27m v2 v1) (312 l1 p4 v1)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 24) (l l1));
 
aa(25):='(nil (l1 (70 l1) (sf l1 (plus (minus p1) (minus p5)
) p41m) (355 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p22m v2 v1) (362 l1 p4 v1)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 25) (l l1));
 
aa(26):='(nil (l1 (70 l1) (sf l1 (plus (minus p1) (minus p5)
) p41m) (365 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p20m v2 v1) (372 l1 p4 v1)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 26) (l l1));
 
aa(27):='(nil (l1 (70 l1) (sf l1 (plus (minus p1) (minus p5)
) p41m) (375 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p15m v2 v1) (386 l1 p4 v1)));
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 27) (l l1));
 
aa(28):='(nil (l1 (70 l1) (sf l1 (plus (minus p1) (minus p5)
) p41m) (497 l1 (minus (plus (minus p1) (minus p5))) v4 v3)
(sf5 l1 (plus p3 p4) p19m v3 v4 v1 v2) (504 l1 p4 v2 v1)));
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 28) (l l1));
 
aa(29):='(nil (l1 (70 l1) (sf l1 (plus (minus p1) (minus p5)
) p41m) (507 l1 (minus (plus (minus p1) (minus p5))) v4 v3)
(sf5 l1 (plus p3 p4) p18m v3 v4 v1 v2) (514 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 (120 l1) (sf l1 (plus (minus p3) (minus p5
)) p35m) (76 l1) (sf l1 (plus p1 p4) p40m) (81 l1)));
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 30) (
l l1));
 
aa(31):='(nil (l1 (134 l1) (sf l1 (plus (minus p3) (minus p5
)) p31m) (78 l1) (sf l1 (plus p1 p4) p40m) (81 l1)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 31) (
l l1));
 
aa(32):='(nil (l1 (245 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p33m v1 v2) (234 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p40m) (81 l1)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 32) (l l1));
 
aa(33):='(nil (l1 (269 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p29m v1 v2) (258 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p40m) (81 l1)));
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 33) (l l1));
 
aa(34):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v2) (316 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p40m) (81 l1)));
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 34) (l l1));
 
aa(35):='(nil (l1 (98 l1) (sf l1 (plus (minus p1) (minus p5)
) p37m) (85 l1) (sf l1 (plus p3 p4) p34m) (127 l1)));
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 35) (
l l1));
 
aa(36):='(nil (l1 (98 l1) (sf l1 (plus (minus p1) (minus p5)
) p37m) (87 l1) (sf l1 (plus p3 p4) p30m) (141 l1)));
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 36) (
l l1));
 
aa(37):='(nil (l1 (98 l1) (sf l1 (plus (minus p1) (minus p5)
) p37m) (89 l1) (sf l1 (plus p3 p4) p21m) (147 l1)));
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 37) (
l l1));
 
aa(38):='(nil (l1 (98 l1) (sf l1 (plus (minus p1) (minus p5)
) p37m) (91 l1) (sf l1 (plus p3 p4) p17m) (153 l1)));
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 38) (
l l1));
 
aa(39):='(nil (l1 (98 l1) (sf l1 (plus (minus p1) (minus p5)
) p37m) (93 l1) (sf l1 (plus p3 p4) p16m) (161 l1)));
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 39) (
l l1));
 
aa(40):='(nil (l1 (98 l1) (sf l1 (plus (minus p1) (minus p5)
) p37m) (251 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p32m v2 v1) (256 l1 p4 v1)));
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 40) (l l1));
 
aa(41):='(nil (l1 (98 l1) (sf l1 (plus (minus p1) (minus p5)
) p37m) (275 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p28m v2 v1) (282 l1 p4 v1)));
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 41) (l l1));
 
aa(42):='(nil (l1 (98 l1) (sf l1 (plus (minus p1) (minus p5)
) p37m) (289 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p27m v2 v1) (312 l1 p4 v1)));
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 42) (l l1));
 
aa(43):='(nil (l1 (98 l1) (sf l1 (plus (minus p1) (minus p5)
) p37m) (357 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p22m v2 v1) (362 l1 p4 v1)));
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 43) (l l1));
 
aa(44):='(nil (l1 (98 l1) (sf l1 (plus (minus p1) (minus p5)
) p37m) (367 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p20m v2 v1) (372 l1 p4 v1)));
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 44) (l l1));
 
aa(45):='(nil (l1 (98 l1) (sf l1 (plus (minus p1) (minus p5)
) p37m) (377 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p15m v2 v1) (386 l1 p4 v1)));
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 45) (l l1));
 
aa(46):='(nil (l1 (98 l1) (sf l1 (plus (minus p1) (minus p5)
) p37m) (499 l1 (minus (plus (minus p1) (minus p5))) v4 v3)
(sf5 l1 (plus p3 p4) p19m v3 v4 v1 v2) (504 l1 p4 v2 v1)));
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 46) (l l1));
 
aa(47):='(nil (l1 (98 l1) (sf l1 (plus (minus p1) (minus p5)
) p37m) (509 l1 (minus (plus (minus p1) (minus p5))) v4 v3)
(sf5 l1 (plus p3 p4) p18m v3 v4 v1 v2) (514 l1 p4 v2 v1)));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 47) (l l1));
 
aa(48):='(nil (l1 (120 l1) (sf l1 (plus (minus p3) (minus p5
)) p35m) (104 l1) (sf l1 (plus p1 p4) p36m) (109 l1)));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 48) (
l l1));
 
aa(49):='(nil (l1 (134 l1) (sf l1 (plus (minus p3) (minus p5
)) p31m) (106 l1) (sf l1 (plus p1 p4) p36m) (109 l1)));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 49) (
l l1));
 
aa(50):='(nil (l1 (245 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p33m v1 v2) (236 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p36m) (109 l1)));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 50) (l l1));
 
aa(51):='(nil (l1 (269 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p29m v1 v2) (260 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p36m) (109 l1)));
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 51) (l l1));
 
aa(52):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v2) (320 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p36m) (109 l1)));
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 52) (l l1));
 
aa(53):='(nil (l1 (118 l1) (sf l1 (plus (minus p1) (minus p5
)) p35m) (113 l1) (sf l1 (plus p3 p4) p16m) (161 l1)));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 53) (
l l1));
 
aa(54):='(nil (l1 (118 l1) (sf l1 (plus (minus p1) (minus p5
)) p35m) (277 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p28m v2 v1) (282 l1 p4 v1)));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 54) (l l1));
 
aa(55):='(nil (l1 (118 l1) (sf l1 (plus (minus p1) (minus p5
)) p35m) (379 l1 (minus (plus (minus p1) (minus p5))) v2) (
sf3 l1 (plus p3 p4) p15m v2 v1) (386 l1 p4 v1)));
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 55) (l l1));
 
aa(56):='(nil (l1 (269 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p29m v1 v2) (262 l1 (plus p1 p4) v2) (sf l1 (plus
p1 p4) p34m) (125 l1)));
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 56) (l l1));
 
aa(57):='(nil (l1 (165 l1) (sf l1 (plus (minus p2) (minus p5
)) p14m) (156 l1) (sf l1 (plus p3 p4) p16m) (161 l1)));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (ijk 57) (
l l1));
 
aa(58):='(nil (l1 (187 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p47m v2 v1) (174 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p34m) (127 l1)));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 58) (l l1));
 
aa(59):='(nil (l1 (187 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p47m v2 v1) (176 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p30m) (141 l1)));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 59) (l l1));
 
aa(60):='(nil (l1 (187 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p47m v2 v1) (178 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p21m) (147 l1)));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 60) (l l1));
 
aa(61):='(nil (l1 (187 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p47m v2 v1) (180 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p17m) (153 l1)));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 61) (l l1));
 
aa(62):='(nil (l1 (187 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p47m v2 v1) (182 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p16m) (161 l1)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 62) (l l1));
 
aa(63):='(((s0 (plus (minus p2) (minus p3)) p5m) (26)) (l1 (
187 l1 p5 v2) (sf3 l1 (plus (minus p1) (minus p5)) p47m v2 
v1) (190 l1 p4 v1)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 63) (l l1));
 
aa(64):='(nil (l1 (187 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p47m v4 v2) (516 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p32m v3 v1) (256 l1 p4 v1)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 64) (l l1));
 
aa(65):='(nil (l1 (187 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p47m v4 v2) (518 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p28m v3 v1) (282 l1 p4 v1)));
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 65) (l l1));
 
aa(66):='(nil (l1 (187 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p47m v4 v2) (520 l1 p3 (plus p2 p4) v3 v2) (sf3 
l1 (plus p2 p4) p27m v3 v1) (312 l1 p4 v1)));
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 66) (l l1));
 
aa(67):='(nil (l1 (187 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p47m v4 v2) (524 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p22m v3 v1) (362 l1 p4 v1)));
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 67) (l l1));
 
aa(68):='(nil (l1 (187 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p47m v4 v2) (526 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p20m v3 v1) (372 l1 p4 v1)));
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 68) (l l1));
 
aa(69):='(nil (l1 (187 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p47m v4 v2) (528 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p15m v3 v1) (386 l1 p4 v1)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 69) (l l1));
 
aa(70):='(nil (l1 (187 l1 p5 v6) (sf3 l1 (plus (minus p1) (
minus p5)) p47m v6 v5) (727 l1 p2 (minus (plus (minus p1) (
minus p5))) v5 v4 v3) (sf5 l1 (plus p3 p4) p19m v3 v4 v1 v2)
(504 l1 p4 v2 v1)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 70) (l l1));
 
aa(71):='(nil (l1 (187 l1 p5 v6) (sf3 l1 (plus (minus p1) (
minus p5)) p47m v6 v5) (735 l1 p2 (minus (plus (minus p1) (
minus p5))) v5 v4 v3) (sf5 l1 (plus p3 p4) p18m v3 v4 v1 v2)
(514 l1 p4 v2 v1)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 71) (l l1));
 
aa(72):='(nil (l1 (120 l1) (sf l1 (plus (minus p3) (minus p5
)) p35m) (195 l1 (minus (plus (minus p3) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p46m v1 v2) (202 l1 p4 v2)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 72) (l l1));
 
aa(73):='(nil (l1 (134 l1) (sf l1 (plus (minus p3) (minus p5
)) p31m) (197 l1 (minus (plus (minus p3) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p46m v1 v2) (202 l1 p4 v2)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 73) (l l1));
 
aa(74):='(((s0 (plus (minus p2) (minus p3)) p5m) (26)) (l1 (
199 l1 p5 v1) (sf3 l1 (plus p1 p4) p46m v1 v2) (202 l1 p4 v2
)));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 74) (l l1));
 
aa(75):='(nil (l1 (245 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p33m v1 v3) (531 l1 p2 (minus (plus (minus p3) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p46m v2 v4) (202 l1
p4 v4)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 75) (l l1));
 
aa(76):='(nil (l1 (269 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p29m v1 v3) (533 l1 p2 (minus (plus (minus p3) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p46m v2 v4) (202 l1
p4 v4)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 76) (l l1));
 
aa(77):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v3) (537 l1 p3 (minus (plus (minus p2) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p46m v2 v4) (202 l1
p4 v4)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 77) (l l1));
 
aa(78):='(nil (l1 (219 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v2 v1) (206 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p34m) (127 l1)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 78) (l l1));
 
aa(79):='(nil (l1 (219 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v2 v1) (208 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p30m) (141 l1)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 79) (l l1));
 
aa(80):='(nil (l1 (219 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v2 v1) (210 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p21m) (147 l1)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 80) (l l1));
 
aa(81):='(nil (l1 (219 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v2 v1) (212 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p17m) (153 l1)));
 
aaaa(81):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 81) (l l1));
 
aa(82):='(nil (l1 (219 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v2 v1) (214 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p16m) (161 l1)));
 
aaaa(82):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 82) (l l1));
 
aa(83):='(nil (l1 (219 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v4 v2) (538 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p32m v3 v1) (256 l1 p4 v1)));
 
aaaa(83):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 83) (l l1));
 
aa(84):='(nil (l1 (219 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v4 v2) (540 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p28m v3 v1) (282 l1 p4 v1)));
 
aaaa(84):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 84) (l l1));
 
aa(85):='(nil (l1 (219 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v4 v2) (542 l1 p3 (plus p2 p4) v3 v2) (sf3 
l1 (plus p2 p4) p27m v3 v1) (312 l1 p4 v1)));
 
aaaa(85):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 85) (l l1));
 
aa(86):='(nil (l1 (219 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v4 v2) (546 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p22m v3 v1) (362 l1 p4 v1)));
 
aaaa(86):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 86) (l l1));
 
aa(87):='(nil (l1 (219 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v4 v2) (548 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p20m v3 v1) (372 l1 p4 v1)));
 
aaaa(87):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 87) (l l1));
 
aa(88):='(nil (l1 (219 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v4 v2) (550 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p15m v3 v1) (386 l1 p4 v1)));
 
aaaa(88):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 88) (l l1));
 
aa(89):='(nil (l1 (219 l1 p5 v6) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v6 v5) (729 l1 p2 (minus (plus (minus p1) (
minus p5))) v5 v4 v3) (sf5 l1 (plus p3 p4) p19m v3 v4 v1 v2)
(504 l1 p4 v2 v1)));
 
aaaa(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 89) (l l1));
 
aa(90):='(nil (l1 (219 l1 p5 v6) (sf3 l1 (plus (minus p1) (
minus p5)) p43m v6 v5) (737 l1 p2 (minus (plus (minus p1) (
minus p5))) v5 v4 v3) (sf5 l1 (plus p3 p4) p18m v3 v4 v1 v2)
(514 l1 p4 v2 v1)));
 
aaaa(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 90) (l l1));
 
aa(91):='(nil (l1 (120 l1) (sf l1 (plus (minus p3) (minus p5
)) p35m) (225 l1 (minus (plus (minus p3) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p42m v1 v2) (230 l1 p4 v2)));
 
aaaa(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 91) (l l1));
 
aa(92):='(nil (l1 (134 l1) (sf l1 (plus (minus p3) (minus p5
)) p31m) (227 l1 (minus (plus (minus p3) (minus p5))) v1) (
sf3 l1 (plus p1 p4) p42m v1 v2) (230 l1 p4 v2)));
 
aaaa(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 92) (l l1));
 
aa(93):='(nil (l1 (245 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p33m v1 v3) (553 l1 p2 (minus (plus (minus p3) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p42m v2 v4) (230 l1
p4 v4)));
 
aaaa(93):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 93) (l l1));
 
aa(94):='(nil (l1 (269 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p29m v1 v3) (555 l1 p2 (minus (plus (minus p3) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p42m v2 v4) (230 l1
p4 v4)));
 
aaaa(94):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 94) (l l1));
 
aa(95):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v3) (559 l1 p3 (minus (plus (minus p2) (
minus p5))) v3 v2) (sf3 l1 (plus p1 p4) p42m v2 v4) (230 l1
p4 v4)));
 
aaaa(95):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 95) (l l1));
 
aa(96):='(nil (l1 (243 l1 p5 v2) (sf3 l1 (plus (minus p1) (
minus p5)) p33m v2 v1) (238 l1 (plus p3 p4) v1) (sf l1 (plus
p3 p4) p16m) (161 l1)));
 
aaaa(96):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 96) (l l1));
 
aa(97):='(nil (l1 (243 l1 p5 v4) (sf3 l1 (plus (minus p1) (
minus p5)) p33m v4 v2) (566 l1 p2 (plus p3 p4) v3 v2) (sf3 
l1 (plus p3 p4) p15m v3 v1) (386 l1 p4 v1)));
 
aaaa(97):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 97) (l l1));
 
aa(98):='(nil (l1 (134 l1) (sf l1 (plus (minus p3) (minus p5
)) p31m) (295 l1 (minus (plus (minus p3) (minus p5))) v2) (
sf3 l1 (plus p2 p4) p27m v2 v1) (312 l1 p4 v1)));
 
aaaa(98):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 98) (l l1));
 
aa(99):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v2) (326 l1 (plus p3 p4) v2) (sf l1 (plus
p3 p4) p30m) (141 l1)));
 
aaaa(99):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 99) (l l1));
 
aa(100):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v2) (328 l1 (plus p3 p4) v2) (sf l1 (plus
p3 p4) p21m) (147 l1)));
 
aaaa(100):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v2 v1)
(ijk 100) (l l1));
 
;end;
 
