# isabelle_session_info

session_name: LOFT
sources: c1e91e9b9a4f0bb9b88adb110fe69ef1c7163253
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
934750cc51ae3cb341d3ffd6479ca7a7b3b8ed50
83e2a48c030e50fa9da3920b06e8f5a8ba29ea7a
dd5c83b9351e3c4138517f25ca5400399ed2d786
c5342ba0f3ceb1c349a6587c523fbeaf8718ad21
3f2bdc0f027f73710f5879f3a44e1995b99263df
39f3084384211c84062e4e503598ae21b59958e0


