:: ROBBINS2 semantic presentation

K87() is set

K19(K87()) is set

1 is set

K14() is set

TrivComplLat is non empty V42() V43() V48(1) join-commutative join-associative upper-bounded strict Robbins Huntington join-idempotent with_idempotent_element ComplLLattStr

the U1 of TrivComplLat is V11() V12() V28() set

c

L9 is M2( the U1 of TrivComplLat)

c

(c

x is M2( the U1 of TrivComplLat)

((c

(((c

x ` is M2( the U1 of TrivComplLat)

y is M2( the U1 of TrivComplLat)

x + y is M2( the U1 of TrivComplLat)

(x + y) ` is M2( the U1 of TrivComplLat)

(x `) + ((x + y) `) is M2( the U1 of TrivComplLat)

((x `) + ((x + y) `)) ` is M2( the U1 of TrivComplLat)

c

(c

((((c

(((((c

TrivOrtLat is non empty V42() V43() V48(1) join-commutative join-associative meet-commutative meet-associative meet-absorbing join-absorbing Lattice-like distributive modular lower-bounded upper-bounded V65() complemented Boolean strict Robbins Huntington join-idempotent well-complemented de_Morgan OrthoLattStr

the U1 of TrivOrtLat is V11() V12() V28() set

c

L9 is M2( the U1 of TrivOrtLat)

c

(c

x is M2( the U1 of TrivOrtLat)

((c

(((c

x ` is M2( the U1 of TrivOrtLat)

y is M2( the U1 of TrivOrtLat)

x + y is M2( the U1 of TrivOrtLat)

(x + y) ` is M2( the U1 of TrivOrtLat)

(x `) + ((x + y) `) is M2( the U1 of TrivOrtLat)

((x `) + ((x + y) `)) ` is M2( the U1 of TrivOrtLat)

c

(c

((((c

(((((c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

y is M2( the U1 of c

z is M2( the U1 of c

y + z is M2( the U1 of c

(y + z) ` is M2( the U1 of c

((y + z) `) + L9 is M2( the U1 of c

(((y + z) `) + L9) ` is M2( the U1 of c

x ` is M2( the U1 of c

Z is M2( the U1 of c

x + Z is M2( the U1 of c

(x + Z) ` is M2( the U1 of c

(x `) + ((x + Z) `) is M2( the U1 of c

((x `) + ((x + Z) `)) ` is M2( the U1 of c

((((y + z) `) + L9) `) + (((x `) + ((x + Z) `)) `) is M2( the U1 of c

(((((y + z) `) + L9) `) + (((x `) + ((x + Z) `)) `)) ` is M2( the U1 of c

((L9 + x) `) + ((((((y + z) `) + L9) `) + (((x `) + ((x + Z) `)) `)) `) is M2( the U1 of c

(((L9 + x) `) + ((((((y + z) `) + L9) `) + (((x `) + ((x + Z) `)) `)) `)) ` is M2( the U1 of c

L9 ` is M2( the U1 of c

L9 + z is M2( the U1 of c

(L9 + z) ` is M2( the U1 of c

(L9 `) + ((L9 + z) `) is M2( the U1 of c

((L9 `) + ((L9 + z) `)) ` is M2( the U1 of c

y + (((L9 `) + ((L9 + z) `)) `) is M2( the U1 of c

(y + (((L9 `) + ((L9 + z) `)) `)) ` is M2( the U1 of c

((((y + z) `) + L9) `) + ((y + (((L9 `) + ((L9 + z) `)) `)) `) is M2( the U1 of c

(((((y + z) `) + L9) `) + ((y + (((L9 `) + ((L9 + z) `)) `)) `)) ` is M2( the U1 of c

((((((y + z) `) + L9) `) + ((y + (((L9 `) + ((L9 + z) `)) `)) `)) `) + x is M2( the U1 of c

(((((((y + z) `) + L9) `) + ((y + (((L9 `) + ((L9 + z) `)) `)) `)) `) + x) ` is M2( the U1 of c

((((((((y + z) `) + L9) `) + ((y + (((L9 `) + ((L9 + z) `)) `)) `)) `) + x) `) + ((((((y + z) `) + L9) `) + (((x `) + ((x + Z) `)) `)) `) is M2( the U1 of c

(((((((((y + z) `) + L9) `) + ((y + (((L9 `) + ((L9 + z) `)) `)) `)) `) + x) `) + ((((((y + z) `) + L9) `) + (((x `) + ((x + Z) `)) `)) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

y is M2( the U1 of c

y + L9 is M2( the U1 of c

(y + L9) ` is M2( the U1 of c

x ` is M2( the U1 of c

z is M2( the U1 of c

x + z is M2( the U1 of c

(x + z) ` is M2( the U1 of c

(x `) + ((x + z) `) is M2( the U1 of c

((x `) + ((x + z) `)) ` is M2( the U1 of c

((y + L9) `) + (((x `) + ((x + z) `)) `) is M2( the U1 of c

(((y + L9) `) + (((x `) + ((x + z) `)) `)) ` is M2( the U1 of c

((L9 + x) `) + ((((y + L9) `) + (((x `) + ((x + z) `)) `)) `) is M2( the U1 of c

(((L9 + x) `) + ((((y + L9) `) + (((x `) + ((x + z) `)) `)) `)) ` is M2( the U1 of c

the M2( the U1 of c

L9 + y is M2( the U1 of c

(L9 + y) ` is M2( the U1 of c

((x + z) `) + L9 is M2( the U1 of c

(((x + z) `) + L9) ` is M2( the U1 of c

y ` is M2( the U1 of c

y + the M2( the U1 of c

(y + the M2( the U1 of c

(y `) + ((y + the M2( the U1 of c

((y `) + ((y + the M2( the U1 of c

((((x + z) `) + L9) `) + (((y `) + ((y + the M2( the U1 of c

(((((x + z) `) + L9) `) + (((y `) + ((y + the M2( the U1 of c

((L9 + y) `) + ((((((x + z) `) + L9) `) + (((y `) + ((y + the M2( the U1 of c

(((L9 + y) `) + ((((((x + z) `) + L9) `) + (((y `) + ((y + the M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

L9 ` is M2( the U1 of c

L9 + (L9 `) is M2( the U1 of c

(L9 + (L9 `)) ` is M2( the U1 of c

((L9 + (L9 `)) `) + L9 is M2( the U1 of c

(((L9 + (L9 `)) `) + L9) ` is M2( the U1 of c

the M2( the U1 of c

L9 + the M2( the U1 of c

(L9 + the M2( the U1 of c

(L9 `) ` is M2( the U1 of c

((L9 `) `) + the M2( the U1 of c

(((L9 `) `) + the M2( the U1 of c

((((L9 `) `) + the M2( the U1 of c

(((((L9 `) `) + the M2( the U1 of c

(L9 `) + ((L9 + the M2( the U1 of c

((L9 `) + ((L9 + the M2( the U1 of c

((L9 `) `) + (((L9 `) + ((L9 + the M2( the U1 of c

(((L9 `) `) + (((L9 `) + ((L9 + the M2( the U1 of c

((((((L9 `) `) + the M2( the U1 of c

(((((((L9 `) `) + the M2( the U1 of c

((L9 + (L9 `)) `) + ((((((((L9 `) `) + the M2( the U1 of c

(((L9 + (L9 `)) `) + ((((((((L9 `) `) + the M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

y is M2( the U1 of c

y + L9 is M2( the U1 of c

(y + L9) ` is M2( the U1 of c

x ` is M2( the U1 of c

x + (x `) is M2( the U1 of c

(x + (x `)) ` is M2( the U1 of c

((x + (x `)) `) + x is M2( the U1 of c

(((x + (x `)) `) + x) ` is M2( the U1 of c

z is M2( the U1 of c

x + z is M2( the U1 of c

(x + z) ` is M2( the U1 of c

((((x + (x `)) `) + x) `) + ((x + z) `) is M2( the U1 of c

(((((x + (x `)) `) + x) `) + ((x + z) `)) ` is M2( the U1 of c

((y + L9) `) + ((((((x + (x `)) `) + x) `) + ((x + z) `)) `) is M2( the U1 of c

(((y + L9) `) + ((((((x + (x `)) `) + x) `) + ((x + z) `)) `)) ` is M2( the U1 of c

((L9 + x) `) + ((((y + L9) `) + ((((((x + (x `)) `) + x) `) + ((x + z) `)) `)) `) is M2( the U1 of c

(((L9 + x) `) + ((((y + L9) `) + ((((((x + (x `)) `) + x) `) + ((x + z) `)) `)) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

y is M2( the U1 of c

y + L9 is M2( the U1 of c

(y + L9) ` is M2( the U1 of c

((y + L9) `) + x is M2( the U1 of c

(((y + L9) `) + x) ` is M2( the U1 of c

((L9 + x) `) + ((((y + L9) `) + x) `) is M2( the U1 of c

(((L9 + x) `) + ((((y + L9) `) + x) `)) ` is M2( the U1 of c

the M2( the U1 of c

x ` is M2( the U1 of c

x + the M2( the U1 of c

(x + the M2( the U1 of c

(x `) + ((x + the M2( the U1 of c

((x `) + ((x + the M2( the U1 of c

x + (x `) is M2( the U1 of c

(x + (x `)) ` is M2( the U1 of c

((x + (x `)) `) + x is M2( the U1 of c

(((x + (x `)) `) + x) ` is M2( the U1 of c

x + (((x `) + ((x + the M2( the U1 of c

(x + (((x `) + ((x + the M2( the U1 of c

((((x + (x `)) `) + x) `) + ((x + (((x `) + ((x + the M2( the U1 of c

(((((x + (x `)) `) + x) `) + ((x + (((x `) + ((x + the M2( the U1 of c

((y + L9) `) + ((((((x + (x `)) `) + x) `) + ((x + (((x `) + ((x + the M2( the U1 of c

(((y + L9) `) + ((((((x + (x `)) `) + x) `) + ((x + (((x `) + ((x + the M2( the U1 of c

((L9 + x) `) + ((((y + L9) `) + ((((((x + (x `)) `) + x) `) + ((x + (((x `) + ((x + the M2( the U1 of c

(((L9 + x) `) + ((((y + L9) `) + ((((((x + (x `)) `) + x) `) + ((x + (((x `) + ((x + the M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

L9 ` is M2( the U1 of c

(L9 `) + x is M2( the U1 of c

((L9 `) + x) ` is M2( the U1 of c

((L9 + x) `) + (((L9 `) + x) `) is M2( the U1 of c

(((L9 + x) `) + (((L9 `) + x) `)) ` is M2( the U1 of c

L9 + (L9 `) is M2( the U1 of c

(L9 + (L9 `)) ` is M2( the U1 of c

((L9 + (L9 `)) `) + L9 is M2( the U1 of c

(((L9 + (L9 `)) `) + L9) ` is M2( the U1 of c

((((L9 + (L9 `)) `) + L9) `) + x is M2( the U1 of c

(((((L9 + (L9 `)) `) + L9) `) + x) ` is M2( the U1 of c

((L9 + x) `) + ((((((L9 + (L9 `)) `) + L9) `) + x) `) is M2( the U1 of c

(((L9 + x) `) + ((((((L9 + (L9 `)) `) + L9) `) + x) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

((L9 + x) `) + L9 is M2( the U1 of c

(((L9 + x) `) + L9) ` is M2( the U1 of c

((((L9 + x) `) + L9) `) + ((L9 + x) `) is M2( the U1 of c

(((((L9 + x) `) + L9) `) + ((L9 + x) `)) ` is M2( the U1 of c

L9 + ((L9 + x) `) is M2( the U1 of c

(L9 + ((L9 + x) `)) ` is M2( the U1 of c

L9 ` is M2( the U1 of c

L9 + (L9 `) is M2( the U1 of c

(L9 + (L9 `)) ` is M2( the U1 of c

((L9 + (L9 `)) `) + L9 is M2( the U1 of c

(((L9 + (L9 `)) `) + L9) ` is M2( the U1 of c

((((L9 + (L9 `)) `) + L9) `) + ((L9 + x) `) is M2( the U1 of c

(((((L9 + (L9 `)) `) + L9) `) + ((L9 + x) `)) ` is M2( the U1 of c

((L9 + ((L9 + x) `)) `) + ((((((L9 + (L9 `)) `) + L9) `) + ((L9 + x) `)) `) is M2( the U1 of c

(((L9 + ((L9 + x) `)) `) + ((((((L9 + (L9 `)) `) + L9) `) + ((L9 + x) `)) `)) ` is M2( the U1 of c

((((L9 + x) `) + L9) `) + ((((L9 + ((L9 + x) `)) `) + ((((((L9 + (L9 `)) `) + L9) `) + ((L9 + x) `)) `)) `) is M2( the U1 of c

(((((L9 + x) `) + L9) `) + ((((L9 + ((L9 + x) `)) `) + ((((((L9 + (L9 `)) `) + L9) `) + ((L9 + x) `)) `)) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

((L9 + x) `) + L9 is M2( the U1 of c

(((L9 + x) `) + L9) ` is M2( the U1 of c

L9 + ((((L9 + x) `) + L9) `) is M2( the U1 of c

(L9 + ((((L9 + x) `) + L9) `)) ` is M2( the U1 of c

((((L9 + x) `) + L9) `) + ((L9 + x) `) is M2( the U1 of c

(((((L9 + x) `) + L9) `) + ((L9 + x) `)) ` is M2( the U1 of c

((((((L9 + x) `) + L9) `) + ((L9 + x) `)) `) + ((((L9 + x) `) + L9) `) is M2( the U1 of c

(((((((L9 + x) `) + L9) `) + ((L9 + x) `)) `) + ((((L9 + x) `) + L9) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

y is M2( the U1 of c

((L9 + x) `) + y is M2( the U1 of c

(((L9 + x) `) + y) ` is M2( the U1 of c

L9 + y is M2( the U1 of c

(L9 + y) ` is M2( the U1 of c

((((L9 + x) `) + y) `) + ((L9 + y) `) is M2( the U1 of c

(((((L9 + x) `) + y) `) + ((L9 + y) `)) ` is M2( the U1 of c

((L9 + x) `) + L9 is M2( the U1 of c

(((L9 + x) `) + L9) ` is M2( the U1 of c

((((L9 + x) `) + L9) `) + ((L9 + x) `) is M2( the U1 of c

(((((L9 + x) `) + L9) `) + ((L9 + x) `)) ` is M2( the U1 of c

((((((L9 + x) `) + L9) `) + ((L9 + x) `)) `) + y is M2( the U1 of c

(((((((L9 + x) `) + L9) `) + ((L9 + x) `)) `) + y) ` is M2( the U1 of c

((((L9 + x) `) + y) `) + ((((((((L9 + x) `) + L9) `) + ((L9 + x) `)) `) + y) `) is M2( the U1 of c

(((((L9 + x) `) + y) `) + ((((((((L9 + x) `) + L9) `) + ((L9 + x) `)) `) + y) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

y is M2( the U1 of c

x + y is M2( the U1 of c

(x + y) ` is M2( the U1 of c

x + L9 is M2( the U1 of c

(x + L9) ` is M2( the U1 of c

((x + y) `) + ((x + L9) `) is M2( the U1 of c

(((x + y) `) + ((x + L9) `)) ` is M2( the U1 of c

L9 + ((((x + y) `) + ((x + L9) `)) `) is M2( the U1 of c

(L9 + ((((x + y) `) + ((x + L9) `)) `)) ` is M2( the U1 of c

((x + y) `) + L9 is M2( the U1 of c

(((x + y) `) + L9) ` is M2( the U1 of c

((((x + y) `) + L9) `) + ((x + L9) `) is M2( the U1 of c

(((((x + y) `) + L9) `) + ((x + L9) `)) ` is M2( the U1 of c

((((((x + y) `) + L9) `) + ((x + L9) `)) `) + ((((x + y) `) + ((x + L9) `)) `) is M2( the U1 of c

(((((((x + y) `) + L9) `) + ((x + L9) `)) `) + ((((x + y) `) + ((x + L9) `)) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

y is M2( the U1 of c

((L9 + x) `) + y is M2( the U1 of c

(((L9 + x) `) + y) ` is M2( the U1 of c

L9 ` is M2( the U1 of c

(L9 `) + x is M2( the U1 of c

((L9 `) + x) ` is M2( the U1 of c

((((L9 + x) `) + y) `) + (((L9 `) + x) `) is M2( the U1 of c

(((((L9 + x) `) + y) `) + (((L9 `) + x) `)) ` is M2( the U1 of c

((((((L9 + x) `) + y) `) + (((L9 `) + x) `)) `) + x is M2( the U1 of c

(((((((L9 + x) `) + y) `) + (((L9 `) + x) `)) `) + x) ` is M2( the U1 of c

((L9 + x) `) + (((L9 `) + x) `) is M2( the U1 of c

(((L9 + x) `) + (((L9 `) + x) `)) ` is M2( the U1 of c

((((((L9 + x) `) + y) `) + (((L9 `) + x) `)) `) + ((((L9 + x) `) + (((L9 `) + x) `)) `) is M2( the U1 of c

(((((((L9 + x) `) + y) `) + (((L9 `) + x) `)) `) + ((((L9 + x) `) + (((L9 `) + x) `)) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

y is M2( the U1 of c

x + y is M2( the U1 of c

(x + y) ` is M2( the U1 of c

y + L9 is M2( the U1 of c

(y + L9) ` is M2( the U1 of c

((x + y) `) + ((y + L9) `) is M2( the U1 of c

(((x + y) `) + ((y + L9) `)) ` is M2( the U1 of c

L9 + ((((x + y) `) + ((y + L9) `)) `) is M2( the U1 of c

(L9 + ((((x + y) `) + ((y + L9) `)) `)) ` is M2( the U1 of c

x + L9 is M2( the U1 of c

(x + L9) ` is M2( the U1 of c

((x + L9) `) + ((x + y) `) is M2( the U1 of c

(((x + L9) `) + ((x + y) `)) ` is M2( the U1 of c

y + ((((x + L9) `) + ((x + y) `)) `) is M2( the U1 of c

(y + ((((x + L9) `) + ((x + y) `)) `)) ` is M2( the U1 of c

((y + ((((x + L9) `) + ((x + y) `)) `)) `) + ((y + L9) `) is M2( the U1 of c

(((y + ((((x + L9) `) + ((x + y) `)) `)) `) + ((y + L9) `)) ` is M2( the U1 of c

L9 + ((((y + ((((x + L9) `) + ((x + y) `)) `)) `) + ((y + L9) `)) `) is M2( the U1 of c

(L9 + ((((y + ((((x + L9) `) + ((x + y) `)) `)) `) + ((y + L9) `)) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

y is M2( the U1 of c

y + L9 is M2( the U1 of c

(y + L9) ` is M2( the U1 of c

x ` is M2( the U1 of c

z is M2( the U1 of c

z + x is M2( the U1 of c

(z + x) ` is M2( the U1 of c

(x `) + ((z + x) `) is M2( the U1 of c

((x `) + ((z + x) `)) ` is M2( the U1 of c

((y + L9) `) + (((x `) + ((z + x) `)) `) is M2( the U1 of c

(((y + L9) `) + (((x `) + ((z + x) `)) `)) ` is M2( the U1 of c

((L9 + x) `) + ((((y + L9) `) + (((x `) + ((z + x) `)) `)) `) is M2( the U1 of c

(((L9 + x) `) + ((((y + L9) `) + (((x `) + ((z + x) `)) `)) `)) ` is M2( the U1 of c

z + y is M2( the U1 of c

(z + y) ` is M2( the U1 of c

((z + y) `) + ((z + x) `) is M2( the U1 of c

(((z + y) `) + ((z + x) `)) ` is M2( the U1 of c

x + ((((z + y) `) + ((z + x) `)) `) is M2( the U1 of c

(x + ((((z + y) `) + ((z + x) `)) `)) ` is M2( the U1 of c

(x `) + ((x + ((((z + y) `) + ((z + x) `)) `)) `) is M2( the U1 of c

((x `) + ((x + ((((z + y) `) + ((z + x) `)) `)) `)) ` is M2( the U1 of c

((y + L9) `) + (((x `) + ((x + ((((z + y) `) + ((z + x) `)) `)) `)) `) is M2( the U1 of c

(((y + L9) `) + (((x `) + ((x + ((((z + y) `) + ((z + x) `)) `)) `)) `)) ` is M2( the U1 of c

((L9 + x) `) + ((((y + L9) `) + (((x `) + ((x + ((((z + y) `) + ((z + x) `)) `)) `)) `)) `) is M2( the U1 of c

(((L9 + x) `) + ((((y + L9) `) + (((x `) + ((x + ((((z + y) `) + ((z + x) `)) `)) `)) `)) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

x + L9 is M2( the U1 of c

(x + L9) ` is M2( the U1 of c

((x + L9) `) + x is M2( the U1 of c

(((x + L9) `) + x) ` is M2( the U1 of c

((((x + L9) `) + x) `) + ((x + L9) `) is M2( the U1 of c

(((((x + L9) `) + x) `) + ((x + L9) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

y is M2( the U1 of c

x + y is M2( the U1 of c

(x + y) ` is M2( the U1 of c

((L9 + x) `) + ((x + y) `) is M2( the U1 of c

(((L9 + x) `) + ((x + y) `)) ` is M2( the U1 of c

((((L9 + x) `) + ((x + y) `)) `) + y is M2( the U1 of c

(((((L9 + x) `) + ((x + y) `)) `) + y) ` is M2( the U1 of c

y + ((((L9 + x) `) + ((x + y) `)) `) is M2( the U1 of c

(y + ((((L9 + x) `) + ((x + y) `)) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

y is M2( the U1 of c

((L9 + x) `) + y is M2( the U1 of c

(((L9 + x) `) + y) ` is M2( the U1 of c

L9 + ((((L9 + x) `) + y) `) is M2( the U1 of c

(L9 + ((((L9 + x) `) + y) `)) ` is M2( the U1 of c

((L9 + ((((L9 + x) `) + y) `)) `) + y is M2( the U1 of c

(((L9 + ((((L9 + x) `) + y) `)) `) + y) ` is M2( the U1 of c

((L9 + x) `) + L9 is M2( the U1 of c

(((L9 + x) `) + L9) ` is M2( the U1 of c

((((L9 + x) `) + L9) `) + ((L9 + x) `) is M2( the U1 of c

(((((L9 + x) `) + L9) `) + ((L9 + x) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

((L9 + x) `) + L9 is M2( the U1 of c

(((L9 + x) `) + L9) ` is M2( the U1 of c

((((L9 + x) `) + L9) `) + x is M2( the U1 of c

(((((L9 + x) `) + L9) `) + x) ` is M2( the U1 of c

x + x is M2( the U1 of c

(x + x) ` is M2( the U1 of c

((L9 + x) `) + ((((((L9 + x) `) + L9) `) + x) `) is M2( the U1 of c

(((L9 + x) `) + ((((((L9 + x) `) + L9) `) + x) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

L9 ` is M2( the U1 of c

x is M2( the U1 of c

x + L9 is M2( the U1 of c

(x + L9) ` is M2( the U1 of c

(L9 `) + ((x + L9) `) is M2( the U1 of c

((L9 `) + ((x + L9) `)) ` is M2( the U1 of c

(L9 `) + x is M2( the U1 of c

((L9 `) + x) ` is M2( the U1 of c

(((L9 `) + x) `) + (((L9 `) + ((x + L9) `)) `) is M2( the U1 of c

((((L9 `) + x) `) + (((L9 `) + ((x + L9) `)) `)) ` is M2( the U1 of c

((x + L9) `) + (((((L9 `) + x) `) + (((L9 `) + ((x + L9) `)) `)) `) is M2( the U1 of c

(((x + L9) `) + (((((L9 `) + x) `) + (((L9 `) + ((x + L9) `)) `)) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

x ` is M2( the U1 of c

((L9 + x) `) + (x `) is M2( the U1 of c

(((L9 + x) `) + (x `)) ` is M2( the U1 of c

(x `) + ((L9 + x) `) is M2( the U1 of c

((x `) + ((L9 + x) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 ` is M2( the U1 of c

x + (L9 `) is M2( the U1 of c

(x + (L9 `)) ` is M2( the U1 of c

L9 + ((x + (L9 `)) `) is M2( the U1 of c

(L9 + ((x + (L9 `)) `)) ` is M2( the U1 of c

x + L9 is M2( the U1 of c

(x + L9) ` is M2( the U1 of c

((x + L9) `) + (L9 `) is M2( the U1 of c

(((x + L9) `) + (L9 `)) ` is M2( the U1 of c

((((x + L9) `) + (L9 `)) `) + ((x + (L9 `)) `) is M2( the U1 of c

(((((x + L9) `) + (L9 `)) `) + ((x + (L9 `)) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

L9 + L9 is M2( the U1 of c

(L9 + L9) ` is M2( the U1 of c

L9 ` is M2( the U1 of c

the M2( the U1 of c

the M2( the U1 of c

( the M2( the U1 of c

(( the M2( the U1 of c

((( the M2( the U1 of c

L9 + (((( the M2( the U1 of c

(L9 + (((( the M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

((L9 + x) `) + L9 is M2( the U1 of c

(((L9 + x) `) + L9) ` is M2( the U1 of c

((((L9 + x) `) + L9) `) + x is M2( the U1 of c

(((((L9 + x) `) + L9) `) + x) ` is M2( the U1 of c

x ` is M2( the U1 of c

x + x is M2( the U1 of c

(x + x) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

L9 ` is M2( the U1 of c

(L9 `) ` is M2( the U1 of c

L9 + (L9 `) is M2( the U1 of c

(L9 + (L9 `)) ` is M2( the U1 of c

((L9 + (L9 `)) `) + L9 is M2( the U1 of c

(((L9 + (L9 `)) `) + L9) ` is M2( the U1 of c

((((L9 + (L9 `)) `) + L9) `) + (L9 `) is M2( the U1 of c

(((((L9 + (L9 `)) `) + L9) `) + (L9 `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

((L9 + x) `) + L9 is M2( the U1 of c

(((L9 + x) `) + L9) ` is M2( the U1 of c

((((L9 + x) `) + L9) `) + x is M2( the U1 of c

x ` is M2( the U1 of c

(x `) ` is M2( the U1 of c

(((((L9 + x) `) + L9) `) + x) ` is M2( the U1 of c

((((((L9 + x) `) + L9) `) + x) `) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

((L9 + x) `) ` is M2( the U1 of c

x + L9 is M2( the U1 of c

(x + L9) ` is M2( the U1 of c

((x + L9) `) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

y is M2( the U1 of c

x + y is M2( the U1 of c

(x + y) ` is M2( the U1 of c

x + L9 is M2( the U1 of c

(x + L9) ` is M2( the U1 of c

((x + y) `) + ((x + L9) `) is M2( the U1 of c

(((x + y) `) + ((x + L9) `)) ` is M2( the U1 of c

L9 + ((((x + y) `) + ((x + L9) `)) `) is M2( the U1 of c

((x + L9) `) ` is M2( the U1 of c

(L9 + ((((x + y) `) + ((x + L9) `)) `)) ` is M2( the U1 of c

((L9 + ((((x + y) `) + ((x + L9) `)) `)) `) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

x + L9 is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

((L9 + x) `) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

x + L9 is M2( the U1 of c

c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

((L9 + x) `) + L9 is M2( the U1 of c

(((L9 + x) `) + L9) ` is M2( the U1 of c

((((L9 + x) `) + L9) `) + x is M2( the U1 of c

x ` is M2( the U1 of c

(x `) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

((L9 + x) `) + x is M2( the U1 of c

(((L9 + x) `) + x) ` is M2( the U1 of c

((((L9 + x) `) + x) `) + L9 is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

x + L9 is M2( the U1 of c

(x + L9) ` is M2( the U1 of c

((x + L9) `) + x is M2( the U1 of c

(((x + L9) `) + x) ` is M2( the U1 of c

L9 + ((((x + L9) `) + x) `) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

x ` is M2( the U1 of c

L9 + (x `) is M2( the U1 of c

(L9 + (x `)) ` is M2( the U1 of c

(x `) + x is M2( the U1 of c

((x `) + x) ` is M2( the U1 of c

((L9 + (x `)) `) + (((x `) + x) `) is M2( the U1 of c

x + ((L9 + (x `)) `) is M2( the U1 of c

(x + ((L9 + (x `)) `)) ` is M2( the U1 of c

((x + ((L9 + (x `)) `)) `) + x is M2( the U1 of c

(((x + ((L9 + (x `)) `)) `) + x) ` is M2( the U1 of c

((L9 + (x `)) `) + ((((x + ((L9 + (x `)) `)) `) + x) `) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

x ` is M2( the U1 of c

x + (x `) is M2( the U1 of c

(x + (x `)) ` is M2( the U1 of c

((L9 + x) `) + ((x + (x `)) `) is M2( the U1 of c

(x `) + ((L9 + x) `) is M2( the U1 of c

((x `) + ((L9 + x) `)) ` is M2( the U1 of c

(((x `) + ((L9 + x) `)) `) + (x `) is M2( the U1 of c

((((x `) + ((L9 + x) `)) `) + (x `)) ` is M2( the U1 of c

((L9 + x) `) + (((((x `) + ((L9 + x) `)) `) + (x `)) `) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

x ` is M2( the U1 of c

(x `) + x is M2( the U1 of c

((x `) + x) ` is M2( the U1 of c

((L9 + x) `) + (((x `) + x) `) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

x ` is M2( the U1 of c

L9 + (x `) is M2( the U1 of c

(L9 + (x `)) ` is M2( the U1 of c

((L9 + (x `)) `) ` is M2( the U1 of c

(((L9 + (x `)) `) `) + x is M2( the U1 of c

((((L9 + (x `)) `) `) + x) ` is M2( the U1 of c

(x `) + x is M2( the U1 of c

((x `) + x) ` is M2( the U1 of c

((L9 + (x `)) `) + (((x `) + x) `) is M2( the U1 of c

(((L9 + (x `)) `) + (((x `) + x) `)) ` is M2( the U1 of c

((((L9 + (x `)) `) + (((x `) + x) `)) `) + x is M2( the U1 of c

(((((L9 + (x `)) `) + (((x `) + x) `)) `) + x) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

x ` is M2( the U1 of c

L9 + (x `) is M2( the U1 of c

(L9 + (x `)) + x is M2( the U1 of c

((L9 + (x `)) + x) ` is M2( the U1 of c

(x `) + x is M2( the U1 of c

((x `) + x) ` is M2( the U1 of c

(L9 + (x `)) ` is M2( the U1 of c

((L9 + (x `)) `) ` is M2( the U1 of c

(((L9 + (x `)) `) `) + x is M2( the U1 of c

((((L9 + (x `)) `) `) + x) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

x ` is M2( the U1 of c

L9 + (x `) is M2( the U1 of c

y is M2( the U1 of c

(L9 + (x `)) + y is M2( the U1 of c

((L9 + (x `)) + y) ` is M2( the U1 of c

(((L9 + (x `)) + y) `) + x is M2( the U1 of c

((((L9 + (x `)) + y) `) + x) ` is M2( the U1 of c

(x `) + x is M2( the U1 of c

((x `) + x) ` is M2( the U1 of c

(((((L9 + (x `)) + y) `) + x) `) + (((x `) + x) `) is M2( the U1 of c

((((((L9 + (x `)) + y) `) + x) `) + (((x `) + x) `)) ` is M2( the U1 of c

(L9 + (x `)) + x is M2( the U1 of c

((L9 + (x `)) + x) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

y is M2( the U1 of c

x + y is M2( the U1 of c

(x + y) ` is M2( the U1 of c

x + L9 is M2( the U1 of c

(x + L9) ` is M2( the U1 of c

((x + y) `) + ((x + L9) `) is M2( the U1 of c

(((x + y) `) + ((x + L9) `)) ` is M2( the U1 of c

L9 + ((((x + y) `) + ((x + L9) `)) `) is M2( the U1 of c

((x + L9) `) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

y is M2( the U1 of c

y + x is M2( the U1 of c

(y + x) ` is M2( the U1 of c

((y + x) `) + L9 is M2( the U1 of c

(((y + x) `) + L9) ` is M2( the U1 of c

x + ((((y + x) `) + L9) `) is M2( the U1 of c

(x + ((((y + x) `) + L9) `)) ` is M2( the U1 of c

L9 + ((x + ((((y + x) `) + L9) `)) `) is M2( the U1 of c

x ` is M2( the U1 of c

((y + x) `) + (x `) is M2( the U1 of c

(((y + x) `) + (x `)) ` is M2( the U1 of c

((((y + x) `) + (x `)) `) + ((((y + x) `) + L9) `) is M2( the U1 of c

(((((y + x) `) + (x `)) `) + ((((y + x) `) + L9) `)) ` is M2( the U1 of c

L9 + ((((((y + x) `) + (x `)) `) + ((((y + x) `) + L9) `)) `) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

x + L9 is M2( the U1 of c

(x + L9) ` is M2( the U1 of c

y is M2( the U1 of c

x + y is M2( the U1 of c

(x + y) ` is M2( the U1 of c

((x + L9) `) + ((x + y) `) is M2( the U1 of c

(((x + L9) `) + ((x + y) `)) ` is M2( the U1 of c

L9 + ((((x + L9) `) + ((x + y) `)) `) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

y is M2( the U1 of c

L9 + y is M2( the U1 of c

(L9 + y) ` is M2( the U1 of c

((L9 + x) `) + ((L9 + y) `) is M2( the U1 of c

(((L9 + x) `) + ((L9 + y) `)) ` is M2( the U1 of c

((L9 + x) `) + ((((L9 + x) `) + ((L9 + y) `)) `) is M2( the U1 of c

(((L9 + x) `) + ((((L9 + x) `) + ((L9 + y) `)) `)) ` is M2( the U1 of c

((((L9 + x) `) + ((((L9 + x) `) + ((L9 + y) `)) `)) `) + x is M2( the U1 of c

x + ((((L9 + x) `) + ((L9 + y) `)) `) is M2( the U1 of c

(x + ((((L9 + x) `) + ((L9 + y) `)) `)) ` is M2( the U1 of c

((x + ((((L9 + x) `) + ((L9 + y) `)) `)) `) + ((((L9 + x) `) + ((L9 + y) `)) `) is M2( the U1 of c

(((x + ((((L9 + x) `) + ((L9 + y) `)) `)) `) + ((((L9 + x) `) + ((L9 + y) `)) `)) ` is M2( the U1 of c

((((x + ((((L9 + x) `) + ((L9 + y) `)) `)) `) + ((((L9 + x) `) + ((L9 + y) `)) `)) `) + x is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

x ` is M2( the U1 of c

L9 + (x `) is M2( the U1 of c

y is M2( the U1 of c

(L9 + (x `)) + y is M2( the U1 of c

((L9 + (x `)) + y) ` is M2( the U1 of c

(((L9 + (x `)) + y) `) + x is M2( the U1 of c

((((L9 + (x `)) + y) `) + x) ` is M2( the U1 of c

(((((L9 + (x `)) + y) `) + x) `) ` is M2( the U1 of c

(x `) + x is M2( the U1 of c

((x `) + x) ` is M2( the U1 of c

(((((L9 + (x `)) + y) `) + x) `) + (((x `) + x) `) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 ` is M2( the U1 of c

x + (L9 `) is M2( the U1 of c

y is M2( the U1 of c

(x + (L9 `)) + y is M2( the U1 of c

((x + (L9 `)) + y) ` is M2( the U1 of c

L9 + (((x + (L9 `)) + y) `) is M2( the U1 of c

(((x + (L9 `)) + y) `) + L9 is M2( the U1 of c

((((x + (L9 `)) + y) `) + L9) ` is M2( the U1 of c

(((((x + (L9 `)) + y) `) + L9) `) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

L9 ` is M2( the U1 of c

x is M2( the U1 of c

x + L9 is M2( the U1 of c

y is M2( the U1 of c

(x + L9) + y is M2( the U1 of c

((x + L9) + y) ` is M2( the U1 of c

(L9 `) + (((x + L9) + y) `) is M2( the U1 of c

(L9 `) ` is M2( the U1 of c

x + ((L9 `) `) is M2( the U1 of c

(x + ((L9 `) `)) + y is M2( the U1 of c

((x + ((L9 `) `)) + y) ` is M2( the U1 of c

(L9 `) + (((x + ((L9 `) `)) + y) `) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

((L9 + x) `) + L9 is M2( the U1 of c

x ` is M2( the U1 of c

L9 + (x `) is M2( the U1 of c

(((L9 + x) `) + L9) ` is M2( the U1 of c

x + ((((L9 + x) `) + L9) `) is M2( the U1 of c

(x + ((((L9 + x) `) + L9) `)) ` is M2( the U1 of c

L9 + ((x + ((((L9 + x) `) + L9) `)) `) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

x ` is M2( the U1 of c

L9 + (x `) is M2( the U1 of c

(L9 + (x `)) ` is M2( the U1 of c

L9 + ((L9 + (x `)) `) is M2( the U1 of c

(L9 + ((L9 + (x `)) `)) ` is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

((L9 + x) `) + L9 is M2( the U1 of c

(((L9 + x) `) + L9) ` is M2( the U1 of c

L9 + ((((L9 + x) `) + L9) `) is M2( the U1 of c

(L9 + ((((L9 + x) `) + L9) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

y is M2( the U1 of c

L9 + y is M2( the U1 of c

((L9 + x) `) + (L9 + y) is M2( the U1 of c

(((L9 + x) `) + (L9 + y)) ` is M2( the U1 of c

((((L9 + x) `) + (L9 + y)) `) + x is M2( the U1 of c

(L9 + y) ` is M2( the U1 of c

((L9 + x) `) + ((L9 + y) `) is M2( the U1 of c

(((L9 + x) `) + ((L9 + y) `)) ` is M2( the U1 of c

((L9 + x) `) + ((((L9 + x) `) + ((L9 + y) `)) `) is M2( the U1 of c

(((L9 + x) `) + ((((L9 + x) `) + ((L9 + y) `)) `)) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

y is M2( the U1 of c

((L9 + x) `) + y is M2( the U1 of c

(((L9 + x) `) + y) ` is M2( the U1 of c

L9 ` is M2( the U1 of c

(L9 `) + x is M2( the U1 of c

((L9 `) + x) ` is M2( the U1 of c

((((L9 + x) `) + y) `) + (((L9 `) + x) `) is M2( the U1 of c

(((((L9 + x) `) + y) `) + (((L9 `) + x) `)) ` is M2( the U1 of c

((((((L9 + x) `) + y) `) + (((L9 `) + x) `)) `) + x is M2( the U1 of c

(((L9 `) + x) `) ` is M2( the U1 of c

(((((((L9 + x) `) + y) `) + (((L9 `) + x) `)) `) + x) ` is M2( the U1 of c

((((((((L9 + x) `) + y) `) + (((L9 `) + x) `)) `) + x) `) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

y is M2( the U1 of c

((L9 + x) `) + y is M2( the U1 of c

(((L9 + x) `) + y) ` is M2( the U1 of c

L9 ` is M2( the U1 of c

(L9 `) + x is M2( the U1 of c

((L9 `) + x) ` is M2( the U1 of c

((((L9 + x) `) + y) `) + (((L9 `) + x) `) is M2( the U1 of c

(((((L9 + x) `) + y) `) + (((L9 `) + x) `)) ` is M2( the U1 of c

((((((L9 + x) `) + y) `) + (((L9 `) + x) `)) `) + x is M2( the U1 of c

(((L9 `) + x) `) ` is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

L9 ` is M2( the U1 of c

x is M2( the U1 of c

x + L9 is M2( the U1 of c

(x + L9) ` is M2( the U1 of c

((x + L9) `) ` is M2( the U1 of c

y is M2( the U1 of c

x + y is M2( the U1 of c

(((x + L9) `) `) + (x + y) is M2( the U1 of c

((((x + L9) `) `) + (x + y)) ` is M2( the U1 of c

(L9 `) + (((((x + L9) `) `) + (x + y)) `) is M2( the U1 of c

((L9 `) + (((((x + L9) `) `) + (x + y)) `)) ` is M2( the U1 of c

(((L9 `) + (((((x + L9) `) `) + (x + y)) `)) `) + (x + y) is M2( the U1 of c

((x + L9) `) + (x + y) is M2( the U1 of c

(((x + L9) `) + (x + y)) ` is M2( the U1 of c

((((x + L9) `) + (x + y)) `) + L9 is M2( the U1 of c

(((((x + L9) `) + (x + y)) `) + L9) ` is M2( the U1 of c

((((((x + L9) `) + (x + y)) `) + L9) `) + (((((x + L9) `) `) + (x + y)) `) is M2( the U1 of c

(((((((x + L9) `) + (x + y)) `) + L9) `) + (((((x + L9) `) `) + (x + y)) `)) ` is M2( the U1 of c

((((((((x + L9) `) + (x + y)) `) + L9) `) + (((((x + L9) `) `) + (x + y)) `)) `) + (x + y) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

L9 ` is M2( the U1 of c

x is M2( the U1 of c

x + L9 is M2( the U1 of c

y is M2( the U1 of c

x + y is M2( the U1 of c

(x + L9) + (x + y) is M2( the U1 of c

((x + L9) + (x + y)) ` is M2( the U1 of c

(L9 `) + (((x + L9) + (x + y)) `) is M2( the U1 of c

((L9 `) + (((x + L9) + (x + y)) `)) ` is M2( the U1 of c

(((L9 `) + (((x + L9) + (x + y)) `)) `) + (x + y) is M2( the U1 of c

(x + L9) ` is M2( the U1 of c

((x + L9) `) ` is M2( the U1 of c

(((x + L9) `) `) + (x + y) is M2( the U1 of c

((((x + L9) `) `) + (x + y)) ` is M2( the U1 of c

(L9 `) + (((((x + L9) `) `) + (x + y)) `) is M2( the U1 of c

((L9 `) + (((((x + L9) `) `) + (x + y)) `)) ` is M2( the U1 of c

(((L9 `) + (((((x + L9) `) `) + (x + y)) `)) `) + (x + y) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

L9 ` is M2( the U1 of c

x is M2( the U1 of c

x + L9 is M2( the U1 of c

y is M2( the U1 of c

x + y is M2( the U1 of c

(x + L9) + (x + y) is M2( the U1 of c

((x + L9) + (x + y)) ` is M2( the U1 of c

(L9 `) + (((x + L9) + (x + y)) `) is M2( the U1 of c

((L9 `) + (((x + L9) + (x + y)) `)) ` is M2( the U1 of c

(((L9 `) + (((x + L9) + (x + y)) `)) `) + (x + y) is M2( the U1 of c

(x + L9) ` is M2( the U1 of c

((x + L9) `) ` is M2( the U1 of c

(((x + L9) `) `) + (x + y) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

L9 ` is M2( the U1 of c

(L9 `) ` is M2( the U1 of c

x is M2( the U1 of c

y is M2( the U1 of c

x + y is M2( the U1 of c

((L9 `) `) + (x + y) is M2( the U1 of c

x + L9 is M2( the U1 of c

(x + L9) + (x + y) is M2( the U1 of c

((x + L9) + (x + y)) ` is M2( the U1 of c

(L9 `) + (((x + L9) + (x + y)) `) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

y is M2( the U1 of c

L9 + y is M2( the U1 of c

(L9 + x) + (L9 + y) is M2( the U1 of c

x + (L9 + y) is M2( the U1 of c

x ` is M2( the U1 of c

(x `) ` is M2( the U1 of c

((x `) `) + (L9 + y) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

y is M2( the U1 of c

L9 + y is M2( the U1 of c

(L9 + x) + (L9 + y) is M2( the U1 of c

y + (L9 + x) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

y is M2( the U1 of c

x + y is M2( the U1 of c

L9 + (x + y) is M2( the U1 of c

x + L9 is M2( the U1 of c

y + (x + L9) is M2( the U1 of c

(x + L9) + (x + y) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

y is M2( the U1 of c

x + y is M2( the U1 of c

L9 + (x + y) is M2( the U1 of c

y + L9 is M2( the U1 of c

x + (y + L9) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

y is M2( the U1 of c

(L9 + x) + y is M2( the U1 of c

x + y is M2( the U1 of c

L9 + (x + y) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

y is M2( the U1 of c

(L9 + x) + y is M2( the U1 of c

x + y is M2( the U1 of c

L9 + (x + y) is M2( the U1 of c

c

the U1 of c

L9 is M2( the U1 of c

x is M2( the U1 of c

L9 + x is M2( the U1 of c

(L9 + x) ` is M2( the U1 of c

x ` is M2( the U1 of c

L9 + (x `) is M2( the U1 of c

(L9 + (x `)) ` is M2( the U1 of c

((L9 + x) `) + ((L9 + (x `)) `) is M2( the U1 of c

(((L9 + x) `) + ((L9 + (x `)) `)) ` is M2( the U1 of c

c

c

c

the U1 of c

x is M2( the U1 of c

L9 is M2( the U1 of c

x + L9 is M2( the U1 of c

L9 ` is M2( the U1 of c

x + (L9 `) is M2( the U1 of c

(x + L9) *' (x + (L9 `)) is M2( the U1 of c

y is non empty join-commutative join-associative upper-bounded Huntington join-idempotent ComplLLattStr

the U1 of y is V11() set

z is M2( the U1 of y)

Z is M2( the U1 of y)

z + Z is M2( the U1 of y)

Z ` is M2( the U1 of y)

z + (Z `) is M2( the U1 of y)

(z + Z) *' (z + (Z `)) is M2( the U1 of y)

Z *' (Z `) is M2( the U1 of y)

z + (Z *' (Z `)) is M2( the U1 of y)

Bot y is M2( the U1 of y)

z + (Bot y) is M2( the U1 of y)

c

the U1 of c

x is M2( the U1 of c

y is M2( the U1 of c

x + y is M2( the U1 of c

(x + y) ` is M2( the U1 of c

z is M2( the U1 of c

((x + y) `) + z is M2( the U1 of c

(((x + y) `) + z) ` is M2( the U1 of c

z ` is M2( the U1 of c

Z is M2( the U1 of c

z + Z is M2( the U1 of c

(z + Z) ` is M2( the U1 of c

(z `) + ((z + Z) `) is M2( the U1 of c

((z `) + ((z + Z) `)) ` is M2( the U1 of c

x + (((z `) + ((z + Z) `)) `) is M2( the U1 of c

(x + (((z `) + ((z + Z) `)) `)) ` is M2( the U1 of c