# isabelle_session_info

session_name: Collections
sources: 211a6d9a347d25281dfc4e328b0d439bc1ec1a38
output_heap: 284185a5e3de38e8daa38487ea5ae87edff6a975
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
6ca7c2eccaa6d6c3222b369a56320daf10f59805
8ac046f77f5f0b646672f561848283ae23a12b8f


