# isabelle_session_info

session_name: HOL-Number_Theory
sources: 26a72c19925e2ff3f7a1caf3d3ae142d7a2124dd
output_heap: 4eaa7bcb94691d1a79cc8f3d89e3049faa702163
input_heaps:
ce9a0452154ce00da0ffbb73f7e0d0328ddcdc0b
cec461783528534b845ec3a0684d4a9324f7a9d1
44110f72e44ec660050b4c6b406a9213de5c96a0
46081bfde2303c4c0fa66d94a326b3a1d4d56521


