aaaaa:='((k) (l) (nop 0) (nep 4) (namel (pr24 pr1 pr1 pr2))
(inpl (1 -1 -1 -1)) (onshl (0 0 0 0)));
 
aa(1):='(((s0 (plus (minus p3) (minus p4)) p22m) (15) (25)))
;
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 1) (l))
;
 
aa(2):='(((s0 (plus (minus p2) (minus p4)) p22m) (15) (25)))
;
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 2) (l))
;
 
aa(3):='(((s0 (plus (minus p3) (minus p4)) p19m) (16) (28)))
;
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 3) (l))
;
 
aa(4):='(((s0 (plus (minus p2) (minus p4)) p19m) (16) (28)))
;
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 4) (l))
;
 
aa(5):='(((s0 (plus (minus p3) (minus p4)) p17m) (17) (31)))
;
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 5) (l))
;
 
aa(6):='(((s0 (plus (minus p2) (minus p4)) p17m) (17) (31)))
;
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 6) (l))
;
 
aa(7):='(((s0 (plus p2 p3) p15m) (18) (35)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 7) (l))
;
 
aa(8):='(((s0 (plus (minus p3) (minus p4)) p15m) (19) (34)))
;
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 8) (l))
;
 
aa(9):='(((s0 (plus (minus p2) (minus p4)) p15m) (19) (34)))
;
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 9) (l))
;
 
aa(10):='(((s0 (plus p2 p3) p10m) (20) (37)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 10) (l
));
 
aa(11):='(((s0 (plus (minus p3) (minus p4)) p10m) (21) (36))
);
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 11) (l
));
 
aa(12):='(((s0 (plus (minus p2) (minus p4)) p10m) (21) (36))
);
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 12) (l
));
 
aa(13):='(((s0 (plus p2 p3) p5m) (22) (38)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (ijk 13) (l
));
 
aa(14):='(((s11 (plus p2 p3) p3m v2 v1) (39 p1 v2) (42 p2 v1
)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 14) (l));
 
aa(15):='(((s11 (plus (minus p3) (minus p4)) p3m v1 v2) (40
p1 v2) (41 p4 v1)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 15) (l));
 
aa(16):='(((s11 (plus (minus p2) (minus p4)) p3m v1 v2) (40
p1 v2) (41 p4 v1)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v2 v1) (
ijk 16) (l));
 
aa(17):='(((s2 (plus (minus p3) (minus p4)) p23m v1 v2 v3 v4
) (43 p1 v4 v3) (45 p4 v2 v1)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 17) (l));
 
aa(18):='(((s2 (plus (minus p2) (minus p4)) p23m v1 v2 v3 v4
) (43 p1 v4 v3) (45 p4 v2 v1)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 18) (l));
 
aa(19):='(((s2 (plus (minus p3) (minus p4)) p20m v1 v2 v3 v4
) (47 p1 v4 v3) (49 p4 v2 v1)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 19) (l));
 
aa(20):='(((s2 (plus (minus p2) (minus p4)) p20m v1 v2 v3 v4
) (47 p1 v4 v3) (49 p4 v2 v1)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 20) (l));
 
aa(21):='(((s2 (plus (minus p3) (minus p4)) p18m v1 v2 v3 v4
) (51 p1 v4 v3) (53 p4 v2 v1)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 21) (l));
 
aa(22):='(((s2 (plus (minus p2) (minus p4)) p18m v1 v2 v3 v4
) (51 p1 v4 v3) (53 p4 v2 v1)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 22) (l));
 
aa(23):='(((s2 (plus p2 p3) p14m v3 v4 v1 v2) (55 p1 v4 v3)
(59 p2 v2 v1)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 23) (l));
 
aa(24):='(((s2 (plus (minus p3) (minus p4)) p14m v1 v2 v3 v4
) (56 p1 v4 v3) (58 p4 v2 v1)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 24) (l));
 
aa(25):='(((s2 (plus (minus p2) (minus p4)) p14m v1 v2 v3 v4
) (56 p1 v4 v3) (58 p4 v2 v1)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 25) (l));
 
aa(26):='(((s2 (plus p2 p3) p13m v3 v4 v1 v2) (60 p1 v4 v3)
(64 p2 v2 v1)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 26) (l));
 
aa(27):='(((s2 (plus (minus p3) (minus p4)) p13m v1 v2 v3 v4
) (61 p1 v4 v3) (63 p4 v2 v1)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 27) (l));
 
aa(28):='(((s2 (plus (minus p2) (minus p4)) p13m v1 v2 v3 v4
) (61 p1 v4 v3) (63 p4 v2 v1)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 28) (l));
 
aa(29):='(((s2 (plus p2 p3) p12m v3 v4 v1 v2) (65 p1 v4 v3)
(68 p2 v2 v1)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 29) (l));
 
aa(30):='(((s2 (plus (minus p3) (minus p4)) p12m v1 v2 v3 v4
) (66 p1 v4 v3) (67 p4 v2 v1)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 30) (l));
 
aa(31):='(((s2 (plus (minus p2) (minus p4)) p12m v1 v2 v3 v4
) (66 p1 v4 v3) (67 p4 v2 v1)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 31) (l));
 
aa(32):='(((s2 (plus p2 p3) p11m v3 v4 v1 v2) (69 p1 v4 v3)
(72 p2 v2 v1)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 32) (l));
 
aa(33):='(((s2 (plus (minus p3) (minus p4)) p11m v1 v2 v3 v4
) (70 p1 v4 v3) (71 p4 v2 v1)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 33) (l));
 
aa(34):='(((s2 (plus (minus p2) (minus p4)) p11m v1 v2 v3 v4
) (70 p1 v4 v3) (71 p4 v2 v1)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 34) (l));
 
aa(35):='(((s2 (plus p2 p3) p9m v3 v4 v1 v2) (73 p1 v4 v3) (
76 p2 v2 v1)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 35) (l));
 
aa(36):='(((s2 (plus (minus p3) (minus p4)) p9m v1 v2 v3 v4)
(74 p1 v4 v3) (75 p4 v2 v1)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 36) (l));
 
aa(37):='(((s2 (plus (minus p2) (minus p4)) p9m v1 v2 v3 v4)
(74 p1 v4 v3) (75 p4 v2 v1)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 37) (l));
 
aa(38):='(((s2 (plus p2 p3) p8m v3 v4 v1 v2) (77 p1 v4 v3) (
80 p2 v2 v1)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 38) (l));
 
aa(39):='(((s2 (plus (minus p3) (minus p4)) p8m v1 v2 v3 v4)
(78 p1 v4 v3) (79 p4 v2 v1)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 39) (l));
 
aa(40):='(((s2 (plus (minus p2) (minus p4)) p8m v1 v2 v3 v4)
(78 p1 v4 v3) (79 p4 v2 v1)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 40) (l));
 
aa(41):='(((s2 (plus p2 p3) p7m v3 v4 v1 v2) (81 p1 v4 v3) (
84 p2 v2 v1)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 41) (l));
 
aa(42):='(((s2 (plus (minus p3) (minus p4)) p7m v1 v2 v3 v4)
(82 p1 v4 v3) (83 p4 v2 v1)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 42) (l));
 
aa(43):='(((s2 (plus (minus p2) (minus p4)) p7m v1 v2 v3 v4)
(82 p1 v4 v3) (83 p4 v2 v1)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 43) (l));
 
aa(44):='(((s2 (plus p2 p3) p6m v3 v4 v1 v2) (85 p1 v4 v3) (
87 p2 v2 v1)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 44) (l));
 
aa(45):='(((s2 (plus p2 p3) p4m v3 v4 v1 v2) (88 p1 v4 v3) (
90 p2 v2 v1)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 45) (l));
 
aa(46):='(((s4 (plus (minus p3) (minus p4)) p21m v1 v2 v3 v4
v5 v6 v7 v8) (120 p1 v8 v7 v6 v5) (122 p4 v4 v3 v2 v1)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 46) (l));
 
aa(47):='(((s4 (plus (minus p2) (minus p4)) p21m v1 v2 v3 v4
v5 v6 v7 v8) (120 p1 v8 v7 v6 v5) (122 p4 v4 v3 v2 v1)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 47) (l));
 
aa(48):='(((s4 (plus (minus p3) (minus p4)) p16m v1 v2 v3 v4
v5 v6 v7 v8) (124 p1 v8 v7 v6 v5) (126 p4 v4 v3 v2 v1)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 48) (l));
 
aa(49):='(((s4 (plus (minus p2) (minus p4)) p16m v1 v2 v3 v4
v5 v6 v7 v8) (124 p1 v8 v7 v6 v5) (126 p4 v4 v3 v2 v1)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 49) (l));
 
;end;
 
