aa(1):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p24m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p6)) p2m v1 
v7) (35 p6 v1) (53 p5 v3 v2) (110 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(1):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 301) (l l1));
 
aa(2):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p24m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p5)) p2m v1 
v7) (35 p5 v1) (53 p6 v3 v2) (110 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(2):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 302) (l l1));
 
aa(3):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p2m v7 v1) (s2 (plus (minus p4) (minus p5)) p24m v2 v3 v4 v5
) (35 p6 v1) (53 p5 v3 v2) (110 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(3):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 303) (l l1));
 
aa(4):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p2m v7 v1) (s2 (plus (minus p4) (minus p6)) p24m v2 v3 v4 v5
) (35 p5 v1) (53 p6 v3 v2) (110 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(4):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 304) (l l1));
 
aa(5):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p23m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p6)) p2m v1 
v7) (35 p6 v1) (54 p5 v3 v2) (111 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(5):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 305) (l l1));
 
aa(6):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p23m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p5)) p2m v1 
v7) (35 p5 v1) (54 p6 v3 v2) (111 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(6):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 306) (l l1));
 
aa(7):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p2m v7 v1) (s2 (plus (minus p4) (minus p5)) p23m v2 v3 v4 v5
) (35 p6 v1) (54 p5 v3 v2) (111 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(7):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 307) (l l1));
 
aa(8):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p2m v7 v1) (s2 (plus (minus p4) (minus p6)) p23m v2 v3 v4 v5
) (35 p5 v1) (54 p6 v3 v2) (111 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(8):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 308) (l l1));
 
aa(9):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p22m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p6)) p2m v1 
v7) (35 p6 v1) (55 p5 v3 v2) (112 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(9):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v4 v3 v2 v1) (ijk 309) (l l1));
 
aa(10):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p22m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p5)) p2m v1 
v7) (35 p5 v1) (55 p6 v3 v2) (112 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(10):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 310) (l l1));
 
aa(11):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p2m v7 v1) (s2 (plus (minus p4) (minus p5)) p22m v2 v3 v4 v5
) (35 p6 v1) (55 p5 v3 v2) (112 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(11):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 311) (l l1));
 
aa(12):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p2m v7 v1) (s2 (plus (minus p4) (minus p6)) p22m v2 v3 v4 v5
) (35 p5 v1) (55 p6 v3 v2) (112 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(12):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 312) (l l1));
 
aa(13):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p20m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p6)) p2m v1 
v7) (35 p6 v1) (56 p5 v3 v2) (113 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(13):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 313) (l l1));
 
aa(14):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p20m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p5)) p2m v1 
v7) (35 p5 v1) (56 p6 v3 v2) (113 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(14):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 314) (l l1));
 
aa(15):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p2m v7 v1) (s2 (plus (minus p4) (minus p5)) p20m v2 v3 v4 v5
) (35 p6 v1) (56 p5 v3 v2) (113 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(15):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 315) (l l1));
 
aa(16):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p2m v7 v1) (s2 (plus (minus p4) (minus p6)) p20m v2 v3 v4 v5
) (35 p5 v1) (56 p6 v3 v2) (113 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(16):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 316) (l l1));
 
aa(17):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p12m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p6)) p6m v1 
v7) (32 p6 v1) (58 p5 v3 v2) (114 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(17):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 317) (l l1));
 
aa(18):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p12m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p5)) p6m v1 
v7) (32 p5 v1) (58 p6 v3 v2) (114 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(18):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 318) (l l1));
 
aa(19):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p6m v7 v1) (s2 (plus (minus p4) (minus p5)) p12m v2 v3 v4 v5
) (32 p6 v1) (58 p5 v3 v2) (114 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(19):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 319) (l l1));
 
aa(20):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p6m v7 v1) (s2 (plus (minus p4) (minus p6)) p12m v2 v3 v4 v5
) (32 p5 v1) (58 p6 v3 v2) (114 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(20):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 320) (l l1));
 
aa(21):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p12m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p6)) p2m v1 
v7) (35 p6 v1) (58 p5 v3 v2) (115 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(21):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 321) (l l1));
 
aa(22):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p12m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p5)) p2m v1 
v7) (35 p5 v1) (58 p6 v3 v2) (115 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(22):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 322) (l l1));
 
aa(23):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p2m v7 v1) (s2 (plus (minus p4) (minus p5)) p12m v2 v3 v4 v5
) (35 p6 v1) (58 p5 v3 v2) (115 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(23):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 323) (l l1));
 
aa(24):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p2m v7 v1) (s2 (plus (minus p4) (minus p6)) p12m v2 v3 v4 v5
) (35 p5 v1) (58 p6 v3 v2) (115 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(24):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 324) (l l1));
 
aa(25):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p11m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p6)) p6m v1 
v7) (32 p6 v1) (59 p5 v3 v2) (116 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(25):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 325) (l l1));
 
aa(26):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p11m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p5)) p6m v1 
v7) (32 p5 v1) (59 p6 v3 v2) (116 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(26):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 326) (l l1));
 
aa(27):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p6m v7 v1) (s2 (plus (minus p4) (minus p5)) p11m v2 v3 v4 v5
) (32 p6 v1) (59 p5 v3 v2) (116 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(27):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 327) (l l1));
 
aa(28):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p6m v7 v1) (s2 (plus (minus p4) (minus p6)) p11m v2 v3 v4 v5
) (32 p5 v1) (59 p6 v3 v2) (116 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(28):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 328) (l l1));
 
aa(29):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p11m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p6)) p2m v1 
v7) (35 p6 v1) (59 p5 v3 v2) (117 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(29):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 329) (l l1));
 
aa(30):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p11m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p5)) p2m v1 
v7) (35 p5 v1) (59 p6 v3 v2) (117 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(30):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 330) (l l1));
 
aa(31):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p2m v7 v1) (s2 (plus (minus p4) (minus p5)) p11m v2 v3 v4 v5
) (35 p6 v1) (59 p5 v3 v2) (117 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(31):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 331) (l l1));
 
aa(32):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p2m v7 v1) (s2 (plus (minus p4) (minus p6)) p11m v2 v3 v4 v5
) (35 p5 v1) (59 p6 v3 v2) (117 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(32):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 332) (l l1));
 
aa(33):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p10m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p6)) p6m v1 
v7) (32 p6 v1) (60 p5 v3 v2) (118 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(33):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 333) (l l1));
 
aa(34):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p10m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p5)) p6m v1 
v7) (32 p5 v1) (60 p6 v3 v2) (118 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(34):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 334) (l l1));
 
aa(35):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p6m v7 v1) (s2 (plus (minus p4) (minus p5)) p10m v2 v3 v4 v5
) (32 p6 v1) (60 p5 v3 v2) (118 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(35):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 335) (l l1));
 
aa(36):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p6m v7 v1) (s2 (plus (minus p4) (minus p6)) p10m v2 v3 v4 v5
) (32 p5 v1) (60 p6 v3 v2) (118 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(36):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 336) (l l1));
 
aa(37):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p10m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p6)) p2m v1 
v7) (35 p6 v1) (60 p5 v3 v2) (119 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(37):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 337) (l l1));
 
aa(38):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p10m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p5)) p2m v1 
v7) (35 p5 v1) (60 p6 v3 v2) (119 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(38):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 338) (l l1));
 
aa(39):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p2m v7 v1) (s2 (plus (minus p4) (minus p5)) p10m v2 v3 v4 v5
) (35 p6 v1) (60 p5 v3 v2) (119 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(39):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 339) (l l1));
 
aa(40):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p2m v7 v1) (s2 (plus (minus p4) (minus p6)) p10m v2 v3 v4 v5
) (35 p5 v1) (60 p6 v3 v2) (119 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(40):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 340) (l l1));
 
aa(41):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p13m v7 v3) (s2 (plus (minus p4) (minus p6)) p7m v1 v2 v4 v5
) (61 p6 v2 v1) (30 p5 v3) (120 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(41):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 341) (l l1));
 
aa(42):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p13m v7 v3) (s2 (plus (minus p4) (minus p5)) p7m v1 v2 v4 v5
) (61 p5 v2 v1) (30 p6 v3) (120 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(42):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 342) (l l1));
 
aa(43):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p7m v4 v5 v1 v2) (s11 (plus (minus p4) (minus p5)) p13m v3 
v7) (61 p6 v2 v1) (30 p5 v3) (120 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(43):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 343) (l l1));
 
aa(44):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p7m v4 v5 v1 v2) (s11 (plus (minus p4) (minus p6)) p13m v3 
v7) (61 p5 v2 v1) (30 p6 v3) (120 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(44):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 344) (l l1));
 
aa(45):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p7m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p6)) p6m v1 v7
) (32 p6 v1) (61 p5 v3 v2) (121 (plus p1 p2) (plus p3 p5) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(45):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 345) (l l1));
 
aa(46):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p7m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p5)) p6m v1 v7
) (32 p5 v1) (61 p6 v3 v2) (121 (plus p1 p2) (plus p3 p6) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(46):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 346) (l l1));
 
aa(47):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p6m v7 v1) (s2 (plus (minus p4) (minus p5)) p7m v2 v3 v4 v5)
(32 p6 v1) (61 p5 v3 v2) (121 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(47):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 347) (l l1));
 
aa(48):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p6m v7 v1) (s2 (plus (minus p4) (minus p6)) p7m v2 v3 v4 v5)
(32 p5 v1) (61 p6 v3 v2) (121 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(48):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 348) (l l1));
 
aa(49):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p7m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p6)) p2m v1 v7
) (35 p6 v1) (61 p5 v3 v2) (122 (plus p1 p2) (plus p3 p5) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(49):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 349) (l l1));
 
aa(50):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p7m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p5)) p2m v1 v7
) (35 p5 v1) (61 p6 v3 v2) (122 (plus p1 p2) (plus p3 p6) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(50):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 350) (l l1));
 
aa(51):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p2m v7 v1) (s2 (plus (minus p4) (minus p5)) p7m v2 v3 v4 v5)
(35 p6 v1) (61 p5 v3 v2) (122 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(51):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 351) (l l1));
 
aa(52):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p2m v7 v1) (s2 (plus (minus p4) (minus p6)) p7m v2 v3 v4 v5)
(35 p5 v1) (61 p6 v3 v2) (122 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(52):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 352) (l l1));
 
aa(53):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p17m v7 v3) (s2 (plus (minus p4) (minus p6)) p4m v1 v2 v4 v5
) (64 p6 v2 v1) (28 p5 v3) (123 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(53):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 353) (l l1));
 
aa(54):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p17m v7 v3) (s2 (plus (minus p4) (minus p5)) p4m v1 v2 v4 v5
) (64 p5 v2 v1) (28 p6 v3) (123 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(54):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 354) (l l1));
 
aa(55):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p4m v4 v5 v1 v2) (s11 (plus (minus p4) (minus p5)) p17m v3 
v7) (64 p6 v2 v1) (28 p5 v3) (123 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(55):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 355) (l l1));
 
aa(56):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p4m v4 v5 v1 v2) (s11 (plus (minus p4) (minus p6)) p17m v3 
v7) (64 p5 v2 v1) (28 p6 v3) (123 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(56):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 356) (l l1));
 
aa(57):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p9m v7 v3) (s2 (plus (minus p4) (minus p6)) p4m v1 v2 v4 v5)
(64 p6 v2 v1) (31 p5 v3) (124 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(57):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 357) (l l1));
 
aa(58):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p9m v7 v3) (s2 (plus (minus p4) (minus p5)) p4m v1 v2 v4 v5)
(64 p5 v2 v1) (31 p6 v3) (124 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(58):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 358) (l l1));
 
aa(59):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p4m v4 v5 v1 v2) (s11 (plus (minus p4) (minus p5)) p9m v3 v7
) (64 p6 v2 v1) (31 p5 v3) (124 (plus p1 p2) (plus p3 p6) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(59):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 359) (l l1));
 
aa(60):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p4m v4 v5 v1 v2) (s11 (plus (minus p4) (minus p6)) p9m v3 v7
) (64 p5 v2 v1) (31 p6 v3) (124 (plus p1 p2) (plus p3 p5) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(60):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 360) (l l1));
 
aa(61):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p15m v7 v3) (s2 (plus (minus p4) (minus p6)) p3m v1 v2 v4 v5
) (67 p6 v2 v1) (29 p5 v3) (125 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(61):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 361) (l l1));
 
aa(62):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p15m v7 v3) (s2 (plus (minus p4) (minus p5)) p3m v1 v2 v4 v5
) (67 p5 v2 v1) (29 p6 v3) (125 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(62):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 362) (l l1));
 
aa(63):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p3m v4 v5 v1 v2) (s11 (plus (minus p4) (minus p5)) p15m v3 
v7) (67 p6 v2 v1) (29 p5 v3) (125 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(63):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 363) (l l1));
 
aa(64):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p3m v4 v5 v1 v2) (s11 (plus (minus p4) (minus p6)) p15m v3 
v7) (67 p5 v2 v1) (29 p6 v3) (125 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(64):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 364) (l l1));
 
aa(65):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p13m v7 v3) (s2 (plus (minus p4) (minus p6)) p3m v1 v2 v4 v5
) (67 p6 v2 v1) (30 p5 v3) (126 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(65):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 365) (l l1));
 
aa(66):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p13m v7 v3) (s2 (plus (minus p4) (minus p5)) p3m v1 v2 v4 v5
) (67 p5 v2 v1) (30 p6 v3) (126 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(66):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 366) (l l1));
 
aa(67):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p3m v4 v5 v1 v2) (s11 (plus (minus p4) (minus p5)) p13m v3 
v7) (67 p6 v2 v1) (30 p5 v3) (126 (plus p1 p2) (plus p3 p6)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(67):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 367) (l l1));
 
aa(68):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p3m v4 v5 v1 v2) (s11 (plus (minus p4) (minus p6)) p13m v3 
v7) (67 p5 v2 v1) (30 p6 v3) (126 (plus p1 p2) (plus p3 p5)
v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(68):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 368) (l l1));
 
aa(69):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p6m v7 v3) (s2 (plus (minus p4) (minus p6)) p3m v1 v2 v4 v5)
(67 p6 v2 v1) (32 p5 v3) (127 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(69):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 369) (l l1));
 
aa(70):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p6m v7 v3) (s2 (plus (minus p4) (minus p5)) p3m v1 v2 v4 v5)
(67 p5 v2 v1) (32 p6 v3) (127 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(70):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 370) (l l1));
 
aa(71):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p3m v4 v5 v1 v2) (s11 (plus (minus p4) (minus p5)) p6m v3 v7
) (67 p6 v2 v1) (32 p5 v3) (127 (plus p1 p2) (plus p3 p6) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(71):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 371) (l l1));
 
aa(72):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p3m v4 v5 v1 v2) (s11 (plus (minus p4) (minus p6)) p6m v3 v7
) (67 p5 v2 v1) (32 p6 v3) (127 (plus p1 p2) (plus p3 p5) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(72):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 372) (l l1));
 
aa(73):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p5) 
p3m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p6)) p2m v1 v7
) (35 p6 v1) (67 p5 v3 v2) (128 (plus p1 p2) (plus p3 p5) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(73):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 373) (l l1));
 
aa(74):='(((s11 (plus p1 p2) p36m v6 v8) (s2 (plus p3 p6) 
p3m v4 v5 v2 v3) (s11 (plus (minus p4) (minus p5)) p2m v1 v7
) (35 p5 v1) (67 p6 v3 v2) (128 (plus p1 p2) (plus p3 p6) v5
v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(74):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 374) (l l1));
 
aa(75):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p6) 
p2m v7 v1) (s2 (plus (minus p4) (minus p5)) p3m v2 v3 v4 v5)
(35 p6 v1) (67 p5 v3 v2) (128 (plus p1 p2) (minus (plus (
minus p4) (minus p5))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(75):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 375) (l l1));
 
aa(76):='(((s11 (plus p1 p2) p36m v6 v8) (s11 (plus p3 p5) 
p2m v7 v1) (s2 (plus (minus p4) (minus p6)) p3m v2 v3 v4 v5)
(35 p5 v1) (67 p6 v3 v2) (128 (plus p1 p2) (minus (plus (
minus p4) (minus p6))) v5 v4 v7 v6)) (l1 (19 l1 v8)));
 
aaaa(76):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 376) (l l1));
 
aa(77):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p4 p6) 
p19m) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m v1 v2
v3 v4 v5 v6) (21) (103 (plus p4 p6) v3 v2 v1) (155 (plus p1
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v6 v5 v4
v7)) (l1 (19 l1 v8)));
 
aaaa(77):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 377) (l l1));
 
aa(78):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p4 p5) 
p19m) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m v1 v2
v3 v4 v5 v6) (21) (103 (plus p4 p5) v3 v2 v1) (155 (plus p1
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v6 v5 v4
v7)) (l1 (19 l1 v8)));
 
aaaa(78):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 378) (l l1));
 
aa(79):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p3 p6) 
p19m) (s3 (plus p1 p2 p4) p34m v1 v2 v3 v4 v5 v6) (21) (103
(plus p3 p6) v3 v2 v1) (155 (plus p1 p2) (minus (plus p1 p2
p4)) v6 v5 v4 v7)) (l1 (19 l1 v8)));
 
aaaa(79):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 379) (l l1));
 
aa(80):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p3 p5) 
p19m) (s3 (plus p1 p2 p4) p34m v1 v2 v3 v4 v5 v6) (21) (103
(plus p3 p5) v3 v2 v1) (155 (plus p1 p2) (minus (plus p1 p2
p4)) v6 v5 v4 v7)) (l1 (19 l1 v8)));
 
aaaa(80):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 380) (l l1));
 
aa(81):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p4 p6) 
p8m) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m v1 v2
v3 v4 v5 v6) (22) (105 (plus p4 p6) v3 v2 v1) (155 (plus p1
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v6 v5 v4
v7)) (l1 (19 l1 v8)));
 
aaaa(81):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 381) (l l1));
 
aa(82):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p4 p5) 
p8m) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m v1 v2
v3 v4 v5 v6) (22) (105 (plus p4 p5) v3 v2 v1) (155 (plus p1
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v6 v5 v4
v7)) (l1 (19 l1 v8)));
 
aaaa(82):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 382) (l l1));
 
aa(83):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p3 p6) 
p8m) (s3 (plus p1 p2 p4) p34m v1 v2 v3 v4 v5 v6) (22) (105 (
plus p3 p6) v3 v2 v1) (155 (plus p1 p2) (minus (plus p1 p2 
p4)) v6 v5 v4 v7)) (l1 (19 l1 v8)));
 
aaaa(83):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 383) (l l1));
 
aa(84):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p3 p5) 
p8m) (s3 (plus p1 p2 p4) p34m v1 v2 v3 v4 v5 v6) (22) (105 (
plus p3 p5) v3 v2 v1) (155 (plus p1 p2) (minus (plus p1 p2 
p4)) v6 v5 v4 v7)) (l1 (19 l1 v8)));
 
aaaa(84):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 384) (l l1));
 
aa(85):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p4 p6) 
p5m) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m v1 v2
v3 v4 v5 v6) (23) (107 (plus p4 p6) v3 v2 v1) (155 (plus p1
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v6 v5 v4
v7)) (l1 (19 l1 v8)));
 
aaaa(85):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 385) (l l1));
 
aa(86):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p4 p5) 
p5m) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m v1 v2
v3 v4 v5 v6) (23) (107 (plus p4 p5) v3 v2 v1) (155 (plus p1
p2) (minus (plus (minus p4) (minus p5) (minus p6))) v6 v5 v4
v7)) (l1 (19 l1 v8)));
 
aaaa(86):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 386) (l l1));
 
aa(87):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p3 p6) 
p5m) (s3 (plus p1 p2 p4) p34m v1 v2 v3 v4 v5 v6) (23) (107 (
plus p3 p6) v3 v2 v1) (155 (plus p1 p2) (minus (plus p1 p2 
p4)) v6 v5 v4 v7)) (l1 (19 l1 v8)));
 
aaaa(87):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 387) (l l1));
 
aa(88):='(((s11 (plus p1 p2) p36m v7 v8) (s0 (plus p3 p5) 
p5m) (s3 (plus p1 p2 p4) p34m v1 v2 v3 v4 v5 v6) (23) (107 (
plus p3 p5) v3 v2 v1) (155 (plus p1 p2) (minus (plus p1 p2 
p4)) v6 v5 v4 v7)) (l1 (19 l1 v8)));
 
aaaa(88):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v5 v4 v3 v2 v1) (ijk 388) (l l1));
 
aa(89):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p4 p6)
p17m v5 v1) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m
v2 v3 v4 v6 v7 v8) (28 p6 v1) (158 (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(89):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 389) (l l1));
 
aa(90):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p4 p5)
p17m v5 v1) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m
v2 v3 v4 v6 v7 v8) (28 p5 v1) (158 (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(90):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 390) (l l1));
 
aa(91):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p3 p6)
p17m v5 v1) (s3 (plus p1 p2 p4) p34m v2 v3 v4 v6 v7 v8) (28
p6 v1) (158 (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(91):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 391) (l l1));
 
aa(92):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p3 p5)
p17m v5 v1) (s3 (plus p1 p2 p4) p34m v2 v3 v4 v6 v7 v8) (28
p5 v1) (158 (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(92):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 392) (l l1));
 
aa(93):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p4 p6)
p15m v5 v1) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m
v2 v3 v4 v6 v7 v8) (29 p6 v1) (160 (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(93):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 393) (l l1));
 
aa(94):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p4 p5)
p15m v5 v1) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m
v2 v3 v4 v6 v7 v8) (29 p5 v1) (160 (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(94):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 394) (l l1));
 
aa(95):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p3 p6)
p15m v5 v1) (s3 (plus p1 p2 p4) p34m v2 v3 v4 v6 v7 v8) (29
p6 v1) (160 (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(95):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 395) (l l1));
 
aa(96):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p3 p5)
p15m v5 v1) (s3 (plus p1 p2 p4) p34m v2 v3 v4 v6 v7 v8) (29
p5 v1) (160 (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(96):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 396) (l l1));
 
aa(97):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p4 p6)
p13m v5 v1) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m
v2 v3 v4 v6 v7 v8) (30 p6 v1) (162 (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(97):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 397) (l l1));
 
aa(98):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p4 p5)
p13m v5 v1) (s3 (plus (minus p4) (minus p5) (minus p6)) p34m
v2 v3 v4 v6 v7 v8) (30 p5 v1) (162 (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(98):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 398) (l l1));
 
aa(99):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p3 p6)
p13m v5 v1) (s3 (plus p1 p2 p4) p34m v2 v3 v4 v6 v7 v8) (30
p6 v1) (162 (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(99):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 399) (l l1));
 
aa(100):='(((s11 (plus p1 p2) p36m v9 v10) (s11 (plus p3 p5)
p13m v5 v1) (s3 (plus p1 p2 p4) p34m v2 v3 v4 v6 v7 v8) (30
p5 v1) (162 (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(100):='((fsign -1) (cfvl 1) (nfact 1) (csuml) (v v10 v9
v8 v7 v6 v5 v4 v3 v2 v1) (ijk 400) (l l1));
 
;end;
 
