# isabelle_session_info

session_name: HOL-Number_Theory
sources: 1c9787cadacedba267a43047cdf00cd8ddd21fe3
output_heap: 29dbdccb65b9b12924085a9ede9bec26045f6dd4
input_heaps:
7453acf374efac985c0e19bcb736d8cc1aea29a8
bf7e9279f03a83e0c69488e2c43a9230106e77d7
633a43ed7393ba54e4e5766dd12ea5a5157241d6
dc71a444e7e4b8196d2ea28e557415e3a78782b3


