# isabelle_session_info

session_name: HOL-ODE-Refinement
sources: 9449716c9f18d3f8b9a764128936e41632c303e1
output_heap: ed0917763c3c5bedb326fa7f92d7518e060a1cb5
input_heaps:
24747df6cb2a1c6dccdf5e71c720e60d85229876
0fcfb088c71dfc08dadf2cc96adf92fec8322d04
5e0405429b3790f7aa4dab8d0b7b43d2105ef2e4
528f6105c6582dd2842bcd4fff1b181cf8d7c9fb
d5a0de8eef772646e848a6dde36e3cbf520d9827


