# isabelle_session_info

session_name: HOL-Number_Theory
sources: 16b31b8814d14354ca0009a2c65ae0c5bc125319
output_heap: 0071caba71f1c07861e2807986041c0d85b85cc3
input_heaps:
3d9723b0e32f4dd4ca515d1d9986e3bdc7a8d762
6a991311a17f5f09eb6bc9927a7c8d56ec4ee3bf
4fe29bf771b13bba1035e30a01231fd033bc0c11
1eaeca10c28b64dec5f3634957a81c94fa61e5b1


