# isabelle_session_info

session_name: Lorenz_Approximation
sources: 3492134344f7031cb1c354629467cb7d9bbf5e77
output_heap: 8618894ab8fab5a824b5bc495a5770933e088a6f
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
52ddbfe09c255e7c6906b2f5686e64c16948899d
decf9b33c04fc432f8dec63c8364cbeede654f42
20bf6e9397e7077854b9c564c6d9bd87f807ec11


