aaaaa:='((k) (l) (nop 0) (nep 4) (namel (pr13 pr2 pr2 pr1))
(inpl (1 -1 -1 -1)) (onshl (0 0 0 0)));
 
aa(1):='(((s11 (plus (minus p3) (minus p4)) p11m v1 v3) (25
p2 (minus (plus (minus p3) (minus p4))) u2 v3) (26 p3 (plus
(minus p3) (minus p4)) u3 v1)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 1) (l));
 
aa(2):='(((s11 (plus (minus p2) (minus p4)) p11m v1 v3) (25
p3 (minus (plus (minus p2) (minus p4))) u3 v3) (26 p2 (plus
(minus p2) (minus p4)) u2 v1)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 2) (l));
 
aa(3):='(((s11 (plus (minus p3) (minus p4)) p9m v1 v3) (32 
p2 (minus (plus (minus p3) (minus p4))) u2 v3) (33 p3 (plus
(minus p3) (minus p4)) u3 v1)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 3) (l));
 
aa(4):='(((s11 (plus (minus p2) (minus p4)) p9m v1 v3) (32 
p3 (minus (plus (minus p2) (minus p4))) u3 v3) (33 p2 (plus
(minus p2) (minus p4)) u2 v1)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 4) (l));
 
aa(5):='(((s11 (plus (minus p3) (minus p4)) p8m v1 v3) (39 
p1 p2 (minus (plus (minus p3) (minus p4))) u2 v3) (40 p4 p3
(plus (minus p3) (minus p4)) u3 v1)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 5) (l));
 
aa(6):='(((s11 (plus (minus p2) (minus p4)) p8m v1 v3) (39 
p1 p3 (minus (plus (minus p2) (minus p4))) u3 v3) (40 p4 p2
(plus (minus p2) (minus p4)) u2 v1)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 6) (l));
 
aa(7):='(((s11 (plus (minus p3) (minus p4)) p7m v1 v3) (47 
p2 (minus (plus (minus p3) (minus p4))) u2 v3) (48 p3 (plus
(minus p3) (minus p4)) u3 v1)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 7) (l));
 
aa(8):='(((s11 (plus (minus p2) (minus p4)) p7m v1 v3) (47 
p3 (minus (plus (minus p2) (minus p4))) u3 v3) (48 p2 (plus
(minus p2) (minus p4)) u2 v1)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 8) (l));
 
aa(9):='(((s11 (plus (minus p3) (minus p4)) p6m v1 v3) (54 
p1 p2 (minus (plus (minus p3) (minus p4))) u2 v3) (55 p4 p3
(plus (minus p3) (minus p4)) u3 v1)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 9) (l));
 
aa(10):='(((s11 (plus (minus p2) (minus p4)) p6m v1 v3) (54
p1 p3 (minus (plus (minus p2) (minus p4))) u3 v3) (55 p4 p2
(plus (minus p2) (minus p4)) u2 v1)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 10) (l));
 
aa(11):='(((s11 (plus (minus p3) (minus p4)) p5m v1 v3) (59
p1 p2 (minus (plus (minus p3) (minus p4))) u2 v3) (60 p4 p3
(plus (minus p3) (minus p4)) u3 v1)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 11) (l));
 
aa(12):='(((s11 (plus (minus p2) (minus p4)) p5m v1 v3) (59
p1 p3 (minus (plus (minus p2) (minus p4))) u3 v3) (60 p4 p2
(plus (minus p2) (minus p4)) u2 v1)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 12) (l));
 
aa(13):='(((s11 (plus (minus p3) (minus p4)) p4m v1 v3) (63
p2 (minus (plus (minus p3) (minus p4))) u2 v3) (64 p3 (plus
(minus p3) (minus p4)) u3 v1)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 13) (l));
 
aa(14):='(((s11 (plus (minus p2) (minus p4)) p4m v1 v3) (63
p3 (minus (plus (minus p2) (minus p4))) u3 v3) (64 p2 (plus
(minus p2) (minus p4)) u2 v1)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 14) (l));
 
aa(15):='(((s11 (plus (minus p3) (minus p4)) p3m v1 v3) (66
p2 (minus (plus (minus p3) (minus p4))) u2 v3) (67 p3 (plus
(minus p3) (minus p4)) u3 v1)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 15) (l));
 
aa(16):='(((s11 (plus (minus p2) (minus p4)) p3m v1 v3) (66
p3 (minus (plus (minus p2) (minus p4))) u3 v3) (67 p2 (plus
(minus p2) (minus p4)) u2 v1)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v3 v1) (
ijk 16) (l));
 
aa(17):='(((s3 (plus (minus p3) (minus p4)) p12m v1 v2 v3 v5
v6 v7) (73 (plus p3 p4) p2 u2 v5 v7 v6) (74 (plus (minus p3)
(minus p4)) p3 u3 v1 v3 v2)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 v5
v3 v2 v1) (ijk 17) (l));
 
aa(18):='(((s3 (plus (minus p2) (minus p4)) p12m v1 v2 v3 v5
v6 v7) (73 (plus p2 p4) p3 u3 v5 v7 v6) (74 (plus (minus p2)
(minus p4)) p2 u2 v1 v3 v2)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 v5
v3 v2 v1) (ijk 18) (l));
 
aa(19):='(((s3 (plus (minus p3) (minus p4)) p10m v1 v2 v3 v5
v6 v7) (80 (plus p3 p4) p2 u2 v5 v7 v6) (81 (plus (minus p3)
(minus p4)) p3 u3 v1 v3 v2)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 v5
v3 v2 v1) (ijk 19) (l));
 
aa(20):='(((s3 (plus (minus p2) (minus p4)) p10m v1 v2 v3 v5
v6 v7) (80 (plus p2 p4) p3 u3 v5 v7 v6) (81 (plus (minus p2)
(minus p4)) p2 u2 v1 v3 v2)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v7 v6 v5
v3 v2 v1) (ijk 20) (l));
 
;end;
 
