# isabelle_session_info

session_name: LOFT
sources: 049024cf68b9080e62f24d9332882c171bb06e5d
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
330be591a57e96401a40b8a7be307432b86be4fd
f509c32505ababa9e23819d325d6c30d482742f4
163b43aee1872883ebf3056f8f508a0dbd8a6e04
26b230924ebdf0f2d192240f3bea0a72764cb5bf
d5258d690c28739b9d9005a52ea512ea5c8c2e9f
267f7d67a2dca77fa36839900a517c86548feb08
96cc265955564cbc7efa5783a56ee3b3677ebb1a


