# isabelle_session_info

session_name: HOL-Number_Theory
sources: 5901645bb92d4601634ca2d240c0f7f061e90e4f
output_heap: 93c82f2ff988fa978c7244ce1d0728543e676f16
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
d60d9d5b06dcc91155fc420476e9f83938af9887


