# isabelle_session_info

session_name: HOL-Number_Theory
sources: 947ab2c01cd2d6f43f19c6726b91ff2e05c109ad
output_heap: b8e1a65a1ecf84a058d9a38e15f3f04e0709d3b1
input_heaps:
e6482372651d25cfcd88b33f1b222ef5cdb71889
fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc
aef5ff10096fa0ad7e3acd5dc0607ec20af499b2
b62b075c5e7da1d12bb113c85eba987648574f36


