# isabelle_session_info

session_name: HOL-Number_Theory
sources: 1c9787cadacedba267a43047cdf00cd8ddd21fe3
output_heap: af85a2a92d2a8ade2bba527cfa7a23d26e7b16c1
input_heaps:
5de46abf17e2c5086795d60e983eccffdbef3cbf
8142a2c1c4e75efe740335c6e0b236116ad9d132
0aa4d3ce8058d613256a5e1c336906162edf589e
16fe30a7249191bac43e422e4874a01d4a486804


