# isabelle_session_info

session_name: HOL-Number_Theory
sources: 8bee6b18a7126213d3fc4605f2a831a74549ff24
output_heap: fa44817f04286b5e0aac3c9566c0f9b66eb283b9
input_heaps:
bb6edb3325d4afe86dcddb38cd64e9e4f6cb4f05
f5abe85b5a6ae336d989f2da068aa228d0fe8ac0
8532b7cfa01864c21c6562c284e5e40df2a3d4be
b10b99a01d8be37163c7d3b49efed93f490b1418


