aa(1):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v5) (771 l1 p3 (minus (plus (minus p2) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p48m v2 v3 v4
v6 v7 v8) (634 l1 p4 v8 v7 v6)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 201) (l l1));
 
aa(2):='(nil (l1 (120 l1) (sf l1 (plus (minus p3) (minus p5)
) p35m) (639 l1 (minus (plus (minus p3) (minus p5))) v3 v2 
v1) (sf7 l1 (plus p1 p4) p24m v1 v2 v3 v4 v5 v6) (648 l1 p4
v6 v5 v4)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 202) (l l1));
 
aa(3):='(nil (l1 (134 l1) (sf l1 (plus (minus p3) (minus p5)
) p31m) (641 l1 (minus (plus (minus p3) (minus p5))) v3 v2 
v1) (sf7 l1 (plus p1 p4) p24m v1 v2 v3 v4 v5 v6) (648 l1 p4
v6 v5 v4)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 203) (l l1));
 
aa(4):='(nil (l1 (165 l1) (sf l1 (plus (minus p2) (minus p5)
) p14m) (643 l1 (minus (plus (minus p2) (minus p5))) v3 v2 
v1) (sf7 l1 (plus p1 p4) p24m v1 v2 v3 v4 v5 v6) (648 l1 p4
v6 v5 v4)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 204) (l l1));
 
aa(5):='(((s0 (plus (minus p2) (minus p3)) p5m) (26)) (l1 (
645 l1 p5 v3 v2 v1) (sf7 l1 (plus p1 p4) p24m v1 v2 v3 v4 v5
v6) (648 l1 p4 v6 v5 v4)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 205) (l l1));
 
aa(6):='(nil (l1 (245 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p33m v1 v5) (773 l1 p2 (minus (plus (minus p3) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p24m v2 v3 v4
v6 v7 v8) (648 l1 p4 v8 v7 v6)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 206) (l l1));
 
aa(7):='(nil (l1 (269 l1 p5 v1) (sf3 l1 (plus (minus p3) (
minus p5)) p29m v1 v5) (775 l1 p2 (minus (plus (minus p3) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p24m v2 v3 v4
v6 v7 v8) (648 l1 p4 v8 v7 v6)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 207) (l l1));
 
aa(8):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v5) (779 l1 p3 (minus (plus (minus p2) (
minus p5))) v5 v4 v3 v2) (sf7 l1 (plus p1 p4) p24m v2 v3 v4
v6 v7 v8) (648 l1 p4 v8 v7 v6)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 208) (l l1));
 
aa(9):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v6) (733 l1 p1 (minus (plus (minus p2) (
minus p5))) v6 v5 v4) (sf5 l1 (plus p3 p4) p19m v4 v5 v2 v3)
(504 l1 p4 v3 v2)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 209) (l l1));
 
aa(10):='(nil (l1 (337 l1 p5 v1) (sf3 l1 (plus (minus p2) (
minus p5)) p26m v1 v6) (741 l1 p1 (minus (plus (minus p2) (
minus p5))) v6 v5 v4) (sf5 l1 (plus p3 p4) p18m v4 v5 v2 v3)
(514 l1 p4 v3 v2)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 210) (l l1));
 
;end;
 
