# isabelle_session_info

session_name: HRB-Slicing
sources: 5ee5bded8087d972746fa91a5afd9cd78e07477a
output_heap: 280c7c8f257e7996bd5ebfecde3332e80a042871
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
f04b6a6c33ad0f2bac00ec27566d13b96a6832d3
492eeccbab16c0831b6e63588777ba0649214b76


