equiv_simple_short_fsm.ys 327 Bytes