document.writeln('<ul> <li> <a href="#SEC134">22. Nondeterminism</a><ul><li> <a href="#SEC135">22.1 The Concept</a><li> <a href="#SEC136">22.2 Search</a><li> <a href="#SEC137">22.3 Scheme Implementation</a><li> <a href="#SEC138">22.4 Common Lisp Implementation</a><li> <a href="#SEC139">22.5 Cuts</a><li> <a href="#SEC140">22.6 True Nondeterminism</a></ul></ul>');