# isabelle_session_info

session_name: Sepref_IICF
sources: c590a7935496f2d6c6e9af73cdeff181e4a20c81
output_heap: a76252606ce655c5d2e982d003bb6c4d1cd6047a
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
79764dc49c42e04d2f2d7022e68e8df538e9cc73
29e4fb628695efd17b4ca5f10d6020a0878acf05
c82c7a092ea2aa0123279103665f5a061315dcaa
60b150918b828a9f77df5cc2324395dd9acc1f9e
664665c370803f1d0981e092578fa90c03506e2b
cf417dcb6630f003e1e70ae9905d98f0d8ebb602


