# isabelle_session_info

session_name: HRB-Slicing
sources: d2afb2e1679175b5d7d5eeb2f629d272977d89d0
output_heap: 32bcf11573f1ec1b2e858a2871218b1763dfd2ee
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa
fefa1ad6894a35a383db64f31d9b68c2979c87c8


