Symbol: SMR_SEQ_LEQ