Completed knightstour.kif; have not debugged