# isabelle_session_info

session_name: HOL-Number_Theory
sources: 048438305897533eeeb19bfe2e31a2ec7f2d1576
output_heap: b936f65a8a82bb98d4bd547c406dd2998fa45fda
input_heaps:
3cff46c99bdc77cb69279060f2c6ce1d34c65856
81d7082226527c0f9590bf1b77046bb4db419c84
4dfbce76ca88eb0868e48fa809d6ff0b5fcd5af6
ccc2431b95a86d60860c8572e6e980f18e2fdfc2


