# isabelle_session_info

session_name: HOL-Number_Theory
sources: 621d192277611375f22063c2953cf280532d21ba
output_heap: 6b0124c8a7f41813a0d8e6b0694a140c40715053
input_heaps:
10764ddc346d5177be378b761316527db367ec3e
a0b11f9c133aa49ac228f451be8e515f846bafaf
4da24bdea1ed8db5820c4f29605d314f12cdfffe
f35c87b3fbb1057034e9cc403f83990111618881


