# isabelle_session_info

session_name: HOL-Number_Theory
sources: 99a98d0c5662b4e2241424e6bb5ecab2bab8ea8e
output_heap: 3ad3630efde471a5f03aa3f4b1be7cd62b90a3f5
input_heaps:
75f3f49252de203c33a45106d34066835c922023
ac0ee909b22cd8ac2bfe753f8fe785e0638636d7
62237d0fd88a08c2231281bcf334bab933f628fc
c93f000f816dbe25b5d760d210340c9fdd2a4323


