sp1-recursion-machine 6.2.4

Machine definitions for SP1 recursion
Documentation