# isabelle_session_info

session_name: HOL-Number_Theory
sources: 5993833cbb9859cc2507b3dc99a8a7431e4b2829
output_heap: 50009a5e50155169c37a6a12198c60ee30a74708
uuid: 53ce97dd-6023-47b9-bfd5-1eb633528b8e
input_heaps:
56c0177230dc66ddc7d6302fbef34f62e09451a8
843e8f73aff032c37e1b1ade7b8fb3a2dbe74cf5
d245a36e09f03531eb97ce9a3761aef2650c474a
082363f40ced7abb9763bebc6a8e1983bb54fe25


