# isabelle_session_info

session_name: HOL-Number_Theory
sources: 994d5c853526a126273b6617c218bcf865779433
output_heap: c4b5ace38e8139843ca1f17158b54066a0275149
input_heaps:
bb2bfbd9c0379d824a446c61f99c1626944f30d7
f7a88690ac83cbb309b07310244294010daddb5c
f32ff816bb533afa52f6ced467d3853e70a6c25e
4568e734f2ac9689fe1e61be109e82bf3e8e5045


