# isabelle_session_info

session_name: HOL-Number_Theory
sources: b7bdaab150789d50855a34559072162ca6499b4e
output_heap: 07abe3de28c7053f93ee0ebb1c57074f9d6a033d
input_heaps:
825f157ccf104eaf68947b05559181bff314ebf0
eebbbcd2c7cfd818a2e0e43209fadb4a2d9bab0f
fd88250889539183923d86819766c079155e3073
a37320e56d6cad2938a89aca67f9b963ac74ab66


