# isabelle_session_info

session_name: HOL-Number_Theory
sources: 931b6563ba99278f99c356408ff0ac408aced99f
output_heap: 17f04d2aa38693a4d70dc7ceae94f331a7dc7993
uuid: 4cfdbf51-4858-4b7d-a6b9-a7e6147717f3
input_heaps:
cc0a1e6bf0a67bebc76a05283bbaeaf825c84028
0f6b10629e7cb97327ec14b3a1d38cf4256e1f5b
67311316c7511f2e1668240497faddcffe7e5d8a
f4daddb79c0be0b14eba5db052cfb9513ee2a4ba


