# isabelle_session_info

session_name: Containers
sources: 5cf18438fc49323d70b668df79e61a744fa0ac3c
output_heap: bed0e5788af2a9cada2d4fcc827b5289e3b03092
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
85abb972e33d791a56eb0ae4d28a032db01c9061
3dc62f397725a6cdb9e38798ceeb6b0ef9186625


