# isabelle_session_info

session_name: Launchbury
sources: 88a33ac7b756e286e9e8f6dc6a1303366fdbc925
output_heap: b910e79d364ba02cc6436673b8f8771be196028e
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
0907ffd5488f2625752a5b0e2add48345f2535b6


