# isabelle_session_info

session_name: Collections_Examples
sources: 55b94588dd346e4d671b50a34e69ee8521049cc8
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
71b2093ae02f0a66ae46b61dc8718444cb0f95cf
076e49288fb50eb3c080af91c3e2b85d0163f7df
ba4a960026c3a5e2b3246173397e60e7c37fc9c4


