# isabelle_session_info

session_name: LEM
sources: e6a3a1bc319dfe56f1bb8986c5d0b2d96ff1bca0
output_heap: 597c39ceb7241ceea7088655bd9f7adc1cf5b263
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
16c07ab52060a1877247247ac947f7478297781e
493a0989fe4d5017ef46d01316cd014202e829d5


