# isabelle_session_info

session_name: Lorenz_C0
sources: fa194918f7ace6b890494ba4e1b4b80dae0c3d29
input_heaps:
060208742f97e70ee6335dd8bc4b2c04070a0957
42d27f164429ec7d884c2ecee70aebcfb54fb15b
099a34d1d42a3e7bcf0105fbc479588a791633c1
3070211385fcc98769e13579c12220e9453638b2
4a8dd34a3ca661e2e45dc1e70b492d8f11435708
9ceac5e759d43e05672adf0952cb95f9a57a59ad
2a46cfb6123f8a21b7306420025acaca0803669b
4dbaea253f83e10858ae1f3c3bda42bd624a6ef3


