# isabelle_session_info

session_name: HOL-Number_Theory
sources: 442c445dda8651856bc8dcdd0472d3a336ac2e98
output_heap: 95a25b2fffa928fee48fea11230e710de7eff8a1
uuid: 6410e21c-b411-4333-bf16-79ecdf64835c
input_heaps:
d71e8b83f911dc6711df0d8e4f64597e847d6e09
23b6e28f27b54d8366ddb98ad7cf08dec46a808a
2636e013e9d0d8bdf68783e1e7e7195b7188d2c3
c3cb8228dc5f170e59c8abef37f4fa2512e6ea1b


