# isabelle_session_info

session_name: HOL-Number_Theory
sources: 7c63e20e528c69a32ef3ce491a9c7cf579b24231
output_heap: b5f534bf04a476e482d87ee4b57bdaf11e74a012
input_heaps:
5f1f4c97eda553942b9ec06e90a078c551996761
43ab74d089e128bd76f985380546492c99756e15
828ad638e74e192cbb95eac6d611b446a20b3089
e658f92347fb5063312b9738d6fefbb3f7bf8e92


