# isabelle_session_info

session_name: Launchbury
sources: 1f00c1df3194d3ab03a6015152a1494588ac12b1
output_heap: 794fc7d4ecd57a3abb91e51bbfbdb2efd36a8b0e
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
a910a225eb72423ba846a1a2a2015494a7f8dff4
d3843a2e065a733fd1ba283170a1e49102af3a3b


