# isabelle_session_info

session_name: HOL-Number_Theory
sources: d2d9e3f7acf0d1d8e7fab72632e976ffea6aeca4
output_heap: 4bf363968cf11c48baabd72b78590c457a8d0f09
input_heaps:
53b315df48455a829d4515cf87e0e92738873628
9b611b6d68409e5a328878299cf3d7c4e76568cd
3c8c967629f4ec8cdf85e663f6b5839d500c1e2b
3152dd196737f0f4b753ab3d809d74feec517d38


