# isabelle_session_info

session_name: HOL-Number_Theory
sources: f5d335f6538fe6e9e09cc3a32a8cd74efd04a598
output_heap: c6d7f465ef8d5d915ebab832eebe2bece1282982
uuid: 334673c6-897a-44ee-b10e-9a284a522a62
input_heaps:
d3f897dbede5114e044d830121d9dc2b656057db
736e4fc5a7aca9f5f524c2f1dcf705553bd6aaed
dbabd8842d5bee8fc352d42812406e1a1d4c39cd
fec8b72c744412e50383fda73d713fa865edd55e


