0 = a0 1 | a2 0 | a3 2
1 = a0 1 | b1 0
2 = a5 3 | b4 2
3 = 1
