# isabelle_session_info

session_name: Sepref_Basic
sources: 4654d53463a2343fa50c4a3df02d150ee5f18a1a
output_heap: c2db220557793e419bd7c14e82df971b14f3b59c
input_heaps:
5ef6d50342693f7e095d0dd59d86225835695d9b
fa5fe27d0d291b70d86441110e409cd4047f2f2b
71a93dd97205bc048130ce5c0dfb2434c6d799ab
f34d37ee74795ed0809f2386d419d21b65758633
b47601f28ab22d459238673c05e85b96f65cf3a0
9dbfb668d78ff6e8b3fbb3990f3576a6eb9fe154


