# isabelle_session_info

session_name: HOL-ODE-Refinement
sources: b4cb482f69b092f3f67c1525d3c52d129a61669c
output_heap: 5616d357149ebae4425d030a65a04cc51909256d
input_heaps:
5614c41a342bb1d4b847af173220c6fa4e82145c
6a15369374d54d4a9e9948941484bcd1b4f8cb74
4403f7999fc34cb01ae644cb2d8165e4ded994b4
a11d252729b405bb10e6f85a91ade36f50ae76fe
9f4ff470ca33a41f3fde4f80fc3e0125167d9c83


