# isabelle_session_info

session_name: HOL-Number_Theory
sources: a91d22707e47bd5bed843fdab0a85504a9879255
output_heap: 454690c4b54eb55eb8d05261bd51eef68e3cf2ec
uuid: 673b41a1-18c6-41a6-980c-2bfb83364302
input_heaps:
ce295757e9128ce20e665c4f4ba08c3bdfeff815
3b15bfeb74cd601d1e7f504e7a4b04f02809051d
1262cc5026584a10c127e9b3af4f4ef395f988dc
153946ad86a6dd61f46ad7f68c4a28944e6a994c


