# isabelle_session_info

session_name: HOL-Number_Theory
sources: f6839d48661bd465d24b648b6f78dcc54d2eeae7
output_heap: b93321eeb50279d3641a6ff7b54b6ef3c9065e9e
input_heaps:
2a371cb6b3dbb4eb2d82cd405b999bd0c7e27ba3
38b7c607f9dfbe9734f68444cfe618ac34343313
63e108282b1e0d81c5df179505955f3fc94a7e30
251004e25058b62a2e9cfbd58c3b59de65a68c52


