# isabelle_session_info

session_name: HOL-Number_Theory
sources: 20afc2eaae8132a48edc17c5956b34d54007bb9d
output_heap: 7ae84dd1f8e28581c7ebb7bd7a679b0044112003
uuid: 11343707-f643-42e6-a4b2-88008bc5a1cf
input_heaps:
f120b186b8c94c8dfd968762788edb0b6c1f4705
45a65a42f2948aee1b7614aa26f30387ccd4133d
e19c39bfb3a28ff6190560da43c0c7291dd743e7
47aea242462874fd30cb951636892592f3b54551


