aa(1):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p6m v8 v1) (s2 (plus (minus p4) (minus p6)) p11m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p5)) u3 v1) (230 p6 v4 v3) (370 (
plus p1 p2) (minus (plus (minus p4) (minus p6))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v6 v5 v4 v3 v1) (ijk 101) (l l1));
 
aa(2):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p9m v8 v1) (s2 (plus (minus p4) (minus p5)) p10m v3 v4 v5 v6
) (129 p3 (minus (plus p3 p6)) u3 v1) (234 p5 v4 v3) (381 (
plus p1 p2) (minus (plus (minus p4) (minus p5))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v6 v5 v4 v3 v1) (ijk 102) (l l1));
 
aa(3):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p9m v8 v1) (s2 (plus (minus p4) (minus p6)) p10m v3 v4 v5 v6
) (129 p3 (minus (plus p3 p5)) u3 v1) (234 p6 v4 v3) (381 (
plus p1 p2) (minus (plus (minus p4) (minus p6))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v6 v5 v4 v3 v1) (ijk 103) (l l1));
 
aa(4):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p8m v8 v1) (s2 (plus (minus p4) (minus p5)) p10m v3 v4 v5 v6
) (144 p6 p3 (minus (plus p3 p6)) u3 v1) (234 p5 v4 v3) (382
(plus p4 p5) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v6 v5 v4 v3 v1) (ijk 104) (l l1));
 
aa(5):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p8m v8 v1) (s2 (plus (minus p4) (minus p6)) p10m v3 v4 v5 v6
) (144 p5 p3 (minus (plus p3 p5)) u3 v1) (234 p6 v4 v3) (382
(plus p4 p6) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v6 v5 v4 v3 v1) (ijk 105) (l l1));
 
aa(6):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p7m v8 v1) (s2 (plus (minus p4) (minus p5)) p10m v3 v4 v5 v6
) (161 p6 p3 (minus (plus p3 p6)) u3 v1) (234 p5 v4 v3) (383
(plus p4 p5) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v6 v5 v4 v3 v1) (ijk 106) (l l1));
 
aa(7):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p7m v8 v1) (s2 (plus (minus p4) (minus p6)) p10m v3 v4 v5 v6
) (161 p5 p3 (minus (plus p3 p5)) u3 v1) (234 p6 v4 v3) (383
(plus p4 p6) (plus p1 p2) v8 v7 v6 v5)) (l1 (20 l1 v9)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v6 v5 v4 v3 v1) (ijk 107) (l l1));
 
aa(8):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p6) 
p6m v8 v1) (s2 (plus (minus p4) (minus p5)) p10m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p6)) u3 v1) (234 p5 v4 v3) (384 (
plus p1 p2) (minus (plus (minus p4) (minus p5))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v6 v5 v4 v3 v1) (ijk 108) (l l1));
 
aa(9):='(((s11 (plus p1 p2) p33m v7 v9) (s11 (plus p3 p5) 
p6m v8 v1) (s2 (plus (minus p4) (minus p6)) p10m v3 v4 v5 v6
) (178 p3 (minus (plus p3 p5)) u3 v1) (234 p6 v4 v3) (384 (
plus p1 p2) (minus (plus (minus p4) (minus p6))) v6 v5 v8 v7
)) (l1 (20 l1 v9)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 v7
v6 v5 v4 v3 v1) (ijk 109) (l l1));
 
aa(10):='(((s11 (plus p3 p6) p7m v6 v1) (s11 (plus p1 p2) 
p33m v10 v11) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p19m v7 v8 v9 v3 v4 v5) (161 p6 p3 (minus (plus p3 p6)) u3 
v1) (405 (plus p3 p6) (minus (plus (minus p1) (minus p2) (
minus p5))) v5 v4 v3 v6) (403 (plus (minus p1) (minus p2) (
minus p5)) (plus p1 p2) v10 v7 v9 v8)) (l1 (20 l1 v11)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v11 v10
v9 v8 v7 v6 v5 v4 v3 v1) (ijk 110) (l l1));
 
aa(11):='(((s11 (plus p3 p5) p7m v6 v1) (s11 (plus p1 p2) 
p33m v10 v11) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p19m v7 v8 v9 v3 v4 v5) (161 p5 p3 (minus (plus p3 p5)) u3 
v1) (405 (plus p3 p5) (minus (plus (minus p1) (minus p2) (
minus p6))) v5 v4 v3 v6) (403 (plus (minus p1) (minus p2) (
minus p6)) (plus p1 p2) v10 v7 v9 v8)) (l1 (20 l1 v11)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v11 v10
v9 v8 v7 v6 v5 v4 v3 v1) (ijk 111) (l l1));
 
aa(12):='(((s11 (plus p3 p6) p6m v6 v1) (s11 (plus p1 p2) 
p33m v10 v11) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p19m v7 v8 v9 v3 v4 v5) (178 p3 (minus (plus p3 p6)) u3 v1)
(407 (plus p1 p2 p5) (plus p3 p6) v6 v3 v5 v4) (403 (plus (
minus p1) (minus p2) (minus p5)) (plus p1 p2) v10 v7 v9 v8))
(l1 (20 l1 v11)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v11 v10
v9 v8 v7 v6 v5 v4 v3 v1) (ijk 112) (l l1));
 
aa(13):='(((s11 (plus p3 p5) p6m v6 v1) (s11 (plus p1 p2) 
p33m v10 v11) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p19m v7 v8 v9 v3 v4 v5) (178 p3 (minus (plus p3 p5)) u3 v1)
(407 (plus p1 p2 p6) (plus p3 p5) v6 v3 v5 v4) (403 (plus (
minus p1) (minus p2) (minus p6)) (plus p1 p2) v10 v7 v9 v8))
(l1 (20 l1 v11)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v11 v10
v9 v8 v7 v6 v5 v4 v3 v1) (ijk 113) (l l1));
 
aa(14):='(((s11 (plus p1 p2) p33m v10 v11) (s11 (plus p3 p4)
p5m v6 v1) (s3 (plus p1 p2 p5) p19m v3 v4 v5 v7 v8 v9) (193
p3 (minus (plus p3 p4)) u3 v1) (409 (plus p1 p2 p5) (plus p3
p4) v6 v3 v5 v4) (403 (plus (minus p1) (minus p2) (minus p5)
) (plus p1 p2) v10 v7 v9 v8)) (l1 (20 l1 v11)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v11 v10
v9 v8 v7 v6 v5 v4 v3 v1) (ijk 114) (l l1));
 
aa(15):='(((s11 (plus p3 p4) p5m v6 v1) (s11 (plus p1 p2) 
p33m v10 v11) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p19m v7 v8 v9 v3 v4 v5) (193 p3 (minus (plus p3 p4)) u3 v1)
(409 (plus p1 p2 p6) (plus p3 p4) v6 v3 v5 v4) (403 (plus (
minus p1) (minus p2) (minus p6)) (plus p1 p2) v10 v7 v9 v8))
(l1 (20 l1 v11)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v11 v10
v9 v8 v7 v6 v5 v4 v3 v1) (ijk 115) (l l1));
 
aa(16):='(((s0 (plus p4 p6) p17m) (s11 (plus p1 p2) p33m v8
v9) (s3 (plus (minus p1) (minus p2) (minus p5)) p19m v5 v6 
v7 v1 v2 v3) (40) (416 (plus p4 p6) p3 (minus (plus (minus 
p1) (minus p2) (minus p5))) u3 v1 v3 v2) (403 (plus (minus 
p1) (minus p2) (minus p5)) (plus p1 p2) v8 v5 v7 v6)) (l1 (
20 l1 v9)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v3 v2 v1) (ijk 116) (l l1));
 
aa(17):='(((s0 (plus p4 p5) p17m) (s11 (plus p1 p2) p33m v8
v9) (s3 (plus (minus p1) (minus p2) (minus p6)) p19m v5 v6 
v7 v1 v2 v3) (40) (416 (plus p4 p5) p3 (minus (plus (minus 
p1) (minus p2) (minus p6))) u3 v1 v3 v2) (403 (plus (minus 
p1) (minus p2) (minus p6)) (plus p1 p2) v8 v5 v7 v6)) (l1 (
20 l1 v9)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v9 v8 
v7 v6 v5 v3 v2 v1) (ijk 117) (l l1));
 
aa(18):='(((s11 (plus p3 p6) p6m v6 v1) (s11 (plus p1 p2) 
p33m v10 v11) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p15m v7 v8 v9 v3 v4 v5) (178 p3 (minus (plus p3 p6)) u3 v1)
(423 (plus p1 p2 p5) (plus p3 p6) v6 v3 v5 v4) (419 (plus (
minus p1) (minus p2) (minus p5)) (plus p1 p2) v10 v7 v9 v8))
(l1 (20 l1 v11)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v11 v10
v9 v8 v7 v6 v5 v4 v3 v1) (ijk 118) (l l1));
 
aa(19):='(((s11 (plus p3 p5) p6m v6 v1) (s11 (plus p1 p2) 
p33m v10 v11) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p15m v7 v8 v9 v3 v4 v5) (178 p3 (minus (plus p3 p5)) u3 v1)
(423 (plus p1 p2 p6) (plus p3 p5) v6 v3 v5 v4) (419 (plus (
minus p1) (minus p2) (minus p6)) (plus p1 p2) v10 v7 v9 v8))
(l1 (20 l1 v11)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v11 v10
v9 v8 v7 v6 v5 v4 v3 v1) (ijk 119) (l l1));
 
aa(20):='(((s11 (plus p1 p2) p33m v11 v13) (s4 (plus p5 p6)
p29m v7 v8 v9 v10 v3 v4 v5 v6) (s11 (plus (minus p3) (minus
p4)) p5m v1 v12) (193 p3 (plus (minus p3) (minus p4)) u3 v1)
(435 p5 v6 v5 v4 v3) (444 (plus p1 p2) (plus p5 p6) v10 v9 
v8 v7 v12 v11)) (l1 (20 l1 v13)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v13 v12
v11 v10 v9 v8 v7 v6 v5 v4 v3 v1) (ijk 120) (l l1));
 
aa(21):='(((s11 (plus p1 p2) p33m v11 v13) (s4 (plus p5 p6)
p24m v7 v8 v9 v10 v3 v4 v5 v6) (s11 (plus (minus p3) (minus
p4)) p6m v1 v12) (179 p3 (plus (minus p3) (minus p4)) u3 v1)
(439 p5 v6 v5 v4 v3) (461 (plus p1 p2) (plus p5 p6) v10 v9 
v8 v7 v12 v11)) (l1 (20 l1 v13)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v13 v12
v11 v10 v9 v8 v7 v6 v5 v4 v3 v1) (ijk 121) (l l1));
 
aa(22):='(((s11 (plus p1 p2) p33m v11 v13) (s11 (plus p3 p6)
p6m v12 v1) (s4 (plus (minus p4) (minus p5)) p24m v3 v4 v5 
v6 v7 v8 v9 v10) (178 p3 (minus (plus p3 p6)) u3 v1) (440 p5
v6 v5 v4 v3) (461 (plus p1 p2) (minus (plus (minus p4) (
minus p5))) v10 v9 v8 v7 v12 v11)) (l1 (20 l1 v13)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v13 v12
v11 v10 v9 v8 v7 v6 v5 v4 v3 v1) (ijk 122) (l l1));
 
aa(23):='(((s11 (plus p1 p2) p33m v11 v13) (s11 (plus p3 p5)
p6m v12 v1) (s4 (plus (minus p4) (minus p6)) p24m v3 v4 v5 
v6 v7 v8 v9 v10) (178 p3 (minus (plus p3 p5)) u3 v1) (440 p6
v6 v5 v4 v3) (461 (plus p1 p2) (minus (plus (minus p4) (
minus p6))) v10 v9 v8 v7 v12 v11)) (l1 (20 l1 v13)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v13 v12
v11 v10 v9 v8 v7 v6 v5 v4 v3 v1) (ijk 123) (l l1));
 
aa(24):='(((s11 (plus p1 p2) p33m v11 v13) (s4 (plus p5 p6)
p24m v7 v8 v9 v10 v3 v4 v5 v6) (s11 (plus (minus p3) (minus
p4)) p5m v1 v12) (193 p3 (plus (minus p3) (minus p4)) u3 v1)
(439 p5 v6 v5 v4 v3) (462 (plus p1 p2) (plus p5 p6) v10 v9 
v8 v7 v12 v11)) (l1 (20 l1 v13)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v13 v12
v11 v10 v9 v8 v7 v6 v5 v4 v3 v1) (ijk 124) (l l1));
 
;end;
 
