substitution system 03->1, 2->13, 1->2, 3->01