# isabelle_session_info

session_name: HRB-Slicing
sources: 7f1f034214928d80d6b55f75044fef67a6af4cee
output_heap: c28dae3d0f8f13183e72e256397ce038985470cf
input_heaps:
d14ac4c995dae0e54cbb829ef0bf6514a439aa95
a39a93e97d06226422815bc6b1afb8f60b4561ad
e816bd9a9dbad40b32295b442d799a64f41259f2
5f88ac4ab956f14a0d27756394d7074edcd87cea


