# isabelle_session_info

session_name: Stirling_Formula
sources: 65a9bc8382ae64bed10996714cdf613962630633
output_heap: ea2966181e7b5c0051903210b693b7e7aea23a47
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
81bf6d9ee28ed1525cff1dc4475a90c408937ec0
e433d0e9337c56b0297473becfd88560a8fe3f55


