aa(1):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (870 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p36m v5 v1) (292 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1
(15 l1 v10)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1301) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (870 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p36m v5 v1) (292 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1
(15 l1 v10)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1302) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (872 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p34m v5 v1) (318 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1303) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (872 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p34m v5 v1) (318 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1304) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (874 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p29m v5 v1) (344 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1
(15 l1 v10)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1305) (l l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (874 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p29m v5 v1) (344 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1
(15 l1 v10)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1306) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (876 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p27m v5 v1) (372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1307) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (876 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p27m v5 v1) (372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1308) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (878 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p26m v5 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v7 v5 v4 v3 v1) (ijk 1309) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (878 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p26m v5 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1310) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (882 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p20m v5 v1) (462 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1311) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (882 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p20m v5 v1) (462 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1312) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (884 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p19m v5 v1) (488 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1313) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (884 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p19m v5 v1) (488 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1314) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (886 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p17m v5 v1) (514 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1
(15 l1 v10)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1315) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (886 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p17m v5 v1) (514 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1
(15 l1 v10)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1316) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (888 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p12m v5 v1) (544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1
(15 l1 v10)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1317) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (579 l2 p6 v9
v8 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p38m
v7 v8 v3 v4) (888 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p12m v5 v1) (544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1
(15 l1 v10)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1318) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (579 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p38m v9 v10 v4 v5) (1035 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p4 p5) p3 v7 v6 v5 v4 u3) (sf5 l2 (
plus p4 p5) p35m v6 v7 v1 v2) (606 l2 (minus (plus p4 p5)) 
p5 p4 v2 v1 u4)) (l1 (15 l1 v12)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1319) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (579 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p38m v9 v10 v4 v5) (1035 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p3 p5) p4 v7 v6 v5 v4 u4) (sf5 l2 (
plus p3 p5) p35m v6 v7 v1 v2) (606 l2 (minus (plus p3 p5)) 
p5 p3 v2 v1 u3)) (l1 (15 l1 v12)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1320) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (579 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p38m v9 v10 v4 v5) (1037 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p4 p5) p3 u3 v6 v7 v5 v4) (sf5 l2 (
plus p4 p5) p32m v6 v7 v1 v2) (632 l2 (minus (plus p4 p5)) 
p5 p4 u4 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1321) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (579 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p38m v9 v10 v4 v5) (1037 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p3 p5) p4 u4 v6 v7 v5 v4) (sf5 l2 (
plus p3 p5) p32m v6 v7 v1 v2) (632 l2 (minus (plus p3 p5)) 
p5 p3 u3 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1322) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (579 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p38m v9 v10 v4 v5) (1039 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p4 p5) p3 u3 v6 v7 v5 v4) (sf5 l2 (
plus p4 p5) p22m v6 v7 v1 v2) (658 l2 (minus (plus p4 p5)) 
p5 p4 u4 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1323) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (579 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p38m v9 v10 v4 v5) (1039 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p3 p5) p4 u4 v6 v7 v5 v4) (sf5 l2 (
plus p3 p5) p22m v6 v7 v1 v2) (658 l2 (minus (plus p3 p5)) 
p5 p3 u3 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1324) (l l2 l1));
 
aa(25):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (579 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p38m v9 v10 v4 v5) (1041 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p4 p5) p3 u3 v6 v7 v5 v4) (sf5 l2 (
plus p4 p5) p16m v6 v7 v1 v2) (684 l2 (minus (plus p4 p5)) 
p5 p4 u4 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1325) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (579 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p38m v9 v10 v4 v5) (1041 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p3 p5) p4 u4 v6 v7 v5 v4) (sf5 l2 (
plus p3 p5) p16m v6 v7 v1 v2) (684 l2 (minus (plus p3 p5)) 
p5 p3 u3 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1326) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (579 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p38m v9 v10 v4 v5) (1043 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p4 p5) p3 v7 v6 v5 v4 u3) (sf5 l2 (
plus p4 p5) p15m v6 v7 v1 v2) (710 l2 (minus (plus p4 p5)) 
p5 p4 v2 v1 u4)) (l1 (15 l1 v12)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1327) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (579 l2 p6 
v11 v10 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p38m v9 v10 v4 v5) (1043 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p3 p5) p4 v7 v6 v5 v4 u4) (sf5 l2 (
plus p3 p5) p15m v6 v7 v1 v2) (710 l2 (minus (plus p3 p5)) 
p5 p3 v2 v1 u3)) (l1 (15 l1 v12)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1328) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (127 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p33m) (585 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1329) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (127 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p33m) (585 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1330) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (147 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p31m) (587 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1331) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (147 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p31m) (587 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1332) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (165 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p30m) (589 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1333) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (165 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p30m) (589 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1334) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (591 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1335) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (591 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1336) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (597 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1337) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (597 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1338) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (599 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1339) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (599 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1340) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (601 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2 v3) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1341) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (601 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2 v3) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1342) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (603 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v3 v2 u3) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1343) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (603 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v3 v2 u4) (
sf5 l2 (plus p1 p2 p5) p35m v2 v3 v5 v6) (604 l2 p5 v6 v5 v7
)) (l1 (15 l1 v8)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1344) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (319 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p34m v1 v5) (893 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1345) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (319 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p34m v1 v5) (893 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1346) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (345 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p29m v1 v5) (895 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1347) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (345 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p29m v1 v5) (895 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1348) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (373 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p27m v1 v5) (897 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1349) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (373 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p27m v1 v5) (897 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1350) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v5) (899 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1351) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v5) (899 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1352) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (463 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p20m v1 v5) (903 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1353) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (463 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p20m v1 v5) (903 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1354) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (489 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p19m v1 v5) (905 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1355) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (489 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p19m v1 v5) (905 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v5 v4 v3) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1356) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (515 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p17m v1 v5) (907 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1357) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (515 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p17m v1 v5) (907 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1358) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (545 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p12m v1 v5) (909 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v5 v4 v3 u3) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1359) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (545 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p12m v1 v5) (909 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v5 v4 v3 u4) (sf5 l2 (plus p1 p2
p5) p35m v3 v4 v7 v8) (604 l2 p5 v8 v7 v9)) (l1 (15 l1 v10))
);
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1360) (l l2 l1));
 
aa(61):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (633 l2 (
plus (minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (
minus p4) (minus p6)) p32m v1 v2 v6 v7) (1046 l2 (plus p1 p2
p5) (minus (plus (minus p4) (minus p6))) p3 v7 v6 v5 v4 u3)
(sf5 l2 (plus p1 p2 p5) p35m v4 v5 v9 v10) (604 l2 p5 v10 v9
v11)) (l1 (15 l1 v12)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1361) (l l2 l1));
 
aa(62):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (633 l2 (
plus (minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (
minus p3) (minus p6)) p32m v1 v2 v6 v7) (1046 l2 (plus p1 p2
p5) (minus (plus (minus p3) (minus p6))) p4 v7 v6 v5 v4 u4)
(sf5 l2 (plus p1 p2 p5) p35m v4 v5 v9 v10) (604 l2 p5 v10 v9
v11)) (l1 (15 l1 v12)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1362) (l l2 l1));
 
aa(63):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (685 l2 (
plus (minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (
minus p4) (minus p6)) p16m v1 v2 v6 v7) (1050 l2 (plus p1 p2
p5) (minus (plus (minus p4) (minus p6))) p3 v7 v6 v5 v4 u3)
(sf5 l2 (plus p1 p2 p5) p35m v4 v5 v9 v10) (604 l2 p5 v10 v9
v11)) (l1 (15 l1 v12)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1363) (l l2 l1));
 
aa(64):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (685 l2 (
plus (minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (
minus p3) (minus p6)) p16m v1 v2 v6 v7) (1050 l2 (plus p1 p2
p5) (minus (plus (minus p3) (minus p6))) p4 v7 v6 v5 v4 u4)
(sf5 l2 (plus p1 p2 p5) p35m v4 v5 v9 v10) (604 l2 p5 v10 v9
v11)) (l1 (15 l1 v12)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1364) (l l2 l1));
 
aa(65):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (711 l2 (
plus (minus p4) (minus p6)) p6 p4 v2 v1 u4) (sf5 l2 (plus (
minus p4) (minus p6)) p15m v1 v2 v6 v7) (1052 l2 (plus p1 p2
p5) (minus (plus (minus p4) (minus p6))) p3 u3 v6 v7 v5 v4)
(sf5 l2 (plus p1 p2 p5) p35m v4 v5 v9 v10) (604 l2 p5 v10 v9
v11)) (l1 (15 l1 v12)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1365) (l l2 l1));
 
aa(66):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (711 l2 (
plus (minus p3) (minus p6)) p6 p3 v2 v1 u3) (sf5 l2 (plus (
minus p3) (minus p6)) p15m v1 v2 v6 v7) (1052 l2 (plus p1 p2
p5) (minus (plus (minus p3) (minus p6))) p4 u4 v6 v7 v5 v4)
(sf5 l2 (plus p1 p2 p5) p35m v4 v5 v9 v10) (604 l2 p5 v10 v9
v11)) (l1 (15 l1 v12)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1366) (l l2 l1));
 
aa(67):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (584 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v3 v2 u3) (sf l2 (plus p4 p5) 
p33m) (126 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1367) (l l2 l1));
 
aa(68):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (584 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v3 v2 u4) (sf l2 (plus p3 p5) 
p33m) (126 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1368) (l l2 l1));
 
aa(69):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (586 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v2 v3) (sf l2 (plus p4 p5) 
p31m) (146 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1369) (l l2 l1));
 
aa(70):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (586 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v2 v3) (sf l2 (plus p3 p5) 
p31m) (146 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1370) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (588 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v3 v2 u3) (sf l2 (plus p4 p5) 
p30m) (164 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1371) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (588 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v3 v2 u4) (sf l2 (plus p3 p5) 
p30m) (164 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1372) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (590 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v2 v3) (sf l2 (plus p4 p5) 
p28m) (182 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1373) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (590 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v2 v3) (sf l2 (plus p3 p5) 
p28m) (182 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1374) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (596 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v3 v2 u3) (sf l2 (plus p4 p5) 
p18m) (218 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1375) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (596 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v3 v2 u4) (sf l2 (plus p3 p5) 
p18m) (218 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1376) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (598 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v2 v3) (sf l2 (plus p4 p5) 
p14m) (228 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1377) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (598 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v2 v3) (sf l2 (plus p3 p5) 
p14m) (228 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1378) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (600 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v2 v3) (sf l2 (plus p4 p5) 
p13m) (237 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1379) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (600 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v2 v3) (sf l2 (plus p3 p5) 
p13m) (237 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1380) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (602 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v3 v2 u3) (sf l2 (plus p4 p5) 
p11m) (242 l2 p4 u4)) (l1 (15 l1 v8)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1381) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (605 l2 p6 v6
v5 v7) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v5 v6 v2 v3) (602 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v3 v2 u4) (sf l2 (plus p3 p5) 
p11m) (242 l2 p3 u3)) (l1 (15 l1 v8)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v5 v3 v2) (ijk 1382) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (892 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p34m v5 v1) (318 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1383) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (892 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p34m v5 v1) (318 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1384) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (894 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p29m v5 v1) (344 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1
(15 l1 v10)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1385) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (894 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p29m v5 v1) (344 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1
(15 l1 v10)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1386) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (896 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p27m v5 v1) (372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1387) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (896 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p27m v5 v1) (372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1388) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (898 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p26m v5 v1) (410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1389) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (898 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p26m v5 v1) (410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1390) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (902 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p20m v5 v1) (462 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1391) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (902 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p20m v5 v1) (462 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1392) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (904 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 u3 v5 v4 v3) (sf3 l2 (plus p4 p5
) p19m v5 v1) (488 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1
(15 l1 v10)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1393) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (904 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 u4 v5 v4 v3) (sf3 l2 (plus p3 p5
) p19m v5 v1) (488 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1
(15 l1 v10)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1394) (l l2 l1));
 
aa(95):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (906 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p17m v5 v1) (514 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1
(15 l1 v10)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1395) (l l2 l1));
 
aa(96):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (906 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p17m v5 v1) (514 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1
(15 l1 v10)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1396) (l l2 l1));
 
aa(97):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (908 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p4 p5) p3 v5 v4 v3 u3) (sf3 l2 (plus p4 p5
) p12m v5 v1) (544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1
(15 l1 v10)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1397) (l l2 l1));
 
aa(98):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (605 l2 p6 v8
v7 v9) (sf5 l2 (plus (minus p1) (minus p2) (minus p6)) p35m
v7 v8 v3 v4) (908 l2 (minus (plus (minus p1) (minus p2) (
minus p6))) (plus p3 p5) p4 v5 v4 v3 u4) (sf3 l2 (plus p3 p5
) p12m v5 v1) (544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1
(15 l1 v10)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v7 v5 v4 v3 v1) (ijk 1398) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (605 l2 p6 
v10 v9 v11) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p35m v9 v10 v4 v5) (1045 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p4 p5) p3 v7 v6 v5 v4 u3) (sf5 l2 (
plus p4 p5) p32m v6 v7 v1 v2) (632 l2 (minus (plus p4 p5)) 
p5 p4 u4 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1399) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v11 v12)) (l2 (605 l2 p6
v10 v9 v11) (sf5 l2 (plus (minus p1) (minus p2) (minus p6))
p35m v9 v10 v4 v5) (1045 l2 (minus (plus (minus p1) (minus 
p2) (minus p6))) (plus p3 p5) p4 v7 v6 v5 v4 u4) (sf5 l2 (
plus p3 p5) p32m v6 v7 v1 v2) (632 l2 (minus (plus p3 p5)) 
p5 p3 u3 v1 v2)) (l1 (15 l1 v12)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v12 v11
v10 v9 v7 v6 v5 v4 v2 v1) (ijk 1400) (l l2 l1));
 
;end;
 
