# isabelle_session_info

session_name: HOL-Number_Theory
sources: 535b3a2f5f8649990362b44efb31434feed8ad89
output_heap: 2d1cbe30f64aea69bae1d801dd4e1d504e13adf0
uuid: 17ee50d4-50ca-4c83-a56c-b0063957a573
input_heaps:
99aa1dee31dfa0d453b64e417ce1ae8b896c3602
2d57dd9f95ebb02243d5cf26c23b4f5f995f70e2
338bc3c334e08f897fae0355c1fe3ae12b9a40d3
c45379b38ebe9ba85942f9815d20a36a563e7754


