# isabelle_session_info

session_name: HOL-Number_Theory
sources: 2d2cb6489c05c04681c5171b643381815d654f44
output_heap: 70fba7dfbf411dc9b8e668c8b121ff6dfba5e990
uuid: ce8033a4-e008-414f-93c6-e1ebb1e2ad93
input_heaps:
25053daef14bdf81b40a55488fbd8aed7b8017ad
2c6045dd5185bb7b47ef2de7fbe1577fe4833350
03aa0939e8a48a55bf99a31f54ae46cb6b5be497
2b27d391e9a4a55b0ac69418686a3dae9ae0c2d3


