# isabelle_session_info

session_name: HOL-Number_Theory
sources: 94b718c8efa6dc62cc165c4e2f9fd0d2b9df1ef1
output_heap: 13c3d1311e7e4583bb940fbd0d7cf70f743c14db
input_heaps:
3afe5ba5e03b152c0824328a6fe5be36e1471c8a
648947ba6d0d0ed793c5794fb9c57262f459d8bf
7cd3596437e58c6501e1c657429882190aceb188
e2e76987966d78dd4de77d85653f3c023eaf6735


