# isabelle_session_info

session_name: Stirling_Formula
sources: 73e1a1dbc6d1643db3a5c46bfeb3ffbddc364eee
output_heap: 2b5907f2a56ef580d547ac78a9a7be1306dacc50
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
2f1df30b59f380b2c8c2f73b1e93b179f1f922db


