# isabelle_session_info

session_name: Sepref_IICF
sources: 3b323d6123f21027a52ed982fd459084ff4fe79a
output_heap: 15998bb2206dbc7467d37e37f5c879a75e47a57d
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
59a3a880bb4874f61b767c399786d7d8a5dca439
096d0994a23a585bab5d08d06d020c53bd18ff5e
3387d7619638332a8eee98a8dc674b1a8a62c852
49a3b8ccfb40cbc5ba61de038150715b6778be0d
8ba8e406f305bf67276369b722559ba60409bbe4
b24e081349b81af82d9635991fb96e7246c75069


