substitution system 01->2, 2->012, 1->12