# isabelle_session_info

session_name: HOL-Number_Theory
sources: edf9baf3aed5910d44c6701795a9ab95517035c1
output_heap: fa5b421e5688d0f102ee2d796cd9801467d2e2d7
uuid: 5b1bc972-52c5-4d70-9642-8677d7387624
input_heaps:
16995642ff9d6d081fe3569bf6578b599bfc50b5
e2f00078e9a5e8bef38f416fe533f4c0bd843120
6d5104ef027c2cb96597dd4d7f68c04f0ec298cd
4465bf0d6a520fe2324dd30c55d14a4e52f4c17c


