# isabelle_session_info

session_name: HOL-Number_Theory
sources: 454ef2de98f74eacda53d20420738312589d8a15
output_heap: 7f7522ab9a35dcfd35029a554ca65f990054d401
input_heaps:
6c60686a775c17b128fd9cd71424693ae23fa627
4ff4ab262683e151508a9833c0dc0c10d1ef6532
80471069f2c44ce5bfd043de38dc35abf5b77c3f
c6928a594f9e8a5a9eccc8dba30f999ece788704


