# isabelle_session_info

session_name: HOL-ODE-Numerics
sources: 6de7837943fe56992aced307588a017ba7bdded9
output_heap: 0acd49375d5de544e45893223ef091a28a507eda
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8
9fd2ba49311f544ed16d60b38e1be4fe427c2983
0fa7088d9f19fae2ab9dbd0277752aa2ece1ab75
cd72f7df2cbb589f79675f644b17e212c9a6df24
e5e86a73c6f001291bb264269c7a0f497bf00204
a51e8836b170f5b0dffc86a24fc5d41f5d5ac8f4


