aa(1):='(((s11 (plus p2 p5) p7m v6 v1) (s4 (plus (minus p1)
(minus p4)) p20m v7 v8 v9 v10 v2 v3 v4 v5) (145 p1 v10 v9 v8
v7) (154 (plus p1 p4) (plus p2 p5) v6 v2 v5 v4 v3) (20 p5 v1
)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v6 v5 v4 v3 v2 v1) (ijk 201) (l));
 
aa(2):='(((s11 (plus p2 p4) p7m v6 v1) (s4 (plus (minus p1)
(minus p5)) p20m v7 v8 v9 v10 v2 v3 v4 v5) (145 p1 v10 v9 v8
v7) (154 (plus p1 p5) (plus p2 p4) v6 v2 v5 v4 v3) (20 p4 v1
)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v6 v5 v4 v3 v2 v1) (ijk 202) (l));
 
aa(3):='(((s4 (plus (minus p1) (minus p4)) p20m v7 v8 v9 v10
v2 v3 v4 v5) (s11 (plus (minus p3) (minus p5)) p2m v1 v6) (
145 p1 v10 v9 v8 v7) (156 (plus p1 p4) (minus (plus (minus 
p3) (minus p5))) v6 v2 v5 v4 v3) (23 p5 v1)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v6 v5 v4 v3 v2 v1) (ijk 203) (l));
 
aa(4):='(((s4 (plus (minus p1) (minus p5)) p20m v7 v8 v9 v10
v2 v3 v4 v5) (s11 (plus (minus p3) (minus p4)) p2m v1 v6) (
145 p1 v10 v9 v8 v7) (156 (plus p1 p5) (minus (plus (minus 
p3) (minus p4))) v6 v2 v5 v4 v3) (23 p4 v1)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v6 v5 v4 v3 v2 v1) (ijk 204) (l));
 
aa(5):='(((s11 (plus p2 p5) p2m v6 v1) (s4 (plus (minus p1)
(minus p4)) p20m v7 v8 v9 v10 v2 v3 v4 v5) (145 p1 v10 v9 v8
v7) (156 (plus p1 p4) (plus p2 p5) v6 v2 v5 v4 v3) (23 p5 v1
)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v6 v5 v4 v3 v2 v1) (ijk 205) (l));
 
aa(6):='(((s11 (plus p2 p4) p2m v6 v1) (s4 (plus (minus p1)
(minus p5)) p20m v7 v8 v9 v10 v2 v3 v4 v5) (145 p1 v10 v9 v8
v7) (156 (plus p1 p5) (plus p2 p4) v6 v2 v5 v4 v3) (23 p4 v1
)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v6 v5 v4 v3 v2 v1) (ijk 206) (l));
 
aa(7):='(((s4 (plus (minus p1) (minus p4)) p20m v9 v10 v11 
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p5)) p17m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (158 (plus p3 p5) (minus (
plus (minus p1) (minus p4))) v7 v3 v6 v5 v4 v8) (47 p5 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 207) (l));
 
aa(8):='(((s4 (plus (minus p1) (minus p5)) p20m v9 v10 v11 
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p4)) p17m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (158 (plus p3 p4) (minus (
plus (minus p1) (minus p5))) v7 v3 v6 v5 v4 v8) (47 p4 v2 v1
)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 208) (l));
 
aa(9):='(((s2 (plus p2 p5) p17m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p4)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (158 (plus p2 p5) (minus (plus (minus p1)
(minus p4))) v7 v3 v6 v5 v4 v8) (47 p5 v2 v1)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11 
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 209) (l));
 
aa(10):='(((s2 (plus p2 p4) p17m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p5)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (158 (plus p2 p4) (minus (plus (minus p1)
(minus p5))) v7 v3 v6 v5 v4 v8) (47 p4 v2 v1)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 210) (l));
 
aa(11):='(((s4 (plus (minus p1) (minus p4)) p20m v9 v10 v11
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p5)) p13m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (160 (plus p3 p5) (minus (
plus (minus p1) (minus p4))) v7 v3 v6 v5 v4 v8) (50 p5 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 211) (l));
 
aa(12):='(((s4 (plus (minus p1) (minus p5)) p20m v9 v10 v11
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p4)) p13m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (160 (plus p3 p4) (minus (
plus (minus p1) (minus p5))) v7 v3 v6 v5 v4 v8) (50 p4 v2 v1
)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 212) (l));
 
aa(13):='(((s2 (plus p2 p5) p13m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p4)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (160 (plus p2 p5) (minus (plus (minus p1)
(minus p4))) v7 v3 v6 v5 v4 v8) (50 p5 v2 v1)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 213) (l));
 
aa(14):='(((s2 (plus p2 p4) p13m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p5)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (160 (plus p2 p4) (minus (plus (minus p1)
(minus p5))) v7 v3 v6 v5 v4 v8) (50 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 214) (l));
 
aa(15):='(((s2 (plus p2 p3) p12m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p4)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (162 (plus p2 p3) (minus (plus (minus p1)
(minus p4))) v7 v3 v6 v5 v4 v8) (51 p2 v2 v1)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 215) (l));
 
aa(16):='(((s2 (plus p2 p3) p12m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p5)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (162 (plus p2 p3) (minus (plus (minus p1)
(minus p5))) v7 v3 v6 v5 v4 v8) (51 p2 v2 v1)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 216) (l));
 
aa(17):='(((s4 (plus (minus p1) (minus p4)) p20m v9 v10 v11
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p5)) p11m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (164 (plus p3 p5) (minus (
plus (minus p1) (minus p4))) v7 v3 v6 v5 v4 v8) (53 p5 v2 v1
)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 217) (l));
 
aa(18):='(((s4 (plus (minus p1) (minus p5)) p20m v9 v10 v11
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p4)) p11m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (164 (plus p3 p4) (minus (
plus (minus p1) (minus p5))) v7 v3 v6 v5 v4 v8) (53 p4 v2 v1
)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 218) (l));
 
aa(19):='(((s2 (plus p2 p5) p11m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p4)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (164 (plus p2 p5) (minus (plus (minus p1)
(minus p4))) v7 v3 v6 v5 v4 v8) (53 p5 v2 v1)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 219) (l));
 
aa(20):='(((s2 (plus p2 p4) p11m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p5)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (164 (plus p2 p4) (minus (plus (minus p1)
(minus p5))) v7 v3 v6 v5 v4 v8) (53 p4 v2 v1)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 220) (l));
 
aa(21):='(((s4 (plus (minus p1) (minus p4)) p20m v9 v10 v11
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p5)) p9m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (166 (plus p3 p5) (minus (
plus (minus p1) (minus p4))) v7 v3 v6 v5 v4 v8) (54 p5 v2 v1
)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 221) (l));
 
aa(22):='(((s4 (plus (minus p1) (minus p5)) p20m v9 v10 v11
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p4)) p9m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (166 (plus p3 p4) (minus (
plus (minus p1) (minus p5))) v7 v3 v6 v5 v4 v8) (54 p4 v2 v1
)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 222) (l));
 
aa(23):='(((s2 (plus p2 p5) p9m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p4)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (166 (plus p2 p5) (minus (plus (minus p1)
(minus p4))) v7 v3 v6 v5 v4 v8) (54 p5 v2 v1)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 223) (l));
 
aa(24):='(((s2 (plus p2 p4) p9m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p5)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (166 (plus p2 p4) (minus (plus (minus p1)
(minus p5))) v7 v3 v6 v5 v4 v8) (54 p4 v2 v1)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 224) (l));
 
aa(25):='(((s4 (plus (minus p1) (minus p4)) p20m v9 v10 v11
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p5)) p8m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (168 (plus p3 p5) (minus (
plus (minus p1) (minus p4))) v7 v3 v6 v5 v4 v8) (55 p5 v2 v1
)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 225) (l));
 
aa(26):='(((s4 (plus (minus p1) (minus p5)) p20m v9 v10 v11
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p4)) p8m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (168 (plus p3 p4) (minus (
plus (minus p1) (minus p5))) v7 v3 v6 v5 v4 v8) (55 p4 v2 v1
)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 226) (l));
 
aa(27):='(((s2 (plus p2 p5) p8m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p4)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (168 (plus p2 p5) (minus (plus (minus p1)
(minus p4))) v7 v3 v6 v5 v4 v8) (55 p5 v2 v1)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 227) (l));
 
aa(28):='(((s2 (plus p2 p4) p8m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p5)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (168 (plus p2 p4) (minus (plus (minus p1)
(minus p5))) v7 v3 v6 v5 v4 v8) (55 p4 v2 v1)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 228) (l));
 
aa(29):='(((s4 (plus (minus p1) (minus p4)) p20m v9 v10 v11
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p5)) p6m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (170 (plus p3 p5) (minus (
plus (minus p1) (minus p4))) v7 v3 v6 v5 v4 v8) (56 p5 v2 v1
)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 229) (l));
 
aa(30):='(((s4 (plus (minus p1) (minus p5)) p20m v9 v10 v11
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p4)) p6m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (170 (plus p3 p4) (minus (
plus (minus p1) (minus p5))) v7 v3 v6 v5 v4 v8) (56 p4 v2 v1
)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 230) (l));
 
aa(31):='(((s2 (plus p2 p5) p6m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p4)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (170 (plus p2 p5) (minus (plus (minus p1)
(minus p4))) v7 v3 v6 v5 v4 v8) (56 p5 v2 v1)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 231) (l));
 
aa(32):='(((s2 (plus p2 p4) p6m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p5)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (170 (plus p2 p4) (minus (plus (minus p1)
(minus p5))) v7 v3 v6 v5 v4 v8) (56 p4 v2 v1)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 232) (l));
 
aa(33):='(((s4 (plus (minus p1) (minus p4)) p20m v9 v10 v11
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p5)) p3m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (172 (plus p3 p5) (minus (
plus (minus p1) (minus p4))) v7 v3 v6 v5 v4 v8) (59 p5 v2 v1
)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 233) (l));
 
aa(34):='(((s4 (plus (minus p1) (minus p5)) p20m v9 v10 v11
v12 v3 v4 v5 v6) (s2 (plus (minus p3) (minus p4)) p3m v1 v2
v7 v8) (145 p1 v12 v11 v10 v9) (172 (plus p3 p4) (minus (
plus (minus p1) (minus p5))) v7 v3 v6 v5 v4 v8) (59 p4 v2 v1
)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 234) (l));
 
aa(35):='(((s2 (plus p2 p5) p3m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p4)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (172 (plus p2 p5) (minus (plus (minus p1)
(minus p4))) v7 v3 v6 v5 v4 v8) (59 p5 v2 v1)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 235) (l));
 
aa(36):='(((s2 (plus p2 p4) p3m v7 v8 v1 v2) (s4 (plus (
minus p1) (minus p5)) p20m v9 v10 v11 v12 v3 v4 v5 v6) (145
p1 v12 v11 v10 v9) (172 (plus p2 p4) (minus (plus (minus p1)
(minus p5))) v7 v3 v6 v5 v4 v8) (59 p4 v2 v1)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 236) (l));
 
;end;
 
