# isabelle_session_info

session_name: HOL-ODE
sources: 7250e478a298a1de502e296c6e60bb3a8a719e13
output_heap: 5e412c092d1d49ae66bc9634701ae0bb352c7364
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
a643a21d33ebcea1725873278009917e0a504d89
84a8b5fc6697867a494210f075373ecabc9edb56


