# isabelle_session_info

session_name: LEM
sources: 49aad17af9bcfa0e92218d9751526045321397a8
output_heap: 370757b47cde9646f661fea587df6562dee000b3
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
330be591a57e96401a40b8a7be307432b86be4fd
f509c32505ababa9e23819d325d6c30d482742f4
163b43aee1872883ebf3056f8f508a0dbd8a6e04


