# isabelle_session_info

session_name: Launchbury
sources: 90bab37403d69150b3063c754e94eb90944724b1
output_heap: 9108c9f3b6e0d4d4db7277db6379bf9f2faa1de7
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
2511fd22fe17e1fd6b6dbd308e169e5056946464


