MAYBE

Problem:
 0(1(2(1(x1)))) -> 0(2(2(2(1(x1)))))
 0(2(1(1(2(0(2(x1))))))) -> 2(2(2(0(2(1(2(2(x1))))))))
 2(0(0(0(0(1(0(x1))))))) -> 1(2(2(2(1(2(1(0(1(x1)))))))))
 0(0(0(1(1(0(0(1(0(1(1(0(0(x1))))))))))))) -> 2(2(1(2(0(2(2(1(1(1(2(2(1(0(x1))))))))))))))
 0(1(1(0(0(1(1(2(1(2(0(0(2(x1))))))))))))) -> 1(2(2(2(1(2(1(0(2(2(0(0(1(2(2(2(2(x1)))))))))))))))))
 1(0(0(0(1(0(1(1(0(1(1(0(1(2(0(1(x1)))))))))))))))) ->
 2(2(1(1(2(1(2(0(0(1(2(0(0(1(1(0(0(0(x1))))))))))))))))))
 1(0(0(2(0(2(1(0(0(2(0(2(2(0(2(2(x1)))))))))))))))) ->
 0(0(2(1(2(0(2(0(0(2(0(1(2(0(2(2(x1))))))))))))))))
 1(1(0(1(1(2(0(0(0(0(0(0(1(2(0(0(x1)))))))))))))))) ->
 2(0(1(1(0(0(2(0(0(2(2(2(0(2(1(2(2(x1)))))))))))))))))
 2(0(0(2(2(2(0(1(2(1(2(0(1(1(0(0(x1)))))))))))))))) ->
 2(2(2(2(2(2(2(1(2(0(0(2(1(0(1(0(1(2(1(2(x1))))))))))))))))))))
 1(1(1(1(1(1(2(1(0(1(2(1(0(2(2(0(1(x1))))))))))))))))) ->
 1(1(2(2(0(2(2(2(2(1(0(1(2(0(2(1(0(0(0(x1)))))))))))))))))))
 0(2(0(0(2(1(0(0(0(0(1(0(2(1(1(1(0(1(x1)))))))))))))))))) ->
 0(1(2(2(1(0(0(2(2(1(1(1(1(2(1(1(2(1(0(x1)))))))))))))))))))
 1(1(2(1(2(1(1(1(1(1(1(2(2(1(0(1(2(1(x1)))))))))))))))))) ->
 2(0(2(2(2(2(2(1(1(1(2(0(1(0(2(1(2(2(1(2(2(2(1(2(2(2(x1))))))))))))))))))))))))))
 0(0(1(0(2(0(1(0(1(1(2(0(0(1(0(0(0(1(1(x1))))))))))))))))))) ->
 0(2(2(2(0(2(0(1(2(1(1(0(1(2(2(0(1(0(0(2(2(2(2(x1)))))))))))))))))))))))
 0(2(0(2(1(0(2(2(1(0(0(2(0(0(0(2(0(0(1(x1))))))))))))))))))) ->
 2(2(0(0(1(2(1(2(1(2(2(2(2(1(0(2(1(1(2(0(x1))))))))))))))))))))
 1(0(0(2(2(0(2(0(2(0(0(2(1(1(0(0(0(1(2(x1))))))))))))))))))) ->
 2(2(1(0(2(1(0(2(1(2(1(2(1(0(2(2(2(1(2(2(1(2(x1))))))))))))))))))))))
 0(1(0(0(1(2(2(0(1(0(1(1(1(2(1(1(1(1(0(2(0(x1))))))))))))))))))))) ->
 1(0(1(1(1(1(2(2(1(1(2(1(0(0(0(2(2(0(2(0(0(2(x1))))))))))))))))))))))
 1(1(0(1(0(1(1(2(1(0(0(0(1(0(2(0(1(0(0(1(0(1(x1)))))))))))))))))))))) ->
 0(1(1(1(1(1(0(0(2(1(0(0(2(1(2(0(2(2(1(2(2(1(1(x1)))))))))))))))))))))))
 0(2(0(2(2(1(0(1(2(1(0(0(1(0(2(0(0(0(0(0(2(2(0(x1))))))))))))))))))))))) ->
 2(1(1(2(2(1(2(2(2(1(0(0(2(2(0(1(0(1(2(0(0(2(1(1(x1))))))))))))))))))))))))
 1(0(0(1(2(1(2(0(0(0(2(1(0(2(0(2(0(0(0(0(0(1(1(2(2(x1))))))))))))))))))))))))) ->
 1(1(1(1(2(0(1(2(2(2(1(2(1(0(1(2(2(0(2(2(2(0(0(1(0(2(x1))))))))))))))))))))))))))
 2(1(2(2(1(2(2(2(0(0(2(1(1(1(0(1(1(2(0(1(1(2(0(2(2(x1))))))))))))))))))))))))) ->
 2(2(2(2(0(0(1(2(1(2(0(0(2(1(2(0(2(2(1(2(0(0(2(2(0(1(x1))))))))))))))))))))))))))
 1(0(0(2(1(1(1(1(1(2(2(1(1(1(0(2(1(0(1(2(1(2(0(0(1(2(x1)))))))))))))))))))))))))) ->
 2(1(2(2(1(2(1(0(2(2(2(1(0(2(2(1(0(1(0(2(2(2(2(1(2(1(2(1(1(0(2(x1)))))))))))))))))))))))))))))))
 0(1(2(1(2(2(0(0(0(1(2(1(0(2(0(0(0(1(2(2(2(0(0(0(1(2(1(x1))))))))))))))))))))))))))) ->
 2(2(1(2(2(2(1(2(2(2(2(1(2(2(0(2(1(1(1(0(1(0(2(2(1(1(0(1(x1))))))))))))))))))))))))))))
 1(2(2(0(2(0(1(2(1(2(2(0(2(1(1(1(1(2(0(1(0(0(1(2(0(1(2(x1))))))))))))))))))))))))))) ->
 1(2(0(0(2(2(0(2(2(0(0(2(0(0(1(2(0(0(2(2(2(0(1(2(1(0(1(2(x1))))))))))))))))))))))))))))
 0(2(0(2(0(1(0(0(1(0(2(0(0(0(0(1(0(0(2(2(2(1(1(2(0(2(1(2(2(2(x1)))))))))))))))))))))))))))))) ->
 2(2(1(2(0(1(1(1(2(2(1(2(2(2(0(1(2(2(2(1(2(1(1(1(0(0(1(2(2(0(0(x1)))))))))))))))))))))))))))))))
 1(0(2(0(2(0(2(0(0(1(1(1(2(0(1(0(0(0(1(2(0(1(1(2(0(0(2(1(0(0(x1)))))))))))))))))))))))))))))) ->
 1(0(1(2(2(1(2(1(2(0(1(1(0(0(2(2(2(2(1(2(0(1(1(1(1(1(2(2(2(2(1(1(x1))))))))))))))))))))))))))))))))
 1(0(2(2(0(2(1(1(0(2(0(1(2(0(2(1(0(1(0(2(1(0(0(1(0(0(2(0(2(2(x1)))))))))))))))))))))))))))))) ->
 1(1(0(1(2(2(1(1(1(2(1(2(2(0(0(2(2(1(1(2(0(1(2(1(2(0(2(0(2(0(0(2(x1))))))))))))))))))))))))))))))))
 1(2(0(2(0(0(1(2(2(1(1(0(1(2(0(1(0(1(0(0(2(0(1(0(1(0(1(0(2(0(x1)))))))))))))))))))))))))))))) ->
 2(1(0(2(2(2(0(2(1(2(0(0(2(1(2(2(2(0(1(2(2(2(1(1(0(1(1(0(1(1(0(2(x1))))))))))))))))))))))))))))))))
 2(2(2(1(2(0(0(1(1(1(2(0(0(2(0(1(1(0(2(1(0(2(0(2(1(1(0(0(0(2(x1)))))))))))))))))))))))))))))) ->
 2(2(2(1(2(1(2(2(2(1(0(0(2(2(1(0(2(2(0(0(2(0(0(0(2(1(1(2(1(1(1(2(2(2(x1))))))))))))))))))))))))))))))))))
 0(1(1(0(0(2(2(1(0(1(1(1(2(2(1(2(0(0(1(1(0(0(2(0(2(2(0(1(1(1(1(x1))))))))))))))))))))))))))))))) ->
 0(2(2(0(1(0(1(1(2(1(2(0(0(0(0(0(1(0(1(0(1(2(2(2(2(0(0(0(1(2(1(2(x1))))))))))))))))))))))))))))))))
 0(1(1(1(2(1(1(0(1(2(2(2(0(1(2(1(0(0(1(2(2(1(1(2(0(1(1(1(2(1(1(x1))))))))))))))))))))))))))))))) ->
 2(2(1(1(2(1(2(1(2(2(1(0(0(2(1(2(2(2(0(0(0(2(2(0(2(1(1(1(0(2(2(2(x1))))))))))))))))))))))))))))))))
 1(2(1(1(1(1(2(1(0(1(0(2(2(0(0(1(0(1(0(1(2(1(1(1(1(0(2(2(2(2(1(x1))))))))))))))))))))))))))))))) ->
 2(0(1(2(2(2(1(2(0(0(2(2(1(1(2(2(2(0(1(2(1(2(1(2(2(1(2(1(1(2(0(1(0(x1)))))))))))))))))))))))))))))))))
 2(0(1(0(1(2(1(2(2(2(0(1(0(0(0(1(2(0(1(1(1(1(2(2(0(0(0(1(0(0(0(x1))))))))))))))))))))))))))))))) ->
 2(2(0(2(2(0(2(1(1(2(1(2(2(1(0(0(1(0(2(0(2(2(2(1(0(2(2(0(1(0(2(2(1(2(x1))))))))))))))))))))))))))))))))))
 0(2(2(2(0(1(2(1(0(2(0(1(2(2(0(1(2(1(1(1(1(1(2(0(1(1(2(2(0(1(0(1(x1))))))))))))))))))))))))))))))))
 ->
 2(2(0(1(0(1(2(0(0(2(0(2(2(2(1(2(2(2(1(0(1(1(1(0(1(1(2(0(1(1(1(1(x1))))))))))))))))))))))))))))))))
 1(0(0(2(2(1(0(2(1(2(0(2(0(2(0(2(0(1(1(2(2(1(0(0(0(1(0(1(2(1(2(0(x1))))))))))))))))))))))))))))))))
 ->
 2(2(0(1(0(1(1(1(2(2(1(2(1(0(2(2(2(2(1(2(1(1(2(0(2(2(2(0(0(0(1(1(1(x1)))))))))))))))))))))))))))))))))
 1(2(1(1(1(0(1(2(1(0(1(2(1(1(2(2(0(2(2(1(1(1(1(0(1(2(0(1(1(1(1(1(x1))))))))))))))))))))))))))))))))
 ->
 2(0(1(2(0(2(0(2(1(0(0(0(0(2(2(2(2(2(1(1(0(2(2(2(0(2(2(2(0(1(0(2(2(1(1(x1)))))))))))))))))))))))))))))))))))
 0(1(0(0(1(2(1(2(0(1(1(1(0(1(0(0(2(1(2(0(2(1(1(0(1(0(0(1(1(0(1(0(1(x1)))))))))))))))))))))))))))))))))
 ->
 2(0(0(0(1(0(1(2(2(2(0(1(0(2(0(2(2(2(1(0(1(0(0(2(2(2(0(1(1(1(1(1(1(1(x1))))))))))))))))))))))))))))))))))
 0(2(0(0(2(1(1(0(0(0(2(2(1(0(2(1(0(1(0(0(1(1(2(0(1(1(2(2(0(1(1(1(0(x1)))))))))))))))))))))))))))))))))
 ->
 0(1(2(1(2(2(1(0(2(1(1(2(2(1(2(1(1(0(2(1(0(0(0(2(2(1(2(2(2(2(1(0(0(2(x1))))))))))))))))))))))))))))))))))
 1(2(2(2(0(1(0(0(1(2(1(0(1(1(0(1(1(1(2(1(1(1(2(1(0(0(0(1(0(0(0(1(2(x1)))))))))))))))))))))))))))))))))
 ->
 2(2(2(2(2(2(2(1(0(1(0(2(2(0(0(2(2(2(0(0(0(2(0(0(1(1(2(2(1(2(2(2(1(0(1(0(1(0(2(0(x1))))))))))))))))))))))))))))))))))))))))
 1(1(0(2(0(2(0(0(0(1(1(0(1(0(1(0(1(1(2(1(0(2(0(0(2(2(1(0(0(2(0(2(0(2(x1))))))))))))))))))))))))))))))))))
 ->
 0(2(1(0(0(0(2(2(2(1(2(2(2(2(2(1(0(0(2(2(2(0(0(0(0(1(1(0(1(1(2(1(2(2(2(x1)))))))))))))))))))))))))))))))))))
 1(1(2(1(0(2(0(0(0(2(0(0(2(0(1(0(0(0(0(2(1(0(0(0(0(1(2(2(0(1(1(2(0(1(x1))))))))))))))))))))))))))))))))))
 ->
 2(2(1(2(2(2(2(1(0(2(1(2(2(2(1(1(2(2(1(2(0(1(0(1(1(2(2(1(1(1(0(2(1(2(2(0(0(2(x1))))))))))))))))))))))))))))))))))))))
 1(0(1(1(1(1(1(2(2(1(0(2(0(0(1(0(0(0(0(2(1(1(1(1(0(0(0(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))))
 ->
 0(2(0(1(1(2(1(1(1(2(2(0(2(0(2(2(1(2(1(1(2(0(1(2(1(1(2(1(2(1(1(0(1(0(2(1(x1))))))))))))))))))))))))))))))))))))
 1(1(2(0(0(0(1(1(0(1(0(2(2(1(2(1(0(2(2(2(0(2(1(1(2(0(0(0(2(0(1(2(0(0(1(x1)))))))))))))))))))))))))))))))))))
 ->
 2(2(2(1(1(2(2(0(0(2(0(1(1(2(2(1(1(2(0(1(2(1(0(2(1(2(0(2(2(1(0(0(2(0(0(0(x1))))))))))))))))))))))))))))))))))))
 0(0(0(0(0(0(2(1(0(1(0(1(0(1(0(1(2(0(0(1(1(0(2(1(0(2(0(0(0(0(2(2(1(2(2(0(x1))))))))))))))))))))))))))))))))))))
 ->
 1(2(0(0(0(0(1(1(1(2(0(1(2(1(2(2(2(2(1(2(0(1(1(2(1(1(0(1(2(0(1(0(0(0(2(0(0(1(x1))))))))))))))))))))))))))))))))))))))
 0(0(1(2(2(1(1(2(0(0(1(0(2(2(0(0(2(0(1(0(1(0(1(2(2(1(0(2(1(1(0(1(0(0(0(1(x1))))))))))))))))))))))))))))))))))))
 ->
 1(1(2(2(1(2(0(2(2(2(1(2(1(2(0(0(1(2(2(0(0(1(0(1(2(0(0(1(0(1(1(0(1(1(1(1(1(0(x1))))))))))))))))))))))))))))))))))))))
 0(1(1(0(2(0(0(2(1(1(2(0(2(0(1(0(2(0(2(2(2(1(0(0(0(1(1(0(0(2(2(0(0(0(0(2(x1))))))))))))))))))))))))))))))))))))
 ->
 2(2(2(2(1(0(2(0(0(0(0(0(2(2(1(0(1(0(1(2(0(0(0(0(1(2(2(1(2(2(2(2(2(0(1(2(1(1(0(2(x1))))))))))))))))))))))))))))))))))))))))
 0(2(0(0(2(1(1(1(0(2(2(1(1(1(0(0(0(1(0(0(0(2(0(1(1(0(1(0(0(2(0(0(0(2(0(0(x1))))))))))))))))))))))))))))))))))))
 ->
 2(1(2(0(2(1(0(2(1(0(1(1(0(2(2(2(2(1(1(0(2(2(1(2(1(2(0(1(0(1(2(1(2(2(2(0(0(0(x1))))))))))))))))))))))))))))))))))))))
 1(1(2(2(0(1(2(1(2(1(2(2(0(2(0(0(2(2(1(1(0(1(0(0(0(2(1(1(1(1(2(1(2(0(2(2(x1))))))))))))))))))))))))))))))))))))
 ->
 1(1(1(2(0(0(2(1(2(0(1(2(2(2(2(0(2(2(2(1(0(1(0(0(1(2(1(1(1(1(2(0(2(1(0(2(x1))))))))))))))))))))))))))))))))))))
 0(2(0(0(2(0(0(1(0(2(0(0(0(0(2(1(0(0(0(2(2(0(1(0(2(2(0(0(2(0(2(0(0(1(0(1(2(x1)))))))))))))))))))))))))))))))))))))
 ->
 2(2(1(2(1(0(1(1(2(2(2(2(1(0(2(0(0(1(1(2(2(1(0(1(1(1(0(1(1(0(2(1(0(2(2(0(1(2(2(2(x1))))))))))))))))))))))))))))))))))))))))
 0(2(0(2(0(2(1(0(0(0(1(1(1(2(1(0(1(2(1(2(0(1(1(2(0(2(0(0(1(0(2(2(2(2(0(0(2(x1)))))))))))))))))))))))))))))))))))))
 ->
 2(2(1(0(1(2(0(1(2(1(2(2(2(2(2(1(0(2(1(2(0(2(1(1(2(1(1(1(0(0(0(2(0(2(0(2(2(1(x1))))))))))))))))))))))))))))))))))))))
 1(1(0(2(0(2(1(1(1(2(2(2(1(1(2(1(0(2(0(2(0(2(1(2(1(1(1(2(0(2(1(1(2(2(0(1(0(x1)))))))))))))))))))))))))))))))))))))
 ->
 1(2(2(2(1(2(2(0(1(2(2(1(1(2(1(0(0(2(2(0(2(0(1(2(1(2(2(0(1(2(2(2(1(1(0(0(2(0(x1))))))))))))))))))))))))))))))))))))))
 2(1(0(1(0(0(1(0(0(0(1(1(2(2(1(0(0(1(1(1(0(1(0(1(2(1(2(1(0(1(2(1(0(2(0(0(1(x1)))))))))))))))))))))))))))))))))))))
 ->
 1(1(2(2(0(0(2(0(2(1(2(0(2(0(1(2(2(2(1(1(1(0(0(1(0(0(1(1(1(1(1(1(2(1(0(2(2(2(2(x1)))))))))))))))))))))))))))))))))))))))
 2(1(0(0(1(1(1(1(0(1(1(0(1(2(0(0(2(2(0(2(1(2(1(2(2(2(0(0(1(0(2(1(2(1(0(2(1(2(x1))))))))))))))))))))))))))))))))))))))
 ->
 2(0(1(0(0(1(2(0(2(1(2(1(2(1(0(2(0(2(2(2(2(2(2(1(0(0(0(2(2(2(0(2(0(0(2(2(1(0(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))
 1(1(0(0(0(2(1(2(1(1(0(0(1(1(1(2(2(0(0(0(1(0(1(0(1(0(2(1(0(0(1(0(1(1(1(2(2(1(0(x1)))))))))))))))))))))))))))))))))))))))
 ->
 2(0(0(0(2(2(1(1(2(1(1(2(2(1(2(1(0(1(1(0(0(1(2(0(0(0(0(0(0(0(0(1(0(1(0(1(1(2(2(1(2(x1)))))))))))))))))))))))))))))))))))))))))
 2(0(2(0(2(1(2(1(1(0(1(1(2(1(2(2(0(1(0(0(2(2(0(1(1(0(1(1(1(2(2(0(1(0(0(1(2(0(2(x1)))))))))))))))))))))))))))))))))))))))
 ->
 2(0(1(0(0(2(2(0(0(2(2(2(2(0(2(0(0(2(1(1(1(0(1(2(0(2(2(1(2(0(0(2(1(1(1(2(0(1(2(1(2(2(x1))))))))))))))))))))))))))))))))))))))))))
 0(1(1(0(2(1(0(2(1(2(0(0(1(0(2(0(0(2(0(2(1(0(1(0(1(2(2(0(1(0(0(1(2(2(0(1(0(0(0(0(x1))))))))))))))))))))))))))))))))))))))))
 ->
 0(2(2(2(2(2(2(1(1(2(2(1(1(2(0(1(1(2(1(2(2(1(2(0(1(1(2(0(1(1(2(1(1(0(1(2(0(1(1(2(2(x1)))))))))))))))))))))))))))))))))))))))))
 0(1(0(1(0(0(2(0(2(0(1(0(2(1(0(1(0(1(2(0(0(0(1(0(2(2(0(2(0(0(0(1(1(1(1(1(0(1(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))
 ->
 1(1(0(0(1(2(2(0(0(2(1(1(2(2(0(0(1(1(1(0(2(2(2(0(1(0(2(2(0(2(0(2(1(2(1(1(2(1(0(1(2(2(1(x1)))))))))))))))))))))))))))))))))))))))))))
 1(1(0(2(0(1(2(0(0(1(1(0(0(2(1(0(1(0(1(2(1(2(2(0(1(1(2(0(1(2(1(0(1(1(0(1(0(1(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))
 ->
 1(0(0(0(2(1(0(2(0(0(0(0(0(1(0(2(2(0(0(2(2(2(2(2(0(2(0(0(0(1(0(0(1(0(1(0(2(2(2(2(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))
 1(1(0(2(2(1(0(2(2(2(1(0(0(0(2(0(0(2(2(0(1(2(1(2(2(1(1(0(0(1(2(0(0(2(2(2(0(0(0(1(1(x1)))))))))))))))))))))))))))))))))))))))))
 ->
 1(1(1(2(2(2(2(2(2(1(1(2(0(2(0(1(0(2(1(0(0(0(1(2(2(2(1(2(2(2(0(2(2(0(
                                                                    1
                                                                    (
                                                                    1(2(2(2(2(2(1(2(2(x1))))))))))))))))))))))))))))))))))))))))))))
 2(2(1(2(0(0(0(0(0(1(2(2(0(1(0(0(2(1(1(0(1(2(1(0(0(1(0(1(0(2(0(0(1(0(2(2(2(1(1(0(2(x1)))))))))))))))))))))))))))))))))))))))))
 ->
 2(1(1(2(1(1(2(1(1(0(2(0(0(0(1(2(2(2(0(2(0(0(2(0(1(0(0(2(1(1(1(1(2(2(2(0(0(2(0(2(2(2(2(x1)))))))))))))))))))))))))))))))))))))))))))
 2(0(1(2(1(1(1(2(1(2(1(2(0(0(0(0(1(2(2(1(1(1(0(2(1(1(0(0(0(0(1(0(0(0(1(1(0(2(0(1(1(1(x1))))))))))))))))))))))))))))))))))))))))))
 ->
 2(1(2(1(2(1(1(2(2(1(0(1(2(0(2(1(0(0(2(1(0(2(2(2(2(1(0(2(2(0(1(2(1(0(
                                                                    2
                                                                    (
                                                                    2(2(1(1(0(2(2(1(0(x1))))))))))))))))))))))))))))))))))))))))))))
 2(1(2(1(1(0(0(0(0(1(0(1(2(2(0(1(0(2(1(1(2(1(1(2(2(1(0(1(1(1(1(1(1(0(2(2(2(1(0(0(0(0(x1))))))))))))))))))))))))))))))))))))))))))
 ->
 2(1(2(1(2(2(2(2(2(0(0(1(0(0(1(1(2(1(2(2(0(0(2(0(1(1(2(2(1(0(0(1(1(2(
                                                                    2
                                                                    (
                                                                    1(0(2(2(2(1(1(1(2(x1))))))))))))))))))))))))))))))))))))))))))))
 0(1(2(1(0(0(2(0(0(2(1(1(1(2(2(1(0(2(0(2(1(2(2(0(2(0(1(0(1(2(1(1(0(0(0(1(0(0(1(2(1(0(1(x1)))))))))))))))))))))))))))))))))))))))))))
 ->
 0(1(2(0(2(1(0(2(2(1(2(1(1(0(1(1(0(1(2(2(2(0(1(0(1(2(2(2(2(0(1(1(2(2(
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    2(1(2(0(2(1(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))
 0(2(2(2(1(2(2(0(2(0(2(0(0(0(2(0(0(1(1(2(1(1(1(0(1(2(2(2(1(0(1(2(2(0(0(0(2(1(1(1(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))))
 ->
 0(2(2(2(0(0(2(1(2(0(2(1(0(1(2(0(2(1(1(2(0(1(2(1(1(2(2(2(1(0(0(2(2(0(0(0(0(1(0(1(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))))
 0(0(2(1(0(0(2(1(2(2(0(1(2(0(0(0(2(0(0(0(0(0(0(0(1(0(0(2(0(2(0(0(2(2(
                                                                    0
                                                                    (
                                                                    2
                                                                    (
                                                                    1(1(1(1(2(1(0(2(0(x1)))))))))))))))))))))))))))))))))))))))))))))
 ->
 2(2(1(2(1(1(2(0(2(2(2(1(1(2(2(0(1(2(0(0(0(0(0(1(0(1(1(0(2(0(0(0(0(2(
                                                                    2
                                                                    (
                                                                    1
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    0
                                                                    (
                                                                    2(0(2(0(1(2(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))
 0(2(1(2(2(1(1(1(1(0(1(1(0(2(0(1(0(2(2(0(2(0(0(1(1(2(0(0(0(0(2(1(2(2(
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    2(2(0(1(1(2(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))
 ->
 2(2(0(2(2(1(1(0(2(2(0(0(2(1(0(0(1(1(0(0(2(1(2(1(1(1(2(1(0(1(2(2(2(2(
                                                                    2
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1(2(2(0(2(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))
 1(0(1(2(1(1(0(2(2(0(1(2(2(0(0(2(1(0(1(0(0(1(2(1(0(2(1(1(0(0(0(1(0(0(
                                                                    0
                                                                    (
                                                                    2
                                                                    (
                                                                    1(1(0(1(2(2(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))
 ->
 1(0(2(1(0(0(0(2(2(0(1(1(0(1(2(2(1(0(2(1(2(2(2(1(1(1(1(2(2(2(1(1(1(1(
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0(1(0(2(2(0(0(0(2(x1))))))))))))))))))))))))))))))))))))))))))))))))
 1(0(2(0(0(1(0(1(1(1(1(1(2(1(0(1(0(0(1(2(0(2(0(0(0(1(0(0(2(1(2(0(1(1(
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0(1(0(2(1(2(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))
 ->
 2(0(1(0(1(0(1(1(2(0(2(2(2(0(2(0(2(0(1(1(2(0(1(1(2(2(0(1(1(0(1(0(0(2(
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    1
                                                                    (
                                                                    0(2(0(1(0(0(2(1(0(x1))))))))))))))))))))))))))))))))))))))))))))))
 1(1(1(0(0(2(1(0(2(2(0(2(0(0(1(1(0(1(2(2(1(0(1(1(2(0(0(2(2(1(1(2(0(0(
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1(0(0(0(0(0(1(2(0(x1)))))))))))))))))))))))))))))))))))))))))))))
 ->
 1(0(0(2(1(0(2(0(1(1(1(1(2(0(1(2(0(2(0(0(2(2(2(1(2(1(2(2(1(2(0(0(2(0(
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    2
                                                                    (
                                                                    0(1(1(1(1(0(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))))
 0(0(2(0(2(0(2(0(2(0(2(0(0(2(2(2(1(1(1(0(0(1(1(1(1(1(1(2(1(2(1(2(0(1(
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1(1(2(0(1(2(1(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))
 ->
 1(1(2(2(0(2(0(2(1(2(2(1(2(0(2(1(2(1(1(2(2(2(2(1(0(1(1(1(0(1(0(0(1(0(
                                                                    2
                                                                    (
                                                                    0
                                                                    (
                                                                    2
                                                                    (
                                                                    1
                                                                    (
                                                                    2
                                                                    (
                                                                    2(0(2(1(2(1(2(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))
 0(2(0(2(2(0(2(0(1(2(1(2(0(0(0(1(0(1(1(2(1(1(2(0(0(0(0(1(1(1(1(2(1(0(
                                                                    2
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1(0(1(0(1(0(0(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))
 ->
 2(1(1(2(0(1(2(0(2(0(1(2(0(1(2(2(2(2(1(1(1(2(2(2(0(2(1(2(2(0(0(1(0(0(
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    2
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    2(1(1(2(1(2(0(1(0(x1))))))))))))))))))))))))))))))))))))))))))))))))
 0(2(2(0(0(2(0(0(1(0(1(0(1(0(1(2(0(2(0(0(0(0(2(2(0(0(1(0(0(0(0(1(2(0(
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    2
                                                                    (
                                                                    0(0(0(2(0(2(0(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))
 ->
 2(2(2(0(1(2(0(0(1(0(1(0(2(1(0(2(0(1(0(0(1(2(0(2(0(0(1(0(0(0(0(1(0(0(
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    2
                                                                    (
                                                                    2(0(0(2(0(0(2(0(0(x1))))))))))))))))))))))))))))))))))))))))))))))
 1(1(0(2(2(2(1(1(0(1(0(0(0(2(1(1(1(1(1(1(0(2(0(0(0(0(2(2(0(1(1(0(1(1(
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    2(1(1(0(0(1(2(0(1(x1))))))))))))))))))))))))))))))))))))))))))))))
 ->
 1(2(2(2(2(2(1(0(2(0(0(0(1(1(2(2(2(1(2(1(0(0(0(0(0(2(2(0(0(0(0(0(0(1(
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    0
                                                                    (
                                                                    2(1(0(1(1(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))
 2(0(2(2(2(1(2(2(2(2(2(2(2(0(0(1(0(0(2(2(2(1(1(0(0(2(2(0(0(1(0(2(2(0(
                                                                    2
                                                                    (
                                                                    1
                                                                    (
                                                                    2
                                                                    (
                                                                    2(0(1(0(1(2(0(0(1(x1))))))))))))))))))))))))))))))))))))))))))))))
 ->
 2(2(2(2(2(1(0(2(0(0(1(2(2(2(1(2(0(1(2(2(1(1(2(0(0(1(0(2(2(1(1(2(0(1(
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    2
                                                                    (
                                                                    2(2(1(1(2(0(2(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))
 0(0(0(2(1(1(2(0(1(1(0(2(0(1(1(2(2(1(2(2(1(2(2(1(0(1(0(0(2(1(1(1(0(1(
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2(1(0(1(2(1(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))
 ->
 0(0(1(1(1(1(1(0(2(2(2(1(2(1(0(2(2(1(2(2(1(2(0(1(2(0(0(0(1(1(2(1(0(0(
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2(1(0(1(1(1(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))
 2(1(0(2(0(0(0(2(0(2(2(1(1(2(2(1(1(2(1(0(1(1(0(0(2(0(0(1(0(2(1(1(0(0(
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1(0(2(2(0(1(0(2(0(x1))))))))))))))))))))))))))))))))))))))))))))))))
 ->
 2(1(2(2(0(1(0(1(0(0(0(0(0(1(2(1(1(1(2(1(2(0(2(1(0(1(0(2(1(1(2(0(1(1(
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    2
                                                                    (
                                                                    1
                                                                    (
                                                                    2
                                                                    (
                                                                    0(0(2(2(2(2(1(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))

Proof:
 Open