aaaaa:='((k) (l) (nop 0) (nep 5) (namel (pr19 pr1 pr2b pr2 
pr3)) (inpl (1 -1 -1 -1 -1)) (onshl (0 0 0 0 0)));
 
aa(1):='(((s11 (plus p1 p5) p4m v3 v4) (s11 (plus (minus p2)
(minus p4)) p13m v1 v2) (25 p1 v4) (32 (plus p1 p5) (minus (
plus (minus p2) (minus p4))) v3 v2) (24 p4 v1)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 1) (l));
 
aa(2):='(((s11 (plus p1 p5) p4m v3 v4) (s11 (plus p2 p3) 
p13m v2 v1) (25 p1 v4) (33 (plus p1 p5) (plus p2 p3) v3 v2)
(23 p3 v1)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 2) (l));
 
aa(3):='(((s11 (plus p2 p3) p13m v4 v1) (s11 (plus (minus p4
) (minus p5)) p15m v2 v3) (27 (plus p2 p3) (minus (plus (
minus p4) (minus p5))) v4 v3) (18 p5 v2) (23 p3 v1)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 3) (l));
 
aa(4):='(((s11 (plus (minus p2) (minus p4)) p13m v1 v4) (s11
(plus p3 p5) p15m v3 v2) (28 (plus p2 p4) (plus p3 p5) v4 v3
) (17 p5 v2) (24 p4 v1)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 4) (l));
 
aa(5):='(((s11 (plus (minus p2) (minus p4)) p13m v1 v4) (s2
(plus p1 p5) p12m v2 v3 v5 v6) (38 p1 v6 v5) (71 (plus p1 p5
) (minus (plus (minus p2) (minus p4))) v4 v2 v3) (24 p4 v1))
);
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 5) (l));
 
aa(6):='(((s11 (plus p2 p3) p13m v4 v1) (s2 (plus p1 p5) 
p12m v2 v3 v5 v6) (38 p1 v6 v5) (72 (plus p1 p5) (plus p2 p3
) v4 v2 v3) (23 p3 v1)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 6) (l));
 
aa(7):='(((s2 (plus p1 p5) p12m v5 v6 v7 v8) (s2 (plus (
minus p2) (minus p4)) p14m v1 v2 v3 v4) (38 p1 v8 v7) (98 (
plus p1 p5) (minus (plus (minus p2) (minus p4))) v5 v3 v4 v6
) (37 p4 v2 v1)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 7) (l));
 
aa(8):='(((s2 (plus p1 p5) p12m v5 v6 v7 v8) (s2 (plus p2 p3
) p14m v3 v4 v1 v2) (38 p1 v8 v7) (99 (plus p1 p5) (plus p2
p3) v5 v3 v4 v6) (36 p3 v2 v1)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 8) (l));
 
aa(9):='(((s11 (plus (minus p2) (minus p4)) p13m v1 v4) (s2
(plus p1 p5) p11m v2 v3 v5 v6) (42 p1 v6 v5) (73 (plus p1 p5
) (minus (plus (minus p2) (minus p4))) v4 v2 v3) (24 p4 v1))
);
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 9) (l));
 
aa(10):='(((s11 (plus p2 p3) p13m v4 v1) (s2 (plus p1 p5) 
p11m v2 v3 v5 v6) (42 p1 v6 v5) (74 (plus p1 p5) (plus p2 p3
) v4 v2 v3) (23 p3 v1)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 10) (l));
 
aa(11):='(((s2 (plus p1 p5) p11m v5 v6 v7 v8) (s2 (plus (
minus p2) (minus p4)) p14m v1 v2 v3 v4) (42 p1 v8 v7) (100 (
plus p1 p5) (minus (plus (minus p2) (minus p4))) v5 v3 v4 v6
) (37 p4 v2 v1)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 11) (l));
 
aa(12):='(((s2 (plus p1 p5) p11m v5 v6 v7 v8) (s2 (plus p2 
p3) p14m v3 v4 v1 v2) (42 p1 v8 v7) (101 (plus p1 p5) (plus
p2 p3) v5 v3 v4 v6) (36 p3 v2 v1)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 12) (l));
 
aa(13):='(((s11 (plus (minus p2) (minus p4)) p13m v1 v4) (s2
(plus p1 p5) p10m v2 v3 v5 v6) (46 p1 v6 v5) (75 (plus p1 p5
) (minus (plus (minus p2) (minus p4))) v4 v2 v3) (24 p4 v1))
);
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 13) (l));
 
aa(14):='(((s11 (plus p2 p3) p13m v4 v1) (s2 (plus p1 p5) 
p10m v2 v3 v5 v6) (46 p1 v6 v5) (76 (plus p1 p5) (plus p2 p3
) v4 v2 v3) (23 p3 v1)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 14) (l));
 
aa(15):='(((s11 (plus (minus p2) (minus p4)) p13m v1 v4) (s2
(plus p1 p5) p9m v2 v3 v5 v6) (49 p1 v6 v5) (77 (plus p1 p5)
(minus (plus (minus p2) (minus p4))) v4 v2 v3) (24 p4 v1)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 15) (l));
 
aa(16):='(((s11 (plus p2 p3) p13m v4 v1) (s2 (plus p1 p5) 
p9m v2 v3 v5 v6) (49 p1 v6 v5) (78 (plus p1 p5) (plus p2 p3)
v4 v2 v3) (23 p3 v1)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 16) (l));
 
aa(17):='(((s11 (plus (minus p2) (minus p4)) p13m v1 v4) (s2
(plus p1 p5) p8m v2 v3 v5 v6) (52 p1 v6 v5) (79 (plus p1 p5)
(minus (plus (minus p2) (minus p4))) v4 v2 v3) (24 p4 v1)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 17) (l));
 
aa(18):='(((s11 (plus p2 p3) p13m v4 v1) (s2 (plus p1 p5) 
p8m v2 v3 v5 v6) (52 p1 v6 v5) (80 (plus p1 p5) (plus p2 p3)
v4 v2 v3) (23 p3 v1)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 18) (l));
 
aa(19):='(((s11 (plus (minus p2) (minus p4)) p13m v1 v4) (s2
(plus p1 p5) p7m v2 v3 v5 v6) (55 p1 v6 v5) (81 (plus p1 p5)
(minus (plus (minus p2) (minus p4))) v4 v2 v3) (24 p4 v1)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 19) (l));
 
aa(20):='(((s11 (plus p2 p3) p13m v4 v1) (s2 (plus p1 p5) 
p7m v2 v3 v5 v6) (55 p1 v6 v5) (82 (plus p1 p5) (plus p2 p3)
v4 v2 v3) (23 p3 v1)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 20) (l));
 
aa(21):='(((s11 (plus (minus p2) (minus p4)) p13m v1 v4) (s2
(plus p1 p5) p6m v2 v3 v5 v6) (58 p1 v6 v5) (83 (plus p1 p5)
(minus (plus (minus p2) (minus p4))) v4 v2 v3) (24 p4 v1)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 21) (l));
 
aa(22):='(((s11 (plus p2 p3) p13m v4 v1) (s2 (plus p1 p5) 
p6m v2 v3 v5 v6) (58 p1 v6 v5) (84 (plus p1 p5) (plus p2 p3)
v4 v2 v3) (23 p3 v1)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 22) (l));
 
aa(23):='(((s11 (plus (minus p2) (minus p4)) p13m v1 v4) (s2
(plus p1 p5) p5m v2 v3 v5 v6) (61 p1 v6 v5) (85 (plus p1 p5)
(minus (plus (minus p2) (minus p4))) v4 v2 v3) (24 p4 v1)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 23) (l));
 
aa(24):='(((s11 (plus p2 p3) p13m v4 v1) (s2 (plus p1 p5) 
p5m v2 v3 v5 v6) (61 p1 v6 v5) (86 (plus p1 p5) (plus p2 p3)
v4 v2 v3) (23 p3 v1)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 24) (l));
 
aa(25):='(((s11 (plus p2 p3) p13m v8 v1) (s3 (plus (minus p4
) (minus p5)) p16m v2 v3 v4 v5 v6 v7) (105 (plus p4 p5) (
plus p2 p3) v8 v5 v7 v6) (90 p5 v4 v3 v2) (23 p3 v1)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 25) (l));
 
aa(26):='(((s11 (plus (minus p2) (minus p4)) p13m v1 v8) (s3
(plus p3 p5) p16m v5 v6 v7 v2 v3 v4) (106 (plus p3 p5) (
minus (plus (minus p2) (minus p4))) v8 v5 v7 v6) (89 p5 v4 
v3 v2) (24 p4 v1)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 26) (l));
 
aa(27):='(((s4 (plus p1 p3) p17m v2 v3 v4 v5 v7 v8 v9 v10) (
s11 (plus (minus p4) (minus p5)) p15m v1 v6) (109 p1 v10 v9
v8 v7) (118 (plus p1 p3) (minus (plus (minus p4) (minus p5))
) v6 v2 v5 v4 v3) (18 p5 v1)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 27) (l));
 
aa(28):='(((s11 (plus (minus p2) (minus p4)) p13m v1 v6) (s4
(plus p1 p3) p17m v2 v3 v4 v5 v7 v8 v9 v10) (109 p1 v10 v9 
v8 v7) (122 (plus p1 p3) (minus (plus (minus p2) (minus p4))
) v6 v2 v5 v4 v3) (24 p4 v1)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 28) (l));
 
aa(29):='(((s4 (plus (minus p1) (minus p4)) p17m v7 v8 v9 
v10 v2 v3 v4 v5) (s11 (plus p3 p5) p15m v6 v1) (110 p1 v10 
v9 v8 v7) (117 (plus p1 p4) (plus p3 p5) v6 v2 v5 v4 v3) (17
p5 v1)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 29) (l));
 
aa(30):='(((s11 (plus p2 p3) p13m v6 v1) (s4 (plus (minus p1
) (minus p4)) p17m v7 v8 v9 v10 v2 v3 v4 v5) (110 p1 v10 v9
v8 v7) (121 (plus p1 p4) (plus p2 p3) v6 v2 v5 v4 v3) (23 p3
v1)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 30) (l));
 
aa(31):='(((s11 (plus p2 p3) p13m v10 v1) (s4 (plus (minus 
p4) (minus p5)) p17m v2 v3 v4 v5 v6 v7 v8 v9) (119 (plus p4
p5) (plus p2 p3) v10 v6 v9 v8 v7) (112 p5 v5 v4 v3 v2) (23 
p3 v1)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 31) (l));
 
aa(32):='(((s11 (plus (minus p2) (minus p4)) p13m v1 v10) (
s4 (plus p3 p5) p17m v6 v7 v8 v9 v2 v3 v4 v5) (120 (plus p3
p5) (minus (plus (minus p2) (minus p4))) v10 v6 v9 v8 v7) (
111 p5 v5 v4 v3 v2) (24 p4 v1)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 32) (l));
 
aa(33):='(((s5 (plus p1 p3) p18m v2 v3 v4 v5 v6 v8 v9 v10 
v11 v12) (s11 (plus (minus p4) (minus p5)) p15m v1 v7) (125
p1 v12 v11 v10 v9 v8) (140 (plus p1 p3) (minus (plus (minus
p4) (minus p5))) v7 v2 v6 v5 v4 v3) (18 p5 v1)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 33) (l));
 
aa(34):='(((s11 (plus (minus p2) (minus p4)) p13m v1 v7) (s5
(plus p1 p3) p18m v2 v3 v4 v5 v6 v8 v9 v10 v11 v12) (125 p1
v12 v11 v10 v9 v8) (142 (plus p1 p3) (minus (plus (minus p2)
(minus p4))) v7 v2 v6 v5 v4 v3) (24 p4 v1)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 34) (l));
 
aa(35):='(((s5 (plus (minus p1) (minus p4)) p18m v8 v9 v10 
v11 v12 v2 v3 v4 v5 v6) (s11 (plus p3 p5) p15m v7 v1) (126 
p1 v12 v11 v10 v9 v8) (139 (plus p1 p4) (plus p3 p5) v7 v2 
v6 v5 v4 v3) (17 p5 v1)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 35) (l));
 
aa(36):='(((s11 (plus p2 p3) p13m v7 v1) (s5 (plus (minus p1
) (minus p4)) p18m v8 v9 v10 v11 v12 v2 v3 v4 v5 v6) (126 p1
v12 v11 v10 v9 v8) (141 (plus p1 p4) (plus p2 p3) v7 v2 v6 
v5 v4 v3) (23 p3 v1)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 36) (l));
 
;end;
 
