default hanoi size