A OCaml module for manipulating unlimited register machines
01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21
Z(2) S(2) Z(5) S(5) Z(6) J(1, 6, 22) J(5, 2, 10) S(5) J(1, 1, 7) Z(3) S(3) J(3, 1, 20) Z(4) J(4, 5, 18) S(2) S(4) J(1, 1, 14) S(3) J(1, 1, 12) P(1) J(1, 1, 6)