В задаче явно не указано, что делать в случаях, если решений несколько. Судя по тестовой отправке с ответами из условия, первый тест - это как раз сэмпл. Ответ из условия проходит. Однако, для первого набора данных и первой голововломки так же подходит ответ Caa:
0 1 1 (применяем машину C: 0 0 1 -> 1 1 0) 1 2 0 (применяем машину a: 0 1 0 -> 1 0 0) 2 1 0 (применяем машину a: 0 1 0 -> 1 0 0) 3 0 0
Хотелось бы или пояснить, как именно формировать последовательность операций при равных длинах, или же пофиксить чекер, чтобы он принимал любой подходящий ответ.