# isabelle_session_info

session_name: HOL-Number_Theory
sources: e2dede4a7801bec4647892e836a7bf0cd6adb9b0
output_heap: 49e9d60db4192c6c7b206bc9bdc240864a8fc06e
input_heaps:
5308833e42188b0b8a4ba04cade0b78b53662f37
097818033c36579ef3719def6578f0b87f850de6
628d31ead85c4f9b7a48f5927b08c1490cba7ac6
97bd0ae74aa8d49e7e8525ae7edec9a770fe6451


