# isabelle_session_info

session_name: HOL-Number_Theory
sources: 54b3a0396c9a2a01a98caae8bbd443a0d41c8384
output_heap: 425ab182be8816b95a54664c3dae8b4da88bd6a6
input_heaps:
84d9a0f42954d11e84ba3493f60650a38e0e7836
a0aafef0823c04b9003c89434d1e323377dcf5f0
17fdd48954687d547359eeb9590e929394278bce
51c4a77418b9b6eb4aab5afe4da0abe00c59b0de


