# isabelle_session_info

session_name: Ordinary_Differential_Equations
sources: d4f5d2c188a8a20679f1bd440e590b3e7201096d
output_heap: b89494f3ea9d19c1b6f2cdb0d8563e3564d29adc
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
b343917444c41539516ff2ead8444841a71abc9c


