# isabelle_session_info

session_name: HOL-Number_Theory
sources: 06273ea77c7d0c60242b243bce1602cf04ac21c5
output_heap: c43783eee7521cfe75ffc6f2b26f3350455721db
input_heaps:
b54c917c7739586c95567d8d649d231ede1628ac
23e898e8397dbcce45e1c2a85750d285e5907f00
bac973a4eaed9521244119be910f9df8e06affd1
c5a046dbfd2817acaf87f735eab7ac3314ef8b7c


