# isabelle_session_info

session_name: HOL-Number_Theory
sources: 48d87a4740b9999734f04341ab2730b540f56569
output_heap: a0a605046df315bd4a8c8182aad11183f9e52b12
input_heaps:
1c2df9ab94e25c8a2679a68910791aed4c2b5de4
6ac8fecf45d23f477b2ee86df14908c91728a9b6
5090a76af1de181d9fb118b4ac17d9653eecda93
bc5735963950ec3e5859729042567e1b71e0c420


