# isabelle_session_info

session_name: HOL-Number_Theory
sources: cddf89c174aaa3f2489ff04dc1d7778c65a4b119
output_heap: 322f3c58551b6ea90458531373d158462a1a9731
input_heaps:
d9905930882dc1ca91d8a276cbb235c5128aeb8f
bbe29fdbe06141b726afbb3a87f4199ceaad288e
77c619213feba679f53fa2b60a9ed13501c42e58
6b853ac01971e26e9a2cee33bb3adeb2d4862c07


