# isabelle_session_info

session_name: HOL-ODE
sources: d14bbb72470d28e885ddfb36ddc2cfae944451f7
output_heap: 1fcad02c9fdecdd13ea6d054a4293dae04c06c33
input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
53c8bd6cd9b4e6659e7c8d26458e89775080e70f
b2027f6dc5b89517c0e8583e9dd9ac8e7703e04c


