# isabelle_session_info

session_name: HOL-Number_Theory
sources: 990ff92b41680c384f04ae660a60b5f59bd8c88d
output_heap: fb6b909704078735bbcd3d8764d734fe4296aba4
uuid: 3a9f494e-f680-4fd9-9f89-60d78072e0e4
input_heaps:
b8a6b7f3ead9e69e49adda3f314835db8ecb2a6f
88a6ad11863aa7909374441b2475843141e4c25c
3c19ac5803b7e34cf46729d33d06863a37704171
cc09bcfd49c38275f48e9741242ee250381b268a


