|hanoi-rec {1} |hanoi-sol {2} |lines-rec {4} |lines-sol {6} |zn-def {7} |josephus-rec {8} |josephus-sol {9} |nn:radix {11} |gen-jos-rec {11} |alpha-beta-gamma {12} |gen-jos-form {13} |gen-jos-sol {14} |gen-jos-rec-mod {15} |d-to-c {18} |lyness {8} |cyclic-hanoi {10} |double-hanoi {11} |rep1 {16} |hanoi-four {17} |zig {18} |rep2 {20} |good-bad {21} |josephus-saves-himself {23}