א + [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