Code for Lectures on Recursion and Recursive Backtracking