# isabelle_session_info

session_name: HOL-Number_Theory
sources: edf9baf3aed5910d44c6701795a9ab95517035c1
output_heap: 94e802af0090fe2fd6c19ecd6b8ae843fc7489bb
uuid: 40697911-79cb-492d-99dd-fc1cf224535a
input_heaps:
b2c9ee63d5fe16cd978c564d494a9c11f37d0e75
5e62c0cb0100aec33c186f91f5546684a9cc17b0
0e35e761c765ebc4bd583aeca7032f08719dc8fe
579d4ecc1bfac188cedfe68bfba80e28c7bc65c9


