fixed name in lemma62
added lemma64 file