# isabelle_session_info

session_name: HOL-ODE-Numerics
sources: e2c363a43bedfe0493522ca491ba4b9f216e5e40
output_heap: 2963a4538bc15f202ec569f5d5e00cc53de87e63
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28
799e17e0602b8a57e51c22711081aa85bbe0ad29
6eee2f28316fd804254d47455168bb21d3c5ea3d
c19e297bc3a12b7c6010822c54d52da093b3f430
4923daaae4fd179aad8c6325fd907f73e6f595c2
c04f5e113e8a095a540ed3556fb818d87f7b4c7a


