:: ENUMSET1 semantic presentation

x1 is set
x2 is set
x3 is set
{x3} is set
{x2,{x3}} is set
union {x2,{x3}} is set
a is set
x1 is set
x2 is set
x3 is set
{x1,x2} is set
{x3} is set
{{x1,x2},{x3}} is set
union {{x1,x2},{x3}} is set
a is set
a is set
x5 is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3) is set
{a} is set
{(x1,x2,x3),{a}} is set
union {(x1,x2,x3),{a}} is set
x5 is set
x5 is set
x6 is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
(x1,x2,x3,a) is set
{x5} is set
{(x1,x2,x3,a),{x5}} is set
union {(x1,x2,x3,a),{x5}} is set
x6 is set
x6 is set
x7 is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
(x1,x2,x3,a,x5) is set
{x6} is set
{(x1,x2,x3,a,x5),{x6}} is set
union {(x1,x2,x3,a,x5),{x6}} is set
x7 is set
x7 is set
x8 is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
(x1,x2,x3,a,x5,x6) is set
{x7} is set
{(x1,x2,x3,a,x5,x6),{x7}} is set
union {(x1,x2,x3,a,x5,x6),{x7}} is set
x8 is set
x8 is set
x9 is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
x8 is set
(x1,x2,x3,a,x5,x6,x7) is set
{x8} is set
{(x1,x2,x3,a,x5,x6,x7),{x8}} is set
union {(x1,x2,x3,a,x5,x6,x7),{x8}} is set
x9 is set
x9 is set
x10 is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
x8 is set
x9 is set
(x1,x2,x3,a,x5,x6,x7,x8) is set
{x9} is set
{(x1,x2,x3,a,x5,x6,x7,x8),{x9}} is set
union {(x1,x2,x3,a,x5,x6,x7,x8),{x9}} is set
x10 is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
x8 is set
x9 is set
x10 is set
(x1,x2,x3,a,x5,x6,x7,x8,x9) is set
{x10} is set
{(x1,x2,x3,a,x5,x6,x7,x8,x9),{x10}} is set
union {(x1,x2,x3,a,x5,x6,x7,x8,x9),{x10}} is set
x is set
x1 is set
{x1} is set
x2 is set
{x1,x2} is set
{x2} is set
{x1} \/ {x2} is set
x3 is set
x1 is set
{x1} is set
x2 is set
x3 is set
(x1,x2,x3) is set
{x2,x3} is set
{x1} \/ {x2,x3} is set
a is set
x1 is set
x2 is set
{x1,x2} is set
x3 is set
(x1,x2,x3) is set
{x3} is set
{x1,x2} \/ {x3} is set
{x1} is set
{x2,x3} is set
{x1} \/ {x2,x3} is set
{x2} is set
{x2} \/ {x3} is set
{x1} \/ ({x2} \/ {x3}) is set
{x1} \/ {x2} is set
({x1} \/ {x2}) \/ {x3} is set
x1 is set
x2 is set
{x1,x2} is set
x3 is set
a is set
(x1,x2,x3,a) is set
{x3,a} is set
{x1,x2} \/ {x3,a} is set
x5 is set
x1 is set
{x1} is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x2,x3,a) is set
{x1} \/ (x2,x3,a) is set
{x1,x2} is set
{x3,a} is set
{x1,x2} \/ {x3,a} is set
{x2} is set
{x1} \/ {x2} is set
({x1} \/ {x2}) \/ {x3,a} is set
{x2} \/ {x3,a} is set
{x1} \/ ({x2} \/ {x3,a}) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
{x1,x2} is set
{x3,a} is set
{x1,x2} \/ {x3,a} is set
x1 is set
x2 is set
x3 is set
(x1,x2,x3) is set
a is set
(x1,x2,x3,a) is set
{a} is set
(x1,x2,x3) \/ {a} is set
{x1,x2} is set
{x3,a} is set
{x1,x2} \/ {x3,a} is set
{x3} is set
{x3} \/ {a} is set
{x1,x2} \/ ({x3} \/ {a}) is set
{x1,x2} \/ {x3} is set
({x1,x2} \/ {x3}) \/ {a} is set
x1 is set
x2 is set
x3 is set
(x1,x2,x3) is set
a is set
x5 is set
(x1,x2,x3,a,x5) is set
{a,x5} is set
(x1,x2,x3) \/ {a,x5} is set
x6 is set
x1 is set
{x1} is set
x2 is set
x3 is set
a is set
x5 is set
(x1,x2,x3,a,x5) is set
(x2,x3,a,x5) is set
{x1} \/ (x2,x3,a,x5) is set
(x1,x2,x3) is set
{a,x5} is set
(x1,x2,x3) \/ {a,x5} is set
{x2,x3} is set
{x1} \/ {x2,x3} is set
({x1} \/ {x2,x3}) \/ {a,x5} is set
{x2,x3} \/ {a,x5} is set
{x1} \/ ({x2,x3} \/ {a,x5}) is set
x1 is set
x2 is set
{x1,x2} is set
x3 is set
a is set
x5 is set
(x1,x2,x3,a,x5) is set
(x3,a,x5) is set
{x1,x2} \/ (x3,a,x5) is set
(x1,x2,x3) is set
{a,x5} is set
(x1,x2,x3) \/ {a,x5} is set
{x3} is set
{x1,x2} \/ {x3} is set
({x1,x2} \/ {x3}) \/ {a,x5} is set
{x3} \/ {a,x5} is set
{x1,x2} \/ ({x3} \/ {a,x5}) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
(x1,x2,x3,a,x5) is set
(x1,x2,x3) is set
{a,x5} is set
(x1,x2,x3) \/ {a,x5} is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
x5 is set
(x1,x2,x3,a,x5) is set
{x5} is set
(x1,x2,x3,a) \/ {x5} is set
(x1,x2,x3) is set
{a,x5} is set
(x1,x2,x3) \/ {a,x5} is set
{a} is set
{a} \/ {x5} is set
(x1,x2,x3) \/ ({a} \/ {x5}) is set
(x1,x2,x3) \/ {a} is set
((x1,x2,x3) \/ {a}) \/ {x5} is set
x1 is set
x2 is set
x3 is set
(x1,x2,x3) is set
a is set
x5 is set
x6 is set
(x1,x2,x3,a,x5,x6) is set
(a,x5,x6) is set
(x1,x2,x3) \/ (a,x5,x6) is set
x7 is set
x1 is set
{x1} is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
(x1,x2,x3,a,x5,x6) is set
(x2,x3,a,x5,x6) is set
{x1} \/ (x2,x3,a,x5,x6) is set
(x1,x2,x3) is set
(a,x5,x6) is set
(x1,x2,x3) \/ (a,x5,x6) is set
{x2,x3} is set
{x1} \/ {x2,x3} is set
({x1} \/ {x2,x3}) \/ (a,x5,x6) is set
{x2,x3} \/ (a,x5,x6) is set
{x1} \/ ({x2,x3} \/ (a,x5,x6)) is set
x1 is set
x2 is set
{x1,x2} is set
x3 is set
a is set
x5 is set
x6 is set
(x1,x2,x3,a,x5,x6) is set
(x3,a,x5,x6) is set
{x1,x2} \/ (x3,a,x5,x6) is set
(x1,x2,x3) is set
(a,x5,x6) is set
(x1,x2,x3) \/ (a,x5,x6) is set
{x3} is set
{x1,x2} \/ {x3} is set
({x1,x2} \/ {x3}) \/ (a,x5,x6) is set
{x3} \/ (a,x5,x6) is set
{x1,x2} \/ ({x3} \/ (a,x5,x6)) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
(x1,x2,x3,a,x5,x6) is set
(x1,x2,x3) is set
(a,x5,x6) is set
(x1,x2,x3) \/ (a,x5,x6) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
x5 is set
x6 is set
(x1,x2,x3,a,x5,x6) is set
{x5,x6} is set
(x1,x2,x3,a) \/ {x5,x6} is set
(x1,x2,x3) is set
(a,x5,x6) is set
(x1,x2,x3) \/ (a,x5,x6) is set
{a} is set
{a} \/ {x5,x6} is set
(x1,x2,x3) \/ ({a} \/ {x5,x6}) is set
(x1,x2,x3) \/ {a} is set
((x1,x2,x3) \/ {a}) \/ {x5,x6} is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
(x1,x2,x3,a,x5) is set
x6 is set
(x1,x2,x3,a,x5,x6) is set
{x6} is set
(x1,x2,x3,a,x5) \/ {x6} is set
(x1,x2,x3) is set
(a,x5,x6) is set
(x1,x2,x3) \/ (a,x5,x6) is set
{a,x5} is set
{a,x5} \/ {x6} is set
(x1,x2,x3) \/ ({a,x5} \/ {x6}) is set
(x1,x2,x3) \/ {a,x5} is set
((x1,x2,x3) \/ {a,x5}) \/ {x6} is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
x5 is set
x6 is set
x7 is set
(x1,x2,x3,a,x5,x6,x7) is set
(x5,x6,x7) is set
(x1,x2,x3,a) \/ (x5,x6,x7) is set
x8 is set
x1 is set
{x1} is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
(x1,x2,x3,a,x5,x6,x7) is set
(x2,x3,a,x5,x6,x7) is set
{x1} \/ (x2,x3,a,x5,x6,x7) is set
(x1,x2,x3,a) is set
(x5,x6,x7) is set
(x1,x2,x3,a) \/ (x5,x6,x7) is set
(x2,x3,a) is set
{x1} \/ (x2,x3,a) is set
({x1} \/ (x2,x3,a)) \/ (x5,x6,x7) is set
(x2,x3,a) \/ (x5,x6,x7) is set
{x1} \/ ((x2,x3,a) \/ (x5,x6,x7)) is set
x1 is set
x2 is set
{x1,x2} is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
(x1,x2,x3,a,x5,x6,x7) is set
(x3,a,x5,x6,x7) is set
{x1,x2} \/ (x3,a,x5,x6,x7) is set
(x1,x2,x3,a) is set
(x5,x6,x7) is set
(x1,x2,x3,a) \/ (x5,x6,x7) is set
{x3,a} is set
{x1,x2} \/ {x3,a} is set
({x1,x2} \/ {x3,a}) \/ (x5,x6,x7) is set
{x3,a} \/ (x5,x6,x7) is set
{x1,x2} \/ ({x3,a} \/ (x5,x6,x7)) is set
x1 is set
x2 is set
x3 is set
(x1,x2,x3) is set
a is set
x5 is set
x6 is set
x7 is set
(x1,x2,x3,a,x5,x6,x7) is set
(a,x5,x6,x7) is set
(x1,x2,x3) \/ (a,x5,x6,x7) is set
(x1,x2,x3,a) is set
(x5,x6,x7) is set
(x1,x2,x3,a) \/ (x5,x6,x7) is set
{a} is set
(x1,x2,x3) \/ {a} is set
((x1,x2,x3) \/ {a}) \/ (x5,x6,x7) is set
{a} \/ (x5,x6,x7) is set
(x1,x2,x3) \/ ({a} \/ (x5,x6,x7)) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
(x1,x2,x3,a,x5,x6,x7) is set
(x1,x2,x3,a) is set
(x5,x6,x7) is set
(x1,x2,x3,a) \/ (x5,x6,x7) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
(x1,x2,x3,a,x5) is set
x6 is set
x7 is set
(x1,x2,x3,a,x5,x6,x7) is set
{x6,x7} is set
(x1,x2,x3,a,x5) \/ {x6,x7} is set
(x1,x2,x3,a) is set
(x5,x6,x7) is set
(x1,x2,x3,a) \/ (x5,x6,x7) is set
{x5} is set
{x5} \/ {x6,x7} is set
(x1,x2,x3,a) \/ ({x5} \/ {x6,x7}) is set
(x1,x2,x3,a) \/ {x5} is set
((x1,x2,x3,a) \/ {x5}) \/ {x6,x7} is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
(x1,x2,x3,a,x5,x6) is set
x7 is set
(x1,x2,x3,a,x5,x6,x7) is set
{x7} is set
(x1,x2,x3,a,x5,x6) \/ {x7} is set
(x1,x2,x3,a) is set
(x5,x6,x7) is set
(x1,x2,x3,a) \/ (x5,x6,x7) is set
{x5,x6} is set
{x5,x6} \/ {x7} is set
(x1,x2,x3,a) \/ ({x5,x6} \/ {x7}) is set
(x1,x2,x3,a) \/ {x5,x6} is set
((x1,x2,x3,a) \/ {x5,x6}) \/ {x7} is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
x5 is set
x6 is set
x7 is set
x8 is set
(x1,x2,x3,a,x5,x6,x7,x8) is set
(x5,x6,x7,x8) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8) is set
x9 is set
x1 is set
{x1} is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
x8 is set
(x1,x2,x3,a,x5,x6,x7,x8) is set
(x2,x3,a,x5,x6,x7,x8) is set
{x1} \/ (x2,x3,a,x5,x6,x7,x8) is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8) is set
(x2,x3,a) is set
{x1} \/ (x2,x3,a) is set
({x1} \/ (x2,x3,a)) \/ (x5,x6,x7,x8) is set
(x2,x3,a) \/ (x5,x6,x7,x8) is set
{x1} \/ ((x2,x3,a) \/ (x5,x6,x7,x8)) is set
x1 is set
x2 is set
{x1,x2} is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
x8 is set
(x1,x2,x3,a,x5,x6,x7,x8) is set
(x3,a,x5,x6,x7,x8) is set
{x1,x2} \/ (x3,a,x5,x6,x7,x8) is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8) is set
{x3,a} is set
{x1,x2} \/ {x3,a} is set
({x1,x2} \/ {x3,a}) \/ (x5,x6,x7,x8) is set
{x3,a} \/ (x5,x6,x7,x8) is set
{x1,x2} \/ ({x3,a} \/ (x5,x6,x7,x8)) is set
x1 is set
x2 is set
x3 is set
(x1,x2,x3) is set
a is set
x5 is set
x6 is set
x7 is set
x8 is set
(x1,x2,x3,a,x5,x6,x7,x8) is set
(a,x5,x6,x7,x8) is set
(x1,x2,x3) \/ (a,x5,x6,x7,x8) is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8) is set
{a} is set
(x1,x2,x3) \/ {a} is set
((x1,x2,x3) \/ {a}) \/ (x5,x6,x7,x8) is set
{a} \/ (x5,x6,x7,x8) is set
(x1,x2,x3) \/ ({a} \/ (x5,x6,x7,x8)) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
x8 is set
(x1,x2,x3,a,x5,x6,x7,x8) is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
(x1,x2,x3,a,x5) is set
x6 is set
x7 is set
x8 is set
(x1,x2,x3,a,x5,x6,x7,x8) is set
(x6,x7,x8) is set
(x1,x2,x3,a,x5) \/ (x6,x7,x8) is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8) is set
{x5} is set
{x5} \/ (x6,x7,x8) is set
(x1,x2,x3,a) \/ ({x5} \/ (x6,x7,x8)) is set
(x1,x2,x3,a) \/ {x5} is set
((x1,x2,x3,a) \/ {x5}) \/ (x6,x7,x8) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
(x1,x2,x3,a,x5,x6) is set
x7 is set
x8 is set
(x1,x2,x3,a,x5,x6,x7,x8) is set
{x7,x8} is set
(x1,x2,x3,a,x5,x6) \/ {x7,x8} is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8) is set
{x5,x6} is set
{x5,x6} \/ {x7,x8} is set
(x1,x2,x3,a) \/ ({x5,x6} \/ {x7,x8}) is set
(x1,x2,x3,a) \/ {x5,x6} is set
((x1,x2,x3,a) \/ {x5,x6}) \/ {x7,x8} is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
(x1,x2,x3,a,x5,x6,x7) is set
x8 is set
(x1,x2,x3,a,x5,x6,x7,x8) is set
{x8} is set
(x1,x2,x3,a,x5,x6,x7) \/ {x8} is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8) is set
(x5,x6,x7) is set
(x5,x6,x7) \/ {x8} is set
(x1,x2,x3,a) \/ ((x5,x6,x7) \/ {x8}) is set
(x1,x2,x3,a) \/ (x5,x6,x7) is set
((x1,x2,x3,a) \/ (x5,x6,x7)) \/ {x8} is set
x1 is set
{x1,x1} is set
{x1} is set
x2 is set
x1 is set
x2 is set
(x1,x1,x2) is set
{x1,x2} is set
{x1,x1} is set
{x2} is set
{x1,x1} \/ {x2} is set
{x1} is set
{x1} \/ {x2} is set
x1 is set
x2 is set
x3 is set
(x1,x1,x2,x3) is set
(x1,x2,x3) is set
{x1,x1} is set
{x2,x3} is set
{x1,x1} \/ {x2,x3} is set
{x1} is set
{x1} \/ {x2,x3} is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x1,x2,x3,a) is set
(x1,x2,x3,a) is set
{x1,x1} is set
(x2,x3,a) is set
{x1,x1} \/ (x2,x3,a) is set
{x1} is set
{x1} \/ (x2,x3,a) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
(x1,x1,x2,x3,a,x5) is set
(x1,x2,x3,a,x5) is set
{x1,x1} is set
(x2,x3,a,x5) is set
{x1,x1} \/ (x2,x3,a,x5) is set
{x1} is set
{x1} \/ (x2,x3,a,x5) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
(x1,x1,x2,x3,a,x5,x6) is set
(x1,x2,x3,a,x5,x6) is set
{x1,x1} is set
(x2,x3,a,x5,x6) is set
{x1,x1} \/ (x2,x3,a,x5,x6) is set
{x1} is set
{x1} \/ (x2,x3,a,x5,x6) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
(x1,x1,x2,x3,a,x5,x6,x7) is set
(x1,x2,x3,a,x5,x6,x7) is set
{x1,x1} is set
(x2,x3,a,x5,x6,x7) is set
{x1,x1} \/ (x2,x3,a,x5,x6,x7) is set
{x1} is set
{x1} \/ (x2,x3,a,x5,x6,x7) is set
x1 is set
(x1,x1,x1) is set
{x1} is set
{x1,x1} is set
x1 is set
x2 is set
(x1,x1,x1,x2) is set
{x1,x2} is set
(x1,x1,x2) is set
x1 is set
x2 is set
x3 is set
(x1,x1,x1,x2,x3) is set
(x1,x2,x3) is set
(x1,x1,x2,x3) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x1,x1,x2,x3,a) is set
(x1,x2,x3,a) is set
(x1,x1,x2,x3,a) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
(x1,x1,x1,x2,x3,a,x5) is set
(x1,x2,x3,a,x5) is set
(x1,x1,x2,x3,a,x5) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
(x1,x1,x1,x2,x3,a,x5,x6) is set
(x1,x2,x3,a,x5,x6) is set
(x1,x1,x2,x3,a,x5,x6) is set
x1 is set
(x1,x1,x1,x1) is set
{x1} is set
{x1,x1} is set
x1 is set
x2 is set
(x1,x1,x1,x1,x2) is set
{x1,x2} is set
(x1,x1,x2) is set
x1 is set
x2 is set
x3 is set
(x1,x1,x1,x1,x2,x3) is set
(x1,x2,x3) is set
(x1,x1,x2,x3) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x1,x1,x1,x2,x3,a) is set
(x1,x2,x3,a) is set
(x1,x1,x2,x3,a) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
(x1,x1,x1,x1,x2,x3,a,x5) is set
(x1,x2,x3,a,x5) is set
(x1,x1,x2,x3,a,x5) is set
x1 is set
(x1,x1,x1,x1,x1) is set
{x1} is set
{x1,x1} is set
x1 is set
x2 is set
(x1,x1,x1,x1,x1,x2) is set
{x1,x2} is set
(x1,x1,x2) is set
x1 is set
x2 is set
x3 is set
(x1,x1,x1,x1,x1,x2,x3) is set
(x1,x2,x3) is set
(x1,x1,x2,x3) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x1,x1,x1,x1,x2,x3,a) is set
(x1,x2,x3,a) is set
(x1,x1,x2,x3,a) is set
x1 is set
(x1,x1,x1,x1,x1,x1) is set
{x1} is set
{x1,x1} is set
x1 is set
x2 is set
(x1,x1,x1,x1,x1,x1,x2) is set
{x1,x2} is set
(x1,x1,x2) is set
x1 is set
x2 is set
x3 is set
(x1,x1,x1,x1,x1,x1,x2,x3) is set
(x1,x2,x3) is set
(x1,x1,x2,x3) is set
x1 is set
(x1,x1,x1,x1,x1,x1,x1) is set
{x1} is set
{x1,x1} is set
x1 is set
x2 is set
(x1,x1,x1,x1,x1,x1,x1,x2) is set
{x1,x2} is set
(x1,x1,x2) is set
x1 is set
(x1,x1,x1,x1,x1,x1,x1,x1) is set
{x1} is set
{x1,x1} is set
x1 is set
x2 is set
x3 is set
(x1,x2,x3) is set
(x1,x3,x2) is set
{x1} is set
{x2,x3} is set
{x1} \/ {x2,x3} is set
x1 is set
x2 is set
x3 is set
(x1,x2,x3) is set
(x2,x1,x3) is set
{x1,x2} is set
{x3} is set
{x1,x2} \/ {x3} is set
x1 is set
x2 is set
x3 is set
(x1,x2,x3) is set
(x2,x3,x1) is set
{x2,x3} is set
{x1} is set
{x2,x3} \/ {x1} is set
x1 is set
x2 is set
x3 is set
(x1,x2,x3) is set
(x3,x2,x1) is set
(x3,x1,x2) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x1,x2,a,x3) is set
{x1} is set
(x2,x3,a) is set
{x1} \/ (x2,x3,a) is set
(x2,a,x3) is set
{x1} \/ (x2,a,x3) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x1,x3,x2,a) is set
{x1} is set
(x2,x3,a) is set
{x1} \/ (x2,x3,a) is set
(x3,x2,a) is set
{x1} \/ (x3,x2,a) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x1,x3,a,x2) is set
{x1} is set
(x2,x3,a) is set
{x1} \/ (x2,x3,a) is set
(x3,a,x2) is set
{x1} \/ (x3,a,x2) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x1,a,x3,x2) is set
{x1} is set
(x2,x3,a) is set
{x1} \/ (x2,x3,a) is set
(a,x3,x2) is set
{x1} \/ (a,x3,x2) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x2,x1,x3,a) is set
(x1,x2,x3) is set
{a} is set
(x1,x2,x3) \/ {a} is set
(x2,x1,x3) is set
(x2,x1,x3) \/ {a} is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x2,x3,x1,a) is set
(x1,x2,x3) is set
{a} is set
(x1,x2,x3) \/ {a} is set
(x2,x3,x1) is set
(x2,x3,x1) \/ {a} is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x2,x1,a,x3) is set
(x2,x3,x1,a) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x2,x3,x1,a) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x2,x3,a,x1) is set
(x2,x3,x1,a) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x2,a,x1,x3) is set
(x2,x3,x1,a) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x2,a,x3,x1) is set
(x2,x3,x1,a) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x3,x2,x1,a) is set
(x1,x2,x3) is set
{a} is set
(x1,x2,x3) \/ {a} is set
(x3,x2,x1) is set
(x3,x2,x1) \/ {a} is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x3,x2,x1,a) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x3,x2,a,x1) is set
(x3,x2,x1,a) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x3,a,x1,x2) is set
(x3,x2,x1,a) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(x3,a,x2,x1) is set
(x3,x2,x1,a) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(a,x2,x3,x1) is set
(x3,a,x2,x1) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
(a,x3,x2,x1) is set
(x3,a,x2,x1) is set
x1 is set
x2 is set
x3 is set
a is set
(x1,x2,x3,a) is set
x5 is set
x6 is set
x7 is set
x8 is set
x9 is set
(x1,x2,x3,a,x5,x6,x7,x8,x9) is set
(x5,x6,x7,x8,x9) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8,x9) is set
x10 is set
x1 is set
{x1} is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
x8 is set
x9 is set
(x1,x2,x3,a,x5,x6,x7,x8,x9) is set
(x2,x3,a,x5,x6,x7,x8,x9) is set
{x1} \/ (x2,x3,a,x5,x6,x7,x8,x9) is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8,x9) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8,x9) is set
(x2,x3,a) is set
{x1} \/ (x2,x3,a) is set
({x1} \/ (x2,x3,a)) \/ (x5,x6,x7,x8,x9) is set
(x2,x3,a) \/ (x5,x6,x7,x8,x9) is set
{x1} \/ ((x2,x3,a) \/ (x5,x6,x7,x8,x9)) is set
x1 is set
x2 is set
{x1,x2} is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
x8 is set
x9 is set
(x1,x2,x3,a,x5,x6,x7,x8,x9) is set
(x3,a,x5,x6,x7,x8,x9) is set
{x1,x2} \/ (x3,a,x5,x6,x7,x8,x9) is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8,x9) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8,x9) is set
{x3,a} is set
{x1,x2} \/ {x3,a} is set
({x1,x2} \/ {x3,a}) \/ (x5,x6,x7,x8,x9) is set
{x3,a} \/ (x5,x6,x7,x8,x9) is set
{x1,x2} \/ ({x3,a} \/ (x5,x6,x7,x8,x9)) is set
x1 is set
x2 is set
x3 is set
(x1,x2,x3) is set
a is set
x5 is set
x6 is set
x7 is set
x8 is set
x9 is set
(x1,x2,x3,a,x5,x6,x7,x8,x9) is set
(a,x5,x6,x7,x8,x9) is set
(x1,x2,x3) \/ (a,x5,x6,x7,x8,x9) is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8,x9) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8,x9) is set
{a} is set
(x1,x2,x3) \/ {a} is set
((x1,x2,x3) \/ {a}) \/ (x5,x6,x7,x8,x9) is set
{a} \/ (x5,x6,x7,x8,x9) is set
(x1,x2,x3) \/ ({a} \/ (x5,x6,x7,x8,x9)) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
x8 is set
x9 is set
(x1,x2,x3,a,x5,x6,x7,x8,x9) is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8,x9) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8,x9) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
(x1,x2,x3,a,x5) is set
x6 is set
x7 is set
x8 is set
x9 is set
(x1,x2,x3,a,x5,x6,x7,x8,x9) is set
(x6,x7,x8,x9) is set
(x1,x2,x3,a,x5) \/ (x6,x7,x8,x9) is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8,x9) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8,x9) is set
{x5} is set
{x5} \/ (x6,x7,x8,x9) is set
(x1,x2,x3,a) \/ ({x5} \/ (x6,x7,x8,x9)) is set
(x1,x2,x3,a) \/ {x5} is set
((x1,x2,x3,a) \/ {x5}) \/ (x6,x7,x8,x9) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
(x1,x2,x3,a,x5,x6) is set
x7 is set
x8 is set
x9 is set
(x1,x2,x3,a,x5,x6,x7,x8,x9) is set
(x7,x8,x9) is set
(x1,x2,x3,a,x5,x6) \/ (x7,x8,x9) is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8,x9) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8,x9) is set
{x5,x6} is set
{x5,x6} \/ (x7,x8,x9) is set
(x1,x2,x3,a) \/ ({x5,x6} \/ (x7,x8,x9)) is set
(x1,x2,x3,a) \/ {x5,x6} is set
((x1,x2,x3,a) \/ {x5,x6}) \/ (x7,x8,x9) is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
(x1,x2,x3,a,x5,x6,x7) is set
x8 is set
x9 is set
(x1,x2,x3,a,x5,x6,x7,x8,x9) is set
{x8,x9} is set
(x1,x2,x3,a,x5,x6,x7) \/ {x8,x9} is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8,x9) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8,x9) is set
(x5,x6,x7) is set
(x5,x6,x7) \/ {x8,x9} is set
(x1,x2,x3,a) \/ ((x5,x6,x7) \/ {x8,x9}) is set
(x1,x2,x3,a) \/ (x5,x6,x7) is set
((x1,x2,x3,a) \/ (x5,x6,x7)) \/ {x8,x9} is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
x8 is set
(x1,x2,x3,a,x5,x6,x7,x8) is set
x9 is set
(x1,x2,x3,a,x5,x6,x7,x8,x9) is set
{x9} is set
(x1,x2,x3,a,x5,x6,x7,x8) \/ {x9} is set
(x1,x2,x3,a) is set
(x5,x6,x7,x8,x9) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8,x9) is set
(x5,x6,x7,x8) is set
(x5,x6,x7,x8) \/ {x9} is set
(x1,x2,x3,a) \/ ((x5,x6,x7,x8) \/ {x9}) is set
(x1,x2,x3,a) \/ (x5,x6,x7,x8) is set
((x1,x2,x3,a) \/ (x5,x6,x7,x8)) \/ {x9} is set
x1 is set
x2 is set
x3 is set
a is set
x5 is set
x6 is set
x7 is set
x8 is set
x9 is set
(x1,x2,x3,a,x5,x6,x7,x8,x9) is set
x10 is set
(x1,x2,x3,a,x5,x6,x7,x8,x9,x10) is set
{x10} is set
(x1,x2,x3,a,x5,x6,x7,x8,x9) \/ {x10} is set
x is set
x1 is set
x2 is set
x3 is set
(x1,x2,x3) is set
{x1} is set
(x1,x2,x3) \ {x1} is set
{x2,x3} is set
a is set
a is set
x2 is set
x1 is set
{x2,x1} is set
x3 is set
{x3,x1} is set
{x2,x1} \/ {x3,x1} is set
(x1,x2,x3) is set
(x2,x1,x3,x1) is set
(x1,x1,x2,x3) is set