# isabelle_session_info

session_name: HOL-Number_Theory
sources: 9d6131bd2c1c6f9ef4747af96e67dd0e80b05a40
output_heap: 537d6f0b7244bd644866a4ff2aaaa7e8266780db
input_heaps:
2de776be54086cd6f5d576144c34608108120821
ee9cea67cd24ab19209e832e4527fa2462c7f652
55e887fd0b0935631105aa03de079dd586c8ef95
5e288999badf74bf9f937d5ba3c5b13252033d69


