sp1-recursion-machine 6.2.3

Machine definitions for SP1 recursion
Documentation