# isabelle_session_info

session_name: HOL-Number_Theory
sources: f7823ab670935cd98d2a65d007fab79d59bb12fe
output_heap: 95c455cd0a8cf6546d6d4143e72ade41f4de10b9
input_heaps:
d9aab2f0eb07e313f7e1d8ac809bb79600fae4cd
bedc0de0e02c39d3dd892b5a6a25063c7496d425
1c93458a5768f6950e1735d11a618ff572d1c471
6bd75b3608de81cdf6289b273dc3a417e2e15180


