# isabelle_session_info

session_name: HOL-Number_Theory
sources: dab8daec1f2f58f8cbaaeab95596943ae7355ab8
output_heap: 8bd3591b01086576e5e6174861438245ccc1274d
input_heaps:
db456e2182b198adfdec654a00d5bb35f7784ab2
b9ec9d6295bf04a1d5eaa3d01cae5193bc8711a6
e74b8d18e2ee0e40531b2cde3a49dc94e114f93e
e46cc64adc0d754508f480ecf9b0b85290d8ced7


