# isabelle_session_info

session_name: HOL-Number_Theory
sources: ad9b4b56b7ceccd50e59099e5dceec87dd8574bd
output_heap: 176b9ffd02021e8c97eed88cc7e231b891b7aefa
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
0c6af15267b265e8188e286a4be24f4639b3ee7b
f1d7b1fec553606fb8ffa66b10520f8de1b86fd5


