# isabelle_session_info

session_name: Lorenz_Approximation
sources: a3d9bef9eed3805b4480ae950df252e26ff4d92e
output_heap: b26dcf397d75830a13a293e4243dd2f023d55bcc
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2
9fe3060e6d9c4b605443a0ef7d8a98d49ef7bf5d
b6ce49cc6a7a39b1e365425d93624975de102dfb
98ffb2d8bfa2cb3d622edaefc2ee8e74b39cb662
644d381d79436fb30c4163d5e4402dd6992a12c8


