# isabelle_session_info

session_name: Collections
sources: b2d82923ce1511bab4ac52f8b22379d031ddd881
output_heap: 03cd2aed9bc0c27ef8667b37b667141c677255b2
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
afea85cf1dd59bdf03deeb69cbfac976e81fbc62
1c466f71c532c25bd2e72e07095d0f7aba095ee6


