# isabelle_session_info

session_name: HRB-Slicing
sources: 98c029116d1b0644d646af1c1b9a302a02c2d725
output_heap: 72372ccef7f0ff536d0e48aa0ec774bf333dd262
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
daf773399df2d213d8f31040a17ff1b2e88164e2
d51aaa62a38550ed47335df3b2e272228633c2f5


