# isabelle_session_info

session_name: HOL-Number_Theory
sources: 3263997ace24562de20a1c507d936bd7022de6c2
output_heap: 7fdfa80ee6d8e18e01d3966f60322242895bad7f
uuid: dbd13170-c3a7-4d50-a657-d6cebcc8df13
input_heaps:
0801d317611e826e9cf4db1743005797fad2ead3
98042735e6ccb24a3163b6450a8c77d21c48bd86
a9348578a6d3bdcc791bc60012afe9c9048c3b9d
1cb45336aa3f0257f6e6e8e30b63d034340ae5df


