# isabelle_session_info

session_name: HOL-Number_Theory
sources: 5c370e819fcb940bfca4293ccab3c053cf7d430c
output_heap: a5df5c3701bc7a4b455702828c9db19a69c623a8
input_heaps:
efc28eccda00132ad1b67401ee486ac0b5a1cdf9
b1cdb922eb1f4b9cbde0037d18a4b856bf1bd352
3d0dbf89acdceaa22c6509bfda5410a0426c3c8c
ac7a5eeac414f041641d2a6a34dd631f73b87e39


