# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146
05218989694d9035f45149cfa16d3e890ccdfc57
c96aff0ceca4570322c0f2c566f8f9648c4f1a7f
d0d23e3902a84e31b52aa3133c2931ff61b69292


