aaaaa:='((k) (l l2 l1) (nop 0) (nep 6) (namel (ef efb pr1b 
pr1 pr2b pr2)) (inpl (1 1 -1 -1 -1 -1)) (onshl (0 0 0 0 0 0)
));
 
aa(1):='(((s11 (plus p3 p4) p3m v3 v1) (s11 (plus p1 p2) p9m
v2 v4) (s0 (plus (minus p5) (minus p6)) p7m) (20 (plus p3 p4
) (plus p1 p2) v2 v3) (19 p4 v1)) (l2 (33 l2)) (l1 (16 l1 v4
)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 1) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p9m v6 v8) (s11 (plus p3 p4) p3m
v7 v1) (s2 (plus (minus p5) (minus p6)) p6m v2 v3 v4 v5) (24
(plus p1 p2) (minus (plus (minus p5) (minus p6))) v5 v4 v7 
v6) (19 p4 v1)) (l2 (61 l2 p5 v3 v2)) (l1 (16 l1 v8)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 2) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p9m v6 v8) (s11 (plus p3 p4) p3m
v7 v1) (s2 (plus (minus p5) (minus p6)) p5m v2 v3 v4 v5) (25
(plus p1 p2) (minus (plus (minus p5) (minus p6))) v5 v4 v7 
v6) (19 p4 v1)) (l2 (62 l2 p5 v3 v2)) (l1 (16 l1 v8)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 3) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p9m v6 v8) (s11 (plus p3 p4) p3m
v7 v1) (s2 (plus (minus p5) (minus p6)) p4m v2 v3 v4 v5) (26
(plus p1 p2) (minus (plus (minus p5) (minus p6))) v5 v4 v7 
v6) (19 p4 v1)) (l2 (63 l2 p5 v3 v2)) (l1 (16 l1 v8)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 4) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p9m v10 v12) (s11 (plus p3 p4) 
p3m v11 v1) (s4 (plus (minus p5) (minus p6)) p8m v2 v3 v4 v5
v6 v7 v8 v9) (28 (plus p1 p2) (minus (plus (minus p5) (minus
p6))) v9 v8 v7 v6 v11 v10) (19 p4 v1)) (l2 (76 l2 p5 v5 v4 
v3 v2)) (l1 (16 l1 v12)));
 
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 l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p9m v1 v2)) (l2 (32 l2) (sf l2 (
plus (minus p4) (minus p6)) p18m) (29 l2) (sf l2 (plus p1 p2
p5) p16m) (42 l2 (plus p1 p2) v1)) (l1 (16 l1 v2)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 6) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p9m v3 v4)) (l2 (41 l2 p6 v1) (
sf3 l2 (plus (minus p4) (minus p6)) p17m v1 v2) (34 l2 (plus
p1 p2 p5) v2) (sf l2 (plus p1 p2 p5) p16m) (42 l2 (plus p1 
p2) v3)) (l1 (16 l1 v4)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 7) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p9m v3 v4) (s11 (plus p3 p4) p3m
v2 v1) (19 p4 v1)) (l2 (45 l2 (plus p3 p4) v2) (sf l2 (plus
p1 p2 p5) p16m) (42 l2 (plus p1 p2) v3)) (l1 (16 l1 v4)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 8) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p9m v1 v2)) (l2 (43 l2 (plus p1
p2) v1) (sf l2 (plus (minus p1) (minus p2) (minus p6)) p16m)
(30 l2) (sf l2 (plus p3 p5) p18m) (31 l2)) (l1 (16 l1 v2)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 9) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p9m v3 v4)) (l2 (43 l2 (plus p1
p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) p16m)
(35 l2 (minus (plus (minus p1) (minus p2) (minus p6))) v2) (
sf3 l2 (plus p3 p5) p17m v2 v1) (40 l2 p5 v1)) (l1 (16 l1 v4
)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 10) (l l2 l1));
 
aa(11):='(((s11 (plus p3 p4) p3m v2 v1) (s11 (plus p1 p2) 
p9m v3 v4) (19 p4 v1)) (l2 (43 l2 (plus p1 p2) v3) (sf l2 (
plus (minus p1) (minus p2) (minus p6)) p16m) (44 l2 (plus p3
p4) v2)) (l1 (16 l1 v4)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 11) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p9m v3 v4)) (l2 (41 l2 p6 v1) (
sf3 l2 (plus (minus p4) (minus p6)) p17m v1 v2) (36 l2 (plus
p1 p2 p5) v2) (sf l2 (plus p1 p2 p5) p14m) (46 l2 (plus p1 
p2) v3)) (l1 (16 l1 v4)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 12) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p9m v3 v4) (s11 (plus p3 p4) 
p3m v2 v1) (19 p4 v1)) (l2 (49 l2 (plus p3 p4) v2) (sf l2 (
plus p1 p2 p5) p14m) (46 l2 (plus p1 p2) v3)) (l1 (16 l1 v4)
));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 13) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p9m v3 v4)) (l2 (47 l2 (plus p1
p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) p14m)
(37 l2 (minus (plus (minus p1) (minus p2) (minus p6))) v2) (
sf3 l2 (plus p3 p5) p17m v2 v1) (40 l2 p5 v1)) (l1 (16 l1 v4
)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 14) (l l2 l1));
 
aa(15):='(((s11 (plus p3 p4) p3m v2 v1) (s11 (plus p1 p2) 
p9m v3 v4) (19 p4 v1)) (l2 (47 l2 (plus p1 p2) v3) (sf l2 (
plus (minus p1) (minus p2) (minus p6)) p14m) (48 l2 (plus p3
p4) v2)) (l1 (16 l1 v4)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 15) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p9m v3 v4)) (l2 (41 l2 p6 v1) (
sf3 l2 (plus (minus p4) (minus p6)) p17m v1 v2) (38 l2 (plus
p1 p2 p5) v2) (sf l2 (plus p1 p2 p5) p13m) (50 l2 (plus p1 
p2) v3)) (l1 (16 l1 v4)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 16) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p9m v3 v4) (s11 (plus p3 p4) 
p3m v2 v1) (19 p4 v1)) (l2 (53 l2 (plus p3 p4) v2) (sf l2 (
plus p1 p2 p5) p13m) (50 l2 (plus p1 p2) v3)) (l1 (16 l1 v4)
));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 17) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p9m v3 v4)) (l2 (51 l2 (plus p1
p2) v3) (sf l2 (plus (minus p1) (minus p2) (minus p6)) p13m)
(39 l2 (minus (plus (minus p1) (minus p2) (minus p6))) v2) (
sf3 l2 (plus p3 p5) p17m v2 v1) (40 l2 p5 v1)) (l1 (16 l1 v4
)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 18) (l l2 l1));
 
aa(19):='(((s11 (plus p3 p4) p3m v2 v1) (s11 (plus p1 p2) 
p9m v3 v4) (19 p4 v1)) (l2 (51 l2 (plus p1 p2) v3) (sf l2 (
plus (minus p1) (minus p2) (minus p6)) p13m) (52 l2 (plus p3
p4) v2)) (l1 (16 l1 v4)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 19) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p9m v5 v6)) (l2 (41 l2 p6 v1) (
sf3 l2 (plus (minus p4) (minus p6)) p17m v1 v2) (55 l2 p3 (
plus p1 p2 p5) v3 v2) (sf3 l2 (plus p1 p2 p5) p12m v3 v4) (
57 l2 p5 v5 v4)) (l1 (16 l1 v6)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 20) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p9m v5 v6) (s11 (plus p3 p4) 
p3m v3 v1) (19 p4 v1)) (l2 (60 l2 p6 v3 v2) (sf3 l2 (plus p1
p2 p5) p12m v2 v4) (57 l2 p5 v5 v4)) (l1 (16 l1 v6)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 21) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p9m v5 v6)) (l2 (58 l2 p6 v5 v4
) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p12m v4 v3
) (56 l2 p4 (minus (plus (minus p1) (minus p2) (minus p6)))
v3 v2) (sf3 l2 (plus p3 p5) p17m v2 v1) (40 l2 p5 v1)) (l1 (
16 l1 v6)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 22) (l l2 l1));
 
aa(23):='(((s11 (plus p3 p4) p3m v3 v1) (s11 (plus p1 p2) 
p9m v5 v6) (19 p4 v1)) (l2 (58 l2 p6 v5 v4) (sf3 l2 (plus (
minus p1) (minus p2) (minus p6)) p12m v4 v2) (59 l2 p5 v3 v2
)) (l1 (16 l1 v6)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 23) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p9m v7 v8) (s11 (plus p3 p4) 
p3m v4 v1) (19 p4 v1)) (l2 (67 l2 p6 v4 v3 v2) (sf5 l2 (plus
p1 p2 p5) p15m v2 v3 v5 v6) (64 l2 p5 v7 v6 v5)) (l1 (16 l1
v8)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 24) (l l2 l1));
 
aa(25):='(((s11 (plus p3 p4) p3m v4 v1) (s11 (plus p1 p2) 
p9m v7 v8) (19 p4 v1)) (l2 (65 l2 p6 v7 v6 v5) (sf5 l2 (plus
(minus p1) (minus p2) (minus p6)) p15m v5 v6 v2 v3) (66 l2 
p5 v4 v3 v2)) (l1 (16 l1 v8)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 25) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p9m v7 v8) (s11 (plus p3 p4) 
p3m v4 v1) (19 p4 v1)) (l2 (71 l2 p6 v4 v3 v2) (sf5 l2 (plus
p1 p2 p5) p11m v2 v3 v5 v6) (68 l2 p5 v7 v6 v5)) (l1 (16 l1
v8)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 26) (l l2 l1));
 
aa(27):='(((s11 (plus p3 p4) p3m v4 v1) (s11 (plus p1 p2) 
p9m v7 v8) (19 p4 v1)) (l2 (69 l2 p6 v7 v6 v5) (sf5 l2 (plus
(minus p1) (minus p2) (minus p6)) p11m v5 v6 v2 v3) (70 l2 
p5 v4 v3 v2)) (l1 (16 l1 v8)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 27) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p9m v9 v10) (s11 (plus p3 p4) 
p3m v5 v1) (19 p4 v1)) (l2 (75 l2 p6 v4 v3 v2 v5) (sf7 l2 (
plus p1 p2 p5) p10m v2 v3 v4 v6 v7 v8) (72 l2 p5 v8 v7 v6 v9
)) (l1 (16 l1 v10)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 28) (l l2 l1));
 
aa(29):='(((s11 (plus p3 p4) p3m v5 v1) (s11 (plus p1 p2) 
p9m v9 v10) (19 p4 v1)) (l2 (73 l2 p6 v8 v7 v6 v9) (sf7 l2 (
plus (minus p1) (minus p2) (minus p6)) p10m v6 v7 v8 v2 v3 
v4) (74 l2 p5 v4 v3 v2 v5)) (l1 (16 l1 v10)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 29) (l l2 l1));
 
;end;
 
