sp1-recursion-machine 6.2.0

Machine definitions for SP1 recursion
Documentation