# isabelle_session_info

session_name: Containers
sources: 1620d87495fc33581b8d7feef5284dbc90523633
output_heap: 3cf735030c6bf63953fdecba405f51b9d0935844
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
a9fdffd633f8437f7cc705ac0a290ba020d4f213
d8cb066708dd1381c705dc725fc80e1f83bee4bf


