# isabelle_session_info

session_name: HOL-Number_Theory
sources: 169876dd54c3adf6be55a7259f6cafcd3f734f11
output_heap: b9fb1510be62ca813acf1d7d5d50e8a551a7bdf0
input_heaps:
b8fcf8b70bbd7784c887c97c24c8d372c7a8697f
771d3a59b10f66de11250785c5bd7311fa4a8612
fab52d600a5e7277c82c2b29f626f360e64d282e
8c749024f2dd8f7c29966eef8f39575d48e374e7


