Choose one or hit any other key to close the solver : 3.

Input set constraint : [
j=ja\/jo, k=kl\/kh\/ko, we/\ma=0, ol/\md=0, ol/\yn=0, md/\yn=0,
a/\b=0, a/\c=0, a/\d=0, b/\c=0, b/\d=0, c/\d=0, 
n1/\a=0, a/\n5=0, n2/\b=0, b/\n6=0, n3/\c=0, c/\n7=0, n4/\d=0, d/\n8=0,
n1/\n2=0, n1/\n3=0, n1/\n4=0, n1/\n5=0, n1/\n6=0, n1/\n7=0, n1/\n8=0,
n2/\n3=0, n2/\n4=0, n2/\n5=0, n2/\n6=0, n2/\n7=0, n2/\n8=0,
n3/\n4=0, n3/\n5=0, n3/\n6=0, n3/\n7=0, n3/\n8=0,
n4/\n5=0, n4/\n6=0, n4/\n7=0, n4/\n8=0,
n5/\n6=0, n5/\n7=0, n5/\n8=0, n6/\n7=0, n6/\n8=0, n7/\n8=0,
subseteq([s1,s2,s3,s4,s5,s6,s7,s8,s9,s10],a\/b\/c\/d),
subseteq([s1,s2,s3,s4,s5,s6,s7,s8,s9,s10],n1\/n2\/n3\/n4\/n5\/n6\/n7\/n8),
subseteq([s1,s2,s3,s4,s5,s6],ma), subseteq([s7,s8,s9,s10],we),
subseteq([s4,s5,s6,s9,s10],ol), subseteq([s3,s8],md), subseteq([s1,s2,s7],yn),
in(s1,kl), in(s1,kh), in(s1,jo), notin(s1,ko), notin(s1,ja),
in(s2,ja), notin(s2,jo), notin(s2,k), in(s3,ko), in(s3,kh), in(s3,jo), 
notin(s3,kl), notin(s3,ja), in(s4,kl), in(s4,jo), notin(s4,kh), notin(s4,ko),
notin(s4,ja), in(s5,kl), notin(s5,j), notin(s5,kh), notin(s5,ko), in(s6,jo),
notin(s6,k), notin(s6,ja), in(s7,kh), notin(s7,kl), notin(s7,ko), notin(s7,j),
in(s8,ko), notin(s8,kl), notin(s8,kh), notin(s8,j), in(s9,kl), notin(s9,kh),
notin(s9,ko), notin(s9,j), in(s10,kh), notin(s10,kl), notin(s10,ko), notin(s10,j),
a/\ja=0, in(x1,a), in(x1,we), in(x2,a), in(x2,we), x1\= x2, 
in(x3,b), in(x3,ol), in(x3,k), in(x4,b), in(x4,ol), in(x4,k), x3\= x4, b/\yn=0, b/\ko=0,
c/\we/\ko=0, c/\j =0, c/\md =0,
subseteq(d/\yn,[x5]), d/\ol=0, 
n1/\ma, n3/\ma, n5/\ma, in(x6,n6), in(x6,ma), in(x7,n6), in(x7,ma), x6\=x7, in(x8,n8), 
in(x8,ma), in(x9,n8), in(x9,ma), x8\=x9, subseteq(n7/\ma,[x10]),
in(x1,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x2,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x3,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x4,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x5,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x6,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x7,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x8,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x9,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x10,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y1,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y2,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y3,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y4,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y5,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y6,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y7,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y8,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y1,n1),in(y2,n2),in(y3,n3),in(y4,n4),
in(y5,n5),in(y6,n6),in(y7,n7),in(y8,n8)
].

Input a list of set variables you want to solve : [a,b,c,d,n1,n2,n3,n4,n5,n6,n7,n8].

Input a list  of element variables you want to solve : [x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y1,y2,y3,y4,y5,y6,y7,y8].


Constraint is satisfiable under the following conditions.

[y7]*[y8] = 0
[y6]*[y8] = 0
[y6]*[y7] = 0
[y5]*[y8] = 0
[y5]*[y7] = 0
[y5]*[y6] = 0
[y4]*[y8] = 0
[y4]*[y7] = 0
[y4]*[y6] = 0
[y4]*[y5] = 0
[y3]*[y8] = 0
[y3]*[y7] = 0
[y3]*[y6] = 0
[y3]*[y5] = 0
[y3]*[y4] = 0
[y2]*[y8] = 0
[y2]*[y7] = 0
[y2]*[y6] = 0
[y2]*[y5] = 0
[y2]*[y4] = 0
[y2]*[y3] = 0
[y1]*[y8] = 0
[y1]*[y7] = 0
[y1]*[y6] = 0
[y1]*[y5] = 0
[y1]*[y4] = 0
[y1]*[y3] = 0
[y1]*[y2] = 0
~[s7,s8,s9,s10]*[x10]*[y7] = [s1,s2,s3,s4,s5,s6]*[y7]
[x9]*[y7] = 0
[x9]*[y6] = 0
[x9]*[y4] = 0
[x9]*[y2] = 0
[x8]*[y7] = 0
[x8]*[y6] = 0
[x8]*[y4] = 0
[x8]*[y2] = 0
[x8]*[x9] = 0
[x7]*[y8] = 0
[x7]*[y7] = 0
[x7]*[y4] = 0
[x7]*[y2] = 0
[x7]*[x9] = 0
[x7]*[x8] = 0
[x6]*[y8] = 0
[x6]*[y7] = 0
[x6]*[y4] = 0
[x6]*[y2] = 0
[x6]*[x9] = 0
[x6]*[x8] = 0
[x6]*[x7] = 0
[x4]*[y6] = 0
[x4]*[y2] = 0
[x4]*[x7] = 0
[x4]*[x6] = 0
[x3]*[y6] = 0
[x3]*[y2] = 0
[x3]*[x7] = 0
[x3]*[x6] = 0
[x3]*[x4] = 0
[x2]*[y5] = 0
[x2]*[y1] = 0
[x2]*[x4] = 0
[x2]*[x3] = 0
[x1]*[y5] = 0
[x1]*[y1] = 0
[x1]*[x4] = 0
[x1]*[x3] = 0
[x1]*[x2] = 0
~[s1,s3,s4,s5,s6,s7,s8,s9,s10]*[y8] = 0
~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*[y7] = 0
~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*[y6] = 0
~[s7,s8,s9,s10]*[y5] = 0
~[s1,s3,s4,s5,s6,s7,s8,s9,s10]*[y4] = 0
~[s7,s8,s9,s10]*[y3] = 0
~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*[y2] = 0
~[s7,s8,s9,s10]*[y1] = 0
~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*[x10] = 0
~[s1,s3,s4,s5,s6]*[x9] = 0
~[s1,s3,s4,s5,s6]*[x8] = 0
~[s1,s2,s3,s4,s5,s6]*[x7] = 0
~[s1,s2,s3,s4,s5,s6]*[x6] = 0
~[s1,s3,s4,s5,s6,s7,s8,s9,s10]*[x5] = [s2]
~[s4,s5,s9,s10]*[x4] = 0
~[s4,s5,s9,s10]*[x3] = 0
~[s7,s8,s9,s10]*[x2] = 0
~[s7,s8,s9,s10]*[x1] = 0


Input elements so that the above holds.
[x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y1,y2,y3,y4,y5,y6,y7,y8] = [s7,s8,s5,s4,s2,s2,s1,s5,s4,s8,s9,s6,s7,s3,s10,s1,s8,s4].

Indicate set variables you want to solve : all.


c*kl*kh*we = ~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*c*kh*we+~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*c*kl*we+~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*c*k*we
kl*kh*ko = ~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*kh*ko+~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*kl*ko+~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*kl*kh+~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*ko+~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*kh+~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*kl+~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*k
c*ko*we = 0
b*kl*kh = ~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*b*kh+~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*b*kl+~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*b*k
n4*n8 = 0
n7*n8 = 0
n7*n4 = 0
n3*n8 = 0
n3*n4 = 0
n3*n7 = 0
n6*n8 = 0
n6*n4 = 0
n6*n7 = 0
n6*n3 = 0
n2*n8 = 0
n2*n4 = 0
n2*n7 = 0
n2*n3 = 0
n2*n6 = 0
n5*n8 = 0
n5*n4 = 0
n5*n7 = 0
n5*n3 = 0
n5*n6 = 0
n5*n2 = 0
n1*n8 = 0
n1*n4 = 0
n1*n7 = 0
n1*n3 = 0
n1*n6 = 0
n1*n2 = 0
n1*n5 = 0
md*yn = 0
ol*yn = 0
ol*md = 0
ma*n7 = 0
ma*n3 = 0
ma*n5 = 0
ma*n1 = 0
we*ma = 0
ja*jo = ~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*jo+~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*ja+~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*j
j*jo = ~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*jo+[s1,s3,s4,s6]
j*ja = ~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*ja+[s2]
d*n8 = 0
d*n4 = 0
d*yn = [s2]
d*ol = 0
a*n5 = 0
a*n1 = 0
a*jo = ~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*a*j+[s1,s3,s6]
a*ja = 0
a*d = 0
k*ko = ~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*ko+[s3,s8]
k*kh = ~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*kh+[s1,s3,s7,s10]
k*kl = ~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*kl+[s1,s4,s5,s9]
c*n7 = 0
c*n3 = 0
c*md = 0
c*jo = 0
c*ja = 0
c*j = 0
c*d = 0
c*a = 0
b*n6 = 0
b*n2 = 0
b*yn = 0
b*ko = 0
b*d = 0
b*a = 0
b*c = 0
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n8 = [s4,s5]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n4 = [s3]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n7 = [s8]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n3 = [s7]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n6 = [s1,s2]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n2 = [s6]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n5 = [s10]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n1 = [s9]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*yn = [s1,s2,s7]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*md = [s3,s8]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*ol = [s4,s5,s6,s9,s10]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*ma = [s1,s2,s3,s4,s5,s6]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*we = [s7,s8,s9,s10]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*ko = [s3,s8]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*kh = [s1,s3,s7,s10]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*kl = [s1,s4,s5,s9]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*jo = [s1,s3,s4,s6]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*ja = [s2]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*j = [s1,s2,s3,s4,s6]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*d = [s2]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*a = [s1,s3,s6,s7,s8]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*k = [s1,s3,s4,s5,s7,s8,s9,s10]
[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*c = [s9,s10]*b+[s9,s10]
[s1,s2,s3,s4,s5,s6,s7,s8]*b = [s4,s5]
