# isabelle_session_info

session_name: HOL-Number_Theory
sources: 6527b076804010e7d52a298ce929332df2ff0591
output_heap: c8f8a5fb51b19863000703ce30f546da2dded411
input_heaps:
97b6005f23613ff7cb630f3272a04a30fd86006a
e2c67592afbd2f2e833f3588c14571d7d670c534
72b6848a12cbb0017874b73730e9384919d9c51a
26517a9ad6fb9cc9ca56fbedc58cbe1506620961


