xor
F
x
x
xor
neg
x
x
F
and
T
x
x
and
F
x
F
and
x
x
x
and
xor
x
y
z
xor
and
x
z
and
y
z
xor
x
x
F
impl
x
y
xor
and
x
y
xor
T
x
or
x
y
xor
and
x
y
xor
x
y
equiv
x
y
xor
xor
T
y
x
neg
x
xor
T
x
or
xor
and
or
xor
and
2.2
or
x
y
or
y
x
or
x
or
y
z
or
or
x
y
z
xor
x
xor
y
z
xor
xor
x
y
z
and
x
y
and
y
x
and
x
and
y
z
and
and
x
y
z
xor
x
y
xor
y
x
or
x
or
y
z
or
or
x
y
z
xor
x
xor
y
z
xor
xor
x
y
z
xor
x
xor
y
z
xor
x
y
or
x
or
y
z
or
x
y
and
x
and
y
z
and
x
y
xor
x
y
xor
y
x
and
x
and
y
z
and
and
x
y
z
and
x
y
and
y
x
or
x
y
or
y
x
and
xor
x
y
z
and
x
z
or
x
y
and
x
y
equiv
x
y
xor
xor
T
y
x
equiv
x
y
xor
T
y
impl
x
y
xor
T
x
or
x
y
xor
x
y
or
x
y
xor
and
x
y
xor
x
y
impl
x
y
and
x
y
and
xor
x
y
z
and
y
z
and
xor
x
y
z
xor
and
x
z
and
y
z
neg
x
xor
T
x
impl
x
y
xor
and
x
y
xor
T
x
xor
xor
neg
x
x
_1
xor
F
_1
and
and
xor
x
y
z
_1
and
xor
and
x
z
and
y
z
_1
or
or
x
y
_1
or
xor
and
x
y
xor
x
y
_1
xor
xor
x
x
_1
xor
F
_1
and
and
x
x
_1
and
x
_1
and
and
T
x
_1
and
x
_1
xor
xor
F
x
_1
xor
x
_1
and
and
F
x
_1
and
F
_1
impl
x
y
xor
and
x
y
xor
T
x
false
equiv
x
y
xor
T
y
false
neg
x
xor
T
x
false
equiv
x
y
xor
xor
T
y
x
false
impl
x
y
and
x
y
false
or
x
y
or
y
x
or
x
or
y
z
or
or
x
y
z
or
x
or
y
z
or
x
y
true
or
x
y
xor
and
x
y
xor
x
y
false
or
x
y
and
x
y
false
or
x
y
xor
x
y
false
and
x
y
and
y
x
and
xor
x
y
z
and
y
z
and
x
and
y
z
and
and
x
y
z
and
x
and
y
z
and
x
y
and
xor
x
y
z
and
x
z
true
T
0
0
F
0
0
and
2
2
1
2
impl
2
0
1
2
equiv
2
0
1
2
or
2
0
neg
1
0
impl
2
0
2
1
xor
2
1
equiv
2
0
1
2
or
2
0
neg
1
0
xor
2
1
1
2
and
2
2
1
2
T
0
0
F
0
0
and
2
1
0
2
0
0
impl
2
1
0
2
0
0
equiv
2
1
0
2
0
0
or
2
0
neg
1
0
impl
2
1
0
2
0
0
xor
2
0
equiv
2
1
0
2
0
0
or
2
0
neg
1
0
xor
2
1
0
2
0
0
and
2
1
0
2
0
0
and
xor
x
y
z
and
x
z
and
x
and
y
z
and
x
y
and
xor
x
y
z
and
y
z
and
F
x
F
xor
x
y
xor
y
x
xor
F
x
x
and
T
x
x
and
x
and
y
z
and
and
x
y
z
and
x
y
and
y
x
and
x
x
x
xor
x
x
F
xor
x
xor
y
z
xor
xor
x
y
z
and
xor
x
y
z
xor
and
x
z
and
y
z
xor
neg
x
x
F
and
x
and
y
z
and
and
x
y
z
and
x
y
and
y
x
true
and
xor
x
y
z
xor
and
x
z
and
y
z
false
impl
x
y
xor
T
x
false
xor
x
xor
y
z
xor
x
y
xor
x
y
xor
y
x
xor
x
xor
y
z
xor
xor
x
y
z
true
or
or
x
y
_1
or
xor
and
x
y
xor
x
y
_1
or
x
y
or
y
x
or
x
or
y
z
or
or
x
y
z
or
x
or
y
z
or
x
y
true
T
0
0
F
0
0
and
2
2
1
2
impl
2
0
1
2
equiv
2
0
1
2
or
2
3
1
2
neg
1
0
impl
2
0
2
1
xor
2
1
equiv
2
0
1
2
or
2
3
1
2
neg
1
0
xor
2
1
1
2
and
2
2
1
2
T
0
0
F
0
0
and
2
1
0
2
0
0
impl
2
1
0
2
0
0
equiv
2
1
0
2
0
0
or
2
1
0
2
0
0
neg
1
0
impl
2
1
0
2
0
0
xor
2
0
equiv
2
1
0
2
0
0
or
2
1
0
2
0
0
neg
1
0
xor
2
1
0
2
0
0
and
2
1
0
2
0
0
or
x
or
y
z
or
x
y
or
or
x
y
_1
or
xor
and
x
y
xor
x
y
_1
and
F
x
F
xor
x
y
xor
y
x
xor
F
x
x
and
T
x
x
and
x
and
y
z
and
and
x
y
z
and
x
y
and
y
x
and
x
x
x
xor
x
x
F
xor
x
xor
y
z
xor
xor
x
y
z
or
x
or
y
z
or
or
x
y
z
or
x
y
xor
and
x
y
xor
x
y
or
x
y
or
y
x
and
xor
x
y
z
xor
and
x
z
and
y
z
xor
neg
x
x
F
or
x
or
y
z
or
or
x
y
z
or
x
y
or
y
x
true
and
and
x
x
_1
and
x
_1
and
and
xor
x
y
z
_1
and
xor
and
x
z
and
y
z
_1
and
x
y
and
y
x
and
and
F
x
_1
and
F
_1
and
x
and
y
z
and
x
y
and
x
and
y
z
and
and
x
y
z
and
and
T
x
_1
and
x
_1
true
T
0
3
F
0
0
and
2
2
1
2
impl
2
0
1
2
equiv
2
0
1
2
or
2
3
1
2
neg
1
0
impl
2
0
2
1
xor
2
1
equiv
2
0
1
2
or
2
3
1
2
neg
1
0
xor
2
1
1
2
and
2
2
1
2
T
0
0
F
0
0
and
2
1
0
2
0
0
impl
2
1
0
2
0
0
equiv
2
1
0
2
0
0
or
2
1
0
2
0
0
neg
1
0
impl
2
1
0
2
0
0
xor
2
0
equiv
2
1
0
2
0
0
or
2
1
0
2
0
0
neg
1
0
xor
2
1
0
2
0
0
and
2
1
0
2
0
0
and
and
T
x
_1
and
x
_1
and
x
and
y
z
and
x
y
and
and
F
x
_1
and
F
_1
and
and
xor
x
y
z
_1
and
xor
and
x
z
and
y
z
_1
and
and
x
x
_1
and
x
_1
and
F
x
F
xor
x
y
xor
y
x
xor
F
x
x
and
T
x
x
and
x
and
y
z
and
and
x
y
z
and
x
y
and
y
x
and
x
x
x
xor
x
x
F
xor
x
xor
y
z
xor
xor
x
y
z
or
x
or
y
z
or
or
x
y
z
or
x
y
xor
and
x
y
xor
x
y
or
x
y
or
y
x
and
xor
x
y
z
xor
and
x
z
and
y
z
xor
neg
x
x
F
and
x
and
y
z
and
and
x
y
z
and
x
y
and
y
x
true
xor
xor
x
x
_1
xor
F
_1
xor
xor
F
x
_1
xor
x
_1
xor
xor
neg
x
x
_1
xor
F
_1
xor
x
xor
y
z
xor
xor
x
y
z
xor
x
y
xor
y
x
xor
x
xor
y
z
xor
x
y
true
T
0
1
F
0
23677
and
2
23676
impl
2
0
equiv
2
0
or
2
1
neg
1
1
impl
2
0
xor
2
1
2
0
equiv
2
0
or
2
0
neg
1
0
xor
2
1
2
23678
and
2
0
xor
x
xor
y
z
xor
x
y
xor
xor
neg
x
x
_1
xor
F
_1
xor
xor
F
x
_1
xor
x
_1
xor
xor
x
x
_1
xor
F
_1
xor
x
y
xor
y
x
xor
F
x
x
xor
x
x
F
xor
x
xor
y
z
xor
xor
x
y
z
xor
neg
x
x
F
xor
x
y
xor
y
x
xor
x
xor
y
z
xor
xor
x
y
z
true
NaTT
certifiable-1.6