# isabelle_session_info

session_name: Launchbury
sources: 7ee6d6d818a999387f273a5103d963b7e1bd1301
output_heap: 405a94cfe98f49d279b26d271a4767003c689b06
input_heaps:
36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c
6af7e1fb310f20123ed31ee9fc4502422cd6933f
2117c93330c83b9dac1e0c4806a0b583915280b3


