# isabelle_session_info

session_name: Ordinary_Differential_Equations
sources: 0744cc74c78809f24b1fa444132edc5542099f72
output_heap: 9c2bf8ec8f1dd6d204ba4695cd2eedc3b8504d4c
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
65d80b9f55bd9ee9c1acb629a585b7cb4350661b


