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