aa(1):='(((s11 (plus p1 p2) p36m v10 v12) (s4 (plus p3 p5) 
p26m v6 v7 v8 v9 v2 v3 v4 v5) (s11 (plus (minus p4) (minus 
p6)) p2m v1 v11) (35 p6 v1) (176 p5 v5 v4 v3 v2) (219 (plus
p1 p2) (plus p3 p5) v9 v8 v7 v6 v11 v10)) (l1 (19 l1 v12)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 701) (l l1));
 
aa(2):='(((s11 (plus p1 p2) p36m v10 v12) (s4 (plus p3 p6) 
p26m v6 v7 v8 v9 v2 v3 v4 v5) (s11 (plus (minus p4) (minus 
p5)) p2m v1 v11) (35 p5 v1) (176 p6 v5 v4 v3 v2) (219 (plus
p1 p2) (plus p3 p6) v9 v8 v7 v6 v11 v10)) (l1 (19 l1 v12)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 702) (l l1));
 
aa(3):='(((s11 (plus p1 p2) p36m v10 v12) (s11 (plus p3 p6)
p2m v11 v1) (s4 (plus (minus p4) (minus p5)) p26m v2 v3 v4 
v5 v6 v7 v8 v9) (35 p6 v1) (176 p5 v5 v4 v3 v2) (219 (plus 
p1 p2) (minus (plus (minus p4) (minus p5))) v9 v8 v7 v6 v11
v10)) (l1 (19 l1 v12)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 703) (l l1));
 
aa(4):='(((s11 (plus p1 p2) p36m v10 v12) (s11 (plus p3 p5)
p2m v11 v1) (s4 (plus (minus p4) (minus p6)) p26m v2 v3 v4 
v5 v6 v7 v8 v9) (35 p5 v1) (176 p6 v5 v4 v3 v2) (219 (plus 
p1 p2) (minus (plus (minus p4) (minus p6))) v9 v8 v7 v6 v11
v10)) (l1 (19 l1 v12)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 704) (l l1));
 
;end;
 
