# isabelle_session_info

session_name: Lorenz_C1
sources: 8fcb6e1b380e30a507606e64d2b955ff6eeba442
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
a2abe554b024808f20211ba5faa2097c20520e83
932e15f1ba935700288a557135480acd131da58d
e8ecdcd8880bae8bccc0e895e5cc95d7e4d4dfef
9ad250fae992829118c54f112c7e75fa7f79bff1
06cfb8ca2d6a0627694e27a4d0c8bddfc7ad9855
c8497a32816a2037b9a5cba284d1e880fda33e29


