# isabelle_session_info

session_name: HOL-Number_Theory
sources: 03b1a6290055ea44ca1ffd4d0313e27860489622
output_heap: 61ac9899f9d0d4ea3d14bd83baa3f271b1f48b0b
input_heaps:
ab8738f36a5910b081a8af85f9c6bcc719678f27
6b267e02f6fcbfad775a6749db140d0c2835f978
0d64e16e8f7e955788b1397d432e53d735ae9b97
17aa66f7990266e1e0d69bc01244d8effa483592


