# isabelle_session_info

session_name: Stirling_Formula
sources: 8dbe7a74fca32a437fc8f5ed2e9047ffad28ab46
output_heap: 3f56dfa303df1b00cce34e56fcc958c418165c87
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
a4fcde5b26b9dee6145effed13a7fe1a116d5a18


