sp1-recursion-machine 6.2.1

Machine definitions for SP1 recursion
Documentation