# isabelle_session_info

session_name: HOL-Number_Theory
sources: 5e90430f46daee02d74678e9fdc3a9e40dd32fa3
output_heap: 404692fb3110d49ac989f3318311d06ffca58701
uuid: 5de239b9-1242-4281-8c94-5162b6925dd6
input_heaps:
46471e6616f7726ee6f7c4484f2c5ad2c2f77c52
61821a842a958a016e9d5f60f90d2a4ad88e0a58
7b5807c80798cb26b480179bd3770c527e2bcb2a
4886027a65183daad83b345861db0251302fbacb


