Hanoi Omega-Automata Format