# isabelle_session_info

session_name: HOL-Number_Theory
sources: eee0cbfc2c66e60688bec0d7b00f5e9a48c1e0f6
output_heap: eaddfbf3534c842908a829d80af5f05165823eca
input_heaps:
990d6f065907fe87c3f0b304ff4314e6b13119df
db154f67af988a0c0df6b54930de927964ed1988
f76507b7fd360cf3d44a63f6ea68bc4cbf51512a
a6f13dc002188b91707a72e884b2b1fbacb85bee


