# isabelle_session_info

session_name: HOL-Number_Theory
sources: 767d0b51ac6d81b5d2bfd984155a928f7fb3eabb
output_heap: 7e5ce1499d5b6fdbe799f088786d2db89faaf47c
input_heaps:
a0f0a66fe4b4e42af65fbafc96b4437732b5beb9
5df07e4c8a7f31eb67d22158450f815fe237af54
bd86be0c8e967ab90dc13df4c1e474b74a201ec8
e08a7252a5185a49e99ce89d9cb3e9a5625416e0


