# isabelle_session_info

session_name: HOL-Number_Theory
sources: 35a1a145177e5ebbf6b66fe6869f8ca74751495a
output_heap: 6d47bfa5eb048f1115ebccc11a6b58c96caacaa1
input_heaps:
a5cbdbea838ef77f16e14081337468938237e3b8
5e28e41d66823be3e1e7586a4a6dd8b0ba9e5553
c4284ad2756345286d77a58625d756fd4093874d
deff45f2d50204f7c789832fff86ae61dceb3281


