# isabelle_session_info

session_name: HOL-Number_Theory
sources: fff1e29f30ec16fb984adf48b4cca64442901a2e
output_heap: 6387fcf641277f2c8c6cd2ec5c470d1f71f9c98f
input_heaps:
91ab3b96b909506c75d6bb6e043eafe54e57f085
ff7eb6c64e4a46301790321fbd0b81563e69554d
df2e90a2bece19806d62ce7997bcf7dc0af666e6
1d6c7dfccaa7375acd048c3305634a760eb2296d


