# isabelle_session_info

session_name: HOL-Number_Theory
sources: 81e5c202d3ac509561c4cf22d171eca9f4e0be69
output_heap: 814bb378ecaedd53729e473091b3ab6b66576800
input_heaps:
948e488671ba217525b4d44270af3533510a21d5
ace97e9292ce8a89b7e194cc52cf58c18517f8f1
105c384a9b35f16434f6fb1048fe3a374b58117f
d6407a13bd936c353328f4c30b0a8fe78adf5c39


