# isabelle_session_info

session_name: HOL-Number_Theory
sources: 05cd0d7a155c07949be15a614aef7f176cec3c23
output_heap: 4b34f40713fe7b94d02c35194f578060a2d9ef8f
input_heaps:
80336e722f2282f0e73859bdb2bc1deeb5e20e13
e71e14a4803a9741ead2aefcee7360a997c650e5
57b412520451206f55ed335320853e88912398f3
634e5c2ccb922ef122ebaf455e2ca96b198d1757


