# isabelle_session_info

session_name: HOL-Number_Theory
sources: e5a7588e5ab60841da3aeb0383a30296f0cbfe9c
output_heap: 5609ce84de4b78ab7c51e3fe61a4cd64480165be
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
767fc67378b31eb70f2963c7c52b27cb412fc8af
fc0f072ef1b0fd224ef751db1a20b5fc57d028b1


