# isabelle_session_info

session_name: HOL-Number_Theory
sources: fee4ee49830dddc75bb8c516dd61bfce7ad840e4
output_heap: 5249fec27d26ef2a64d520a42386a038b2a67ba1
uuid: cf37905d-d106-488d-aaad-7c524d9a2e46
input_heaps:
2119b738295b3991bc32a3d3086303360a58bfb8
16702f1d30a940ae0cc49cac75ef4dde0902bf60
66d209fd0192158045176f759b5bf813e284589b
08554f06c802c2e23c668f6831ce5f29bec43d1f


