# isabelle_session_info

session_name: Containers
sources: ad5e060c0024b40def5fa0050eed3a7ad7b74bb8
output_heap: c4666ec2b91ec75f291290a3b998f929f69aeeed
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
9dcd22a721fb4d6cb69fff249fad38e4e65ea05c
edd63e791683b9eea5c0e11f60cdf8e503e9299c


