# isabelle_session_info

session_name: HOL-ODE-Numerics
sources: ea26fc40f08f354f2eff23444a0ea59ce73f8037
output_heap: 5b2a16aee398e668cf686c1e20f910cc60fe49f9
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
8685a4e92669fedcb554c3e1724474c49917d734
0165b71ed5cd9afa462d5be272340249ed7fb6b2
25f8929bf422c196e14f1e153921afa2d7fc42db
8fd88846d0592cde0d614650f1b76fc3675119c2


