# isabelle_session_info

session_name: Sepref_Basic
sources: 38912713b1c97308bffa3b345f68f2a8358bd013
output_heap: d48199dee1247dc7a7680b7d7d8a41a341be8b80
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
2f484737f9e309b1dda4db1db62345fe202c4f91
14de8d5ef97011d1aab90fe1ee9e6a72e94b032d
20ce141ce56eee59065d2403cf726ecb8d9be303
d8fc3d1d79542341f31533fa25ec6e45abe9fb6c


