# isabelle_session_info

session_name: HOL-Number_Theory
sources: 1a7765d84b6ff1cb9ea2e1b036e7632f8410cbaa
output_heap: 5ff7a1b4462bf2bf704d329d2b6da992c4c9772f
input_heaps:
b1e54acea5930507e7d6f6a2cf3e096a6a5c5921
2567a36c9f263cecbf56bc0b7767f76710f066f9
7552c493b3d86b97156ebf34f61c6c2ba789b06b
a501bb71f2bb49bbb63fb510c4a44f7ad1f22556


