aa(1):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p4 p6) 
p9m v5 v1) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m
v2 v3 v4 v6 v7 v8) (31 p6 v1) (164 (plus p4 p6) (plus (minus
p4) (minus p5) (minus p6)) v4 v3 v2 v5) (155 (plus p1 p2) (
minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v6 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 401) (l l1));
 
aa(2):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p4 p5) 
p9m v5 v1) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m
v2 v3 v4 v6 v7 v8) (31 p5 v1) (164 (plus p4 p5) (plus (minus
p4) (minus p5) (minus p6)) v4 v3 v2 v5) (155 (plus p1 p2) (
minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v6 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 402) (l l1));
 
aa(3):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p3 p6) 
p9m v5 v1) (s3 (plus p1 p2 p4) p34m v2 v3 v4 v6 v7 v8) (31 
p6 v1) (164 (plus p3 p6) (plus p1 p2 p4) v4 v3 v2 v5) (155 (
plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v6 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 403) (l l1));
 
aa(4):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p3 p5) 
p9m v5 v1) (s3 (plus p1 p2 p4) p34m v2 v3 v4 v6 v7 v8) (31 
p5 v1) (164 (plus p3 p5) (plus p1 p2 p4) v4 v3 v2 v5) (155 (
plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v6 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 404) (l l1));
 
aa(5):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p4 p6) 
p6m v5 v1) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m
v2 v3 v4 v6 v7 v8) (32 p6 v1) (166 (plus p4 p6) (plus (minus
p4) (minus p5) (minus p6)) v4 v3 v2 v5) (155 (plus p1 p2) (
minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v6 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 405) (l l1));
 
aa(6):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p4 p5) 
p6m v5 v1) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m
v2 v3 v4 v6 v7 v8) (32 p5 v1) (166 (plus p4 p5) (plus (minus
p4) (minus p5) (minus p6)) v4 v3 v2 v5) (155 (plus p1 p2) (
minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v6 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 406) (l l1));
 
aa(7):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p3 p6) 
p6m v5 v1) (s3 (plus p1 p2 p4) p34m v2 v3 v4 v6 v7 v8) (32 
p6 v1) (166 (plus p3 p6) (plus p1 p2 p4) v4 v3 v2 v5) (155 (
plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v6 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 407) (l l1));
 
aa(8):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p3 p5) 
p6m v5 v1) (s3 (plus p1 p2 p4) p34m v2 v3 v4 v6 v7 v8) (32 
p5 v1) (166 (plus p3 p5) (plus p1 p2 p4) v4 v3 v2 v5) (155 (
plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v6 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 408) (l l1));
 
aa(9):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p4 p6) 
p2m v5 v1) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m
v2 v3 v4 v6 v7 v8) (35 p6 v1) (168 (plus p4 p6) (plus (minus
p4) (minus p5) (minus p6)) v4 v3 v2 v5) (155 (plus p1 p2) (
minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v6 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 409) (l l1));
 
aa(10):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p4 p5)
p2m v5 v1) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m
v2 v3 v4 v6 v7 v8) (35 p5 v1) (168 (plus p4 p5) (plus (minus
p4) (minus p5) (minus p6)) v4 v3 v2 v5) (155 (plus p1 p2) (
minus (plus (minus p4) (minus p5) (minus p6))) v8 v7 v6 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 410) (l l1));
 
aa(11):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p3 p6)
p2m v5 v1) (s3 (plus p1 p2 p4) p34m v2 v3 v4 v6 v7 v8) (35 
p6 v1) (168 (plus p3 p6) (plus p1 p2 p4) v4 v3 v2 v5) (155 (
plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v6 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 411) (l l1));
 
aa(12):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p3 p5)
p2m v5 v1) (s3 (plus p1 p2 p4) p34m v2 v3 v4 v6 v7 v8) (35 
p5 v1) (168 (plus p3 p5) (plus p1 p2 p4) v4 v3 v2 v5) (155 (
plus p1 p2) (minus (plus p1 p2 p4)) v8 v7 v6 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 412) (l l1));
 
aa(13):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p6)
p20m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6)
) p34m v3 v4 v5 v8 v9 v10) (56 p6 v2 v1) (178 (plus p4 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 413) (l l1));
 
aa(14):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p5)
p20m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6)
) p34m v3 v4 v5 v8 v9 v10) (56 p5 v2 v1) (178 (plus p4 p5) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 414) (l l1));
 
aa(15):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p6)
p20m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 
v10) (56 p6 v2 v1) (178 (plus p3 p6) (plus p1 p2 p4) v5 v4 
v3 v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 
v8 v11)) (l1 (19 l1 v12)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 415) (l l1));
 
aa(16):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p5)
p20m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 
v10) (56 p5 v2 v1) (178 (plus p3 p5) (plus p1 p2 p4) v5 v4 
v3 v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 
v8 v11)) (l1 (19 l1 v12)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 416) (l l1));
 
aa(17):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p6)
p18m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6)
) p34m v3 v4 v5 v8 v9 v10) (57 p6 v2 v1) (180 (plus p4 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 417) (l l1));
 
aa(18):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p5)
p18m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6)
) p34m v3 v4 v5 v8 v9 v10) (57 p5 v2 v1) (180 (plus p4 p5) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 418) (l l1));
 
aa(19):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p6)
p18m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 
v10) (57 p6 v2 v1) (180 (plus p3 p6) (plus p1 p2 p4) v5 v4 
v3 v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 
v8 v11)) (l1 (19 l1 v12)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 419) (l l1));
 
aa(20):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p5)
p18m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 
v10) (57 p5 v2 v1) (180 (plus p3 p5) (plus p1 p2 p4) v5 v4 
v3 v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 
v8 v11)) (l1 (19 l1 v12)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 420) (l l1));
 
aa(21):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p6)
p12m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6)
) p34m v3 v4 v5 v8 v9 v10) (58 p6 v2 v1) (182 (plus p4 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 421) (l l1));
 
aa(22):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p5)
p12m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6)
) p34m v3 v4 v5 v8 v9 v10) (58 p5 v2 v1) (182 (plus p4 p5) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 422) (l l1));
 
aa(23):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p6)
p12m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 
v10) (58 p6 v2 v1) (182 (plus p3 p6) (plus p1 p2 p4) v5 v4 
v3 v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 
v8 v11)) (l1 (19 l1 v12)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 423) (l l1));
 
aa(24):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p5)
p12m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 
v10) (58 p5 v2 v1) (182 (plus p3 p5) (plus p1 p2 p4) v5 v4 
v3 v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 
v8 v11)) (l1 (19 l1 v12)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 424) (l l1));
 
aa(25):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p6)
p11m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6)
) p34m v3 v4 v5 v8 v9 v10) (59 p6 v2 v1) (184 (plus p4 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 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 425) (l l1));
 
aa(26):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p5)
p11m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6)
) p34m v3 v4 v5 v8 v9 v10) (59 p5 v2 v1) (184 (plus p4 p5) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 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 426) (l l1));
 
aa(27):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p6)
p11m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 
v10) (59 p6 v2 v1) (184 (plus p3 p6) (plus p1 p2 p4) v5 v4 
v3 v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 
v8 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 427) (l l1));
 
aa(28):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p5)
p11m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 
v10) (59 p5 v2 v1) (184 (plus p3 p5) (plus p1 p2 p4) v5 v4 
v3 v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 
v8 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 428) (l l1));
 
aa(29):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p6)
p10m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6)
) p34m v3 v4 v5 v8 v9 v10) (60 p6 v2 v1) (186 (plus p4 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 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 429) (l l1));
 
aa(30):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p5)
p10m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6)
) p34m v3 v4 v5 v8 v9 v10) (60 p5 v2 v1) (186 (plus p4 p5) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 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 430) (l l1));
 
aa(31):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p6)
p10m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 
v10) (60 p6 v2 v1) (186 (plus p3 p6) (plus p1 p2 p4) v5 v4 
v3 v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 
v8 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 431) (l l1));
 
aa(32):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p5)
p10m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 
v10) (60 p5 v2 v1) (186 (plus p3 p5) (plus p1 p2 p4) v5 v4 
v3 v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 
v8 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 432) (l l1));
 
aa(33):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p6)
p7m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6))
p34m v3 v4 v5 v8 v9 v10) (61 p6 v2 v1) (188 (plus p4 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 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 433) (l l1));
 
aa(34):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p5)
p7m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6))
p34m v3 v4 v5 v8 v9 v10) (61 p5 v2 v1) (188 (plus p4 p5) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 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 434) (l l1));
 
aa(35):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p6)
p7m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 v10
) (61 p6 v2 v1) (188 (plus p3 p6) (plus p1 p2 p4) v5 v4 v3 
v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
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 435) (l l1));
 
aa(36):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p5)
p7m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 v10
) (61 p5 v2 v1) (188 (plus p3 p5) (plus p1 p2 p4) v5 v4 v3 
v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
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 436) (l l1));
 
aa(37):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p6)
p4m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6))
p34m v3 v4 v5 v8 v9 v10) (64 p6 v2 v1) (190 (plus p4 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 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 437) (l l1));
 
aa(38):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p5)
p4m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6))
p34m v3 v4 v5 v8 v9 v10) (64 p5 v2 v1) (190 (plus p4 p5) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 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 438) (l l1));
 
aa(39):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p6)
p4m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 v10
) (64 p6 v2 v1) (190 (plus p3 p6) (plus p1 p2 p4) v5 v4 v3 
v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
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 439) (l l1));
 
aa(40):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p5)
p4m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 v10
) (64 p5 v2 v1) (190 (plus p3 p5) (plus p1 p2 p4) v5 v4 v3 
v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
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 440) (l l1));
 
aa(41):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p6)
p3m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6))
p34m v3 v4 v5 v8 v9 v10) (67 p6 v2 v1) (192 (plus p4 p6) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 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 441) (l l1));
 
aa(42):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p4 p5)
p3m v6 v7 v1 v2) (s3 (plus (minus p4) (minus p5) (minus p6))
p34m v3 v4 v5 v8 v9 v10) (67 p5 v2 v1) (192 (plus p4 p5) (
plus (minus p4) (minus p5) (minus p6)) v5 v4 v3 v7 v6) (155
(plus p1 p2) (minus (plus (minus p4) (minus p5) (minus p6)))
v10 v9 v8 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 442) (l l1));
 
aa(43):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p6)
p3m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 v10
) (67 p6 v2 v1) (192 (plus p3 p6) (plus p1 p2 p4) v5 v4 v3 
v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
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 443) (l l1));
 
aa(44):='(((s11 (plus p1 p2) p36m v11 v12) (s2 (plus p3 p5)
p3m v6 v7 v1 v2) (s3 (plus p1 p2 p4) p34m v3 v4 v5 v8 v9 v10
) (67 p5 v2 v1) (192 (plus p3 p5) (plus p1 p2 p4) v5 v4 v3 
v7 v6) (155 (plus p1 p2) (minus (plus p1 p2 p4)) v10 v9 v8 
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 444) (l l1));
 
aa(45):='(((s11 (plus p1 p2) p36m v13 v14) (s3 (plus p4 p6)
p16m v7 v8 v9 v1 v2 v3) (s3 (plus (minus p4) (minus p5) (
minus p6)) p34m v4 v5 v6 v10 v11 v12) (108 p6 v3 v2 v1) (216
(plus p4 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 
v4 v9 v8 v7) (155 (plus p1 p2) (minus (plus (minus p4) (
minus p5) (minus p6))) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 445) (l l1));
 
aa(46):='(((s11 (plus p1 p2) p36m v13 v14) (s3 (plus p4 p5)
p16m v7 v8 v9 v1 v2 v3) (s3 (plus (minus p4) (minus p5) (
minus p6)) p34m v4 v5 v6 v10 v11 v12) (108 p5 v3 v2 v1) (216
(plus p4 p5) (plus (minus p4) (minus p5) (minus p6)) v6 v5 
v4 v9 v8 v7) (155 (plus p1 p2) (minus (plus (minus p4) (
minus p5) (minus p6))) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 446) (l l1));
 
aa(47):='(((s11 (plus p1 p2) p36m v13 v14) (s3 (plus p3 p6)
p16m v7 v8 v9 v1 v2 v3) (s3 (plus p1 p2 p4) p34m v4 v5 v6 
v10 v11 v12) (108 p6 v3 v2 v1) (216 (plus p3 p6) (plus p1 p2
p4) v6 v5 v4 v9 v8 v7) (155 (plus p1 p2) (minus (plus p1 p2
p4)) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 447) (l l1));
 
aa(48):='(((s11 (plus p1 p2) p36m v13 v14) (s3 (plus p3 p5)
p16m v7 v8 v9 v1 v2 v3) (s3 (plus p1 p2 p4) p34m v4 v5 v6 
v10 v11 v12) (108 p5 v3 v2 v1) (216 (plus p3 p5) (plus p1 p2
p4) v6 v5 v4 v9 v8 v7) (155 (plus p1 p2) (minus (plus p1 p2
p4)) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 448) (l l1));
 
aa(49):='(((s11 (plus p1 p2) p36m v13 v14) (s3 (plus p4 p6)
p14m v7 v8 v9 v1 v2 v3) (s3 (plus (minus p4) (minus p5) (
minus p6)) p34m v4 v5 v6 v10 v11 v12) (109 p6 v3 v2 v1) (218
(plus p4 p6) (plus (minus p4) (minus p5) (minus p6)) v6 v5 
v4 v9 v8 v7) (155 (plus p1 p2) (minus (plus (minus p4) (
minus p5) (minus p6))) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 449) (l l1));
 
aa(50):='(((s11 (plus p1 p2) p36m v13 v14) (s3 (plus p4 p5)
p14m v7 v8 v9 v1 v2 v3) (s3 (plus (minus p4) (minus p5) (
minus p6)) p34m v4 v5 v6 v10 v11 v12) (109 p5 v3 v2 v1) (218
(plus p4 p5) (plus (minus p4) (minus p5) (minus p6)) v6 v5 
v4 v9 v8 v7) (155 (plus p1 p2) (minus (plus (minus p4) (
minus p5) (minus p6))) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 450) (l l1));
 
aa(51):='(((s11 (plus p1 p2) p36m v13 v14) (s3 (plus p3 p6)
p14m v7 v8 v9 v1 v2 v3) (s3 (plus p1 p2 p4) p34m v4 v5 v6 
v10 v11 v12) (109 p6 v3 v2 v1) (218 (plus p3 p6) (plus p1 p2
p4) v6 v5 v4 v9 v8 v7) (155 (plus p1 p2) (minus (plus p1 p2
p4)) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 451) (l l1));
 
aa(52):='(((s11 (plus p1 p2) p36m v13 v14) (s3 (plus p3 p5)
p14m v7 v8 v9 v1 v2 v3) (s3 (plus p1 p2 p4) p34m v4 v5 v6 
v10 v11 v12) (109 p5 v3 v2 v1) (218 (plus p3 p5) (plus p1 p2
p4) v6 v5 v4 v9 v8 v7) (155 (plus p1 p2) (minus (plus p1 p2
p4)) v12 v11 v10 v13)) (l1 (19 l1 v14)));
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v14 v13
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 452) (l l1));
 
aa(53):='(((s0 (plus p4 p6) p19m) (s11 (plus p1 p2) p36m v7
v8) (s3 (plus (minus p1) (minus p2) (minus p5)) p34m v4 v5 
v6 v1 v2 v3) (21) (102 (plus p4 p6) v3 v2 v1) (156 (plus p1
p2) (plus (minus p1) (minus p2) (minus p5)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 453) (l l1));
 
aa(54):='(((s0 (plus p4 p5) p19m) (s11 (plus p1 p2) p36m v7
v8) (s3 (plus (minus p1) (minus p2) (minus p6)) p34m v4 v5 
v6 v1 v2 v3) (21) (102 (plus p4 p5) v3 v2 v1) (156 (plus p1
p2) (plus (minus p1) (minus p2) (minus p6)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 454) (l l1));
 
aa(55):='(((s0 (plus p3 p6) p19m) (s11 (plus p1 p2) p36m v7
v8) (s3 (plus (minus p1) (minus p2) (minus p5)) p34m v4 v5 
v6 v1 v2 v3) (21) (102 (plus p3 p6) v3 v2 v1) (156 (plus p1
p2) (plus (minus p1) (minus p2) (minus p5)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 455) (l l1));
 
aa(56):='(((s0 (plus p3 p5) p19m) (s11 (plus p1 p2) p36m v7
v8) (s3 (plus (minus p1) (minus p2) (minus p6)) p34m v4 v5 
v6 v1 v2 v3) (21) (102 (plus p3 p5) v3 v2 v1) (156 (plus p1
p2) (plus (minus p1) (minus p2) (minus p6)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 456) (l l1));
 
aa(57):='(((s0 (plus p4 p6) p8m) (s11 (plus p1 p2) p36m v7 
v8) (s3 (plus (minus p1) (minus p2) (minus p5)) p34m v4 v5 
v6 v1 v2 v3) (22) (104 (plus p4 p6) v3 v2 v1) (156 (plus p1
p2) (plus (minus p1) (minus p2) (minus p5)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 457) (l l1));
 
aa(58):='(((s0 (plus p4 p5) p8m) (s11 (plus p1 p2) p36m v7 
v8) (s3 (plus (minus p1) (minus p2) (minus p6)) p34m v4 v5 
v6 v1 v2 v3) (22) (104 (plus p4 p5) v3 v2 v1) (156 (plus p1
p2) (plus (minus p1) (minus p2) (minus p6)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 458) (l l1));
 
aa(59):='(((s0 (plus p3 p6) p8m) (s11 (plus p1 p2) p36m v7 
v8) (s3 (plus (minus p1) (minus p2) (minus p5)) p34m v4 v5 
v6 v1 v2 v3) (22) (104 (plus p3 p6) v3 v2 v1) (156 (plus p1
p2) (plus (minus p1) (minus p2) (minus p5)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 459) (l l1));
 
aa(60):='(((s0 (plus p3 p5) p8m) (s11 (plus p1 p2) p36m v7 
v8) (s3 (plus (minus p1) (minus p2) (minus p6)) p34m v4 v5 
v6 v1 v2 v3) (22) (104 (plus p3 p5) v3 v2 v1) (156 (plus p1
p2) (plus (minus p1) (minus p2) (minus p6)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 460) (l l1));
 
aa(61):='(((s0 (plus p4 p6) p5m) (s11 (plus p1 p2) p36m v7 
v8) (s3 (plus (minus p1) (minus p2) (minus p5)) p34m v4 v5 
v6 v1 v2 v3) (23) (106 (plus p4 p6) v3 v2 v1) (156 (plus p1
p2) (plus (minus p1) (minus p2) (minus p5)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 461) (l l1));
 
aa(62):='(((s0 (plus p4 p5) p5m) (s11 (plus p1 p2) p36m v7 
v8) (s3 (plus (minus p1) (minus p2) (minus p6)) p34m v4 v5 
v6 v1 v2 v3) (23) (106 (plus p4 p5) v3 v2 v1) (156 (plus p1
p2) (plus (minus p1) (minus p2) (minus p6)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 462) (l l1));
 
aa(63):='(((s0 (plus p3 p6) p5m) (s11 (plus p1 p2) p36m v7 
v8) (s3 (plus (minus p1) (minus p2) (minus p5)) p34m v4 v5 
v6 v1 v2 v3) (23) (106 (plus p3 p6) v3 v2 v1) (156 (plus p1
p2) (plus (minus p1) (minus p2) (minus p5)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 463) (l l1));
 
aa(64):='(((s0 (plus p3 p5) p5m) (s11 (plus p1 p2) p36m v7 
v8) (s3 (plus (minus p1) (minus p2) (minus p6)) p34m v4 v5 
v6 v1 v2 v3) (23) (106 (plus p3 p5) v3 v2 v1) (156 (plus p1
p2) (plus (minus p1) (minus p2) (minus p6)) v6 v5 v4 v7)) (
l1 (19 l1 v8)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 464) (l l1));
 
aa(65):='(((s11 (plus p4 p6) p17m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p34m v6 v7 v8 v2 v3 v4) (28 p6 v1) (157 (plus p4 p6) (minus
(plus (minus p1) (minus p2) (minus p5))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v6
v9)) (l1 (19 l1 v10)));
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 465) (l l1));
 
aa(66):='(((s11 (plus p4 p5) p17m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p34m v6 v7 v8 v2 v3 v4) (28 p5 v1) (157 (plus p4 p5) (minus
(plus (minus p1) (minus p2) (minus p6))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v6
v9)) (l1 (19 l1 v10)));
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 466) (l l1));
 
aa(67):='(((s11 (plus p3 p6) p17m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p34m v6 v7 v8 v2 v3 v4) (28 p6 v1) (157 (plus p3 p6) (minus
(plus (minus p1) (minus p2) (minus p5))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v6
v9)) (l1 (19 l1 v10)));
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 467) (l l1));
 
aa(68):='(((s11 (plus p3 p5) p17m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p34m v6 v7 v8 v2 v3 v4) (28 p5 v1) (157 (plus p3 p5) (minus
(plus (minus p1) (minus p2) (minus p6))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v6
v9)) (l1 (19 l1 v10)));
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 468) (l l1));
 
aa(69):='(((s11 (plus p4 p6) p15m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p34m v6 v7 v8 v2 v3 v4) (29 p6 v1) (159 (plus p4 p6) (minus
(plus (minus p1) (minus p2) (minus p5))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v6
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 469) (l l1));
 
aa(70):='(((s11 (plus p4 p5) p15m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p34m v6 v7 v8 v2 v3 v4) (29 p5 v1) (159 (plus p4 p5) (minus
(plus (minus p1) (minus p2) (minus p6))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v6
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 470) (l l1));
 
aa(71):='(((s11 (plus p3 p6) p15m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p34m v6 v7 v8 v2 v3 v4) (29 p6 v1) (159 (plus p3 p6) (minus
(plus (minus p1) (minus p2) (minus p5))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v6
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 471) (l l1));
 
aa(72):='(((s11 (plus p3 p5) p15m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p34m v6 v7 v8 v2 v3 v4) (29 p5 v1) (159 (plus p3 p5) (minus
(plus (minus p1) (minus p2) (minus p6))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v6
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 472) (l l1));
 
aa(73):='(((s11 (plus p4 p6) p13m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p34m v6 v7 v8 v2 v3 v4) (30 p6 v1) (161 (plus p4 p6) (minus
(plus (minus p1) (minus p2) (minus p5))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v6
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 473) (l l1));
 
aa(74):='(((s11 (plus p4 p5) p13m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p34m v6 v7 v8 v2 v3 v4) (30 p5 v1) (161 (plus p4 p5) (minus
(plus (minus p1) (minus p2) (minus p6))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v6
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 474) (l l1));
 
aa(75):='(((s11 (plus p3 p6) p13m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p34m v6 v7 v8 v2 v3 v4) (30 p6 v1) (161 (plus p3 p6) (minus
(plus (minus p1) (minus p2) (minus p5))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v6
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 475) (l l1));
 
aa(76):='(((s11 (plus p3 p5) p13m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p34m v6 v7 v8 v2 v3 v4) (30 p5 v1) (161 (plus p3 p5) (minus
(plus (minus p1) (minus p2) (minus p6))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v6
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 476) (l l1));
 
aa(77):='(((s11 (plus p4 p6) p9m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p34m v6 v7 v8 v2 v3 v4) (31 p6 v1) (163 (plus p4 p6) (minus
(plus (minus p1) (minus p2) (minus p5))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v6
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 477) (l l1));
 
aa(78):='(((s11 (plus p4 p5) p9m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p34m v6 v7 v8 v2 v3 v4) (31 p5 v1) (163 (plus p4 p5) (minus
(plus (minus p1) (minus p2) (minus p6))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v6
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 478) (l l1));
 
aa(79):='(((s11 (plus p3 p6) p9m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p34m v6 v7 v8 v2 v3 v4) (31 p6 v1) (163 (plus p3 p6) (minus
(plus (minus p1) (minus p2) (minus p5))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v6
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 479) (l l1));
 
aa(80):='(((s11 (plus p3 p5) p9m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p34m v6 v7 v8 v2 v3 v4) (31 p5 v1) (163 (plus p3 p5) (minus
(plus (minus p1) (minus p2) (minus p6))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v6
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 480) (l l1));
 
aa(81):='(((s11 (plus p4 p6) p6m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p34m v6 v7 v8 v2 v3 v4) (32 p6 v1) (165 (plus p4 p6) (minus
(plus (minus p1) (minus p2) (minus p5))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v6
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 481) (l l1));
 
aa(82):='(((s11 (plus p4 p5) p6m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p34m v6 v7 v8 v2 v3 v4) (32 p5 v1) (165 (plus p4 p5) (minus
(plus (minus p1) (minus p2) (minus p6))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v6
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 482) (l l1));
 
aa(83):='(((s11 (plus p3 p6) p6m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p34m v6 v7 v8 v2 v3 v4) (32 p6 v1) (165 (plus p3 p6) (minus
(plus (minus p1) (minus p2) (minus p5))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v6
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 483) (l l1));
 
aa(84):='(((s11 (plus p3 p5) p6m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p34m v6 v7 v8 v2 v3 v4) (32 p5 v1) (165 (plus p3 p5) (minus
(plus (minus p1) (minus p2) (minus p6))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v6
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 484) (l l1));
 
aa(85):='(((s11 (plus p4 p6) p2m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p34m v6 v7 v8 v2 v3 v4) (35 p6 v1) (167 (plus p4 p6) (minus
(plus (minus p1) (minus p2) (minus p5))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v6
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 485) (l l1));
 
aa(86):='(((s11 (plus p4 p5) p2m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p34m v6 v7 v8 v2 v3 v4) (35 p5 v1) (167 (plus p4 p5) (minus
(plus (minus p1) (minus p2) (minus p6))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v6
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 486) (l l1));
 
aa(87):='(((s11 (plus p3 p6) p2m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p5)) 
p34m v6 v7 v8 v2 v3 v4) (35 p6 v1) (167 (plus p3 p6) (minus
(plus (minus p1) (minus p2) (minus p5))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p5)) v8 v7 v6
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 487) (l l1));
 
aa(88):='(((s11 (plus p3 p5) p2m v5 v1) (s11 (plus p1 p2) 
p36m v9 v10) (s3 (plus (minus p1) (minus p2) (minus p6)) 
p34m v6 v7 v8 v2 v3 v4) (35 p5 v1) (167 (plus p3 p5) (minus
(plus (minus p1) (minus p2) (minus p6))) v4 v3 v2 v5) (156 (
plus p1 p2) (plus (minus p1) (minus p2) (minus p6)) v8 v7 v6
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 488) (l l1));
 
aa(89):='(((s2 (plus p4 p6) p20m v6 v7 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (56 p6 v2 v1) (177 (plus p4 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 489) (l l1));
 
aa(90):='(((s2 (plus p4 p5) p20m v6 v7 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (56 p5 v2 v1) (177 (plus p4 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 490) (l l1));
 
aa(91):='(((s2 (plus p3 p6) p20m v6 v7 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (56 p6 v2 v1) (177 (plus p3 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 491) (l l1));
 
aa(92):='(((s2 (plus p3 p5) p20m v6 v7 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (56 p5 v2 v1) (177 (plus p3 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (l1 (19 l1 v12)));
 
aaaa(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1) (ijk 492) (l l1));
 
aa(93):='(((s2 (plus p4 p6) p18m v6 v7 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (57 p6 v2 v1) (179 (plus p4 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (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 493) (l l1));
 
aa(94):='(((s2 (plus p4 p5) p18m v6 v7 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (57 p5 v2 v1) (179 (plus p4 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (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 494) (l l1));
 
aa(95):='(((s2 (plus p3 p6) p18m v6 v7 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (57 p6 v2 v1) (179 (plus p3 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 v11)) (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 495) (l l1));
 
aa(96):='(((s2 (plus p3 p5) p18m v6 v7 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (57 p5 v2 v1) (179 (plus p3 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 v11)) (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 496) (l l1));
 
aa(97):='(((s2 (plus p4 p6) p12m v6 v7 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (58 p6 v2 v1) (181 (plus p4 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 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 497) (l l1));
 
aa(98):='(((s2 (plus p4 p5) p12m v6 v7 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (58 p5 v2 v1) (181 (plus p4 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 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 498) (l l1));
 
aa(99):='(((s2 (plus p3 p6) p12m v6 v7 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p5)
) p34m v8 v9 v10 v3 v4 v5) (58 p6 v2 v1) (181 (plus p3 p6) (
minus (plus (minus p1) (minus p2) (minus p5))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p5)
) v10 v9 v8 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 499) (l l1));
 
aa(100):='(((s2 (plus p3 p5) p12m v6 v7 v1 v2) (s11 (plus p1
p2) p36m v11 v12) (s3 (plus (minus p1) (minus p2) (minus p6)
) p34m v8 v9 v10 v3 v4 v5) (58 p5 v2 v1) (181 (plus p3 p5) (
minus (plus (minus p1) (minus p2) (minus p6))) v5 v4 v3 v7 
v6) (156 (plus p1 p2) (plus (minus p1) (minus p2) (minus p6)
) v10 v9 v8 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 500) (l l1));
 
;end;
 
