# isabelle_session_info

session_name: Launchbury
sources: b6d7e25987ac266a57cee6274f6c9425df166253
output_heap: b4ed281eeb21a5e2283393f069f00d2234e123a7
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
51bca5798766ae8b6082d8e3253d02652fec4031
2482957401095775da64799f933cd36f56916949
faa51eb3ea38d3a75263307086519a3d4e498ed9


