# isabelle_session_info

session_name: LOFT
sources: c4b1de44c6625c32fa6822ef68ee6a27aab01465
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
de080a6e9a001cc218fa2593f399edf3cf599caa
91387ddbc395c501aa6f6a7850f8bffb29995809
8ba8c40b46ac8afd09f23b1264606003e80ebd75
5e0b9beb0ebb36fac6e7b281fb0786d48f8fab9f
4dca2e098826cfe5e921ecaf42daff5a66d3a8b5
cec47e90b1432e0e3ae7f0c92a8a5defeebd0f02


