Updated lemma sizes