# isabelle_session_info

session_name: LOFT
sources: 539fa082ab641077e239e1baa59eaac0dbcfa459
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
83eab522e6ac69abba7b320df657767fdb1ff2de
b0a89d9e3fd2405c0bf058cc2e2c773e47643140
7d415f616cde038c60ebacd3faa013d18f3622fe
68f0fda28819976a8478a69233f74e18fefad364
299ae1d9d34e6f71dbbe7c53f7c8fbb906a73427
a5c8ae91a844f12984816286c95f6762bff6e20a


