# isabelle_session_info

session_name: Lorenz_Approximation
sources: ee9d9cb6d071803be6f8ea68e69866ed1f82ee7e
output_heap: 3283e2fabe5333f79a0a6fe86bd1df3f1ae2bf0a
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
450c54405b003d6f4b7501021314e5f7abe09d76
a20eeaf5f841546980b2d67787eb40738efbb344
857ad0edac18f6425473d14bea7c92bbc60ee5cd
7214ffdd6595319c2f9ffd9cbab21829c09df36f
da70862e49aa59030e70c1f513c85b1b9cc93f0d


