../hanoi/hanoi4.cnf