partial_lemma.mlw 52 Bytes