# isabelle_session_info

session_name: HOL-Number_Theory
sources: 5d36c3ce3d759cefda06d76a6fe1443b53b9d7ab
output_heap: 2650a5c6b5fff25cfec5ed6f4a75452857d90dba
input_heaps:
863a98e2ca0ada59f7d1a7547b41b938956950f0
f61d89c27a3d78dd37ec1f9a26967b1c333aa3dd
4120f89ccf9b2df7dcf62d749c9844abc051e4a4
4ab4b7473bd6ce8ee5f2167d0da2fc90e221db0c


