# isabelle_session_info

session_name: Deriving
sources: d6d3aaa2b6f17e2657d820c71e3a0152ab183b79
output_heap: 10fdd6ff3997c1e0ac30ee5aae9f98f35dc8bba4
input_heaps:
a70f3b1dab78f27422c2c199c67ce3165c51f78c
b7ea345064e6ade7544c71fbd991740359381db8
12bd5101ca4134610fd46efb8adc7e49567300ff


