aa(1):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p6) 
p7m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6))
p35m v3 v4 v5 v6 v9 v10 v11 v12) (61 p6 v2 v1) (235 (plus p4
p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 v8 
v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5) (
minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 601) (l l1));
 
aa(2):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p5) 
p7m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6))
p35m v3 v4 v5 v6 v9 v10 v11 v12) (61 p5 v2 v1) (235 (plus p4
p5) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 v8 
v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5) (
minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 602) (l l1));
 
aa(3):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p6) 
p7m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 v10
v11 v12) (61 p6 v2 v1) (235 (plus p3 p6) (plus p1 p2 p4) v6
v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4)) 
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 603) (l l1));
 
aa(4):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p5) 
p7m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 v10
v11 v12) (61 p5 v2 v1) (235 (plus p3 p5) (plus p1 p2 p4) v6
v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4)) 
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 604) (l l1));
 
aa(5):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p6) 
p4m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6))
p35m v3 v4 v5 v6 v9 v10 v11 v12) (64 p6 v2 v1) (237 (plus p4
p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 v8 
v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5) (
minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 605) (l l1));
 
aa(6):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p5) 
p4m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6))
p35m v3 v4 v5 v6 v9 v10 v11 v12) (64 p5 v2 v1) (237 (plus p4
p5) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 v8 
v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5) (
minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 606) (l l1));
 
aa(7):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p6) 
p4m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 v10
v11 v12) (64 p6 v2 v1) (237 (plus p3 p6) (plus p1 p2 p4) v6
v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4)) 
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 607) (l l1));
 
aa(8):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p5) 
p4m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 v10
v11 v12) (64 p5 v2 v1) (237 (plus p3 p5) (plus p1 p2 p4) v6
v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4)) 
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 608) (l l1));
 
aa(9):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p6) 
p3m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6))
p35m v3 v4 v5 v6 v9 v10 v11 v12) (67 p6 v2 v1) (239 (plus p4
p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 v8 
v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5) (
minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 609) (l l1));
 
aa(10):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p4 p5)
p3m v7 v8 v1 v2) (s4 (plus (minus p4) (minus p5) (minus p6))
p35m v3 v4 v5 v6 v9 v10 v11 v12) (67 p5 v2 v1) (239 (plus p4
p5) (plus (minus p4) (minus p5) (minus p6)) v6 v5 v4 v3 v8 
v7) (197 (plus p1 p2) (minus (plus (minus p4) (minus p5) (
minus p6))) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 610) (l l1));
 
aa(11):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p6)
p3m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 v10
v11 v12) (67 p6 v2 v1) (239 (plus p3 p6) (plus p1 p2 p4) v6
v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4)) 
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 611) (l l1));
 
aa(12):='(((s11 (plus p1 p2) p36m v13 v14) (s2 (plus p3 p5)
p3m v7 v8 v1 v2) (s4 (plus p1 p2 p4) p35m v3 v4 v5 v6 v9 v10
v11 v12) (67 p5 v2 v1) (239 (plus p3 p5) (plus p1 p2 p4) v6
v5 v4 v3 v8 v7) (197 (plus p1 p2) (minus (plus p1 p2 p4)) 
v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 612) (l l1));
 
aa(13):='(((s0 (plus p4 p6) p19m) (s11 (plus p1 p2) p36m v9
v10) (s4 (plus (minus p1) (minus p2) (minus p5)) p35m v5 v6
v7 v8 v1 v2 v3 v4) (21) (170 (plus p4 p6) v4 v3 v2 v1) (198
(plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 
v6 v5 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 613) (l l1));
 
aa(14):='(((s0 (plus p4 p5) p19m) (s11 (plus p1 p2) p36m v9
v10) (s4 (plus (minus p1) (minus p2) (minus p6)) p35m v5 v6
v7 v8 v1 v2 v3 v4) (21) (170 (plus p4 p5) v4 v3 v2 v1) (198
(plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 
v6 v5 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 614) (l l1));
 
aa(15):='(((s0 (plus p3 p6) p19m) (s11 (plus p1 p2) p36m v9
v10) (s4 (plus (minus p1) (minus p2) (minus p5)) p35m v5 v6
v7 v8 v1 v2 v3 v4) (21) (170 (plus p3 p6) v4 v3 v2 v1) (198
(plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 
v6 v5 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 615) (l l1));
 
aa(16):='(((s0 (plus p3 p5) p19m) (s11 (plus p1 p2) p36m v9
v10) (s4 (plus (minus p1) (minus p2) (minus p6)) p35m v5 v6
v7 v8 v1 v2 v3 v4) (21) (170 (plus p3 p5) v4 v3 v2 v1) (198
(plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 
v6 v5 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 616) (l l1));
 
aa(17):='(((s0 (plus p4 p6) p8m) (s11 (plus p1 p2) p36m v9 
v10) (s4 (plus (minus p1) (minus p2) (minus p5)) p35m v5 v6
v7 v8 v1 v2 v3 v4) (22) (172 (plus p4 p6) v4 v3 v2 v1) (198
(plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 
v6 v5 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 617) (l l1));
 
aa(18):='(((s0 (plus p4 p5) p8m) (s11 (plus p1 p2) p36m v9 
v10) (s4 (plus (minus p1) (minus p2) (minus p6)) p35m v5 v6
v7 v8 v1 v2 v3 v4) (22) (172 (plus p4 p5) v4 v3 v2 v1) (198
(plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 
v6 v5 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 618) (l l1));
 
aa(19):='(((s0 (plus p3 p6) p8m) (s11 (plus p1 p2) p36m v9 
v10) (s4 (plus (minus p1) (minus p2) (minus p5)) p35m v5 v6
v7 v8 v1 v2 v3 v4) (22) (172 (plus p3 p6) v4 v3 v2 v1) (198
(plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 
v6 v5 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 619) (l l1));
 
aa(20):='(((s0 (plus p3 p5) p8m) (s11 (plus p1 p2) p36m v9 
v10) (s4 (plus (minus p1) (minus p2) (minus p6)) p35m v5 v6
v7 v8 v1 v2 v3 v4) (22) (172 (plus p3 p5) v4 v3 v2 v1) (198
(plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 
v6 v5 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 620) (l l1));
 
aa(21):='(((s0 (plus p4 p6) p5m) (s11 (plus p1 p2) p36m v9 
v10) (s4 (plus (minus p1) (minus p2) (minus p5)) p35m v5 v6
v7 v8 v1 v2 v3 v4) (23) (174 (plus p4 p6) v4 v3 v2 v1) (198
(plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 
v6 v5 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 621) (l l1));
 
aa(22):='(((s0 (plus p4 p5) p5m) (s11 (plus p1 p2) p36m v9 
v10) (s4 (plus (minus p1) (minus p2) (minus p6)) p35m v5 v6
v7 v8 v1 v2 v3 v4) (23) (174 (plus p4 p5) v4 v3 v2 v1) (198
(plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 
v6 v5 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 622) (l l1));
 
aa(23):='(((s0 (plus p3 p6) p5m) (s11 (plus p1 p2) p36m v9 
v10) (s4 (plus (minus p1) (minus p2) (minus p5)) p35m v5 v6
v7 v8 v1 v2 v3 v4) (23) (174 (plus p3 p6) v4 v3 v2 v1) (198
(plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 
v6 v5 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 623) (l l1));
 
aa(24):='(((s0 (plus p3 p5) p5m) (s11 (plus p1 p2) p36m v9 
v10) (s4 (plus (minus p1) (minus p2) (minus p6)) p35m v5 v6
v7 v8 v1 v2 v3 v4) (23) (174 (plus p3 p5) v4 v3 v2 v1) (198
(plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 
v6 v5 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 624) (l l1));
 
aa(25):='(((s11 (plus p4 p6) p21m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (27 p6 v1) (199 (plus p4 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 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 625) (l l1));
 
aa(26):='(((s11 (plus p4 p5) p21m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (27 p5 v1) (199 (plus p4 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 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 626) (l l1));
 
aa(27):='(((s11 (plus p3 p6) p21m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (27 p6 v1) (199 (plus p3 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 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 627) (l l1));
 
aa(28):='(((s11 (plus p3 p5) p21m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (27 p5 v1) (199 (plus p3 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 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 628) (l l1));
 
aa(29):='(((s11 (plus p4 p6) p17m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (28 p6 v1) (201 (plus p4 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 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 629) (l l1));
 
aa(30):='(((s11 (plus p4 p5) p17m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (28 p5 v1) (201 (plus p4 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 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 630) (l l1));
 
aa(31):='(((s11 (plus p3 p6) p17m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (28 p6 v1) (201 (plus p3 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 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 631) (l l1));
 
aa(32):='(((s11 (plus p3 p5) p17m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (28 p5 v1) (201 (plus p3 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 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 632) (l l1));
 
aa(33):='(((s11 (plus p4 p6) p15m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (29 p6 v1) (203 (plus p4 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 633) (l l1));
 
aa(34):='(((s11 (plus p4 p5) p15m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (29 p5 v1) (203 (plus p4 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 634) (l l1));
 
aa(35):='(((s11 (plus p3 p6) p15m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (29 p6 v1) (203 (plus p3 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 635) (l l1));
 
aa(36):='(((s11 (plus p3 p5) p15m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (29 p5 v1) (203 (plus p3 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 636) (l l1));
 
aa(37):='(((s11 (plus p4 p6) p13m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (30 p6 v1) (205 (plus p4 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 637) (l l1));
 
aa(38):='(((s11 (plus p4 p5) p13m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (30 p5 v1) (205 (plus p4 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 638) (l l1));
 
aa(39):='(((s11 (plus p3 p6) p13m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (30 p6 v1) (205 (plus p3 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 639) (l l1));
 
aa(40):='(((s11 (plus p3 p5) p13m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (30 p5 v1) (205 (plus p3 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 640) (l l1));
 
aa(41):='(((s11 (plus p4 p6) p9m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (31 p6 v1) (207 (plus p4 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 641) (l l1));
 
aa(42):='(((s11 (plus p4 p5) p9m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (31 p5 v1) (207 (plus p4 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 642) (l l1));
 
aa(43):='(((s11 (plus p3 p6) p9m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (31 p6 v1) (207 (plus p3 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 643) (l l1));
 
aa(44):='(((s11 (plus p3 p5) p9m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (31 p5 v1) (207 (plus p3 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 644) (l l1));
 
aa(45):='(((s11 (plus p4 p6) p6m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (32 p6 v1) (209 (plus p4 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 645) (l l1));
 
aa(46):='(((s11 (plus p4 p5) p6m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (32 p5 v1) (209 (plus p4 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 646) (l l1));
 
aa(47):='(((s11 (plus p3 p6) p6m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (32 p6 v1) (209 (plus p3 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 647) (l l1));
 
aa(48):='(((s11 (plus p3 p5) p6m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (32 p5 v1) (209 (plus p3 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 648) (l l1));
 
aa(49):='(((s11 (plus p4 p6) p2m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (35 p6 v1) (211 (plus p4 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 649) (l l1));
 
aa(50):='(((s11 (plus p4 p5) p2m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (35 p5 v1) (211 (plus p4 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 650) (l l1));
 
aa(51):='(((s11 (plus p3 p6) p2m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p5)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (35 p6 v1) (211 (plus p3 p6)
(minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 651) (l l1));
 
aa(52):='(((s11 (plus p3 p5) p2m v6 v1) (s11 (plus p1 p2) 
p36m v11 v12) (s4 (plus (minus p1) (minus p2) (minus p6)) 
p35m v7 v8 v9 v10 v2 v3 v4 v5) (35 p5 v1) (211 (plus p3 p5)
(minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v2
v6) (198 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v7 v11)) (l1 (19 l1 v12)));
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 652) (l l1));
 
aa(53):='(((s2 (plus p4 p6) p23m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (54 p6 v2 v1) (220 (plus
p4 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 653) (l l1));
 
aa(54):='(((s2 (plus p4 p5) p23m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (54 p5 v2 v1) (220 (plus
p4 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 654) (l l1));
 
aa(55):='(((s2 (plus p3 p6) p23m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (54 p6 v2 v1) (220 (plus
p3 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 655) (l l1));
 
aa(56):='(((s2 (plus p3 p5) p23m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (54 p5 v2 v1) (220 (plus
p3 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 656) (l l1));
 
aa(57):='(((s2 (plus p4 p6) p22m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (55 p6 v2 v1) (222 (plus
p4 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 657) (l l1));
 
aa(58):='(((s2 (plus p4 p5) p22m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (55 p5 v2 v1) (222 (plus
p4 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 658) (l l1));
 
aa(59):='(((s2 (plus p3 p6) p22m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (55 p6 v2 v1) (222 (plus
p3 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 659) (l l1));
 
aa(60):='(((s2 (plus p3 p5) p22m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (55 p5 v2 v1) (222 (plus
p3 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 660) (l l1));
 
aa(61):='(((s2 (plus p4 p6) p20m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (56 p6 v2 v1) (224 (plus
p4 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 661) (l l1));
 
aa(62):='(((s2 (plus p4 p5) p20m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (56 p5 v2 v1) (224 (plus
p4 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 662) (l l1));
 
aa(63):='(((s2 (plus p3 p6) p20m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (56 p6 v2 v1) (224 (plus
p3 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 663) (l l1));
 
aa(64):='(((s2 (plus p3 p5) p20m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (56 p5 v2 v1) (224 (plus
p3 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 664) (l l1));
 
aa(65):='(((s2 (plus p4 p6) p18m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (57 p6 v2 v1) (226 (plus
p4 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 665) (l l1));
 
aa(66):='(((s2 (plus p4 p5) p18m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (57 p5 v2 v1) (226 (plus
p4 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 666) (l l1));
 
aa(67):='(((s2 (plus p3 p6) p18m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (57 p6 v2 v1) (226 (plus
p3 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 667) (l l1));
 
aa(68):='(((s2 (plus p3 p5) p18m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (57 p5 v2 v1) (226 (plus
p3 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 668) (l l1));
 
aa(69):='(((s2 (plus p4 p6) p12m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (58 p6 v2 v1) (228 (plus
p4 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 669) (l l1));
 
aa(70):='(((s2 (plus p4 p5) p12m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (58 p5 v2 v1) (228 (plus
p4 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 670) (l l1));
 
aa(71):='(((s2 (plus p3 p6) p12m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (58 p6 v2 v1) (228 (plus
p3 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 671) (l l1));
 
aa(72):='(((s2 (plus p3 p5) p12m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (58 p5 v2 v1) (228 (plus
p3 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 672) (l l1));
 
aa(73):='(((s2 (plus p4 p6) p11m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (59 p6 v2 v1) (230 (plus
p4 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 673) (l l1));
 
aa(74):='(((s2 (plus p4 p5) p11m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (59 p5 v2 v1) (230 (plus
p4 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 674) (l l1));
 
aa(75):='(((s2 (plus p3 p6) p11m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (59 p6 v2 v1) (230 (plus
p3 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 675) (l l1));
 
aa(76):='(((s2 (plus p3 p5) p11m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (59 p5 v2 v1) (230 (plus
p3 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 676) (l l1));
 
aa(77):='(((s2 (plus p4 p6) p10m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (60 p6 v2 v1) (232 (plus
p4 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 677) (l l1));
 
aa(78):='(((s2 (plus p4 p5) p10m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (60 p5 v2 v1) (232 (plus
p4 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 678) (l l1));
 
aa(79):='(((s2 (plus p3 p6) p10m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (60 p6 v2 v1) (232 (plus
p3 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 679) (l l1));
 
aa(80):='(((s2 (plus p3 p5) p10m v7 v8 v1 v2) (s11 (plus p1
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (60 p5 v2 v1) (232 (plus
p3 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 680) (l l1));
 
aa(81):='(((s2 (plus p4 p6) p7m v7 v8 v1 v2) (s11 (plus p1 
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (61 p6 v2 v1) (234 (plus
p4 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(81):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 681) (l l1));
 
aa(82):='(((s2 (plus p4 p5) p7m v7 v8 v1 v2) (s11 (plus p1 
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (61 p5 v2 v1) (234 (plus
p4 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(82):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 682) (l l1));
 
aa(83):='(((s2 (plus p3 p6) p7m v7 v8 v1 v2) (s11 (plus p1 
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (61 p6 v2 v1) (234 (plus
p3 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(83):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 683) (l l1));
 
aa(84):='(((s2 (plus p3 p5) p7m v7 v8 v1 v2) (s11 (plus p1 
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (61 p5 v2 v1) (234 (plus
p3 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(84):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 684) (l l1));
 
aa(85):='(((s2 (plus p4 p6) p4m v7 v8 v1 v2) (s11 (plus p1 
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (64 p6 v2 v1) (236 (plus
p4 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(85):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 685) (l l1));
 
aa(86):='(((s2 (plus p4 p5) p4m v7 v8 v1 v2) (s11 (plus p1 
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (64 p5 v2 v1) (236 (plus
p4 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(86):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 686) (l l1));
 
aa(87):='(((s2 (plus p3 p6) p4m v7 v8 v1 v2) (s11 (plus p1 
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (64 p6 v2 v1) (236 (plus
p3 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(87):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 687) (l l1));
 
aa(88):='(((s2 (plus p3 p5) p4m v7 v8 v1 v2) (s11 (plus p1 
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (64 p5 v2 v1) (236 (plus
p3 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(88):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 688) (l l1));
 
aa(89):='(((s2 (plus p4 p6) p3m v7 v8 v1 v2) (s11 (plus p1 
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (67 p6 v2 v1) (238 (plus
p4 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 689) (l l1));
 
aa(90):='(((s2 (plus p4 p5) p3m v7 v8 v1 v2) (s11 (plus p1 
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (67 p5 v2 v1) (238 (plus
p4 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 690) (l l1));
 
aa(91):='(((s2 (plus p3 p6) p3m v7 v8 v1 v2) (s11 (plus p1 
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p5)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (67 p6 v2 v1) (238 (plus
p3 p6) (minus (plus (minus p1) (minus p2) (minus p5))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p5)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 691) (l l1));
 
aa(92):='(((s2 (plus p3 p5) p3m v7 v8 v1 v2) (s11 (plus p1 
p2) p36m v13 v14) (s4 (plus (minus p1) (minus p2) (minus p6)
) p35m v9 v10 v11 v12 v3 v4 v5 v6) (67 p5 v2 v1) (238 (plus
p3 p5) (minus (plus (minus p1) (minus p2) (minus p6))) v6 v5
v4 v3 v8 v7) (198 (plus p1 p2) (plus (minus p1) (minus p2) (
minus p6)) v12 v11 v10 v9 v13)) (l1 (19 l1 v14)));
 
aaaa(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 692) (l l1));
 
aa(93):='(((s11 (plus p1 p2) p36m v11 v12) (s3 (plus p3 p5)
p16m v6 v7 v8 v3 v4 v5) (s2 (plus (minus p4) (minus p6)) p4m
v1 v2 v9 v10) (64 p6 v2 v1) (108 p5 v5 v4 v3) (213 (plus p4
p6) (plus p3 p5) v8 v7 v6 v11 v10 v9)) (l1 (19 l1 v12)));
 
aaaa(93):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 693) (l l1));
 
aa(94):='(((s11 (plus p1 p2) p36m v11 v12) (s3 (plus p3 p6)
p16m v6 v7 v8 v3 v4 v5) (s2 (plus (minus p4) (minus p5)) p4m
v1 v2 v9 v10) (64 p5 v2 v1) (108 p6 v5 v4 v3) (213 (plus p4
p5) (plus p3 p6) v8 v7 v6 v11 v10 v9)) (l1 (19 l1 v12)));
 
aaaa(94):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 694) (l l1));
 
aa(95):='(((s2 (plus p3 p6) p4m v9 v10 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p4) (minus p5)) p16m v3 
v4 v5 v6 v7 v8) (64 p6 v2 v1) (108 p5 v5 v4 v3) (213 (plus 
p3 p6) (minus (plus (minus p4) (minus p5))) v8 v7 v6 v11 v10
v9)) (l1 (19 l1 v12)));
 
aaaa(95):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 695) (l l1));
 
aa(96):='(((s2 (plus p3 p5) p4m v9 v10 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p4) (minus p6)) p16m v3 
v4 v5 v6 v7 v8) (64 p5 v2 v1) (108 p6 v5 v4 v3) (213 (plus 
p3 p5) (minus (plus (minus p4) (minus p6))) v8 v7 v6 v11 v10
v9)) (l1 (19 l1 v12)));
 
aaaa(96):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 696) (l l1));
 
aa(97):='(((s11 (plus p1 p2) p36m v11 v12) (s3 (plus p3 p5)
p14m v6 v7 v8 v3 v4 v5) (s2 (plus (minus p4) (minus p6)) p3m
v1 v2 v9 v10) (67 p6 v2 v1) (109 p5 v5 v4 v3) (214 (plus p4
p6) (plus p3 p5) v8 v7 v6 v11 v10 v9)) (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 697) (l l1));
 
aa(98):='(((s11 (plus p1 p2) p36m v11 v12) (s3 (plus p3 p6)
p14m v6 v7 v8 v3 v4 v5) (s2 (plus (minus p4) (minus p5)) p3m
v1 v2 v9 v10) (67 p5 v2 v1) (109 p6 v5 v4 v3) (214 (plus p4
p5) (plus p3 p6) v8 v7 v6 v11 v10 v9)) (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 698) (l l1));
 
aa(99):='(((s2 (plus p3 p6) p3m v9 v10 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p4) (minus p5)) p14m v3 
v4 v5 v6 v7 v8) (67 p6 v2 v1) (109 p5 v5 v4 v3) (214 (plus 
p3 p6) (minus (plus (minus p4) (minus p5))) v8 v7 v6 v11 v10
v9)) (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 699) (l l1));
 
aa(100):='(((s2 (plus p3 p5) p3m v9 v10 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p4) (minus p6)) p14m v3 
v4 v5 v6 v7 v8) (67 p5 v2 v1) (109 p6 v5 v4 v3) (214 (plus 
p3 p5) (minus (plus (minus p4) (minus p6))) v8 v7 v6 v11 v10
v9)) (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 700) (l l1));
 
;end;
 
