# isabelle_session_info

session_name: Launchbury
sources: fd4dddd0484c96915ad38acdfadbd716ca89552e
output_heap: e1df84893c6469744e280d655a1896cd8b6967c2
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
539f07aaf9ac910a1fc377432863e421292c35cc


