# isabelle_session_info

session_name: HOL-Number_Theory
sources: 442c445dda8651856bc8dcdd0472d3a336ac2e98
output_heap: 098f21834492e89b7ed36f66d044d52f958c2f72
uuid: 51793212-0b12-4ca0-acea-e82121408077
input_heaps:
0a2c0c4191b1d84261ef90406b039e096e738a98
12745a0f51ab83415c41598c722acb7629442f25
db5df347df4a9d5f70da638d46b9ee35f81dc73f
c519196e71423c72ab27677b1c36681a28c9ad4b


