# isabelle_session_info

session_name: HOL-Number_Theory
sources: 73b0d92d9d51dcac934eec83e4cfceab0e061f73
output_heap: 5e28bfb210b5d637d0f99e09b30d2ced57089630
input_heaps:
5248afc86b05a1ac2f695003788f35082c9fc933
f1ca51ccd42b5a485854d78f2467698d231bd356
39fdd67748314a5f3623ade681f853796ccafdf4
b87b8b49a787e251f1400f11b47f20ece909c6bd


