# isabelle_session_info

session_name: Launchbury
sources: 03e33c4e4e4aa32c3d54c8e00bd915979183004c
output_heap: 13e237108a1816a7f54ba751e5f5d7f2229797e7
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
f9599c72045408b4573575612b1544f97d3e8615
aac6d32d2d7db0924f7114aa95cd028affd179a6


