[math-fun] Program counting Hamiltonian paths