א + [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
1 + [a + [3 + [b + 4] + ב] + 2] + א
1 + [a + [3 + [b + 4] + ב] + 2] + א
1 + [a + [3 + [b + 4] + ב] + 2] + א
a + [1 + [b + [3 + ב] + 2] + א] + 0
a + [1 + [b + [3 + ב] + 2] + א] + 0
a + [1 + [b + [3 + ב] + 2] + א] + 0