Solving 12-disc Hanoi Tower stack puzzle