# isabelle_session_info

session_name: HRB-Slicing
sources: 55610880c43d2a8396b9ffc2722af94c5fc7ecfc
output_heap: 4fec244bf53a305d9f0943cb9202a63a53089f6b
input_heaps:
f42ef1fa33b2bcf7f41b6d59156a15f0915a3353
e231d8a0cba58c5d3b81b383eb6beb7946babf5c
af4bbae4b9ea16b6b597e756483e87e8d6441217
9cd01b40e57e22246050d98fae1c3e30334cb8ab


