# isabelle_session_info

session_name: Sepref_IICF
sources: 2c0e55a0e75c8a336e503518b215bb9ac82e905a
output_heap: 094352266312ca7c7785d0368afdf3528e5132f9
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
662881dfad4b5030c5102363142441cde1d60e32
87c553a46806ba8f82cbfdb23f7c48a88546dfc9
52c443a4a3c3de58ec83d6fa5b3c182aff5d0fb5
76fb51552d8448ed719281f0b6e84cf02f3b19bb
402df851ee69a5a815370a5fa62c92890982030b


