# isabelle_session_info

session_name: Sepref_IICF
sources: f7f23b59b55c38dce6912b4f287d5ce591a0dc5d
output_heap: b5f56ceb5ec9b2984d3cc69397643217e8ea2bf8
input_heaps:
c58d21ba3dc8b698b4c6d36f436849048b45c256
c642f89151926be6cc7824e0701f1f7d684cfe9b
847552051a3a4a92063e64d41cec45217a8db3bd
929720e61c0f9cad99adbcdb1afb5a95adb9a1f6
1edfcab2115ef70ef89b87b72282ad56d18972e3
451952693d5cda3e3c1635a8e9458e265f7285af
1a32261bc0c3a16a92aeb57581caab4cf70b2fa7


