# isabelle_session_info

session_name: HOL-Number_Theory
sources: 3206ccffa39ed81f0c4b1f984e2926c4b7ee199b
output_heap: 6488c1aa41d4734f1e7b4bf0d8a1ba6f20ebe3c0
input_heaps:
bbfa36403cf9764db93df21a36477abcced74de8
08d053295dd87951969cb4a9512b84a47f7a7d60
bc2d41c2a7659e2abc87de08a6fb06c4be4d38b4
258972117a81be92e1ac9e652b316b693b24c340


