# isabelle_session_info

session_name: Sepref_IICF
sources: 4fd8629bb2185e6bc2b2685a9082db5dcfe83b17
output_heap: 1c7f3371fae69a38b483dbcf3986755392e958e8
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
41397749331004e6e89a92b9edf427dce3f44ef1
dfae79588919b5834a93298279b56c4625da02e1
38dfe9ed9785bf9e1605dafdceeaaa0aa60f6dd1
cca0feb0e666c954092b501143a9009fb39c8c5e
6760e6d6907f0511421edac0638295eec369ab98


