added hanoi domain and outputs of IPP solving 10 and 12 discs