aa(1):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p6) 
p12m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6)
) p33m v3 v4 v7 v8) (58 p6 v2 v1) (132 (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(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 101) (l l1));
 
aa(2):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p5) 
p12m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6)
) p33m v3 v4 v7 v8) (58 p5 v2 v1) (132 (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(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 102) (l l1));
 
aa(3):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p6) 
p12m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (58
p6 v2 v1) (132 (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(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 103) (l l1));
 
aa(4):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p5) 
p12m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (58
p5 v2 v1) (132 (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(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 104) (l l1));
 
aa(5):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p6) 
p11m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6)
) p33m v3 v4 v7 v8) (59 p6 v2 v1) (134 (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(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 105) (l l1));
 
aa(6):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p5) 
p11m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6)
) p33m v3 v4 v7 v8) (59 p5 v2 v1) (134 (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(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 106) (l l1));
 
aa(7):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p6) 
p11m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (59
p6 v2 v1) (134 (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(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 107) (l l1));
 
aa(8):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p5) 
p11m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (59
p5 v2 v1) (134 (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(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 108) (l l1));
 
aa(9):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p6) 
p10m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6)
) p33m v3 v4 v7 v8) (60 p6 v2 v1) (136 (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(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 109) (l l1));
 
aa(10):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p5) 
p10m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6)
) p33m v3 v4 v7 v8) (60 p5 v2 v1) (136 (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(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 110) (l l1));
 
aa(11):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p6) 
p10m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (60
p6 v2 v1) (136 (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(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 111) (l l1));
 
aa(12):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p5) 
p10m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (60
p5 v2 v1) (136 (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(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 112) (l l1));
 
aa(13):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p6) 
p7m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p33m v3 v4 v7 v8) (61 p6 v2 v1) (138 (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(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 113) (l l1));
 
aa(14):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p5) 
p7m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p33m v3 v4 v7 v8) (61 p5 v2 v1) (138 (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(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 114) (l l1));
 
aa(15):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p6) 
p7m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (61 
p6 v2 v1) (138 (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(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 115) (l l1));
 
aa(16):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p5) 
p7m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (61 
p5 v2 v1) (138 (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(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 116) (l l1));
 
aa(17):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p6) 
p4m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p33m v3 v4 v7 v8) (64 p6 v2 v1) (140 (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(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 117) (l l1));
 
aa(18):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p5) 
p4m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p33m v3 v4 v7 v8) (64 p5 v2 v1) (140 (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(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 118) (l l1));
 
aa(19):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p6) 
p4m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (64 
p6 v2 v1) (140 (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(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 119) (l l1));
 
aa(20):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p5) 
p4m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (64 
p5 v2 v1) (140 (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(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 120) (l l1));
 
aa(21):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p6) 
p3m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p33m v3 v4 v7 v8) (67 p6 v2 v1) (142 (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(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 121) (l l1));
 
aa(22):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p4 p5) 
p3m v5 v6 v1 v2) (s2 (plus (minus p4) (minus p5) (minus p6))
p33m v3 v4 v7 v8) (67 p5 v2 v1) (142 (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(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 122) (l l1));
 
aa(23):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p6) 
p3m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (67 
p6 v2 v1) (142 (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(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 123) (l l1));
 
aa(24):='(((s11 (plus p1 p2) p36m v9 v10) (s2 (plus p3 p5) 
p3m v5 v6 v1 v2) (s2 (plus p1 p2 p4) p33m v3 v4 v7 v8) (67 
p5 v2 v1) (142 (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(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 124) (l l1));
 
aa(25):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus (minus
p4) (minus p5) (minus p6)) p33m v7 v8 v9 v10) (s3 (plus p4 
p6) p16m v4 v5 v6 v1 v2 v3) (108 p6 v3 v2 v1) (194 (plus (
minus p4) (minus p5) (minus p6)) (plus p4 p6) v6 v5 v4 v8 v7
) (68 (plus p1 p2) (minus (plus (minus p4) (minus p5) (minus
p6))) v10 v9 v11)) (l1 (19 l1 v12)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 125) (l l1));
 
aa(26):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus (minus
p4) (minus p5) (minus p6)) p33m v7 v8 v9 v10) (s3 (plus p4 
p5) p16m v4 v5 v6 v1 v2 v3) (108 p5 v3 v2 v1) (194 (plus (
minus p4) (minus p5) (minus p6)) (plus p4 p5) v6 v5 v4 v8 v7
) (68 (plus p1 p2) (minus (plus (minus p4) (minus p5) (minus
p6))) v10 v9 v11)) (l1 (19 l1 v12)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 126) (l l1));
 
aa(27):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p1 p2 
p4) p33m v7 v8 v9 v10) (s3 (plus p3 p6) p16m v4 v5 v6 v1 v2
v3) (108 p6 v3 v2 v1) (194 (plus p1 p2 p4) (plus p3 p6) v6 
v5 v4 v8 v7) (68 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9
v11)) (l1 (19 l1 v12)));
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 127) (l l1));
 
aa(28):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p1 p2 
p4) p33m v7 v8 v9 v10) (s3 (plus p3 p5) p16m v4 v5 v6 v1 v2
v3) (108 p5 v3 v2 v1) (194 (plus p1 p2 p4) (plus p3 p5) v6 
v5 v4 v8 v7) (68 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9
v11)) (l1 (19 l1 v12)));
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 128) (l l1));
 
aa(29):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus (minus
p4) (minus p5) (minus p6)) p33m v7 v8 v9 v10) (s3 (plus p4 
p6) p14m v4 v5 v6 v1 v2 v3) (109 p6 v3 v2 v1) (196 (plus (
minus p4) (minus p5) (minus p6)) (plus p4 p6) v6 v5 v4 v8 v7
) (68 (plus p1 p2) (minus (plus (minus p4) (minus p5) (minus
p6))) v10 v9 v11)) (l1 (19 l1 v12)));
 
aaaa(29):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 129) (l l1));
 
aa(30):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus (minus
p4) (minus p5) (minus p6)) p33m v7 v8 v9 v10) (s3 (plus p4 
p5) p14m v4 v5 v6 v1 v2 v3) (109 p5 v3 v2 v1) (196 (plus (
minus p4) (minus p5) (minus p6)) (plus p4 p5) v6 v5 v4 v8 v7
) (68 (plus p1 p2) (minus (plus (minus p4) (minus p5) (minus
p6))) v10 v9 v11)) (l1 (19 l1 v12)));
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 130) (l l1));
 
aa(31):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p1 p2 
p4) p33m v7 v8 v9 v10) (s3 (plus p3 p6) p14m v4 v5 v6 v1 v2
v3) (109 p6 v3 v2 v1) (196 (plus p1 p2 p4) (plus p3 p6) v6 
v5 v4 v8 v7) (68 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9
v11)) (l1 (19 l1 v12)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 131) (l l1));
 
aa(32):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p1 p2 
p4) p33m v7 v8 v9 v10) (s3 (plus p3 p5) p14m v4 v5 v6 v1 v2
v3) (109 p5 v3 v2 v1) (196 (plus p1 p2 p4) (plus p3 p5) v6 
v5 v4 v8 v7) (68 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9
v11)) (l1 (19 l1 v12)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 132) (l l1));
 
aa(33):='(((s0 (plus p4 p6) p19m) (s11 (plus p1 p2) p36m v5
v6) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m v3 v4 
v1 v2) (21) (47 (plus p4 p6) v2 v1) (69 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p5)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 133) (l l1));
 
aa(34):='(((s0 (plus p4 p5) p19m) (s11 (plus p1 p2) p36m v5
v6) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m v3 v4 
v1 v2) (21) (47 (plus p4 p5) v2 v1) (69 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p6)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 134) (l l1));
 
aa(35):='(((s0 (plus p3 p6) p19m) (s11 (plus p1 p2) p36m v5
v6) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m v3 v4 
v1 v2) (21) (47 (plus p3 p6) v2 v1) (69 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p5)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 135) (l l1));
 
aa(36):='(((s0 (plus p3 p5) p19m) (s11 (plus p1 p2) p36m v5
v6) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m v3 v4 
v1 v2) (21) (47 (plus p3 p5) v2 v1) (69 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p6)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 136) (l l1));
 
aa(37):='(((s0 (plus p4 p6) p8m) (s11 (plus p1 p2) p36m v5 
v6) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m v3 v4 
v1 v2) (22) (49 (plus p4 p6) v2 v1) (69 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p5)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 137) (l l1));
 
aa(38):='(((s0 (plus p4 p5) p8m) (s11 (plus p1 p2) p36m v5 
v6) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m v3 v4 
v1 v2) (22) (49 (plus p4 p5) v2 v1) (69 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p6)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 138) (l l1));
 
aa(39):='(((s0 (plus p3 p6) p8m) (s11 (plus p1 p2) p36m v5 
v6) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m v3 v4 
v1 v2) (22) (49 (plus p3 p6) v2 v1) (69 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p5)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 139) (l l1));
 
aa(40):='(((s0 (plus p3 p5) p8m) (s11 (plus p1 p2) p36m v5 
v6) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m v3 v4 
v1 v2) (22) (49 (plus p3 p5) v2 v1) (69 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p6)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 140) (l l1));
 
aa(41):='(((s0 (plus p4 p6) p5m) (s11 (plus p1 p2) p36m v5 
v6) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m v3 v4 
v1 v2) (23) (51 (plus p4 p6) v2 v1) (69 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p5)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 141) (l l1));
 
aa(42):='(((s0 (plus p4 p5) p5m) (s11 (plus p1 p2) p36m v5 
v6) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m v3 v4 
v1 v2) (23) (51 (plus p4 p5) v2 v1) (69 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p6)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 142) (l l1));
 
aa(43):='(((s0 (plus p3 p6) p5m) (s11 (plus p1 p2) p36m v5 
v6) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m v3 v4 
v1 v2) (23) (51 (plus p3 p6) v2 v1) (69 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p5)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 143) (l l1));
 
aa(44):='(((s0 (plus p3 p5) p5m) (s11 (plus p1 p2) p36m v5 
v6) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m v3 v4 
v1 v2) (23) (51 (plus p3 p5) v2 v1) (69 (plus p1 p2) (plus (
minus p1) (minus p2) (minus p6)) v4 v3 v5)) (l1 (19 l1 v6)))
;
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 
v4 v3 v2 v1) (ijk 144) (l l1));
 
aa(45):='(((s11 (plus p4 p6) p17m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m
v5 v6 v2 v3) (28 p6 v1) (70 (plus p4 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 145) (l l1));
 
aa(46):='(((s11 (plus p4 p5) p17m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m
v5 v6 v2 v3) (28 p5 v1) (70 (plus p4 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 146) (l l1));
 
aa(47):='(((s11 (plus p3 p6) p17m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m
v5 v6 v2 v3) (28 p6 v1) (70 (plus p3 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 147) (l l1));
 
aa(48):='(((s11 (plus p3 p5) p17m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m
v5 v6 v2 v3) (28 p5 v1) (70 (plus p3 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 148) (l l1));
 
aa(49):='(((s11 (plus p4 p6) p15m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m
v5 v6 v2 v3) (29 p6 v1) (72 (plus p4 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 149) (l l1));
 
aa(50):='(((s11 (plus p4 p5) p15m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m
v5 v6 v2 v3) (29 p5 v1) (72 (plus p4 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 150) (l l1));
 
aa(51):='(((s11 (plus p3 p6) p15m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m
v5 v6 v2 v3) (29 p6 v1) (72 (plus p3 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 151) (l l1));
 
aa(52):='(((s11 (plus p3 p5) p15m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m
v5 v6 v2 v3) (29 p5 v1) (72 (plus p3 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 152) (l l1));
 
aa(53):='(((s11 (plus p4 p6) p13m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m
v5 v6 v2 v3) (30 p6 v1) (74 (plus p4 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 153) (l l1));
 
aa(54):='(((s11 (plus p4 p5) p13m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m
v5 v6 v2 v3) (30 p5 v1) (74 (plus p4 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 154) (l l1));
 
aa(55):='(((s11 (plus p3 p6) p13m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m
v5 v6 v2 v3) (30 p6 v1) (74 (plus p3 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 155) (l l1));
 
aa(56):='(((s11 (plus p3 p5) p13m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m
v5 v6 v2 v3) (30 p5 v1) (74 (plus p3 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 156) (l l1));
 
aa(57):='(((s11 (plus p4 p6) p9m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m
v5 v6 v2 v3) (31 p6 v1) (76 (plus p4 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 157) (l l1));
 
aa(58):='(((s11 (plus p4 p5) p9m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m
v5 v6 v2 v3) (31 p5 v1) (76 (plus p4 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 158) (l l1));
 
aa(59):='(((s11 (plus p3 p6) p9m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m
v5 v6 v2 v3) (31 p6 v1) (76 (plus p3 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 159) (l l1));
 
aa(60):='(((s11 (plus p3 p5) p9m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m
v5 v6 v2 v3) (31 p5 v1) (76 (plus p3 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 160) (l l1));
 
aa(61):='(((s11 (plus p4 p6) p6m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m
v5 v6 v2 v3) (32 p6 v1) (78 (plus p4 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 161) (l l1));
 
aa(62):='(((s11 (plus p4 p5) p6m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m
v5 v6 v2 v3) (32 p5 v1) (78 (plus p4 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 162) (l l1));
 
aa(63):='(((s11 (plus p3 p6) p6m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m
v5 v6 v2 v3) (32 p6 v1) (78 (plus p3 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 163) (l l1));
 
aa(64):='(((s11 (plus p3 p5) p6m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m
v5 v6 v2 v3) (32 p5 v1) (78 (plus p3 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 164) (l l1));
 
aa(65):='(((s11 (plus p4 p6) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m
v5 v6 v2 v3) (35 p6 v1) (80 (plus p4 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 165) (l l1));
 
aa(66):='(((s11 (plus p4 p5) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m
v5 v6 v2 v3) (35 p5 v1) (80 (plus p4 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 166) (l l1));
 
aa(67):='(((s11 (plus p3 p6) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p5)) p33m
v5 v6 v2 v3) (35 p6 v1) (80 (plus p3 p6) (minus (plus (minus
p1) (minus p2) (minus p5))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p5)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 167) (l l1));
 
aa(68):='(((s11 (plus p3 p5) p2m v4 v1) (s11 (plus p1 p2) 
p36m v7 v8) (s2 (plus (minus p1) (minus p2) (minus p6)) p33m
v5 v6 v2 v3) (35 p5 v1) (80 (plus p3 p5) (minus (plus (minus
p1) (minus p2) (minus p6))) v3 v2 v4) (69 (plus p1 p2) (plus
(minus p1) (minus p2) (minus p6)) v6 v5 v7)) (l1 (19 l1 v8))
);
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 168) (l l1));
 
aa(69):='(((s2 (plus p4 p6) p18m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (57 p6 v2 v1) (129 (plus p4 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 169) (l l1));
 
aa(70):='(((s2 (plus p4 p5) p18m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (57 p5 v2 v1) (129 (plus p4 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 170) (l l1));
 
aa(71):='(((s2 (plus p3 p6) p18m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (57 p6 v2 v1) (129 (plus p3 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 171) (l l1));
 
aa(72):='(((s2 (plus p3 p5) p18m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (57 p5 v2 v1) (129 (plus p3 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 172) (l l1));
 
aa(73):='(((s2 (plus p4 p6) p12m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (58 p6 v2 v1) (131 (plus p4 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 173) (l l1));
 
aa(74):='(((s2 (plus p4 p5) p12m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (58 p5 v2 v1) (131 (plus p4 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 174) (l l1));
 
aa(75):='(((s2 (plus p3 p6) p12m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (58 p6 v2 v1) (131 (plus p3 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 175) (l l1));
 
aa(76):='(((s2 (plus p3 p5) p12m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (58 p5 v2 v1) (131 (plus p3 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 176) (l l1));
 
aa(77):='(((s2 (plus p4 p6) p11m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (59 p6 v2 v1) (133 (plus p4 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 177) (l l1));
 
aa(78):='(((s2 (plus p4 p5) p11m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (59 p5 v2 v1) (133 (plus p4 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 178) (l l1));
 
aa(79):='(((s2 (plus p3 p6) p11m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (59 p6 v2 v1) (133 (plus p3 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 179) (l l1));
 
aa(80):='(((s2 (plus p3 p5) p11m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (59 p5 v2 v1) (133 (plus p3 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 180) (l l1));
 
aa(81):='(((s2 (plus p4 p6) p10m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (60 p6 v2 v1) (135 (plus p4 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(81):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 181) (l l1));
 
aa(82):='(((s2 (plus p4 p5) p10m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (60 p5 v2 v1) (135 (plus p4 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(82):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 182) (l l1));
 
aa(83):='(((s2 (plus p3 p6) p10m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (60 p6 v2 v1) (135 (plus p3 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(83):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 183) (l l1));
 
aa(84):='(((s2 (plus p3 p5) p10m v5 v6 v1 v2) (s11 (plus p1
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (60 p5 v2 v1) (135 (plus p3 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(84):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 184) (l l1));
 
aa(85):='(((s2 (plus p4 p6) p7m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (61 p6 v2 v1) (137 (plus p4 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(85):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 185) (l l1));
 
aa(86):='(((s2 (plus p4 p5) p7m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (61 p5 v2 v1) (137 (plus p4 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(86):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 186) (l l1));
 
aa(87):='(((s2 (plus p3 p6) p7m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (61 p6 v2 v1) (137 (plus p3 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(87):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 187) (l l1));
 
aa(88):='(((s2 (plus p3 p5) p7m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (61 p5 v2 v1) (137 (plus p3 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(88):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 188) (l l1));
 
aa(89):='(((s2 (plus p4 p6) p4m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (64 p6 v2 v1) (139 (plus p4 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 189) (l l1));
 
aa(90):='(((s2 (plus p4 p5) p4m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (64 p5 v2 v1) (139 (plus p4 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 190) (l l1));
 
aa(91):='(((s2 (plus p3 p6) p4m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (64 p6 v2 v1) (139 (plus p3 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 191) (l l1));
 
aa(92):='(((s2 (plus p3 p5) p4m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (64 p5 v2 v1) (139 (plus p3 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 192) (l l1));
 
aa(93):='(((s2 (plus p4 p6) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (67 p6 v2 v1) (141 (plus p4 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(93):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 193) (l l1));
 
aa(94):='(((s2 (plus p4 p5) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (67 p5 v2 v1) (141 (plus p4 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(94):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 194) (l l1));
 
aa(95):='(((s2 (plus p3 p6) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p5))
p33m v7 v8 v3 v4) (67 p6 v2 v1) (141 (plus p3 p6) (minus (
plus (minus p1) (minus p2) (minus p5))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(95):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 195) (l l1));
 
aa(96):='(((s2 (plus p3 p5) p3m v5 v6 v1 v2) (s11 (plus p1 
p2) p36m v9 v10) (s2 (plus (minus p1) (minus p2) (minus p6))
p33m v7 v8 v3 v4) (67 p5 v2 v1) (141 (plus p3 p5) (minus (
plus (minus p1) (minus p2) (minus p6))) v4 v3 v6 v5) (69 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v9
)) (l1 (19 l1 v10)));
 
aaaa(96):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 196) (l l1));
 
aa(97):='(((s3 (plus p4 p6) p16m v4 v5 v6 v1 v2 v3) (s11 (
plus p1 p2) p36m v11 v12) (s2 (plus (minus p1) (minus p2) (
minus p5)) p33m v9 v10 v7 v8) (108 p6 v3 v2 v1) (193 (plus 
p1 p2 p5) (plus p4 p6) v6 v5 v4 v8 v7) (69 (plus p1 p2) (
plus (minus p1) (minus p2) (minus p5)) v10 v9 v11)) (l1 (19
l1 v12)));
 
aaaa(97):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 197) (l l1));
 
aa(98):='(((s3 (plus p4 p5) p16m v4 v5 v6 v1 v2 v3) (s11 (
plus p1 p2) p36m v11 v12) (s2 (plus (minus p1) (minus p2) (
minus p6)) p33m v9 v10 v7 v8) (108 p5 v3 v2 v1) (193 (plus 
p1 p2 p6) (plus p4 p5) v6 v5 v4 v8 v7) (69 (plus p1 p2) (
plus (minus p1) (minus p2) (minus p6)) v10 v9 v11)) (l1 (19
l1 v12)));
 
aaaa(98):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 198) (l l1));
 
aa(99):='(((s3 (plus p3 p6) p16m v4 v5 v6 v1 v2 v3) (s11 (
plus p1 p2) p36m v11 v12) (s2 (plus (minus p1) (minus p2) (
minus p5)) p33m v9 v10 v7 v8) (108 p6 v3 v2 v1) (193 (plus 
p1 p2 p5) (plus p3 p6) v6 v5 v4 v8 v7) (69 (plus p1 p2) (
plus (minus p1) (minus p2) (minus p5)) v10 v9 v11)) (l1 (19
l1 v12)));
 
aaaa(99):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 199) (l l1));
 
aa(100):='(((s3 (plus p3 p5) p16m v4 v5 v6 v1 v2 v3) (s11 (
plus p1 p2) p36m v11 v12) (s2 (plus (minus p1) (minus p2) (
minus p6)) p33m v9 v10 v7 v8) (108 p5 v3 v2 v1) (193 (plus 
p1 p2 p6) (plus p3 p5) v6 v5 v4 v8 v7) (69 (plus p1 p2) (
plus (minus p1) (minus p2) (minus p6)) v10 v9 v11)) (l1 (19
l1 v12)));
 
aaaa(100):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 
v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 200) (l l1));
 
;end;
 
