# isabelle_session_info

session_name: HOL-Number_Theory
sources: 63a9ba8336f4d38b19a9e753a5f25d1d0d6b60b0
output_heap: 23fe1e4a641bb334ec3dfb33ba611c4b4dd35439
input_heaps:
4c23dca2c69764faca7d5f4195665a237a606274
a5a70e75908aaa1084fb6ce900cda62e8b243612
a49f0c38d5be714969812fc1324e41027112a619
b380980d8319a500e03d8c818da69de431fc669c


