# isabelle_session_info

session_name: HOL-Number_Theory
sources: 8e7a9ff36aa2c1cf3367a92199042c2f6f0655eb
output_heap: 3d7c7f0d230fef31ef0f1b63c6e88a6d4a3dabfc
input_heaps:
c7eca97fa6ef005cf19e871cc66dee919202f2f5
d7d8e72ec37a9d8fd658bf45be9f01f4c101427e
98e40bd54e0043bfb45e5a21a2cabe0561c43cf7
adc04a021a7e3236a56887b5f43c718c8c243f83


