# isabelle_session_info

session_name: LEM
sources: 4d37f5852e4479e970ba4adc5f080a5bf8d55013
output_heap: 4df2ff5f4f16e0900baa239a5ae893cf9330f13a
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c03b1a0d334c9fd9fabd82cef3f83f6d308d7309
674ec0b96b298aacfbfb2f771c671f502f92690c


