# isabelle_session_info

session_name: HOL-Number_Theory
sources: f26778470cf4478d686d2a6a649d5383110eae8e
output_heap: ce5a5b33f161aa1a12e6876455860884b59bb031
input_heaps:
cf53ff9b5258563561ce0d99970401303cd58499
651a8377138c14d69efd8c4f91e1329900ce1c34
05859de4050c9d236f1b7a97a697afb5bf4f7177
328c53737b696823f1d678cb1faf00e7d947cfb2


