aa(1):='(((s11 (plus p1 p2) p32m v13 v14) (s2 (plus p5 p6) 
p8m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6))
p31m v3 v4 v5 v6 v9 v10 v11 v12) (76 p5 v2 v1) (249 (plus p5
p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 v8 
v7) (208 (plus p1 p2) (minus (plus (minus p4) (minus p5) (
minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 101) (l l1));
 
aa(2):='(((s11 (plus p1 p2) p32m v13 v14) (s2 (plus p5 p6) 
p5m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6))
p31m v3 v4 v5 v6 v9 v10 v11 v12) (80 p5 v2 v1) (251 (plus p5
p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 v8 
v7) (208 (plus p1 p2) (minus (plus (minus p4) (minus p5) (
minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 102) (l l1));
 
aa(3):='(((s0 (plus p5 p6) p16m) (s11 (plus p1 p2) p32m v9 
v10) (s4 (plus (minus p1) (minus p2) (minus p4)) p31m v5 v6
v7 v8 v1 v2 v3 v4) (23) (186 (plus p5 p6) v4 v3 v2 v1) (209
(plus p1 p2) (plus (minus p1) (minus p2) (minus p4)) v8 v7 
v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 103) (l l1));
 
aa(4):='(((s0 (plus p5 p6) p6m) (s11 (plus p1 p2) p32m v9 
v10) (s4 (plus (minus p1) (minus p2) (minus p4)) p31m v5 v6
v7 v8 v1 v2 v3 v4) (25) (188 (plus p5 p6) v4 v3 v2 v1) (209
(plus p1 p2) (plus (minus p1) (minus p2) (minus p4)) v8 v7 
v6 v5 v9)) (l1 (19 l1 v10)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 104) (l l1));
 
aa(5):='(((s11 (plus p1 p2) p32m v11 v12) (s11 (plus p3 p6)
p24m v6 v1) (s4 (plus (minus p1) (minus p2) (minus p4)) p31m
v7 v8 v9 v10 v2 v3 v4 v5) (29 p3 v1) (210 (plus p3 p6) (
minus (plus (minus p1) (minus p2) (minus p4))) v5 v4 v3 v2 
v6) (209 (plus p1 p2) (plus (minus p1) (minus p2) (minus p4)
) v10 v9 v8 v7 v11)) (l1 (19 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 105) (l l1));
 
aa(6):='(((s11 (plus p1 p2) p32m v11 v12) (s11 (plus p3 p5)
p24m v6 v1) (s4 (plus (minus p1) (minus p2) (minus p4)) p31m
v7 v8 v9 v10 v2 v3 v4 v5) (29 p3 v1) (210 (plus p3 p5) (
minus (plus (minus p1) (minus p2) (minus p4))) v5 v4 v3 v2 
v6) (209 (plus p1 p2) (plus (minus p1) (minus p2) (minus p4)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 106) (l l1));
 
aa(7):='(((s11 (plus p5 p6) p3m v6 v1) (s11 (plus p1 p2) 
p32m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p4)) 
p31m v7 v8 v9 v10 v2 v3 v4 v5) (37 p5 v1) (222 (plus p5 p6)
(minus (plus (minus p1) (minus p2) (minus p4))) v5 v4 v3 v2
v6) (209 (plus p1 p2) (plus (minus p1) (minus p2) (minus p4)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 107) (l l1));
 
aa(8):='(((s2 (plus p5 p6) p20m v7 v8 v1 v2) (s11 (plus p1 
p2) p32m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p4)
) p31m v9 v10 v11 v12 v3 v4 v5 v6) (64 p5 v2 v1) (236 (plus
p5 p6) (minus (plus (minus p1) (minus p2) (minus p4))) v6 v5
v4 v3 v8 v7) (209 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p4)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 108) (l l1));
 
aa(9):='(((s2 (plus p5 p6) p19m v7 v8 v1 v2) (s11 (plus p1 
p2) p32m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p4)
) p31m v9 v10 v11 v12 v3 v4 v5 v6) (66 p5 v2 v1) (238 (plus
p5 p6) (minus (plus (minus p1) (minus p2) (minus p4))) v6 v5
v4 v3 v8 v7) (209 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p4)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 109) (l l1));
 
aa(10):='(((s2 (plus p5 p6) p17m v7 v8 v1 v2) (s11 (plus p1
p2) p32m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p4)
) p31m v9 v10 v11 v12 v3 v4 v5 v6) (68 p5 v2 v1) (240 (plus
p5 p6) (minus (plus (minus p1) (minus p2) (minus p4))) v6 v5
v4 v3 v8 v7) (209 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p4)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 110) (l l1));
 
aa(11):='(((s2 (plus p5 p6) p12m v7 v8 v1 v2) (s11 (plus p1
p2) p32m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p4)
) p31m v9 v10 v11 v12 v3 v4 v5 v6) (70 p5 v2 v1) (242 (plus
p5 p6) (minus (plus (minus p1) (minus p2) (minus p4))) v6 v5
v4 v3 v8 v7) (209 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p4)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 111) (l l1));
 
aa(12):='(((s2 (plus p5 p6) p10m v7 v8 v1 v2) (s11 (plus p1
p2) p32m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p4)
) p31m v9 v10 v11 v12 v3 v4 v5 v6) (72 p5 v2 v1) (244 (plus
p5 p6) (minus (plus (minus p1) (minus p2) (minus p4))) v6 v5
v4 v3 v8 v7) (209 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p4)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 112) (l l1));
 
aa(13):='(((s2 (plus p5 p6) p9m v7 v8 v1 v2) (s11 (plus p1 
p2) p32m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p4)
) p31m v9 v10 v11 v12 v3 v4 v5 v6) (74 p5 v2 v1) (246 (plus
p5 p6) (minus (plus (minus p1) (minus p2) (minus p4))) v6 v5
v4 v3 v8 v7) (209 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p4)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 113) (l l1));
 
aa(14):='(((s2 (plus p5 p6) p8m v7 v8 v1 v2) (s11 (plus p1 
p2) p32m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p4)
) p31m v9 v10 v11 v12 v3 v4 v5 v6) (76 p5 v2 v1) (248 (plus
p5 p6) (minus (plus (minus p1) (minus p2) (minus p4))) v6 v5
v4 v3 v8 v7) (209 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p4)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 114) (l l1));
 
aa(15):='(((s2 (plus p5 p6) p5m v7 v8 v1 v2) (s11 (plus p1 
p2) p32m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p4)
) p31m v9 v10 v11 v12 v3 v4 v5 v6) (80 p5 v2 v1) (250 (plus
p5 p6) (minus (plus (minus p1) (minus p2) (minus p4))) v6 v5
v4 v3 v8 v7) (209 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p4)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 115) (l l1));
 
aa(16):='(((s2 (plus p5 p6) p5m v9 v10 v1 v2) (s11 (plus p1
p2) p32m v11 v12) (s3 (plus (minus p3) (minus p4)) p14m v3 
v4 v5 v6 v7 v8) (80 p5 v2 v1) (125 p4 v5 v4 v3) (226 (plus 
p5 p6) (minus (plus (minus p3) (minus p4))) v8 v7 v6 v11 v10
v9)) (l1 (19 l1 v12)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 116) (l l1));
 
aa(17):='(((s11 (plus p1 p2) p32m v10 v12) (s4 (plus p5 p6)
p23m v6 v7 v8 v9 v2 v3 v4 v5) (s11 (plus (minus p3) (minus 
p4)) p4m v1 v11) (36 p4 v1) (191 p5 v5 v4 v3 v2) (231 (plus
p1 p2) (plus p5 p6) v9 v8 v7 v6 v11 v10)) (l1 (19 l1 v12)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 117) (l l1));
 
;end;
 
