# isabelle_session_info

session_name: HOL-Number_Theory
sources: 81753f74352452bd98ede244e23b3c66ed97f5e9
output_heap: 432fb82c8b1e4205a08d7b614ae44ed64fe14ef0
input_heaps:
90a98f9904e3fa18e2ab8a9ec47ebbee782d9ec3
d52b8b1923d8724a29985dc1bf81b4a6465d872c
a1d7837c89d3f21bed91c445948096c2fde15c1b
f840a4f0ead8a2d20935ca762acbe8577272307a


