# isabelle_session_info

session_name: Ordinary_Differential_Equations
sources: 66e32cf5e0adb87b59bc9389bac4c54f3a567d7c
output_heap: bb8fbad5a3737d6e83c54674f7c1e4b3f79e4422
input_heaps:
767d1abb4385cc0848829909014ec5284a74f26d
f8f7da93998fdd1c52e2a4472eb3025f88ab3418
e4e778c5b7173ac50dbf40a218cea9980c782990


