# isabelle_session_info

session_name: Lorenz_C1
sources: 15bdbc64f2912bf3ef093863156a8b2402be6511
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
4f980edf476e1d267841215178fca737808515ef
1272ff767127b7bb35abe7408ef77716a0838022
be4c2d016af4872c33d89b70c065cfc50ce27fa0
aeaf794bbf51a7405afb046d6b0ea2dbf5e9376f
78f43caf60551abe51eb05183e6b35c0b021b1ea
e493a595b139379ada4730e26307e2b4d2b8fd4f


