# isabelle_session_info

session_name: HOL-Number_Theory
sources: 067f2e73b0396a2afa862dc64e7259497543b60d
output_heap: 63953730b3fa82dc956f3d83bc449a236e4051cd
input_heaps:
cead58f0f5c893a12346780df714e1f57823b19e
90bd56af5e6ea1e6f994e2daf287a02cda7925d3
8eebeb7ec86ee02bfcda5d7c30c581973ebb35b5
25ea47c2bc383d6bf4b73b721f8df0d2b19bffc2


