# isabelle_session_info

session_name: HRB-Slicing
sources: db07f5691f450bec0ee1ec7bb5ba68f67b54f2d8
output_heap: e0c30a377c0f88708e6b89b18a7d353400f45571
input_heaps:
2f45ef79d98bf4791ca25c4e1af3b76b517203ad
1b41415026d3583c6b6bb0d2ec2995e8feb75528
6dd7123fa75097b18d3135622d27b8f5daf5537c
faba4752f0e80be500179d1c27b0bfd75de9213f


