# isabelle_session_info

session_name: HOL-Number_Theory
sources: b1658c7743efe6a71509b771cfaa518b2ea39c16
output_heap: 1af596f0b2bc3d153908dc65847924e899532f2f
input_heaps:
cfe5a245c49e801c4f19a240baead0ff89487f9f
95fa3f20241f8daec8f90a364f58f5e3ee443e4b
6e88ac6a211170ac5afdf506775325f0dceb1a55
238b62c914687d955dd06a206c2722412ce8e4ac


