# isabelle_session_info

session_name: HOL-Number_Theory
sources: f093d89d97839d2750165651639998e7396d4971
output_heap: 43609742641eea45c48869d2c7d72a2c75dfd12c
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
3eb7c68d6e834ba5513637798ddd089d7ebc1253
0bbb80cce0914e272b2dc75eb351ae48ec09b263
2dd32bafbe406e0b35f2388ca047a7d247fea797


