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,s4,s5,s2,s1,s2,s4,s5,s6,s2,s7,s10,s8,s9,s3,s6,s5].

[x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y1,y2,y3,y4,y5,y6,y7,y8] = [s7,s8,s4,s5,s2,s1,s2,s4,s5,s6,s2,s7,s10,s8,s9,s3,s6,s5]  is not proper.
Input other 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 : [a].

[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*a = [s1,s3,s6,s7,s8]


Indicate set variables you want to solve : [b].

[s1,s2,s3,s4,s5,s6,s7,s8]*b = [s4,s5]


Indicate set variables you want to solve : [c].

[s1,s2,s3,s4,s5,s6,s7,s8]*c = 0


Indicate set variables you want to solve : [d].

[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*d = [s2]


Indicate set variables you want to solve : [n1].

[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n1 = [s9]


Indicate set variables you want to solve : [n2].

[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n2 = [s6]


Indicate set variables you want to solve : [n3].

[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n3 = [s7]


Indicate set variables you want to solve : [n4].

[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n4 = [s3]


Indicate set variables you want to solve : [n5].

[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n5 = [s10]


Indicate set variables you want to solve : [n6].

[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n6 = [s1,s2]


Indicate set variables you want to solve : [n7].

[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n7 = [s8]


Indicate set variables you want to solve : [n8].

[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*n8 = [s4,s5]


Indicate set variables you want to solve : monore.

Input is not a list.
Indicate variables you want to solve : nomore.


Do you want to have a concrete solution ?: yes.

Input a concrete solution : [n8=[s4,s5],n7=[s8],n6=[s1,s2],n5=[s10],n4=[s3],n3=[s7],n2=[s6],n1=[s9],d=[s2],a=[s1,s3,s6,s7,s8]].

Ok it can be a solution.

Do you want to have another concrete solution ? : yes.

Input a concrete solution : [n8=[s4,s5],n7=[s8],n6=[s1,s2],n5=[s10],n4=[s3],n3=[s7],n2=[s6],n1=[s9],d=[s2],a=[s1,s3,s6,s7,s8],b=[s4,s5]].

Ok it can be a solution.

Do you want to have another concrete solution ? : yes.

Input a concrete solution : [n8=[s4,s5],n7=[s8],n6=[s1,s2],n5=[s10],n4=[s3],n3=[s7],n2=[s6],n1=[s9],d=[s2],a=[s1,s3,s6,s7,s8],b=[s4,s5],c = [s9]].

Sorry it can not be a solution.

Do you want to have another concrete solution ? : yes.

Input a concrete solution : [n8=[s4,s5],n7=[s8],n6=[s1,s2],n5=[s10],n4=[s3],n3=[s7],n2=[s6],n1=[s9],d=[s2],a=[s1,s3,s6,s7,s8],b=[s4,s5],c = [s9,s10]].

Ok it can be a solution.


