# isabelle_session_info

session_name: Lorenz_Approximation
sources: 1f7f482469cde6f7040ceb0c6a39be2168305b7d
output_heap: d8a83eae4e0aa9aa2cb64eb6acf4e41c6cba4f91
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
d040bb6bb06b2ee524550897c62da689062d71c9
753646582c4a1ec9055d71f534b6ef868adcc0c5
0c29560e938bb0ba76854c7d10efaac7a2cf90d6


