# isabelle_session_info

session_name: Launchbury
sources: 52f3c993b93b309976c96f0f764bb8e03c719831
output_heap: dcaa83ac1a4c330b15568781b346eec49e74288b
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
f2a43879b50b268ff2db3f5692adc58efb8d10c1


