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

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

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

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

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

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