# isabelle_session_info

session_name: HRB-Slicing
sources: 3d0624a3cb6398bc915256f537b2fd2b187f7bc8
output_heap: 8d59be17f39e25574c767afc15dd0f6543334f7f
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
692041f1b59b9a0b71dc480344ce35542929de04
8ff325352a38c1ca485a328e3bbf63052b1d2abb


