# isabelle_session_info

session_name: HOL-Number_Theory
sources: 274287964747b59b0685d62f78582fa2732a958f
output_heap: 7c74931b19b37e768b44c9f5d08d45037503e412
input_heaps:
e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc
976e5be91d6c7e38fb802dbd687a708c831185d2
a63742c749fa990fbc72e4972a8e6e8298291f00
aae0c9a31cfc48d3d396a6f7eef765b2977f3dad


