# isabelle_session_info

session_name: Lorenz_C1
sources: ab36c34478aec9da169b2d1a7f14c2c7faf0398a
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
c0bf7b6d5b1b478088a3e49438ef9e3f86d0ddd8
f2182b67f7a9500a5f326ced3dd0d81b4ba60fb9
857aafc8795564e021219831f1971602e1b3d7b8
f2e306c547dd00941714e04fe13a536a2cc61f70
258bb567924b94d63d69c14994cea5bec920a908
e2161edc0e45dc670707b74e2eb7d78eefb0f393


