# isabelle_session_info

session_name: Lorenz_C1
sources: 4e80ac0745a1aab09d21f6fc7175ab0c80d4700b
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
68e24fa803389d76024c730e22fc9263ebe14aa0
08e29eb03c2ddc23125f8a3e99b8f8f8af8903c2
666262aa3a57f798fa4ad17f792d9706fdeb8b97
a1feace810e55c5bff4e970fef7804cb472b5f8f
87a3d9d9e98186cc139bd49edcc3f98ce71de1f3


