# isabelle_session_info

session_name: Launchbury
sources: 62adae5d12dbffbbdb271a4eaba0fb2f7c325d4b
output_heap: 77274f448d507233c056450695f0a391291251d1
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
95ec7c278515fc77868dddb283521b6cb75eebe8


