# isabelle_session_info

session_name: HOL-Number_Theory
sources: 991f28823a9a8c383498a6ad21997b8d1571e895
output_heap: adfabdd1250e6b0b2eeee555ac2b844eb6e56c30
input_heaps:
2a442dabf4b3c56f5ef63570355cf4d112862e5d
c838443c8c2354d6d1cdbcfd20c3d57dfd9fd4f7
c51ca0b954a003af5287facf81b8b4f1a05bc851
9afd89f18df8de74a5e0b118c220c00c53390ba0


