# isabelle_session_info

session_name: HOL-Number_Theory
sources: eee0cbfc2c66e60688bec0d7b00f5e9a48c1e0f6
output_heap: c06ceddce9aa01070fc37d76d0495dfa93e222b9
input_heaps:
95c43f5c6a1a4c9b387d257d0ce0e9e4c84b7546
d01107edcd6213a1a6600255da677abaa24a1f97
811832a6b2c59f06298f225b4af9a73f6d01f3c4
c1a09554330f4ebbbb982f576bad19af9f79d8b9


