# isabelle_session_info

session_name: HOL-Number_Theory
sources: ab476035b61bdaf0517d6d3e7b0f1dcb6d433904
output_heap: 820f216daa5a9b7c802a790cb9f755a431f1c5e7
input_heaps:
0fd942c2de17ffe6e7e669ea714c0bfd1357b97f
96be2a9745a5315d1ee7c3748cbb3041e3514260
7fbdb384c7dd334c316c02e41305ad9f8b47d436
9d70e00c399a9959d342afc0439265b4c9d42efa


