# isabelle_session_info

session_name: HRB-Slicing
sources: e9650851e95071639f89bace810db5d6778768f0
output_heap: 1b892f7e9a00fdd50fe49681447b7433fe226d32
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
05722cafa430ad5d32034406e0ef9a6274c6ffc0
49d065efc62b3494ab7e37cc14ca52af5fe2b6e4


