# isabelle_session_info

session_name: HOL-Number_Theory
sources: 57dbd0be0f51117b96ecc5667b0629dbcbf75a2c
output_heap: aacde801861041fc1bfbab3766083c692fea0af0
uuid: c0cb8f3d-be7f-4fae-a770-1b4975e1c68d
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
9309a27732761fe284cdbbd5c45863a9dfc6c5c6
c36259b2c296375ae504aa6116e85200baee05ff


