# isabelle_session_info

session_name: HOL-Number_Theory
sources: 3054c1dee9f4c3b68bca39e0826e39564a3cc493
output_heap: 73bb064f82ffc26c9b6bb9a3697942196a4583d1
input_heaps:
6f26ca3ab6e09f928122fd139783e1aee2ccfecb
d7be5c492ff18edad8599e5f817e46a8fad7eb75
503d0c78c1279013d4c4eb814050d38d847bbfd1
6dc04ff256031aa9950b364fb2e8bc73a5247c92


