# isabelle_session_info

session_name: HOL-Number_Theory
sources: 5059f18c939ff7da42c2cd6a9805c3374dbca2be
output_heap: 1b4252ffe79879d0a82fe47388d9a3ac9e0812bf
input_heaps:
d2759733082b448cfff319a2231d0a2df2f8b2b0
2e8f9a63590d791f747e7d7cc375d115fd0ad5f6
dd8563f4b22bc7590188961a046246811dc06498
817c4c0a43eef7dc38493446ecde87e632ebeede


