# isabelle_session_info

session_name: Collections_Examples
sources: 18984b498e5071bbf0f8de7c0ae89acc6b74b2ea
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
5fc4e321a4aa446d87b59c72e26ba2102a31a053
1ea17f3e47b587384d43016e79221eafb87ddb67
877c09a654edbf636f05fdf9f6c4a1c8b862ae66
786bff49280b4d42cc8baaeb15a2bc7b1d8e7ac7


