# isabelle_session_info

session_name: Stirling_Formula
output_heap: b6311d76534b540eec642c74066d630e7a3d1978
sources:
08a4eb06495649a12d50af941f94b14fe9c06503
306614ae7e125cd238a3bba7fd3fa5e2d2176f65
4fc523fbd1f57fd0d3e2201a74b96ca7f7866431
504dec31a08f5f145e7c464c6e999a91b3807e8a
53c6fec8bd0ca1122e97880d460225de71ccca78
5a5e1fdaf975d1e550fdbc34edfc57f71789cded
b01d1dcc9ce7dfd42a9d656977dbe100ee96f91e
c6ee00b52507a16ab7fcd0a577ef3e8cfabd964e
cbd9cd9e8354bdb0dc6ae6ad66ac7739d5489469
ec2e32f7118a1d1dc54d9c254cd254eb1ddca842

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f
9963afd7b4a313b03ad24ea07cf3d6f4296fc6cd


