# isabelle_session_info

session_name: Sepref_IICF
sources: 7d486a452ff32962fa7860f116198cfac98ed3c7
output_heap: b1971250f28f35c1ab2ae5fe4b4d22a57aa27f7c
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
93bd83e52c276f6a960b98ba1277a702daf9e45a
fe3c60938ec6bbf901b209eda2eb638b09884ce4
902247109a588fc3eacad77b733e44a24a6e87a1
ea2b3064a5f40fabf449c43fd021e31e35222ebe
b19c2242a07dc157aa2effc8847082bb2f49196a


