# isabelle_session_info

session_name: HOL-Number_Theory
sources: 971b00b5c8de9f21cf0b7cb30e336bac649954bd
output_heap: 0637b390f6e9e98aa386602118c5b4fb5862031a
input_heaps:
535da6560c7ae77bc6053e94d5fcc737870d4227
f4e9c31e6c0e2595248a604a7452c52f78c6a894
6f5548d71463c2f1b60f5a884da705368f379afe
8764e57eb806607bf86307fdf66d4f0eecf81c79


