# isabelle_session_info

session_name: Containers
sources: 3f28700ed4d8f8ed02b61ff7a3eece452f743da8
output_heap: 232b36fd8be7fb14598675a1d78ab15d801b37e0
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
05722cafa430ad5d32034406e0ef9a6274c6ffc0
12b48cb189223d6d727006d6dded3cb2e7de3270


