# isabelle_session_info

session_name: Collections_Examples
sources: 8b217fb32522acb55b04e531dafc40a919004df6
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
1f5bcbec8f55bc0ed456fc270a580830373f3698
607ffd3c50e55ffbd3656cf0cf99269ad459cedb
e2dd09fa421fe29871b3c679b2f028468eab7f89


