# isabelle_session_info

session_name: Lorenz_Approximation
sources: 824cd09b55ce281dd9572bb4ce01d9a263ce2283
output_heap: 498b62d1e4b74cc89338de799f74052ae5bfd5b0
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
dd3b26eb68cac29493bf399898266d7430458d30
3e8aabb35c47b72b2eda068e6f2564a2d7a6d35b
37c307926185a76820d07a8e3e93232d5300eb33
32ca06c7625b42e322ada062cd393f05bd3dc572
72e705254e4d8eb11081d861c260f537d01c50cb


