# isabelle_session_info

session_name: HOL-ODE
sources: 38b948c64a12b7dcb7ba87d8617019031d53e871
output_heap: 746fb4da498b74adf2cea1a0881f1f8f2cde9c29
input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
38e9905181602a320340a0cad27ea92de6285748
84ded59b1a2f7fa0bbce80ace6919f0a164bbf83
26bb4782cdd695c4ad78042e2f50f3655650733d


