# isabelle_session_info

session_name: HOL-Number_Theory
sources: 6f7791884e6ddb4a72fd1ea72c54a610810e7e62
output_heap: e0eeed9c5305ed9db48ac1ae01a900bac4465617
uuid: 46ef2c39-0a39-4bb7-acf5-c8f0a77f82ab
input_heaps:
728364c96560a7a14ddc2e9263f9042c3dd467e5
f9339c00e61865f047b4085392acb528fb8b6ea7
abf90c6dc349ece67980805c7eded22c1798a41b
8401245c80a784448c8e78d796c7e8498633fdad


