# isabelle_session_info

session_name: HOL-Number_Theory
sources: 82e667f3d70221987da63934ccc1b879d0d608c6
output_heap: 7eeec0f40c240f5b2b1e5abac3f1559b3062dffd
uuid: ff1f4248-11a8-479e-a712-4f2397107e99
input_heaps:
bf176a74a4593f4606195faad0fee6e7154ab4f8
647081ba81acf75d1ab12a3a72156ea7da74c66b
a3cac9d617e00a3aeb96c5476a40808551b632c8
877b76ee1c00d3248b855bdbc8eb4a20cf1a68b8


