# isabelle_session_info

session_name: HOL-Number_Theory
sources: f1b51c6a097fb9763b211d61373bb7b7875bddb8
output_heap: 6e7ede4287850d0736d9e0c6562ae9c63594f2ff
input_heaps:
914dda7ac964f6cd4c94ac1e03587f374a33774d
94d5353df6e6ded67eb48c352ed39e590f1ff8b8
ba626b947fcf327636cf6826599aa89723afa38e
1c5ab84e370f96e8929967d8de1387395da931e2


