# isabelle_session_info

session_name: HOL-Number_Theory
sources: 06bdf449bc7877723c7939563294fa998c2d76c9
output_heap: 5a6ae0e4a620620b367c564c33f019ceda9f10fe
input_heaps:
aa468f196cc1f032ced051f10cd4b6ba6c3bde77
524ae272694e137cafb2e02694c46b4b52cd2087
7b5a09900654db7e7000023ca75a1722b8534adf
36ad7d70b5ad390f0c646a1e615714facdb1ccb7


