2
2&1|1<=1^(2|1)
1 1 1
3
x&z|x<=z^(x|1)
2 1 1
0 0 1
3