# isabelle_session_info

session_name: HOL-Number_Theory
sources: a61177706ec5fdfc6c58e40f9b82059061c33c2c
output_heap: 8f5a50f5b97bd41d1eb8004d9a64423c3becb4df
input_heaps:
5a4c3aee534d8fc2c29daf82c88ad11d6baf9594
ac47f7a6e2098560ab3bbeb5be667268dcbd86d0
3b56ccd3e94bbb4fa6521aa4d7fdca8defa87b87
5c61dbd73691ec2d88c7bfa88e37403dfbb97b1b


