# isabelle_session_info

session_name: Launchbury
sources: c9dea566c06c1c39dd5f4a72a3b1c40e9cda4623
output_heap: af6c5c7257f2ae7d1284790fc5b1a944ba69f06f
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
f94956453f3c9449081944f015f52317f1e1a8e3


