# isabelle_session_info

session_name: Launchbury
sources: 0d11e0e3ee8f9432a1c3dde125a41e14b2c79e0d
output_heap: d1591623f8f4a0239e5610460463bd4b6d8edf99
input_heaps:
2f45ef79d98bf4791ca25c4e1af3b76b517203ad
1b41415026d3583c6b6bb0d2ec2995e8feb75528
da8167254b22641b61b3d7ec8b07d63079c01597


