# isabelle_session_info

session_name: HOL-ODE-Refinement
sources: 42ab2c3a76d35de9961d45c6ec531a67c62139c1
output_heap: 50151c3bc5af1c3311aee42ddab4649d49a2915c
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
bdcf3dfcb2269f6f70b340c38a29b59b8f66cb61
4cea133ce1a4326880b96536e2b39c2200939e64
3a164dcb56585d83866d0464c99fcee4143ee7c9


