# isabelle_session_info

session_name: Containers
sources: a552f28247dcfcd455c2956329320bef42aa7966
output_heap: e4fc4e1b18960c80f6ab6ceefcc6c131fad74e85
input_heaps:
a70f3b1dab78f27422c2c199c67ce3165c51f78c
b7ea345064e6ade7544c71fbd991740359381db8
12bd5101ca4134610fd46efb8adc7e49567300ff
10fdd6ff3997c1e0ac30ee5aae9f98f35dc8bba4


