Hanoi compressed using JAX