# isabelle_session_info

session_name: HOL-ODE-Refinement
sources: 80e2cce37f9424b6104b1366dfade18252f2ae75
output_heap: 6518f60a3cc734d1646acd611cc0ee70c5be74a8
input_heaps:
b57924f8b302be7bf9325b5b3d1801c6b1f856d7
21472514b560bf24a5672fa0a82459cce4023396
b5e59842de440fa1b757111e43f19ddb36adc0dd
b906d36d0ed8a9ab28a22d989945f1f5229ead4d
d3aaffcfdb7b81b06e3b4542e9fa8d5ff7d49d31


