# isabelle_session_info

session_name: HOL-Number_Theory
sources: 9020061c481b3d2502c7e656e3a78adf8dacdf77
output_heap: 2880d2082f2ff1c4e6f8756a2fc1bb1349d60a2c
input_heaps:
e8e3314a2216dfbbb96c9391593b20fa6b915b86
d5f092271c0e51c9f28f7703e0f3b57bf8bafc3b
da40b69ec8cd3b3853c6391ab26682d256c913ac
2cfff0d82a54f0a28f94e53b1b491ed112bad5cb


