# isabelle_session_info

session_name: HOL-Number_Theory
sources: 8a7f9a6e5b354cfc603a21528afdc1527f3c89b7
output_heap: 1c12bbfe36b4a7cae13757bfe359848efc161fff
uuid: f6170b97-7334-4fc0-a56b-11afc04da085
input_heaps:
2d4d42bbaa4aa9e2d6be0125d66cf1542ba8f42d
8949abede8d02268862b8a391758b7bc0543b206
44ecb598abe16cbf2327b95701c3f556edf31940
e820b4324cbe599fa66776b053f8b8ecd98853d3


