# isabelle_session_info

session_name: LOFT
sources:
17ff26b9b0691e4eb327b9862e64ee6895823607
1c33bf17f0a1315f510e2a70ea63713c19e43b6e
1c97bd1b83081c3452a0fa027b9e1b010c8ed6c0
2aeb1565a80d9fe6b1ecb755e23e6e01fa838ab6
2fd7e1e9fe71061025abc21f1090e9ef8b210328
39445791856216bff0d09d657330fbade64701de
4cf346d01197273e48e9d07574ac2d32d0274aea
669a23f45f21e1d9938fe52610869cbce205cfd0
6a6641a4cf569e6ff63b7a7dbe1dc34172c662d2
703f339fa82134df88069df77d44a69c6dc6c517
75e8290d721f81346533ef0d745f157af4e436a7
92413681bf1ba4457769768f32c1699ceecda0a3
963f7e2b454fac612ab6bab161aca8b01dc10010
9e86e7be0afd747c94a6b8e2c7fd5b52126359c2
af1e05c7862d0d46bdc97c7e9c53dd0997e69662
d412a281b72f65d875ae3c827fe4e50f95739a62
d6c39ef2602fe3f3d42f9dc85abb06d0aeaa1e9b
dc26a20efde5ad7316ac4fe7e20d3b0665c728d7

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
ea130132a8ab1e832f061836cb5bf296dd9c641b
754cb880c1e7be64f08db47107f67d5d77eb52a3
34eaf11ec8666ae8c8837c316960c7701cc961f1
a5e1175f9dae7d22dab2a4e2bd4696a2d017770c
5b5d8975ac7c84e28fdc6363843ee2915780bf93
0c8e08f9720c4564c8e27e4ccfe3405a9f90b03f
c32fa6ad8f61de6c15c66d1a76d5a6426fc2d2e9


