# isabelle_session_info

session_name: HOL-Number_Theory
sources: 99388b2e9497494ad1bcabc168ca6bc85ace7ed6
output_heap: e040dd9d1f8146e8858bd4f589e9002b40ab6503
uuid: 299eda2f-5df2-4ff2-b868-a925046652fa
input_heaps:
7494db69a56d704462c0c0f0c662958fd44be986
d35569da02f94f5ff7cd2e9c664d515de3feb2e3
a9feece35c0c8ac4a3d703918bc4ece33fe25203
23a734d97847b0d46aac230a633f908a99228fa4


