# isabelle_session_info

session_name: HOL-Number_Theory
sources: 657885c5d0f98b9ad6523903ae1da86b7fc6e694
output_heap: 2386d5d36476dc9e59087150e3c582c8232b4fd7
input_heaps:
11861b433be89e5105729bae76faf9d9dce00490
3d74222e1a7d520ad3d0b356e7a30f85999b0fbb
90aa460aa619c17d2b0a290fc337ff985a0b5a26
4294e9c7fae9b5df920b1947aaddde1c55a5866d


