# isabelle_session_info

session_name: Sepref_IICF
sources: ded7c218342a47320e4b59e2bd95f43f06e99d3a
output_heap: 4dfd94394396a7e3f0efca55d9a117daeef6b70a
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
fd62d9bb3f527dc3a07d8609d279104995640fbb
4e4bffce2ef2b227e152cb77277a353dc5a00ac7
3c65f45a8a92ed794c23516630b789c782b4cad5
8a37fe67a548ba7e4de758d8d27bf815119f2abf
bd84c3fee2fd061a81b680b92ebfdcb9559308e3


