&  000 = 0
|  000 = 0
^  000 = 0
~& 000 = 1
~| 000 = 1
~^ 000 = 1
^~ 000 = 1
&  001 = 0
|  001 = 1
^  001 = 1
~& 001 = 1
~| 001 = 0
~^ 001 = 0
^~ 001 = 0
&  010 = 0
|  010 = 1
^  010 = 1
~& 010 = 1
~| 010 = 0
~^ 010 = 0
^~ 010 = 0
&  011 = 0
|  011 = 1
^  011 = 0
~& 011 = 1
~| 011 = 0
~^ 011 = 1
^~ 011 = 1
&  100 = 0
|  100 = 1
^  100 = 1
~& 100 = 1
~| 100 = 0
~^ 100 = 0
^~ 100 = 0
&  101 = 0
|  101 = 1
^  101 = 0
~& 101 = 1
~| 101 = 0
~^ 101 = 1
^~ 101 = 1
&  110 = 0
|  110 = 1
^  110 = 0
~& 110 = 1
~| 110 = 0
~^ 110 = 1
^~ 110 = 1
&  111 = 1
|  111 = 1
^  111 = 1
~& 111 = 0
~| 111 = 0
~^ 111 = 0
^~ 111 = 0
00 &  00 = 00
00 |  00 = 00
00 ^  00 = 00
00 ~^ 00 = 11
00 ^~ 00 = 11
00 &  01 = 00
00 |  01 = 01
00 ^  01 = 01
00 ~^ 01 = 10
00 ^~ 01 = 10
00 &  10 = 00
00 |  10 = 10
00 ^  10 = 10
00 ~^ 10 = 01
00 ^~ 10 = 01
00 &  11 = 00
00 |  11 = 11
00 ^  11 = 11
00 ~^ 11 = 00
00 ^~ 11 = 00
01 &  00 = 00
01 |  00 = 01
01 ^  00 = 01
01 ~^ 00 = 10
01 ^~ 00 = 10
01 &  01 = 01
01 |  01 = 01
01 ^  01 = 00
01 ~^ 01 = 11
01 ^~ 01 = 11
01 &  10 = 00
01 |  10 = 11
01 ^  10 = 11
01 ~^ 10 = 00
01 ^~ 10 = 00
01 &  11 = 01
01 |  11 = 11
01 ^  11 = 10
01 ~^ 11 = 01
01 ^~ 11 = 01
10 &  00 = 00
10 |  00 = 10
10 ^  00 = 10
10 ~^ 00 = 01
10 ^~ 00 = 01
10 &  01 = 00
10 |  01 = 11
10 ^  01 = 11
10 ~^ 01 = 00
10 ^~ 01 = 00
10 &  10 = 10
10 |  10 = 10
10 ^  10 = 00
10 ~^ 10 = 11
10 ^~ 10 = 11
10 &  11 = 10
10 |  11 = 11
10 ^  11 = 01
10 ~^ 11 = 10
10 ^~ 11 = 10
11 &  00 = 00
11 |  00 = 11
11 ^  00 = 11
11 ~^ 00 = 00
11 ^~ 00 = 00
11 &  01 = 01
11 |  01 = 11
11 ^  01 = 10
11 ~^ 01 = 01
11 ^~ 01 = 01
11 &  10 = 10
11 |  10 = 11
11 ^  10 = 01
11 ~^ 10 = 10
11 ^~ 10 = 10
11 &  11 = 11
11 |  11 = 11
11 ^  11 = 00
11 ~^ 11 = 11
11 ^~ 11 = 11
Final state:
top:
  start_instance = False