# isabelle_session_info

session_name: Sepref_IICF
sources: 4a9e4b7c6136b38110713152e3bf59f9fef39747
output_heap: 8ef4f93e82f0215182276e64e3fb2e38421cf276
input_heaps:
ea26063c7d2b9547d258649baebbcf2e91377bef
86a9c3ac9020d4c0654bf9b98ebef5596b5fe09d
87114c77025a8c92a35ed7bbea8c3d3563b42cb1
905d0e41aab434f7b20bc278778bf6835928c7b0
93924961bd4cdf160b5eb82e84b31feb5b9a12c5
e4e5d1bf5a84d7ad7816275bf22ab096f5377294
988857788e7488a933c2a792c0b6ac224f3faffb


