# isabelle_session_info

session_name: Lorenz_C0
sources: fa194918f7ace6b890494ba4e1b4b80dae0c3d29
input_heaps:
89beaa0557d48e9709a5ff3b6bf8191abe987dc5
91f36b8f8a7ee04f5f3cdf5badff52993c6150cc
b1c0102fbd6c9b8430e16b50e22b0cec432614bd
7c27379e4fc4ecba9362056865498682cfe59055
de1d521244e791de8dc918795ddf4d95a2a3934b
90d00f50a5a7635f9210aea3e91829ab8f6863af
fdfbf45a6ed145f329fc42978f972e2450d5451c
78394cc9a9ab214c315f642a3762c277a51912be


