# isabelle_session_info

session_name: Stirling_Formula
output_heap: cc16bdea16acbf24aab76f29a2346b4249bd74ff
sources:
08a4eb06495649a12d50af941f94b14fe9c06503
306614ae7e125cd238a3bba7fd3fa5e2d2176f65
4fc523fbd1f57fd0d3e2201a74b96ca7f7866431
504dec31a08f5f145e7c464c6e999a91b3807e8a
53c6fec8bd0ca1122e97880d460225de71ccca78
72a2c4c4342126b74d4a285201a6f4c6fa340530
9ccfefc4fbb62f0b2c308d7a8947b1bd79b2b8a3
b01d1dcc9ce7dfd42a9d656977dbe100ee96f91e
cbd9cd9e8354bdb0dc6ae6ad66ac7739d5489469
ec2e32f7118a1d1dc54d9c254cd254eb1ddca842

input_heaps:
c27a9b4598ca656eb9c36aba33ff1f22941d7b72
64354e2142aad138813a04882ec6c2904dd4a4d3
5fc9bc996dc88f5795916c8392ce9eff6dcc840c
303acd374f1059a135c35ac8641e7b77c085e960


