# isabelle_session_info

session_name: Containers
sources: 82bc8034925ba53239e0429d989cf5c608387d97
output_heap: 6964fcb32f632d21dee4080270f77fc53a8bff6d
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
c025c931e06780c21fb686bd887fc895af0f5a8e


