sp1-recursion-machine 6.3.1

Machine definitions for SP1 recursion
Documentation