aaaaa:='((k) (l) (nop 0) (nep 4) (namel (pr16 pr1b pr1 pr2))
(inpl (1 -1 -1 -1)) (onshl (0 0 0 0)));
 
aa(1):='(((s0 (plus (minus p2) (minus p3)) p14m) (15) (19)))
;
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 1) (l))
;
 
aa(2):='(((s0 (plus (minus p2) (minus p3)) p9m) (16) (20)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 2) (l))
;
 
aa(3):='(((s0 (plus (minus p2) (minus p3)) p4m) (17) (21)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 3) (l))
;
 
aa(4):='(((s2 (plus (minus p3) (minus p4)) p15m v1 v2 v3 v4)
(22 p1 v4 v3) (25 p4 v2 v1)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 4) (l));
 
aa(5):='(((s2 (plus p2 p4) p15m v3 v4 v1 v2) (23 p1 v4 v3) (
24 p4 v2 v1)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 5) (l));
 
aa(6):='(((s2 (plus (minus p2) (minus p3)) p13m v1 v2 v3 v4)
(26 p1 v4 v3) (28 p3 v2 v1)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 6) (l));
 
aa(7):='(((s2 (plus (minus p2) (minus p3)) p12m v1 v2 v3 v4)
(29 p1 v4 v3) (31 p3 v2 v1)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 7) (l));
 
aa(8):='(((s2 (plus (minus p2) (minus p3)) p11m v1 v2 v3 v4)
(32 p1 v4 v3) (33 p3 v2 v1)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 8) (l));
 
aa(9):='(((s2 (plus (minus p2) (minus p3)) p10m v1 v2 v3 v4)
(34 p1 v4 v3) (35 p3 v2 v1)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 9) (l));
 
aa(10):='(((s2 (plus (minus p2) (minus p3)) p8m v1 v2 v3 v4)
(36 p1 v4 v3) (37 p3 v2 v1)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 10) (l));
 
aa(11):='(((s2 (plus (minus p2) (minus p3)) p7m v1 v2 v3 v4)
(38 p1 v4 v3) (39 p3 v2 v1)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 11) (l));
 
aa(12):='(((s2 (plus (minus p2) (minus p3)) p6m v1 v2 v3 v4)
(40 p1 v4 v3) (41 p3 v2 v1)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 12) (l));
 
aa(13):='(((s2 (plus (minus p2) (minus p3)) p5m v1 v2 v3 v4)
(42 p1 v4 v3) (43 p3 v2 v1)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 13) (l));
 
aa(14):='(((s2 (plus (minus p2) (minus p3)) p3m v1 v2 v3 v4)
(44 p1 v4 v3) (45 p3 v2 v1)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 14) (l));
 
;end;
 
