# isabelle_session_info

session_name: HOL-Number_Theory
sources: 8142e66001dbedb727ffa6c3172e946e361b9b6b
output_heap: 80039e4b33dd740c315e1502675ac70ecf5c5875
uuid: f055e7ab-80f1-4f23-b1a2-801cc2b2775c
input_heaps:
6658f1360d03aaa6e9a44f29ba89e5d4511bfd5f
f5ab5fe06f6d5ebf55de4e984914a8d78a3ea819
31be90412f2adfe57820f70706028511e7ed30dc
6c455779a8a4eaaa5b13d3ddc1d1ae18fa18c9b8


