# isabelle_session_info

session_name: Show
sources: 2778a0e7672e1ba40cb96faf57761be7c980f906
input_heaps:
a70f3b1dab78f27422c2c199c67ce3165c51f78c
b7ea345064e6ade7544c71fbd991740359381db8
12bd5101ca4134610fd46efb8adc7e49567300ff
10fdd6ff3997c1e0ac30ee5aae9f98f35dc8bba4


