# isabelle_session_info

session_name: Collections_Examples
sources: 0883cbaf4e76b1d27fd70caab896e047b18b515f
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
59e461f778241d0ac6835df93c20c97556764092
d00ec3b179ec0e09d4f1ea5b7fe8a50ffdde7a9c
4a834cbc39a682ca4d823c0147ce17fe7dc250ec


