# isabelle_session_info

session_name: LOFT
sources:
022c23206d4ee6e1d441f348913482a17c8cc080
17ff26b9b0691e4eb327b9862e64ee6895823607
1c33bf17f0a1315f510e2a70ea63713c19e43b6e
1c97bd1b83081c3452a0fa027b9e1b010c8ed6c0
2aeb1565a80d9fe6b1ecb755e23e6e01fa838ab6
39445791856216bff0d09d657330fbade64701de
669a23f45f21e1d9938fe52610869cbce205cfd0
6a6641a4cf569e6ff63b7a7dbe1dc34172c662d2
781d35d5be4a27eaf4aff46d3b722118ab8c3bee
7bbca7fa5b2c900f15cc22b125f03b4bbe5ba775
92413681bf1ba4457769768f32c1699ceecda0a3
a303ef65f079c2c674664e02db40fec2b76a8d08
af1e05c7862d0d46bdc97c7e9c53dd0997e69662
cbe736801b94a1bd7e15901b0518d949c8928f84
d412a281b72f65d875ae3c827fe4e50f95739a62
d6c39ef2602fe3f3d42f9dc85abb06d0aeaa1e9b
e04316ce391d47f07ec102453ad4a044d3d6d435
ec49ea95faa5bcd83839ced7b07188c090f14dbf

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
bded2976de2cf267c891e8c27b9bd77c6482ece4
1e026836861482d789f479457b935595fb1815b7
b37d1c1f58b40e817a16bb5a0ac6ad70bbb2b554
8911abc61d26fac16e411262d53f2c52e98e9995
baa1732f62f7ad8c6d961af019ffb6810a18e0ac
bc402d957359eec91d2ff4f9f78766b0302c8336


