# isabelle_session_info

session_name: Launchbury
sources: 3a1091a9cee62530164d8f64d628e7adab0e69cf
output_heap: 8cb1209b8217e98ef7c555ebfa95538337f00984
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
9917c2bc07c4d4ecbb979dab9a399298f5853246


