# isabelle_session_info

session_name: Lorenz_C1
sources: 5973e2fb002d23b5653c9784aae08df77b8afe83
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
f9599c72045408b4573575612b1544f97d3e8615
6dc5e2d880388f6ebb4721373e1be4f7149a3e3f
334078caba973a9ae5913354a1d8cacd584fe62e
ea747ec2c860dfb57133f0b19d9da20245f9d49c
4d926af55b38578a7e86da8721ad305e9973a88d
7c207dcfcbb439ab2049ecd9a0c12b8897b1e4f7
480b35961c990afec36755d665de30aa258bf6d7


