A OCaml module for manipulating unlimited register machines
1 Z(2) 2 Z(3) 3 S(3) 4 Z(4) 5 Z(5) 6 J(1, 5, 19) 7 P(1) 8 J(4, 2, 11) 9 S(4) 10 J(1, 1, 8) 11 J(2, 3, 14) 12 S(2) 13 J(1, 1, 11) 14 J(4, 5, 18) 15 P(4) 16 S(3) 17 J(1, 1, 14) 18 J(1, 1, 6)