# isabelle_session_info

session_name: Sepref_IICF
sources: 96fb1fef4ab282fd2122ea1001b756504a5aba1a
output_heap: 67cab9aec2e25675f239f45183b39619ecc0ad10
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
2f484737f9e309b1dda4db1db62345fe202c4f91
14de8d5ef97011d1aab90fe1ee9e6a72e94b032d
20ce141ce56eee59065d2403cf726ecb8d9be303
d8fc3d1d79542341f31533fa25ec6e45abe9fb6c
d48199dee1247dc7a7680b7d7d8a41a341be8b80


