0 = a 1 | b 2
1 = b 0
2 = a 3 | b 2
3 = 1 | b 0
