# isabelle_session_info

session_name: HOL-Number_Theory
sources: f0dc200dff27517d5d36bd2e9765507108aaf3ca
output_heap: 30543895205b8c44925e460eddf57b9c9b225b1f
input_heaps:
895b1b1b83f37732e07998df22f424d780740496
2191c6665e759bb2ba1cac4f2b634abed64702be
4dcfd52846c0d1c5068fe68aa726c90a78f4b6ea
f898ceb6a87a070f6c6db106c81bb7b34fd6f4c1


