Generated Lem file