# isabelle_session_info

session_name: HOL-Number_Theory
sources: 85eb69eebb5a420d5320811c7914e5ec398878a2
output_heap: 8a43d17b5bbcb3fe0097a2ead8c9779bca8d0dd5
input_heaps:
54cd32f4919d850faca17e94e357093dc43a48d9
f85412ed18f79fc641e57fba244090c4b08a2333
acad73c1eb4ba4dc30e9c99aaa0b98796b40761f
dc529e6128005b8e32c9c96b189209626445597d


