# isabelle_session_info

session_name: HOL-Number_Theory
sources: db106dcefbc48229e1900a501fbe2a62bffe5cef
output_heap: eccb0b2079306b6c472946fac57ba7c62384a460
input_heaps:
440b9f4889eeccfeb8f57d192fef3c943c95e2f6
15a57fa35da2c9fc03615797247fc7f427c7b698
f574a9bb79e5b51ede46f5b2a9d5ace0b6ac495a
96398d41b78b4893ee8ea871f6dfafddcd3ccd9f


