# isabelle_session_info

session_name: HOL-Number_Theory
sources: df4fe1ada5161a354f261410931a9d01bbfdf0eb
output_heap: 61a44738dd764c910e60278012c47be3b6d07825
input_heaps:
a52852326379afee2cdf8f94e7105ca039ab9f98
4b399c4375d1ace873a060528c4c23646f4c8a2b
0bc5bc6abe597e017cb6fd19fad429eb4d8def51
03c14194ac04f51ab050d82d95793b4594a838d8


