# isabelle_session_info

session_name: Containers-Benchmarks
sources: f09eb534ef84f51fce4a7343e12579cdbef118b9
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa
52bfaac78f0b8f78fa81b19f2f54921273dfaa05
8165b70943e424afdfb6b8f92f214b385ed9d196


