# isabelle_session_info

session_name: HOL-ODE-Numerics
sources: e2dfdd5acedd8e9e09ac07468d916782c2fb66aa
output_heap: e432c072bf3269f6ab97af58e6586f9498ae026c
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
0d958163c01ae27342331533ade53b2cd2488299
6b5692df710ef7b552039fc70b236112050b80de
1cc6d32baacdc929e213b31a62484180b0025738
d47ca95a8d347a8a5b6fd4d432c738e176dcc9c7


