13144431616domain: NAppears in sequencesNumber of maximum irredundant sets in the n-Hanoi graph.at n=4A308384