# isabelle_session_info

session_name: HRB-Slicing
sources: 4cbd42a9817b90561fca667b278fc0c05660a817
output_heap: 858fa4e2cf1b5ab346ccde785ec78a31e6aca7af
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c476bdebca2f60c33824d5374c70fabe6f4ba221
6b4a8079902f8489957936d8665e5d5f923f476a


