# isabelle_session_info

session_name: Containers
sources: 5d351b40c9c50f7fad8bf6d5505d2c1ea752a3a5
output_heap: bf6182984011f8615cada7f001431546d6b839f5
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
767fc67378b31eb70f2963c7c52b27cb412fc8af
519b5761b5008897ebdccb78df34a6a916e2bca0


