:: 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