# isabelle_session_info

session_name: Containers
sources: f743733a71bb070bd03ab8ce3377e1e4aeb30d2b
output_heap: 40ea954d3cdc32e0570b99ddc2f32882fe5b5d2c
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
8e20ce849646d33245e5b8e0a39681f1fa96c617
ef33f2982956ea7c1230168c6c107b4423e1c1f0


