# isabelle_session_info

session_name: HOL-Number_Theory
sources: 649b83ca7ba125b24e8b9c2e4423eada8c2ff307
output_heap: ba65a5b35abb0337f9a197b241485708265c20ce
input_heaps:
9b35d05f9f8e0a26d346cc3ebf0cafeb60608d62
916c9a1b16497ead14a9223e075cfd379f8e0d5e
bbce231b51918487458129e4d893ba293c3cb727
1423bd5c732f942b331e0d007b46674fc3bf7c6e


