# isabelle_session_info

session_name: HOL-Number_Theory
sources: 7b6b60f4cccda84d4a80861b2cd2acaa03a072b0
output_heap: 6edf5ecb8f7c2912bf9b9b056a95d78c2504b1e4
input_heaps:
3771104ba54383187b82498d379f94f1ac6b03b1
67c8e514558538ef71305db58915e5c5c063f028
5faf8a6211509635d3ef8b692b22efe63d348c2f
dc323e61b3865c889f36757be9e019aebd98848d


