aaaaa:='((k) (l l1) (nop 0) (nep 6) (namel (ef efb pr1b pr1b
pr1 pr1)) (inpl (1 1 -1 -1 -1 -1)) (onshl (0 0 0 0 0 0)));
 
aa(1):='(((s11 (plus p1 p2) p36m v3 v4) (s0 (plus (minus p4)
(minus p5) (minus p6)) p31m) (s11 (plus p4 p6) p2m v2 v1) (
35 p6 v1) (34 (plus (minus p4) (minus p5) (minus p6)) v2) (
24 (plus p4 p5 p6) v3)) (l1 (19 l1 v4)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 1) (l l1));
 
aa(2):='(((s11 (plus p1 p2) p36m v3 v4) (s0 (plus (minus p4)
(minus p5) (minus p6)) p31m) (s11 (plus p4 p5) p2m v2 v1) (
35 p5 v1) (34 (plus (minus p4) (minus p5) (minus p6)) v2) (
24 (plus p4 p5 p6) v3)) (l1 (19 l1 v4)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 2) (l l1));
 
aa(3):='(((s11 (plus p1 p2) p36m v3 v4) (s0 (plus p1 p2 p4)
p31m) (s11 (plus p3 p6) p2m v2 v1) (35 p6 v1) (34 (plus p1 
p2 p4) v2) (24 (plus (minus p1) (minus p2) (minus p4)) v3))
(l1 (19 l1 v4)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 3) (l l1));
 
aa(4):='(((s11 (plus p1 p2) p36m v3 v4) (s0 (plus p1 p2 p4)
p31m) (s11 (plus p3 p5) p2m v2 v1) (35 p5 v1) (34 (plus p1 
p2 p4) v2) (24 (plus (minus p1) (minus p2) (minus p4)) v3))
(l1 (19 l1 v4)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 v2
v1) (ijk 4) (l l1));
 
aa(5):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus (minus p4)
(minus p5) (minus p6)) p31m) (s2 (plus p4 p6) p4m v3 v4 v1 
v2) (64 p6 v2 v1) (63 (plus (minus p4) (minus p5) (minus p6)
) v4 v3) (24 (plus p4 p5 p6) v5)) (l1 (19 l1 v6)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 5) (l l1));
 
aa(6):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus (minus p4)
(minus p5) (minus p6)) p31m) (s2 (plus p4 p5) p4m v3 v4 v1 
v2) (64 p5 v2 v1) (63 (plus (minus p4) (minus p5) (minus p6)
) v4 v3) (24 (plus p4 p5 p6) v5)) (l1 (19 l1 v6)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 6) (l l1));
 
aa(7):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p1 p2 p4)
p31m) (s2 (plus p3 p6) p4m v3 v4 v1 v2) (64 p6 v2 v1) (63 (
plus p1 p2 p4) v4 v3) (24 (plus (minus p1) (minus p2) (minus
p4)) v5)) (l1 (19 l1 v6)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 7) (l l1));
 
aa(8):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p1 p2 p4)
p31m) (s2 (plus p3 p5) p4m v3 v4 v1 v2) (64 p5 v2 v1) (63 (
plus p1 p2 p4) v4 v3) (24 (plus (minus p1) (minus p2) (minus
p4)) v5)) (l1 (19 l1 v6)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 8) (l l1));
 
aa(9):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus (minus p4)
(minus p5) (minus p6)) p31m) (s2 (plus p4 p6) p3m v3 v4 v1 
v2) (67 p6 v2 v1) (66 (plus (minus p4) (minus p5) (minus p6)
) v4 v3) (24 (plus p4 p5 p6) v5)) (l1 (19 l1 v6)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v3 v2 v1) (ijk 9) (l l1));
 
aa(10):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus (minus p4
) (minus p5) (minus p6)) p31m) (s2 (plus p4 p5) p3m v3 v4 v1
v2) (67 p5 v2 v1) (66 (plus (minus p4) (minus p5) (minus p6)
) v4 v3) (24 (plus p4 p5 p6) v5)) (l1 (19 l1 v6)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 10) (l l1));
 
aa(11):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p1 p2 p4)
p31m) (s2 (plus p3 p6) p3m v3 v4 v1 v2) (67 p6 v2 v1) (66 (
plus p1 p2 p4) v4 v3) (24 (plus (minus p1) (minus p2) (minus
p4)) v5)) (l1 (19 l1 v6)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 11) (l l1));
 
aa(12):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p1 p2 p4)
p31m) (s2 (plus p3 p5) p3m v3 v4 v1 v2) (67 p5 v2 v1) (66 (
plus p1 p2 p4) v4 v3) (24 (plus (minus p1) (minus p2) (minus
p4)) v5)) (l1 (19 l1 v6)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 12) (l l1));
 
aa(13):='(((s11 (plus p4 p6) p2m v2 v1) (s0 (plus (minus p1)
(minus p2) (minus p5)) p31m) (s11 (plus p1 p2) p36m v3 v4) (
35 p6 v1) (33 (plus p1 p2 p5) v2) (25 (plus (minus p1) (
minus p2) (minus p5)) v3)) (l1 (19 l1 v4)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 13) (l l1));
 
aa(14):='(((s11 (plus p4 p5) p2m v2 v1) (s0 (plus (minus p1)
(minus p2) (minus p6)) p31m) (s11 (plus p1 p2) p36m v3 v4) (
35 p5 v1) (33 (plus p1 p2 p6) v2) (25 (plus (minus p1) (
minus p2) (minus p6)) v3)) (l1 (19 l1 v4)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 14) (l l1));
 
aa(15):='(((s11 (plus p3 p6) p2m v2 v1) (s0 (plus (minus p1)
(minus p2) (minus p5)) p31m) (s11 (plus p1 p2) p36m v3 v4) (
35 p6 v1) (33 (plus p1 p2 p5) v2) (25 (plus (minus p1) (
minus p2) (minus p5)) v3)) (l1 (19 l1 v4)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 15) (l l1));
 
aa(16):='(((s11 (plus p3 p5) p2m v2 v1) (s0 (plus (minus p1)
(minus p2) (minus p6)) p31m) (s11 (plus p1 p2) p36m v3 v4) (
35 p5 v1) (33 (plus p1 p2 p6) v2) (25 (plus (minus p1) (
minus p2) (minus p6)) v3)) (l1 (19 l1 v4)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 16) (l l1));
 
aa(17):='(((s2 (plus p4 p6) p4m v3 v4 v1 v2) (s0 (plus (
minus p1) (minus p2) (minus p5)) p31m) (s11 (plus p1 p2) 
p36m v5 v6) (64 p6 v2 v1) (62 (plus p1 p2 p5) v4 v3) (25 (
plus (minus p1) (minus p2) (minus p5)) v5)) (l1 (19 l1 v6)))
;
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 17) (l l1));
 
aa(18):='(((s2 (plus p4 p5) p4m v3 v4 v1 v2) (s0 (plus (
minus p1) (minus p2) (minus p6)) p31m) (s11 (plus p1 p2) 
p36m v5 v6) (64 p5 v2 v1) (62 (plus p1 p2 p6) v4 v3) (25 (
plus (minus p1) (minus p2) (minus p6)) v5)) (l1 (19 l1 v6)))
;
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 18) (l l1));
 
aa(19):='(((s2 (plus p3 p6) p4m v3 v4 v1 v2) (s0 (plus (
minus p1) (minus p2) (minus p5)) p31m) (s11 (plus p1 p2) 
p36m v5 v6) (64 p6 v2 v1) (62 (plus p1 p2 p5) v4 v3) (25 (
plus (minus p1) (minus p2) (minus p5)) v5)) (l1 (19 l1 v6)))
;
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 19) (l l1));
 
aa(20):='(((s2 (plus p3 p5) p4m v3 v4 v1 v2) (s0 (plus (
minus p1) (minus p2) (minus p6)) p31m) (s11 (plus p1 p2) 
p36m v5 v6) (64 p5 v2 v1) (62 (plus p1 p2 p6) v4 v3) (25 (
plus (minus p1) (minus p2) (minus p6)) v5)) (l1 (19 l1 v6)))
;
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 20) (l l1));
 
aa(21):='(((s2 (plus p4 p6) p3m v3 v4 v1 v2) (s0 (plus (
minus p1) (minus p2) (minus p5)) p31m) (s11 (plus p1 p2) 
p36m v5 v6) (67 p6 v2 v1) (65 (plus p1 p2 p5) v4 v3) (25 (
plus (minus p1) (minus p2) (minus p5)) v5)) (l1 (19 l1 v6)))
;
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 21) (l l1));
 
aa(22):='(((s2 (plus p4 p5) p3m v3 v4 v1 v2) (s0 (plus (
minus p1) (minus p2) (minus p6)) p31m) (s11 (plus p1 p2) 
p36m v5 v6) (67 p5 v2 v1) (65 (plus p1 p2 p6) v4 v3) (25 (
plus (minus p1) (minus p2) (minus p6)) v5)) (l1 (19 l1 v6)))
;
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 22) (l l1));
 
aa(23):='(((s2 (plus p3 p6) p3m v3 v4 v1 v2) (s0 (plus (
minus p1) (minus p2) (minus p5)) p31m) (s11 (plus p1 p2) 
p36m v5 v6) (67 p6 v2 v1) (65 (plus p1 p2 p5) v4 v3) (25 (
plus (minus p1) (minus p2) (minus p5)) v5)) (l1 (19 l1 v6)))
;
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 23) (l l1));
 
aa(24):='(((s2 (plus p3 p5) p3m v3 v4 v1 v2) (s0 (plus (
minus p1) (minus p2) (minus p6)) p31m) (s11 (plus p1 p2) 
p36m v5 v6) (67 p5 v2 v1) (65 (plus p1 p2 p6) v4 v3) (25 (
plus (minus p1) (minus p2) (minus p6)) v5)) (l1 (19 l1 v6)))
;
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 24) (l l1));
 
aa(25):='(((s11 (plus p1 p2) p36m v4 v6) (s11 (plus p4 p6) 
p2m v3 v1) (s11 (plus (minus p4) (minus p5) (minus p6)) p28m
v2 v5) (35 p6 v1) (46 (plus p4 p6) (plus (minus p4) (minus 
p5) (minus p6)) v2 v3) (36 (plus p4 p5 p6) (plus p1 p2) v4 
v5)) (l1 (19 l1 v6)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 25) (l l1));
 
aa(26):='(((s11 (plus p1 p2) p36m v4 v6) (s11 (plus p4 p5) 
p2m v3 v1) (s11 (plus (minus p4) (minus p5) (minus p6)) p28m
v2 v5) (35 p5 v1) (46 (plus p4 p5) (plus (minus p4) (minus 
p5) (minus p6)) v2 v3) (36 (plus p4 p5 p6) (plus p1 p2) v4 
v5)) (l1 (19 l1 v6)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 26) (l l1));
 
aa(27):='(((s11 (plus p1 p2) p36m v4 v6) (s11 (plus p3 p6) 
p2m v3 v1) (s11 (plus p1 p2 p4) p28m v2 v5) (35 p6 v1) (46 (
plus p3 p6) (plus p1 p2 p4) v2 v3) (36 (plus (minus p1) (
minus p2) (minus p4)) (plus p1 p2) v4 v5)) (l1 (19 l1 v6)));
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 27) (l l1));
 
aa(28):='(((s11 (plus p1 p2) p36m v4 v6) (s11 (plus p3 p5) 
p2m v3 v1) (s11 (plus p1 p2 p4) p28m v2 v5) (35 p5 v1) (46 (
plus p3 p5) (plus p1 p2 p4) v2 v3) (36 (plus (minus p1) (
minus p2) (minus p4)) (plus p1 p2) v4 v5)) (l1 (19 l1 v6)));
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 28) (l l1));
 
aa(29):='(((s11 (plus p4 p6) p2m v3 v1) (s11 (plus (minus p1
) (minus p2) (minus p5)) p28m v5 v2) (s11 (plus p1 p2) p36m
v4 v6) (35 p6 v1) (45 (plus p4 p6) (minus (plus (minus p1) (
minus p2) (minus p5))) v2 v3) (37 (plus (minus p1) (minus p2
) (minus p5)) (plus p1 p2) v4 v5)) (l1 (19 l1 v6)));
 
aaaa(29):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 29) (l l1));
 
aa(30):='(((s11 (plus p4 p5) p2m v3 v1) (s11 (plus (minus p1
) (minus p2) (minus p6)) p28m v5 v2) (s11 (plus p1 p2) p36m
v4 v6) (35 p5 v1) (45 (plus p4 p5) (minus (plus (minus p1) (
minus p2) (minus p6))) v2 v3) (37 (plus (minus p1) (minus p2
) (minus p6)) (plus p1 p2) v4 v5)) (l1 (19 l1 v6)));
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 30) (l l1));
 
aa(31):='(((s11 (plus p3 p6) p2m v3 v1) (s11 (plus (minus p1
) (minus p2) (minus p5)) p28m v5 v2) (s11 (plus p1 p2) p36m
v4 v6) (35 p6 v1) (45 (plus p3 p6) (minus (plus (minus p1) (
minus p2) (minus p5))) v2 v3) (37 (plus (minus p1) (minus p2
) (minus p5)) (plus p1 p2) v4 v5)) (l1 (19 l1 v6)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 31) (l l1));
 
aa(32):='(((s11 (plus p3 p5) p2m v3 v1) (s11 (plus (minus p1
) (minus p2) (minus p6)) p28m v5 v2) (s11 (plus p1 p2) p36m
v4 v6) (35 p5 v1) (45 (plus p3 p5) (minus (plus (minus p1) (
minus p2) (minus p6))) v2 v3) (37 (plus (minus p1) (minus p2
) (minus p6)) (plus p1 p2) v4 v5)) (l1 (19 l1 v6)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 32) (l l1));
 
aa(33):='(((s11 (plus p3 p5) p15m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p6)) p5m) (23) (29 
p5 v1) (38 (plus p3 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 33) (l l1));
 
aa(34):='(((s11 (plus p3 p6) p15m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p5)) p5m) (23) (29 
p6 v1) (38 (plus p3 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 34) (l l1));
 
aa(35):='(((s0 (plus p3 p6) p5m) (s11 (plus p1 p2) p36m v2 
v4) (s11 (plus (minus p4) (minus p5)) p15m v1 v3) (23) (29 
p5 v1) (38 (plus p4 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 35) (l l1));
 
aa(36):='(((s0 (plus p3 p5) p5m) (s11 (plus p1 p2) p36m v2 
v4) (s11 (plus (minus p4) (minus p6)) p15m v1 v3) (23) (29 
p6 v1) (38 (plus p4 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 36) (l l1));
 
aa(37):='(((s11 (plus p3 p5) p13m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p6)) p5m) (23) (30 
p5 v1) (39 (plus p3 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 37) (l l1));
 
aa(38):='(((s11 (plus p3 p6) p13m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p5)) p5m) (23) (30 
p6 v1) (39 (plus p3 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 38) (l l1));
 
aa(39):='(((s0 (plus p3 p6) p5m) (s11 (plus p1 p2) p36m v2 
v4) (s11 (plus (minus p4) (minus p5)) p13m v1 v3) (23) (30 
p5 v1) (39 (plus p4 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 39) (l l1));
 
aa(40):='(((s0 (plus p3 p5) p5m) (s11 (plus p1 p2) p36m v2 
v4) (s11 (plus (minus p4) (minus p6)) p13m v1 v3) (23) (30 
p6 v1) (39 (plus p4 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 40) (l l1));
 
aa(41):='(((s0 (plus p3 p5) p8m) (s11 (plus p1 p2) p36m v2 
v4) (s11 (plus (minus p4) (minus p6)) p9m v1 v3) (31 p6 v1)
(22) (40 (plus p4 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 41) (l l1));
 
aa(42):='(((s0 (plus p3 p6) p8m) (s11 (plus p1 p2) p36m v2 
v4) (s11 (plus (minus p4) (minus p5)) p9m v1 v3) (31 p5 v1)
(22) (40 (plus p4 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 42) (l l1));
 
aa(43):='(((s11 (plus p3 p6) p9m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p5)) p8m) (31 p6 v1)
(22) (40 (plus p3 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 43) (l l1));
 
aa(44):='(((s11 (plus p3 p5) p9m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p6)) p8m) (31 p5 v1)
(22) (40 (plus p3 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 44) (l l1));
 
aa(45):='(((s11 (plus p3 p5) p6m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p6)) p5m) (23) (32 
p5 v1) (41 (plus p3 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 45) (l l1));
 
aa(46):='(((s11 (plus p3 p6) p6m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p5)) p5m) (23) (32 
p6 v1) (41 (plus p3 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 46) (l l1));
 
aa(47):='(((s0 (plus p3 p6) p5m) (s11 (plus p1 p2) p36m v2 
v4) (s11 (plus (minus p4) (minus p5)) p6m v1 v3) (23) (32 p5
v1) (41 (plus p4 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 47) (l l1));
 
aa(48):='(((s0 (plus p3 p5) p5m) (s11 (plus p1 p2) p36m v2 
v4) (s11 (plus (minus p4) (minus p6)) p6m v1 v3) (23) (32 p6
v1) (41 (plus p4 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 48) (l l1));
 
aa(49):='(((s0 (plus p3 p5) p25m) (s11 (plus p1 p2) p36m v2
v4) (s11 (plus (minus p4) (minus p6)) p2m v1 v3) (35 p6 v1)
(20) (42 (plus p4 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 49) (l l1));
 
aa(50):='(((s0 (plus p3 p6) p25m) (s11 (plus p1 p2) p36m v2
v4) (s11 (plus (minus p4) (minus p5)) p2m v1 v3) (35 p5 v1)
(20) (42 (plus p4 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 50) (l l1));
 
aa(51):='(((s11 (plus p3 p6) p2m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p5)) p25m) (35 p6 v1
) (20) (42 (plus p3 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 51) (l l1));
 
aa(52):='(((s11 (plus p3 p5) p2m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p6)) p25m) (35 p5 v1
) (20) (42 (plus p3 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 52) (l l1));
 
aa(53):='(((s0 (plus p3 p5) p19m) (s11 (plus p1 p2) p36m v2
v4) (s11 (plus (minus p4) (minus p6)) p2m v1 v3) (35 p6 v1)
(21) (43 (plus p4 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 53) (l l1));
 
aa(54):='(((s0 (plus p3 p6) p19m) (s11 (plus p1 p2) p36m v2
v4) (s11 (plus (minus p4) (minus p5)) p2m v1 v3) (35 p5 v1)
(21) (43 (plus p4 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 54) (l l1));
 
aa(55):='(((s11 (plus p3 p6) p2m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p5)) p19m) (35 p6 v1
) (21) (43 (plus p3 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 55) (l l1));
 
aa(56):='(((s11 (plus p3 p5) p2m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p6)) p19m) (35 p5 v1
) (21) (43 (plus p3 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4))
);
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 56) (l l1));
 
aa(57):='(((s0 (plus p3 p5) p5m) (s11 (plus p1 p2) p36m v2 
v4) (s11 (plus (minus p4) (minus p6)) p2m v1 v3) (35 p6 v1)
(23) (44 (plus p4 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 57) (l l1));
 
aa(58):='(((s0 (plus p3 p6) p5m) (s11 (plus p1 p2) p36m v2 
v4) (s11 (plus (minus p4) (minus p5)) p2m v1 v3) (35 p5 v1)
(23) (44 (plus p4 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 58) (l l1));
 
aa(59):='(((s11 (plus p3 p6) p2m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p5)) p5m) (35 p6 v1)
(23) (44 (plus p3 p6) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 59) (l l1));
 
aa(60):='(((s11 (plus p3 p5) p2m v3 v1) (s11 (plus p1 p2) 
p36m v2 v4) (s0 (plus (minus p4) (minus p6)) p5m) (35 p5 v1)
(23) (44 (plus p3 p5) (plus p1 p2) v2 v3)) (l1 (19 l1 v4)));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v4 v3 
v2 v1) (ijk 60) (l l1));
 
aa(61):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p4 p6) 
p19m) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m v1 v2
v3 v4) (21) (48 (plus p4 p6) v2 v1) (68 (plus p1 p2) (minus
(plus (minus p4) (minus p5) (minus p6))) v4 v3 v5)) (l1 (19
l1 v6)));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 61) (l l1));
 
aa(62):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p4 p5) 
p19m) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m v1 v2
v3 v4) (21) (48 (plus p4 p5) v2 v1) (68 (plus p1 p2) (minus
(plus (minus p4) (minus p5) (minus p6))) v4 v3 v5)) (l1 (19
l1 v6)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 62) (l l1));
 
aa(63):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p3 p6) 
p19m) (s2 (plus p1 p2 p4) p33m v1 v2 v3 v4) (21) (48 (plus 
p3 p6) v2 v1) (68 (plus p1 p2) (minus (plus p1 p2 p4)) v4 v3
v5)) (l1 (19 l1 v6)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 63) (l l1));
 
aa(64):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p3 p5) 
p19m) (s2 (plus p1 p2 p4) p33m v1 v2 v3 v4) (21) (48 (plus 
p3 p5) v2 v1) (68 (plus p1 p2) (minus (plus p1 p2 p4)) v4 v3
v5)) (l1 (19 l1 v6)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 64) (l l1));
 
aa(65):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p4 p6) 
p8m) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m v1 v2
v3 v4) (22) (50 (plus p4 p6) v2 v1) (68 (plus p1 p2) (minus
(plus (minus p4) (minus p5) (minus p6))) v4 v3 v5)) (l1 (19
l1 v6)));
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 65) (l l1));
 
aa(66):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p4 p5) 
p8m) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m v1 v2
v3 v4) (22) (50 (plus p4 p5) v2 v1) (68 (plus p1 p2) (minus
(plus (minus p4) (minus p5) (minus p6))) v4 v3 v5)) (l1 (19
l1 v6)));
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 66) (l l1));
 
aa(67):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p3 p6) 
p8m) (s2 (plus p1 p2 p4) p33m v1 v2 v3 v4) (22) (50 (plus p3
p6) v2 v1) (68 (plus p1 p2) (minus (plus p1 p2 p4)) v4 v3 v5
)) (l1 (19 l1 v6)));
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 67) (l l1));
 
aa(68):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p3 p5) 
p8m) (s2 (plus p1 p2 p4) p33m v1 v2 v3 v4) (22) (50 (plus p3
p5) v2 v1) (68 (plus p1 p2) (minus (plus p1 p2 p4)) v4 v3 v5
)) (l1 (19 l1 v6)));
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 68) (l l1));
 
aa(69):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p4 p6) 
p5m) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m v1 v2
v3 v4) (23) (52 (plus p4 p6) v2 v1) (68 (plus p1 p2) (minus
(plus (minus p4) (minus p5) (minus p6))) v4 v3 v5)) (l1 (19
l1 v6)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 69) (l l1));
 
aa(70):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p4 p5) 
p5m) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m v1 v2
v3 v4) (23) (52 (plus p4 p5) v2 v1) (68 (plus p1 p2) (minus
(plus (minus p4) (minus p5) (minus p6))) v4 v3 v5)) (l1 (19
l1 v6)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 70) (l l1));
 
aa(71):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p3 p6) 
p5m) (s2 (plus p1 p2 p4) p33m v1 v2 v3 v4) (23) (52 (plus p3
p6) v2 v1) (68 (plus p1 p2) (minus (plus p1 p2 p4)) v4 v3 v5
)) (l1 (19 l1 v6)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 71) (l l1));
 
aa(72):='(((s11 (plus p1 p2) p36m v5 v6) (s0 (plus p3 p5) 
p5m) (s2 (plus p1 p2 p4) p33m v1 v2 v3 v4) (23) (52 (plus p3
p5) v2 v1) (68 (plus p1 p2) (minus (plus p1 p2 p4)) v4 v3 v5
)) (l1 (19 l1 v6)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 72) (l l1));
 
aa(73):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p6) 
p17m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m
v2 v3 v5 v6) (28 p6 v1) (71 (plus p4 p6) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (68 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 73) (l l1));
 
aa(74):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p5) 
p17m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m
v2 v3 v5 v6) (28 p5 v1) (71 (plus p4 p5) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (68 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 74) (l l1));
 
aa(75):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p6) 
p17m v4 v1) (s2 (plus p1 p2 p4) p33m v2 v3 v5 v6) (28 p6 v1)
(71 (plus p3 p6) (plus p1 p2 p4) v3 v2 v4) (68 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 75) (l l1));
 
aa(76):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p5) 
p17m v4 v1) (s2 (plus p1 p2 p4) p33m v2 v3 v5 v6) (28 p5 v1)
(71 (plus p3 p5) (plus p1 p2 p4) v3 v2 v4) (68 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 76) (l l1));
 
aa(77):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p6) 
p15m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m
v2 v3 v5 v6) (29 p6 v1) (73 (plus p4 p6) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (68 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 77) (l l1));
 
aa(78):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p5) 
p15m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m
v2 v3 v5 v6) (29 p5 v1) (73 (plus p4 p5) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (68 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 78) (l l1));
 
aa(79):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p6) 
p15m v4 v1) (s2 (plus p1 p2 p4) p33m v2 v3 v5 v6) (29 p6 v1)
(73 (plus p3 p6) (plus p1 p2 p4) v3 v2 v4) (68 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 79) (l l1));
 
aa(80):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p5) 
p15m v4 v1) (s2 (plus p1 p2 p4) p33m v2 v3 v5 v6) (29 p5 v1)
(73 (plus p3 p5) (plus p1 p2 p4) v3 v2 v4) (68 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 80) (l l1));
 
aa(81):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p6) 
p13m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m
v2 v3 v5 v6) (30 p6 v1) (75 (plus p4 p6) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (68 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(81):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 81) (l l1));
 
aa(82):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p5) 
p13m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m
v2 v3 v5 v6) (30 p5 v1) (75 (plus p4 p5) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (68 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(82):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 82) (l l1));
 
aa(83):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p6) 
p13m v4 v1) (s2 (plus p1 p2 p4) p33m v2 v3 v5 v6) (30 p6 v1)
(75 (plus p3 p6) (plus p1 p2 p4) v3 v2 v4) (68 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(83):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 83) (l l1));
 
aa(84):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p5) 
p13m v4 v1) (s2 (plus p1 p2 p4) p33m v2 v3 v5 v6) (30 p5 v1)
(75 (plus p3 p5) (plus p1 p2 p4) v3 v2 v4) (68 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(84):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 84) (l l1));
 
aa(85):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p6) 
p9m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m
v2 v3 v5 v6) (31 p6 v1) (77 (plus p4 p6) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (68 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(85):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 85) (l l1));
 
aa(86):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p5) 
p9m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m
v2 v3 v5 v6) (31 p5 v1) (77 (plus p4 p5) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (68 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(86):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 86) (l l1));
 
aa(87):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p6) 
p9m v4 v1) (s2 (plus p1 p2 p4) p33m v2 v3 v5 v6) (31 p6 v1)
(77 (plus p3 p6) (plus p1 p2 p4) v3 v2 v4) (68 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(87):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 87) (l l1));
 
aa(88):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p5) 
p9m v4 v1) (s2 (plus p1 p2 p4) p33m v2 v3 v5 v6) (31 p5 v1)
(77 (plus p3 p5) (plus p1 p2 p4) v3 v2 v4) (68 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(88):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 88) (l l1));
 
aa(89):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p6) 
p6m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m
v2 v3 v5 v6) (32 p6 v1) (79 (plus p4 p6) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (68 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 89) (l l1));
 
aa(90):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p5) 
p6m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m
v2 v3 v5 v6) (32 p5 v1) (79 (plus p4 p5) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (68 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 90) (l l1));
 
aa(91):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p6) 
p6m v4 v1) (s2 (plus p1 p2 p4) p33m v2 v3 v5 v6) (32 p6 v1)
(79 (plus p3 p6) (plus p1 p2 p4) v3 v2 v4) (68 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 91) (l l1));
 
aa(92):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p5) 
p6m v4 v1) (s2 (plus p1 p2 p4) p33m v2 v3 v5 v6) (32 p5 v1)
(79 (plus p3 p5) (plus p1 p2 p4) v3 v2 v4) (68 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 92) (l l1));
 
aa(93):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p6) 
p2m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m
v2 v3 v5 v6) (35 p6 v1) (81 (plus p4 p6) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (68 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(93):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 93) (l l1));
 
aa(94):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p4 p5) 
p2m v4 v1) (s2 (plus (minus p4) (minus p5) (minus p6)) p33m
v2 v3 v5 v6) (35 p5 v1) (81 (plus p4 p5) (plus (minus p4) (
minus p5) (minus p6)) v3 v2 v4) (68 (plus p1 p2) (minus (
plus (minus p4) (minus p5) (minus p6))) v6 v5 v7)) (l1 (19 
l1 v8)));
 
aaaa(94):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 94) (l l1));
 
aa(95):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p6) 
p2m v4 v1) (s2 (plus p1 p2 p4) p33m v2 v3 v5 v6) (35 p6 v1)
(81 (plus p3 p6) (plus p1 p2 p4) v3 v2 v4) (68 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(95):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 95) (l l1));
 
aa(96):='(((s11 (plus p1 p2) p36m v7 v8) (s11 (plus p3 p5) 
p2m v4 v1) (s2 (plus p1 p2 p4) p33m v2 v3 v5 v6) (35 p5 v1)
(81 (plus p3 p5) (plus p1 p2 p4) v3 v2 v4) (68 (plus p1 p2)
(minus (plus p1 p2 p4)) v6 v5 v7)) (l1 (19 l1 v8)));
 
aaaa(96):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 96) (l l1));
 
aa(97):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p6) 
p18m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6)
) p33m v3 v4 v7 v8) (57 p6 v2 v1) (130 (plus p4 p6) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (68 (plus p1 
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(97):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 97) (l l1));
 
aa(98):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p5) 
p18m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6)
) p33m v3 v4 v7 v8) (57 p5 v2 v1) (130 (plus p4 p5) (plus (
minus p4) (minus p5) (minus p6)) v4 v3 v6 v5) (68 (plus p1 
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(98):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 98) (l l1));
 
aa(99):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p6) 
p18m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (57
p6 v2 v1) (130 (plus p3 p6) (plus p1 p2 p4) v4 v3 v6 v5) (68
(plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v9)) (l1 (19 l1 
v10)));
 
aaaa(99):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 99) (l l1));
 
aa(100):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p5)
p18m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (57
p5 v2 v1) (130 (plus p3 p5) (plus p1 p2 p4) v4 v3 v6 v5) (68
(plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v9)) (l1 (19 l1 
v10)));
 
aaaa(100):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 100) (l l1));
 
;end;
 
