# isabelle_session_info

session_name: Collections
sources: 09b046a1ab40fd03464ea49e25a67026e31143fd
output_heap: 45426f7e356379c81b5201f7337a1e42bde06dc0
input_heaps:
e9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9
dc09a39d76722c2f6a77403e12e7aac18c8f9fa4
d456e33efa083b7cec4fffc7a543a462c9545a92
28935952c789e1ac8cfdddf0d393a4df382d8c02


