Use 31 SSO size in Lemma