# isabelle_session_info

session_name: HOL-Number_Theory
sources: dfef799dc77fd680c2d48ed678e32370e69e2c5c
output_heap: 67e8c1a1fd80dcd1138367ad3dc350d536ec2699
input_heaps:
c3c66997e101ae0d4d60e2015f416735a6604f5d
2ab3dce101c373e21ec100743fd5206a95586409
7bff3fa0e2742547491888d38b8d3792df636c54
a708d7628e5a0c4c57b094b5b3873085c4912b55


