# isabelle_session_info

session_name: HOL-Number_Theory
sources: cd8862b9330d154ed207c17d77bab4ebf116e813
output_heap: d79e86124107fd7ed965d6a4ba83f6cc6a991f2e
input_heaps:
285655d045e087d3fc223c9ecbdbb4c9e4e2c9e1
f8795892ffcd9f173421a69fc382440ab856ed73
823cbbf9d3961086ab7ecee516c35c51de014fa2
fcd656b2bb241f9b6f58a7999473b27600f3705f


