# isabelle_session_info

session_name: HOL-Number_Theory
sources: e5a7588e5ab60841da3aeb0383a30296f0cbfe9c
output_heap: 62e8222f10560440a2935e89c4de090bd787b554
input_heaps:
5f6b46d75794d7d779141526bb8c5d38bc06bffe
14fad242a862a8a0327553b16251c149a42b3da2
01ad035532cbe486194b1bf219cd96ecfa7467a0
fa91322ea8e117c072d0676ae9d06c13b7f80cdf


