# isabelle_session_info

session_name: HOL-Number_Theory
sources: cd2d07e8df36f86c5790d1a38c15c3c9314ff7fa
output_heap: 8b651517a13b9775b1274858a214200c26945232
input_heaps:
f056539175cfb01f3adb237e294cb6ec530013ac
5a3c236d3b3feb8e0a9ad2c8ad85346f3168f94c
646aebe0ea2a7e562dd5c42cee6144c67cc48b50
68340e186c849d8db5384e8a971b48e34c58ac68


