included size() method.
some minor changes
ignore bin file lem
Created class to extract lemmas.