# isabelle_session_info

session_name: Stirling_Formula
output_heap: 4a1216b2674ca9a500890709a3344c40c882cb67
sources:
08a4eb06495649a12d50af941f94b14fe9c06503
306614ae7e125cd238a3bba7fd3fa5e2d2176f65
4fc523fbd1f57fd0d3e2201a74b96ca7f7866431
504dec31a08f5f145e7c464c6e999a91b3807e8a
53c6fec8bd0ca1122e97880d460225de71ccca78
5a5e1fdaf975d1e550fdbc34edfc57f71789cded
897c557ba9f3ba7d57de74b55fbb7502e3b14245
8c9504a479a5a4046082d82961946640d41562f0
b01d1dcc9ce7dfd42a9d656977dbe100ee96f91e
ec2e32f7118a1d1dc54d9c254cd254eb1ddca842

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
e96a53ecfba8c901425ebc6abaf9d1ab1381c1f6
96bf0ce87423557dcbd28d8e61d4356f95ac4627


