# isabelle_session_info

session_name: HOL-Number_Theory
sources: 971b00b5c8de9f21cf0b7cb30e336bac649954bd
output_heap: 3cc67ddf41a2588eee3a0e8de9209f07d78a5ae9
input_heaps:
070c97b1fc03a84293ce36f48f7c320c6568d381
25f3cd71b7b9ab5695049d9f645e95d39465f5de
6d6cac042320f3c1e1f5893506dde5d818ef9e84
29097f2665e03b6a49df27d923d7b216d27b4a9c


