# isabelle_session_info

session_name: Sepref_IICF
sources: 2a8204f275415dbe78fd82554c258d9ae4de17c2
output_heap: aec3c94c9bf17152f4dafb57c0c86ef4d00c7849
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
30eeac94b81bfe234ed36cb0c6d8026fdd974767
be893b48bf1964edf3e68c880cb5becf4ba1aeb9
fa1815b8175aba8afe6dbdbb2d26568717e60760
7c8b60b0ed097b66f29578f0ac22f84f12f0c815
fb9a8b395e0815536b7b810a6f4fdb7055aa320b


