# isabelle_session_info

session_name: HOL-Number_Theory
sources: 05071194ee86c931c5d3e6329fbfb0b5a27e5c65
output_heap: 1b52dc70635decc36c19dd45150f6a1f694316ca
input_heaps:
b3e898cb94fff8ea5f7388662fbada074058e744
008dcfa32f4577c3f490552fca32d890b18cd151
34d3d690ab82252f0025f3cfa7c20ee35413706f
990113833cb5e2b44680725cc0a2f56e6a6ded6e


