# isabelle_session_info

session_name: Stirling_Formula
output_heap: 0c2ceec5f61d6c4922d319d4af83d515743fa260
sources:
051fcc02cf15db50e658fe345f69f729bfd1c807
306614ae7e125cd238a3bba7fd3fa5e2d2176f65
4fc523fbd1f57fd0d3e2201a74b96ca7f7866431
504dec31a08f5f145e7c464c6e999a91b3807e8a
53c6fec8bd0ca1122e97880d460225de71ccca78
71d35be3b348b6a031d655424a13956d6383fac1
ac2df9850d3afcde859c7f6478f18f63c7ed5eec
b01d1dcc9ce7dfd42a9d656977dbe100ee96f91e
ce9622447b37ca4392b5384f7e5b0cddbf2a6d58
ec2e32f7118a1d1dc54d9c254cd254eb1ddca842

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
53c8bd6cd9b4e6659e7c8d26458e89775080e70f
bb9ff7587ab10e11055ceb410da95336edaa5ea7


