aa(1):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (489 l2 (plus (
minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p19m v1 v4) (802 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p1 p2 p5)
p20m v3 v6) (460 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(1):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1101) (l l2 l1));
 
aa(2):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (489 l2 (plus (
minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p19m v1 v4) (802 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p1 p2 p5)
p20m v3 v6) (460 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(2):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1102) (l l2 l1));
 
aa(3):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (515 l2 (plus (
minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p17m v1 v4) (804 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p20m v3 v6) (460 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(3):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1103) (l l2 l1));
 
aa(4):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (515 l2 (plus (
minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p17m v1 v4) (804 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p20m v3 v6) (460 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(4):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1104) (l l2 l1));
 
aa(5):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus (
minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p12m v1 v4) (806 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p20m v3 v6) (460 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(5):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1105) (l l2 l1));
 
aa(6):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus (
minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p12m v1 v4) (806 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p20m v3 v6) (460 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(6):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1106) (l l2 l1));
 
aa(7):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (685 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (minus
p4) (minus p6)) p16m v1 v2 v4 v5) (964 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v6 v5 v4 u3) (sf3
l2 (plus p1 p2 p5) p20m v6 v8) (460 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(7):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v6 v5 v4 v2 v1) (ijk 1107) (l l2 l1));
 
aa(8):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (685 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (minus
p3) (minus p6)) p16m v1 v2 v4 v5) (964 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v6 v5 v4 u4) (sf3
l2 (plus p1 p2 p5) p20m v6 v8) (460 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(8):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v6 v5 v4 v2 v1) (ijk 1108) (l l2 l1));
 
aa(9):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (711 l2 (plus
(minus p4) (minus p6)) p6 p4 v2 v1 u4) (sf5 l2 (plus (minus
p4) (minus p6)) p15m v1 v2 v4 v5) (986 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p20m v6 v8) (460 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(9):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 v8
v6 v5 v4 v2 v1) (ijk 1109) (l l2 l1));
 
aa(10):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (711 l2 (plus
(minus p3) (minus p6)) p6 p3 v2 v1 u3) (sf5 l2 (plus (minus
p3) (minus p6)) p15m v1 v2 v4 v5) (986 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p20m v6 v8) (460 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(10):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1110) (l l2 l1));
 
aa(11):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (442 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p31m) (146 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(11):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1111) (l l2 l1));
 
aa(12):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (442 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p31m) (146 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(12):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1112) (l l2 l1));
 
aa(13):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (444 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p30m) (164 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(13):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1113) (l l2 l1));
 
aa(14):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (444 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p30m) (164 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(14):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1114) (l l2 l1));
 
aa(15):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (446 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p28m) (182 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(15):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1115) (l l2 l1));
 
aa(16):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (446 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p28m) (182 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(16):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1116) (l l2 l1));
 
aa(17):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (452 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p18m) (218 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(17):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1117) (l l2 l1));
 
aa(18):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (452 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p18m) (218 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(18):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1118) (l l2 l1));
 
aa(19):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (454 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p14m) (228 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(19):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1119) (l l2 l1));
 
aa(20):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (454 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p14m) (228 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(20):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1120) (l l2 l1));
 
aa(21):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (456 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p13m) (237 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(21):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1121) (l l2 l1));
 
aa(22):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (456 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p13m) (237 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(22):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1122) (l l2 l1));
 
aa(23):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (458 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p11m) (242 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(23):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1123) (l l2 l1));
 
aa(24):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (461 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v4
v2) (458 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p11m) (242 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(24):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1124) (l l2 l1));
 
aa(25):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (461 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v6
v4) (755 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p29m v3 v1) (
344 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(25):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1125) (l l2 l1));
 
aa(26):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (461 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v6
v4) (755 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p29m v3 v1) (
344 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(26):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1126) (l l2 l1));
 
aa(27):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (461 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v6
v4) (769 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p27m v3 v1) (
372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(27):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1127) (l l2 l1));
 
aa(28):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (461 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v6
v4) (769 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p27m v3 v1) (
372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(28):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1128) (l l2 l1));
 
aa(29):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (461 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v6
v4) (780 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p26m v3 v1) (
410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(29):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1129) (l l2 l1));
 
aa(30):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (461 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v6
v4) (780 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p26m v3 v1) (
410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(30):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1130) (l l2 l1));
 
aa(31):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (461 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v6
v3) (801 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p19m v4 v1) (
488 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(31):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1131) (l l2 l1));
 
aa(32):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (461 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v6
v3) (801 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p19m v4 v1) (
488 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(32):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1132) (l l2 l1));
 
aa(33):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (461 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v6
v3) (803 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p17m v4 v1) (
514 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(33):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1133) (l l2 l1));
 
aa(34):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (461 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v6
v3) (803 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p17m v4 v1) (
514 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(34):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1134) (l l2 l1));
 
aa(35):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (461 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v6
v3) (805 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p12m v4 v1) (
544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(35):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1135) (l l2 l1));
 
aa(36):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (461 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v6
v3) (805 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p12m v4 v1) (
544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(36):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1136) (l l2 l1));
 
aa(37):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (461 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v8
v6) (965 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v6 v5 v4 u3) (sf5 l2 (plus p4 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(37):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1137) (l l2 l1));
 
aa(38):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (461 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v8
v6) (965 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v6 v5 v4 u4) (sf5 l2 (plus p3 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(38):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1138) (l l2 l1));
 
aa(39):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (461 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v8
v6) (987 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v6 v5 v4) (sf5 l2 (plus p4 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p4 p5)) p5 p4 v2 v1 u4)) (l1 (15
l1 v10)));
 
aaaa(39):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1139) (l l2 l1));
 
aa(40):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (461 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p20m v8
v6) (987 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v6 v5 v4) (sf5 l2 (plus p3 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p3 p5)) p5 p3 v2 v1 u3)) (l1 (15
l1 v10)));
 
aaaa(40):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1140) (l l2 l1));
 
aa(41):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (473 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p19m v2 v4) (486 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(41):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1141) (l l2 l1));
 
aa(42):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (473 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p19m v2 v4) (486 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(42):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1142) (l l2 l1));
 
aa(43):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (219 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p18m) (479 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p19m v2 v4) (486 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(43):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1143) (l l2 l1));
 
aa(44):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (219 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p18m) (479 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p19m v2 v4) (486 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(44):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1144) (l l2 l1));
 
aa(45):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (481 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p19m v2 v4) (486 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(45):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1145) (l l2 l1));
 
aa(46):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (481 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p19m v2 v4) (486 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(46):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1146) (l l2 l1));
 
aa(47):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (483 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p19m v2 v4) (486 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(47):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1147) (l l2 l1));
 
aa(48):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (483 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p19m v2 v4) (486 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(48):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1148) (l l2 l1));
 
aa(49):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (485 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p19m v2 v4) (486 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(49):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1149) (l l2 l1));
 
aa(50):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (485 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p19m v2 v4) (486 l2 p5 v4 v5)) (l1 (15 l1
v6)));
 
aaaa(50):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1150) (l l2 l1));
 
aa(51):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (345 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p29m v1 v3) (756 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v4 v3 u3) (sf3 l2 (plus p1 p2
p5) p19m v4 v6) (486 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(51):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1151) (l l2 l1));
 
aa(52):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (345 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p29m v1 v3) (756 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v4 v3 u4) (sf3 l2 (plus p1 p2
p5) p19m v4 v6) (486 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(52):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1152) (l l2 l1));
 
aa(53):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (373 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p27m v1 v3) (770 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v4 v3) (sf3 l2 (plus p1 p2
p5) p19m v4 v6) (486 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(53):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1153) (l l2 l1));
 
aa(54):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (373 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p27m v1 v3) (770 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v4 v3) (sf3 l2 (plus p1 p2
p5) p19m v4 v6) (486 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(54):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1154) (l l2 l1));
 
aa(55):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v3) (783 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 u3 v4 v3) (sf3 l2 (plus p1 p2
p5) p19m v4 v6) (486 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(55):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1155) (l l2 l1));
 
aa(56):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v3) (783 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 u4 v4 v3) (sf3 l2 (plus p1 p2
p5) p19m v4 v6) (486 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(56):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1156) (l l2 l1));
 
aa(57):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (515 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p17m v1 v4) (808 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p19m v3 v6) (486 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(57):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1157) (l l2 l1));
 
aa(58):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (515 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p17m v1 v4) (808 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p19m v3 v6) (486 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(58):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1158) (l l2 l1));
 
aa(59):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1) (sf3 l2 (plus (minus p4)
(minus p6)) p12m v1 v4) (810 l2 (plus p1 p2 p5) (minus (plus
(minus p4) (minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p1 p2 p5)
p19m v3 v6) (486 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(59):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1159) (l l2 l1));
 
aa(60):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (545 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1) (sf3 l2 (plus (minus p3)
(minus p6)) p12m v1 v4) (810 l2 (plus p1 p2 p5) (minus (plus
(minus p3) (minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p1 p2 p5)
p19m v3 v6) (486 l2 p5 v6 v7)) (l1 (15 l1 v8)));
 
aaaa(60):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1160) (l l2 l1));
 
aa(61):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (685 l2 (plus
(minus p4) (minus p6)) p6 p4 u4 v1 v2) (sf5 l2 (plus (minus
p4) (minus p6)) p16m v1 v2 v4 v5) (966 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 v6 v5 v4 u3) (sf3
l2 (plus p1 p2 p5) p19m v6 v8) (486 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(61):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1161) (l l2 l1));
 
aa(62):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (685 l2 (plus
(minus p3) (minus p6)) p6 p3 u3 v1 v2) (sf5 l2 (plus (minus
p3) (minus p6)) p16m v1 v2 v4 v5) (966 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 v6 v5 v4 u4) (sf3
l2 (plus p1 p2 p5) p19m v6 v8) (486 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(62):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1162) (l l2 l1));
 
aa(63):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (711 l2 (plus
(minus p4) (minus p6)) p6 p4 v2 v1 u4) (sf5 l2 (plus (minus
p4) (minus p6)) p15m v1 v2 v4 v5) (988 l2 (minus (plus (
minus p4) (minus p6))) (plus p1 p2 p5) p3 u3 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p19m v6 v8) (486 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(63):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1163) (l l2 l1));
 
aa(64):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (711 l2 (plus
(minus p3) (minus p6)) p6 p3 v2 v1 u3) (sf5 l2 (plus (minus
p3) (minus p6)) p15m v1 v2 v4 v5) (988 l2 (minus (plus (
minus p3) (minus p6))) (plus p1 p2 p5) p4 u4 v6 v5 v4) (sf3
l2 (plus p1 p2 p5) p19m v6 v8) (486 l2 p5 v8 v9)) (l1 (15 l1
v10)));
 
aaaa(64):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1164) (l l2 l1));
 
aa(65):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (487 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v4
v2) (472 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p28m) (182 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(65):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1165) (l l2 l1));
 
aa(66):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (487 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v4
v2) (472 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p28m) (182 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(66):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1166) (l l2 l1));
 
aa(67):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (487 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v4
v2) (478 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p18m) (218 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(67):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1167) (l l2 l1));
 
aa(68):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (487 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v4
v2) (478 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p18m) (218 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(68):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1168) (l l2 l1));
 
aa(69):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (487 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v4
v2) (480 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p14m) (228 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(69):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1169) (l l2 l1));
 
aa(70):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (487 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v4
v2) (480 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p14m) (228 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(70):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1170) (l l2 l1));
 
aa(71):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (487 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v4
v2) (482 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 u3 v2) (sf l2 (plus p4 p5) p13m) (237 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(71):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1171) (l l2 l1));
 
aa(72):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (487 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v4
v2) (482 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 u4 v2) (sf l2 (plus p3 p5) p13m) (237 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(72):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1172) (l l2 l1));
 
aa(73):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (487 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v4
v2) (484 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v2 u3) (sf l2 (plus p4 p5) p11m) (242 l2 p4
u4)) (l1 (15 l1 v6)));
 
aaaa(73):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1173) (l l2 l1));
 
aa(74):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (487 l2 p6 v4
v5) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v4
v2) (484 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v2 u4) (sf l2 (plus p3 p5) p11m) (242 l2 p3
u3)) (l1 (15 l1 v6)));
 
aaaa(74):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1174) (l l2 l1));
 
aa(75):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (487 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v6
v4) (757 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p29m v3 v1) (
344 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(75):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1175) (l l2 l1));
 
aa(76):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (487 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v6
v4) (757 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p29m v3 v1) (
344 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(76):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1176) (l l2 l1));
 
aa(77):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (487 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v6
v4) (771 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p27m v3 v1) (
372 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(77):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1177) (l l2 l1));
 
aa(78):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (487 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v6
v4) (771 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p27m v3 v1) (
372 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(78):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1178) (l l2 l1));
 
aa(79):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (487 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v6
v4) (784 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v4 v3) (sf3 l2 (plus p4 p5) p26m v3 v1) (
410 l2 (minus (plus p4 p5)) p5 p4 v1 u4)) (l1 (15 l1 v8)));
 
aaaa(79):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1179) (l l2 l1));
 
aa(80):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (487 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v6
v4) (784 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v4 v3) (sf3 l2 (plus p3 p5) p26m v3 v1) (
410 l2 (minus (plus p3 p5)) p5 p3 v1 u3)) (l1 (15 l1 v8)));
 
aaaa(80):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1180) (l l2 l1));
 
aa(81):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (487 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v6
v3) (807 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p17m v4 v1) (
514 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(81):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1181) (l l2 l1));
 
aa(82):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (487 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v6
v3) (807 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p17m v4 v1) (
514 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(82):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1182) (l l2 l1));
 
aa(83):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (487 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v6
v3) (809 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p4 p5) p3 v4 v3 u3) (sf3 l2 (plus p4 p5) p12m v4 v1) (
544 l2 (minus (plus p4 p5)) p5 p4 u4 v1)) (l1 (15 l1 v8)));
 
aaaa(83):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1183) (l l2 l1));
 
aa(84):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (487 l2 p6 v6
v7) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v6
v3) (809 l2 (minus (plus (minus p1) (minus p2) (minus p6)))
(plus p3 p5) p4 v4 v3 u4) (sf3 l2 (plus p3 p5) p12m v4 v1) (
544 l2 (minus (plus p3 p5)) p5 p3 u3 v1)) (l1 (15 l1 v8)));
 
aaaa(84):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1184) (l l2 l1));
 
aa(85):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (487 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v8
v6) (967 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 v6 v5 v4 u3) (sf5 l2 (plus p4 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p4 p5)) p5 p4 u4 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(85):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1185) (l l2 l1));
 
aa(86):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (487 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v8
v6) (967 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 v6 v5 v4 u4) (sf5 l2 (plus p3 p5) p16m v4 v5
v1 v2) (684 l2 (minus (plus p3 p5)) p5 p3 u3 v1 v2)) (l1 (15
l1 v10)));
 
aaaa(86):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1186) (l l2 l1));
 
aa(87):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (487 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v8
v6) (989 l2 (plus p4 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p3 u3 v6 v5 v4) (sf5 l2 (plus p4 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p4 p5)) p5 p4 v2 v1 u4)) (l1 (15
l1 v10)));
 
aaaa(87):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1187) (l l2 l1));
 
aa(88):='(((s11 (plus p1 p2) p10m v9 v10)) (l2 (487 l2 p6 v8
v9) (sf3 l2 (plus (minus p1) (minus p2) (minus p6)) p19m v8
v6) (989 l2 (plus p3 p5) (minus (plus (minus p1) (minus p2)
(minus p6))) p4 u4 v6 v5 v4) (sf5 l2 (plus p3 p5) p15m v4 v5
v1 v2) (710 l2 (minus (plus p3 p5)) p5 p3 v2 v1 u3)) (l1 (15
l1 v10)));
 
aaaa(88):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v10 v9 
v8 v6 v5 v4 v2 v1) (ijk 1188) (l l2 l1));
 
aa(89):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p28m) (499 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p17m v2 v4) (512 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(89):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1189) (l l2 l1));
 
aa(90):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (183 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p28m) (499 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p17m v2 v4) (512 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(90):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1190) (l l2 l1));
 
aa(91):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p14m) (507 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p17m v2 v4) (512 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(91):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1191) (l l2 l1));
 
aa(92):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (229 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p14m) (507 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p17m v2 v4) (512 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(92):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1192) (l l2 l1));
 
aa(93):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p13m) (509 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 v2 u3) (sf3 
l2 (plus p1 p2 p5) p17m v2 v4) (512 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(93):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1193) (l l2 l1));
 
aa(94):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (238 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p13m) (509 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 v2 u4) (sf3 
l2 (plus p1 p2 p5) p17m v2 v4) (512 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(94):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1194) (l l2 l1));
 
aa(95):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p4 u4)
(sf l2 (plus (minus p4) (minus p6)) p11m) (511 l2 (plus p1 
p2 p5) (minus (plus (minus p4) (minus p6))) p3 u3 v2) (sf3 
l2 (plus p1 p2 p5) p17m v2 v4) (512 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(95):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1195) (l l2 l1));
 
aa(96):='(((s11 (plus p1 p2) p10m v5 v6)) (l2 (243 l2 p3 u3)
(sf l2 (plus (minus p3) (minus p6)) p11m) (511 l2 (plus p1 
p2 p5) (minus (plus (minus p3) (minus p6))) p4 u4 v2) (sf3 
l2 (plus p1 p2 p5) p17m v2 v4) (512 l2 p5 v5 v4)) (l1 (15 l1
v6)));
 
aaaa(96):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v6 v5 v4
v2) (ijk 1196) (l l2 l1));
 
aa(97):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (373 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p27m v1 v3) (772 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v4 v3 u3) (sf3 l2 (plus p1 p2
p5) p17m v4 v6) (512 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(97):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1197) (l l2 l1));
 
aa(98):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (373 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p27m v1 v3) (772 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v4 v3 u4) (sf3 l2 (plus p1 p2
p5) p17m v4 v6) (512 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(98):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1198) (l l2 l1));
 
aa(99):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p4) (minus p6)) p6 p4 v1 u4) (sf3 l2 (plus (minus p4)
(minus p6)) p26m v1 v3) (787 l2 (minus (plus (minus p4) (
minus p6))) (plus p1 p2 p5) p3 v4 v3 u3) (sf3 l2 (plus p1 p2
p5) p17m v4 v6) (512 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(99):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 v6
v4 v3 v1) (ijk 1199) (l l2 l1));
 
aa(100):='(((s11 (plus p1 p2) p10m v7 v8)) (l2 (411 l2 (plus
(minus p3) (minus p6)) p6 p3 v1 u3) (sf3 l2 (plus (minus p3)
(minus p6)) p26m v1 v3) (787 l2 (minus (plus (minus p3) (
minus p6))) (plus p1 p2 p5) p4 v4 v3 u4) (sf3 l2 (plus p1 p2
p5) p17m v4 v6) (512 l2 p5 v7 v6)) (l1 (15 l1 v8)));
 
aaaa(100):='((fsign 1) (cfvl 1) (nfact 1) (csuml) (v v8 v7 
v6 v4 v3 v1) (ijk 1200) (l l2 l1));
 
;end;
 
