# isabelle_session_info

session_name: Stirling_Formula
sources: f0e8f196044168ea06d4e854537a00894e4ac30b
output_heap: 27c6d91e87634ff6a95fb03c354f77087b7b9c4b
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
450c54405b003d6f4b7501021314e5f7abe09d76
a1981f4ab585188a35b0c1fd3c9fac76f851f165


