# isabelle_session_info

session_name: HOL-Number_Theory
sources: 03b2a3d470e7087d5158a4640da27ca31c8accd4
output_heap: 6e7e10d22ced0be8e950b975a34953241c04ea19
input_heaps:
86b56c8a9a539e895ed8d31c0f69ae143fdf0109
fcbcb977e730059a53bc653bcc4acbe376acf6ad
0fb0f6d65c861aa7f893510a1fb768c398ef7d72
9d6b9990aca08222adc86795cf0d7c8985d3a7c9


