# isabelle_session_info

session_name: Launchbury
sources: 0dbf30587e9eddcaea7f60c59aedb56586514656
output_heap: ee477045b7243d3db15d89ed54eee92326ed508c
input_heaps:
767d1abb4385cc0848829909014ec5284a74f26d
f8f7da93998fdd1c52e2a4472eb3025f88ab3418
539b3ebfec6c0f7c278eaa3e8bd32b20d653efb4


