# isabelle_session_info

session_name: Containers
sources: 62060557f1003e570fe1a503c82d66c7a58db48c
output_heap: 1079b0e075abe9da44e9f2f5da3743df8878a50e
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
d11f8dd5f829b9716e349208ffcad761664f9cff
a20c412c50ebfa69331d8738b043b50c1717b7e6


