# isabelle_session_info

session_name: Stirling_Formula
sources: 4b8d57833fadb380a100112050a0faee3093bb2e
output_heap: 1c6755b113f5d3338ce2d5ed93fdf97caefcb1a0
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
d040bb6bb06b2ee524550897c62da689062d71c9


