# isabelle_session_info

session_name: HOL-Number_Theory
sources: 056706502c82206229f8827adb4e05edfae274bf
output_heap: 405b0e1f1e2fa25d9c30d052d6e70721de3664cc
input_heaps:
c0e61e77fb8690f5534806812bdf6e8b6e8358cf
3f40f337f05cd9b43550abd225457398f45a1c03
5a7ff88962b0e0154302b5bf0ac08c8910e67bf2
90e3cafd0fdd557e521616e7837f04fa32ff59bb


