# isabelle_session_info

session_name: HOL-Number_Theory
sources: 99388b2e9497494ad1bcabc168ca6bc85ace7ed6
output_heap: c6a3c758301c1a5f76433108a57a85999c433fb0
uuid: fc6092b8-65a7-4742-9fe9-f2e5e20a8dbc
input_heaps:
980033d053f0749333661519c4d298c6280be1b3
69ff0e8818b8f465f2585ea0f57a610ce777e1be
f38759d1fce3ae187eeffcb386dd6fb5dc5783a4
4d2a82bf7f909bde7a1da7a64b00aff1834a9cdc


