# isabelle_session_info

session_name: HOL-Number_Theory
sources: 478dc4a6792840d7443becc3fde699c07431fadc
output_heap: 1aced6225a002bd8cb61ff770cad158c377724a1
uuid: 8830ffed-1239-4cc7-9b93-b1082e4f9df4
input_heaps:
95ed4e8ef4a50e6e2c06f89efaf18987551db93c
5ee65b4d98425bd750ed22b8b867605c93d371ef
b5248a18d66475fc1bc6569462467f96de11ceea
5d875b48d134361f0d5b20c4df4fb771b821d802


