# isabelle_session_info

session_name: Ordinary_Differential_Equations
sources: 811db9d640f70109621c9dd983396ff591530b7a
output_heap: 74e694ea12386479c912e4d5cd24b7c174ad178c
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
3109ebb80bade0add97a25bda6f087f50eb33144


