# isabelle_session_info

session_name: HOL-Number_Theory
sources: a16198901b5aba3706fafcb92a1a0b8eaea395bb
output_heap: a64f2775c7f0da9e2aab63aeeb3e6f20b8c0120d
input_heaps:
4956d3a123f88ba684168ae0f47e8c5c96d9a8f0
9f33b4191f60ee90bd8923d099bfa6a3e9a7d12e
efdc2f1a465a1adf08c61eccde1514b82a34d582
e894b1fe767dd2bdb97cf6eea2c94b12e5f9b1be


