# isabelle_session_info

session_name: Lorenz_C1
sources: 5feda840fdbc0cc5aa78e74d95359879bdbea5a7
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
9491a640ee6bf72e55d03587fe1b9576e97fef2d
d5f8d0f1be5ed590e1855296c341ba0868aac5a1
90d2014b61a47575554297cc0c333df2d6f66f90
b7f4c94bdc1dc6b390cb1d2789d5dd1638265dbd
bc89fad38ac9be39cf73ce7f5a7c2679c01d1862


