# isabelle_session_info

session_name: Lorenz_Approximation
sources:
6ba5129cea7e34bb3d4947f78ff5b60c263511eb
6e56517724cf6a68774c50a601e82cbed18c715d
bfa1db605b8efd153a3abdc29ec8e7b4bc4108f5
f2c5a0f4cc709fd34cf66ac91006c5e401c066bf

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
7a682a676d8a84f583e52b3d25f7f4b30d4e186a
b534d5c3f385fa73291b40a2d8a49939cf8151fd
a5ed6ba45a01a64a994a7de3b020bafaf3134704
10f4e9f55b0d1ebfde87304ac4ba0c8f15a717ce
1b27d39dba4a6ca50b0aa72dd908a894d34b0a35


