# isabelle_session_info

session_name: Sepref_Basic
sources: 5173c82c66c214ee833a5babb803a55d9c74a3fc
output_heap: f3d3d65c2fd2051762980e8d8bfb166f792287ce
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
9ca4f7fb74afc5f154b6303d43705022aaef39f0
cc1c4ec4fe785614ffea874c259e7d17f07d837b
c5709c5c0c0f9d97b0132db50c50fbe787c6c910
2e134aecc7ce67f04428bf881928133d610ed953


