WolframAlpha computational knowledge AI
substitution system 01->2, 2->012, 1->12