# isabelle_session_info

session_name: HOL-Number_Theory
sources: 95fcb9bebdafb4cf4c7bde9b8fd91e2f510973e2
output_heap: 846ec66613c5f187e242ea2205f99c01428fa061
input_heaps:
c081b7c87e33948fdadd9c3bd5597db60c0da0f6
bd68f8fe00ee6f2978331c683c01f1c20c25fb75
3521b2f01cc64b5120cf5176005c03361efc087a
c7f45d81d16caf05d77da69b099b9d1f124854d0


