# isabelle_session_info

session_name: HOL-Number_Theory
sources: cd2d07e8df36f86c5790d1a38c15c3c9314ff7fa
output_heap: d4e681459287e4e84ae638d1da7cd7eed69121bc
input_heaps:
7d1dbd56b7ae23b5a955bd6c5743b21383ee1393
fb3f0a8308eeb92bd5e73d9ddc23c4d0ea3cb1c5
80d2a3d13777e73966fba7ff54450737db51faf8
59dea3c5ab5042b1e61e32318cf9eade7bb12663


