# isabelle_session_info

session_name: HOL-Number_Theory
sources: 4aad7104440fea6da666ef32be71a404cd3e2036
output_heap: 62dc9ec547fcd50ccdfc48eb26ec9a3cfa8b9e2a
input_heaps:
09699199a0064efa4710789d1f66cb5c536b4bd6
6d77f8423a201617d8279fb15a05e30d974b2eb8
8242aeb274e8d272dc632e3acc19450bec2d61cb
b7a3deb109b40d559d824f946dce6a0c713da8f2


