# isabelle_session_info

session_name: HOL-Number_Theory
sources: e834286a962b9071939c92b7971dd7aa40ba0ac6
output_heap: 7f6bc5c86e541eb356247a2456fb5ef06e9c70f8
input_heaps:
6aadefe1122163e4dcc89994df87a16956357ee3
34b129f0039b76e6afee09ca991dade98e8798b8
f74426d42f41fbd2828a7d26cd4e1eda568e57a9
0dbc131031155f83615c9f454fca034d037401e8


