# isabelle_session_info

session_name: HOL-Number_Theory
sources: 5e90430f46daee02d74678e9fdc3a9e40dd32fa3
output_heap: a3bd4e1c9fcda301d5021ceefd630b69dbb64184
uuid: 8682e7e9-766a-4ba6-8ace-f3b0bd687557
input_heaps:
611cdb6c5329e67e3840a4eaaf7a9c12741c22c6
7d4ddc2c6925c8c40fb13abdefeeabe718661ab5
4422bdb2524a3a6e2e6aa5dfd6c0668e98f1d2ce
d8a5d927e9389799a9b9dd513a7246282032ce84


