# isabelle_session_info

session_name: HOL-Number_Theory
sources: 8b26196e622cfb0e5627ca90c73cf7e0be1533c4
output_heap: 07b0e2980d9893a0b6304db49c6833a154e0a56b
input_heaps:
1fdedf6012a4ebc6e40000ef24a132020cf3202d
6607fa2666df38d37eeb7f85fc4e19a3f5c65593
af98c444a305a9e9379f35b6e8caaee32b88667c
a55fcd09591d57227fcb0be858b32d0fbe5d5177


