substitution system 01-%3E2%2C 2-%3E012%2C 1-%3E12