# isabelle_session_info

session_name: HOL-Number_Theory
sources: 50807ecd7a82de2bf00e0bf437eebfda5cf07d15
output_heap: dfb15ee3d70c5e49eb31ca9acb4abfb11cc7b6a3
input_heaps:
5ffc74a6fdec7bdb71855f3f0a0d77854f9c3951
a259c391382cf082c923600c014b6cb41321a7a9
3cf7ed1a81be0c19ff021f2f45ef9b70c11cc237
978a0776a9c505440beaea159c5afc8633108313


