# isabelle_session_info

session_name: HOL-Number_Theory
sources: b1658c7743efe6a71509b771cfaa518b2ea39c16
output_heap: 05fc6c9c7d81c8b09e54818bb131c0f8f1afad54
input_heaps:
94b8e49d0043e944a495f19c32608cf5b0a49aab
f8d5f0cd35173d4d81fed47d6fa807912b821f31
a840f3b5c925c9db3887092c2e92ef04e87eacc0
b2864b1814c8d47766b66ddc7a7f08c03998f66c


