# isabelle_session_info

session_name: HOL-Number_Theory
sources: 7b4e708969055fe9fab59b77531f7aff8f47c327
output_heap: 2acb9e9ce0dec53c23e3299e6609c6bd85d14482
input_heaps:
c02607a1ca167edcd658ec3d4e79e4ea4af5ebba
3b9edca41ef3030e0a722d7987c2d1d2e4c73333
b56428d245432f5f15b93df17818e6c844dce2dc
539349dd356423236a9feea966cf9668e7014ba9


