# isabelle_session_info

session_name: Containers
sources: 2aecb41cc809d9a534c05b05d50188fd6c7489a2
output_heap: 7bb36992be6cdd7b620c040b1d64f766735d3fcd
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
692041f1b59b9a0b71dc480344ce35542929de04
aaa7925b44a17790d4185a18f25b21f724e0cb8d


