# isabelle_session_info

session_name: HOL-Number_Theory
sources: be879c2185a5d1aa627fe0548f14a7a45e588f89
output_heap: 378e3ad8b0d72c2352717c0ebe670e4d37bc22de
input_heaps:
a6e433edc661d0701a70abc3dedb8c23479c8e91
01176b507ede2902d957814b1e2c10738166b57a
ca3865f29d459dabd0ac899f7126246104ac7734
7bb6d39717b470b520dfeca88de78474965de6ce


