# isabelle_session_info

session_name: Containers
sources: b726dbc2e6a6d55a19b2263ba2eb7eca6390d30d
output_heap: afc02a01f56e08112c7538669aa4964a0f611870
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
6bc7163ce4d3b4f24ad4dafbbce0bcad4ed1ed32
85ec68d36bdf5ae999a672acedadbac7f743c4be


