# isabelle_session_info

session_name: HOL-Number_Theory
sources: e3dbf3846cc47afc59a5326c89d9faaf88ba8d47
output_heap: 69dd0ca5bc5235377899935b33012f5ec849b4f0
input_heaps:
5a4801f0c143f74de5fafb369b13a773b3d622f5
aaa54dbeea5ce8901e3a981b42b1b8219bf4ff22
df3284e7ef0bfdea9c727ea63e4b1573989637e1
da97049ca3f9f5b1e96e7c58dccca29a198d44ff


