# isabelle_session_info

session_name: Containers
sources: 42bc4339f138b54445a91196ad4c16a20dd9900d
output_heap: e212e0a3d5a9e0232b75a5873ca8f791a6bef1f7
input_heaps:
4b079fe610649cd37f98f05ad7c20586ef43ee64
74523ca0166e9eb6415b2be2253b4d5ef2f75bfe
90d342b21d1817577a01946fbad7c1f873cd58f0
eb4e92520f30ece76d3e9bd66e7346be3faa89d7


