# isabelle_session_info

session_name: LEM
sources: 9695dce516eafe0a9c791771e87fcf1b61386d56
output_heap: ff0b35749b064e75fd123a9a0fbe3f024e188204
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
fe66c2c36135e85ba51db5f3041b01702c8e4117
efa17d1979521ff6ba840f4bc69feec4cbad3016


