# isabelle_session_info

session_name: Stirling_Formula
sources: 5d466f29d53e16525291480b7502405587c53ccc
output_heap: d7da2b498141ab7c91b417a7a4c0b94a46f21e8f
input_heaps:
a70f3b1dab78f27422c2c199c67ce3165c51f78c
f87e99c2e2333d54a40f2ebcf261012b052e5e39
bdb07c009ea028fadcca50675dca42ea3fd2d6d4


