# isabelle_session_info

session_name: Collections
sources: fe058e045fe488c5959d51c4a3f0271ade64f49e
output_heap: fac90fdadeb8dfeadc716cacf934482903084b0a
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
709372637b72aecc45341792a6850b4e7350660e
3e740b06e49c4e55e0032457f41aabec3459bfe8


