# isabelle_session_info

session_name: HOL-Number_Theory
sources: a3442f9da0bdfeb2a57b26a8bcdb00209e06e0c7
output_heap: 5791df6c32f2f6968a4bdb6b25c9a7efbdcc087f
input_heaps:
35a6500ee753652c800a7917e32731ca9b81ba08
09b9a8ab7b35d71c17424618f69192731fdaeeca
bb2ab2c84d1d2f65bb91d59f6926da63d01415f3
cab7c8d017b38ddd0e08bf9a488bcff0296c8343


