eq
x
x
true
not
eq
x
y
neq
x
y
not
neq
x
y
eq
x
y
not
true
false
not
false
true
not
not
x
x
not
and
x
y
or
not
x
not
y
not
or
x
y
and
not
x
not
y
neq
x
x
false
or
and
x
y
z
and
or
x
z
or
y
z
or
x
x
x
or
x
true
true
or
x
false
x
and
x
x
x
and
x
true
x
and
x
false
false
and
x
or
x
y
x
or
and
eq
neq
or
and
2.2
and
x
y
and
y
x
or
x
or
y
z
or
or
x
y
z
and
x
and
y
z
and
and
x
y
z
neq
x
y
neq
y
x
or
x
y
or
y
x
eq
x
y
eq
y
x
and
x
y
and
y
x
neq
x
y
neq
y
x
and
x
and
y
z
and
and
x
y
z
and
x
and
y
z
and
x
y
or
x
y
or
y
x
eq
x
y
eq
y
x
or
x
or
y
z
or
or
x
y
z
or
x
or
y
z
or
x
y
not
and
x
y
not
x
or
and
x
y
z
or
x
z
not
and
x
y
not
y
or
and
x
y
z
or
y
z
not
and
x
y
or
not
x
not
y
not
or
x
y
not
x
not
or
x
y
and
not
x
not
y
not
eq
x
y
neq
x
y
or
and
x
y
z
and
or
x
z
or
y
z
not
neq
x
y
eq
x
y
not
or
x
y
not
y
or
or
x
false
_1
or
x
_1
or
or
x
x
_1
or
x
_1
or
or
x
true
_1
or
true
_1
and
and
x
x
_1
and
x
_1
or
or
and
x
y
z
_1
or
and
or
x
z
or
y
z
_1
and
and
x
or
x
y
_1
and
x
_1
and
and
x
false
_1
and
false
_1
and
and
x
true
_1
and
x
_1
not
or
x
y
not
y
not
or
x
y
not
x
not
and
x
y
not
x
not
and
x
y
not
y
true
neq
2
0
and
2
1
2
1
eq
2
0
false
0
0
true
0
0
eq
2
0
not
1
1
0
neq
2
0
or
2
1
2
1
or
2
0
and
2
0
not
1
0
not
and
x
y
not
y
not
and
x
y
not
x
not
or
x
y
not
x
not
or
x
y
not
y
not
eq
x
y
neq
x
y
false
neq
x
y
neq
y
x
true
not
and
x
y
or
not
x
not
y
false
or
x
or
y
z
or
x
y
or
x
y
or
y
x
or
x
or
y
z
or
or
x
y
z
or
and
x
y
z
or
x
z
or
and
x
y
z
or
y
z
true
neq
2
0
and
2
1
1
2
eq
2
0
false
0
0
true
0
0
eq
2
0
not
1
0
neq
2
0
or
2
2
1
2
or
2
2
1
2
and
2
1
not
1
0
neq
2
0
and
2
1
0
2
0
0
eq
2
0
false
0
0
true
0
0
eq
2
0
not
1
0
neq
2
0
or
2
1
0
2
0
0
or
2
1
0
2
0
0
and
2
0
not
1
0
or
and
x
y
z
or
y
z
or
and
x
y
z
or
x
z
or
x
or
y
z
or
x
y
and
x
true
x
and
x
false
false
or
x
y
or
y
x
and
x
or
x
y
x
and
x
and
y
z
and
and
x
y
z
or
and
x
y
z
and
or
x
z
or
y
z
or
x
or
y
z
or
or
x
y
z
and
x
x
x
or
x
true
true
and
x
y
and
y
x
or
x
x
x
or
x
false
x
or
x
y
or
y
x
or
x
or
y
z
or
or
x
y
z
true
or
and
x
y
z
and
or
x
z
or
y
z
false
not
neq
x
y
eq
x
y
false
eq
x
y
eq
y
x
true
not
or
x
y
and
not
x
not
y
false
and
x
and
y
z
and
x
y
and
x
and
y
z
and
and
x
y
z
and
x
y
and
y
x
true
and
and
x
or
x
y
_1
and
x
_1
and
and
x
x
_1
and
x
_1
and
and
x
false
_1
and
false
_1
and
x
y
and
y
x
and
x
and
y
z
and
and
x
y
z
and
and
x
true
_1
and
x
_1
and
x
and
y
z
and
x
y
true
neq
2
0
and
2
1
2
1
eq
2
0
false
0
16085
true
0
33036
eq
2
0
not
1
0
neq
2
0
or
2
1
2
11293
or
2
0
and
2
1
2
0
not
1
0
and
x
and
y
z
and
x
y
and
and
x
true
_1
and
x
_1
and
and
x
false
_1
and
false
_1
and
and
x
x
_1
and
x
_1
and
and
x
or
x
y
_1
and
x
_1
and
x
true
x
and
x
false
false
and
x
or
x
y
x
and
x
and
y
z
and
and
x
y
z
and
x
x
x
and
x
y
and
y
x
and
x
and
y
z
and
and
x
y
z
and
x
y
and
y
x
true
or
x
or
y
z
or
or
x
y
z
or
x
y
or
y
x
or
or
x
true
_1
or
true
_1
or
or
x
x
_1
or
x
_1
or
x
or
y
z
or
x
y
or
or
and
x
y
z
_1
or
and
or
x
z
or
y
z
_1
or
or
x
false
_1
or
x
_1
true
neq
2
0
and
2
0
1
2
eq
2
0
false
0
2
true
0
2
eq
2
0
not
1
0
neq
2
0
or
2
1
1
2
or
2
1
1
2
and
2
0
not
1
0
neq
2
0
and
2
1
0
2
0
0
eq
2
0
false
0
0
true
0
0
eq
2
0
not
1
0
neq
2
0
or
2
1
0
2
0
0
or
2
1
0
2
0
0
and
2
0
not
1
0
or
or
x
false
_1
or
x
_1
or
or
and
x
y
z
_1
or
and
or
x
z
or
y
z
_1
or
x
or
y
z
or
x
y
or
or
x
x
_1
or
x
_1
or
or
x
true
_1
or
true
_1
and
x
true
x
and
x
false
false
or
x
y
or
y
x
and
x
or
x
y
x
and
x
and
y
z
and
and
x
y
z
or
and
x
y
z
and
or
x
z
or
y
z
or
x
or
y
z
or
or
x
y
z
and
x
x
x
or
x
true
true
and
x
y
and
y
x
or
x
x
x
or
x
false
x
or
x
y
or
y
x
or
x
or
y
z
or
or
x
y
z
true
NaTT
certifiable-1.6