א + [a + [ב + [b + 4] + 3] + 2] + 1
א + [a + [ב + [b + 4] + 3] + 2] + 1
א + [a + [ב + [b + 4] + 3] + 2] + 1
a + [א + [b + [ב + 3] + 2] + 1] + 0
a + [א + [b + [ב + 3] + 2] + 1] + 0
a + [א + [b + [ב + 3] + 2] + 1] + 0