# isabelle_session_info

session_name: HOL-Number_Theory
sources: 83060e2d8ff28d797ecb431d499886ea85f879f9
output_heap: 7b853d34c9d135755ed156351dddfaae7c8e1a70
input_heaps:
b32ac976cdb9d7611cecd21164b5d37d166a70f2
7833fe06054d8c848d36bd9abf4e4e615831aef4
2028385119fafb7bac5001679cf939790c300aad
31c2b22aa100e2ce55c25af4a5330302de88166f


