# isabelle_session_info

session_name: Stirling_Formula
output_heap: e75d820ac5dac6afcc211f8e179afca7e6365a68
sources:
2874425df783ac8dae3b9b831217498ed11e140b
2a520005f639cc84917fef3d76c5280ae597315e
4fc523fbd1f57fd0d3e2201a74b96ca7f7866431
7faacea3132e19758d41f036c38f361fca85d9b4
a1e85e4292f747fbd7144c216e3006c246929a49
b01d1dcc9ce7dfd42a9d656977dbe100ee96f91e
d41e5980709a88f90c6ee6b3765d0cf53450aa57
da5198fd2878ed2e8db2ea0b1375b17efc6a4c40

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
56381e65d929be2b28a6c2758bba2a0736db6379
29110a4e09e200d6dc1e9ce4b375890a6b2e6a91


