# isabelle_session_info

session_name: HOL-Number_Theory
sources: bb8984ba87d6a1955e404b98ab642aaec2c15a81
output_heap: 96ff8e7d66f83207d5729c4f1dec4b0eff565bc0
input_heaps:
6f0d95008f7369e66009336a552999da7ddc5ae8
ba6229f15de8ffb8ccd0be7f076e28ae3292cd29
d9da1b2038d4df7f82c30de8ca40c8d7bff81346
22b0e180e26fc51243e5cd5474cdf03144bbed4c


