# isabelle_session_info

session_name: Containers
sources: a69e94f7b8bea84fe76986036fb21ec29528af89
output_heap: f7f658983b4195950b6c04fb77ef7b6bbe7b4681
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8
aa0c961688e11a0043768d9d1d34d03aeb22ba75


