# isabelle_session_info

session_name: HOL-Number_Theory
sources: 8c9daaa87b7bd0d97dc6b7cd4c7f963433c715d0
output_heap: 204ad5747c5ac92d96c5e8df5589f9c96619efc8
input_heaps:
bbebfe43e4672418dec173344261b86e1cd2663b
eeb4fd45fcdf426f1467516cb214a570baab65db
5138ad088d74c831a27bee3f69a5bbc2c68d8fef
9b513db52df8c36d094777f9428839ecd5ce3e63


