equiv_simple_seq_fsm.ys 327 Bytes