# isabelle_session_info

session_name: Lorenz_Approximation
sources: 922e5da16bfc4aac39ae38820863b06456d1c9b6
output_heap: 8e0a3b3f4d291d796c5383583d116be4ee9cd29a
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
55c87a9b67f3716f2c3fb74cf3c385a5a1bdfa80
cee1ab715e6b35302be910aac6d6bed579d98c29
13f2f4eb384646c2eb20faf1e9c11a12fe6eb5f1


