# isabelle_session_info

session_name: HOL-ODE-Numerics
sources: 236efee8dda4ffc816226595ed6cf529980f81ff
output_heap: 1ce42d3717bc774ac837b7b9c8901d9d042a92d0
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
82553a243b75b17982a7629e2aa4ca5b186893ad
8291d885c2bb8ee57864cd3cb9d390864065892b


