# isabelle_session_info

session_name: Launchbury
sources: 64b7f85c5465c90aadcec6e1a254b47da718021c
output_heap: 4a6c295b9248df34024b5e8eb2700d502ff1a37d
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
5fc4e321a4aa446d87b59c72e26ba2102a31a053
1d500dd49d5973be067251b26432ee76a4da1120


