# isabelle_session_info

session_name: LOFT
sources: e0986356dc24907d0053b6fed22f387f144ce922
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
68e24fa803389d76024c730e22fc9263ebe14aa0
4cf16e928fabcda5e6cd47a233d010dae8d6c176
a8013e756f44d6ea9c4dea4db6d0a2abfa10061a
dc7497b1c38abb7739cf98639c85b9d9655facd2
66ddbca3b1ab36bd89edb0ab2a99d19eb8971c25
994087ec0b2ac1299f79b7ec522a0f9b02bd4af5
1f526a545e5352a31a1bf09fcff4070673f967d9


