# isabelle_session_info

session_name: HOL-Number_Theory
sources: 0d29a4d4e88a6924c1fbffe5d3247883a23a456d
output_heap: dd32d370b8e0b2ef0b328f7c66132c74e51f89ed
input_heaps:
04c2527dfcc2e4bcf71d91a73f4ba16392812f83
f2dd6209bb85a1d492cea699a734e24e8c396a56
ec0793241a0c94f0e6f19ef00f54db3c45d75719
ffa62d7f5daceec0d9fb6c642b9c2514284f4036


