SZS status Theorem for i/f/Omega_Automata/BOOLEAN__CLOSURE__G_c1
