# isabelle_session_info

session_name: HOL-Number_Theory
sources: 1a5b726d5d41e845d00bbf8603437914767689be
output_heap: 1974cf1faf3f94b28b7c11157e21157d27984a0f
input_heaps:
97c3e98ac0e956beea13eb32f7e170d09dcf32c7
b5f46e06826795d19aa5ae257b1fcec268310c5a
e3cbb752b8838cacc6af29896e65786db4f1a362
2c5f7cf8bfb612e905a1555878a90c2284ee0464


