# isabelle_session_info

session_name: HOL-Number_Theory
sources: 2796b59173baa18fd1fbcf3128cb9630d553a4f2
output_heap: 127b0e389fe521e2a6f5cec73b858debcfdab0c6
input_heaps:
4bd67b285979e6f43cac76043955b384834a2c80
5036220c7d35dd2ef458845900033dd223e33096
fc075d9e300d43cb3bb5bd23bfdce2844b31787e
b72833423903cfca731457cc8753ddbb2df63e46


