# isabelle_session_info

session_name: Stirling_Formula
sources: d1f3c7a62934455ee42b54d720185d2eb3f9574f
output_heap: b2d62f9df170435328f9a446b9c68cca2383ebd4
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
65d80b9f55bd9ee9c1acb629a585b7cb4350661b
0224138c354f73d3b1a277b1982a725c43168510


