equiv_simple_fsm.ys 320 Bytes