# isabelle_session_info

session_name: HOL-ODE
sources: 38b948c64a12b7dcb7ba87d8617019031d53e871
output_heap: 7d2cb9c20797b498ff14ef15f3ff6f7708ec91b4
input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567
b62b082da1d764e713f5960b70e1b522ba49b147
4392414ee18e21cdf5931c628c2aae793eba06bd
a6a45f4e0758206df83355252d022e5eeb74f898


