# isabelle_session_info

session_name: HOL-Number_Theory
sources: d8b95c1b3cf4d4f0268cb4022a750c7fe4d1055b
output_heap: e1383f834a14a060b8d2d1a24b8e803328b8e558
input_heaps:
81d1fd0a308fd45942f10777df17e6592fb6726b
920b8c66b9a56779b68aa076c35dc6ab8473e7c3
edd8237c18782b23a2e0f97a65b065bba757041e
c8256699c76f0640e6815fe6696bff5fd4e4c289


