# isabelle_session_info

session_name: HOL-Number_Theory
sources: 01f08507ba467e34938db473d83fc1bd62f4cd03
output_heap: 2e0544c5557efafc434dbd7dc51927991a51e10f
input_heaps:
0b626e6938141b2b0e8fa8a3fd9f95471d3882b8
e3cf6887fe99455fea82286dd973109bce34d1da
6d77b6c53faf7a24001ac2a273b1f2ac7ca423ce
4389e3d8927556f3e05a9c14b42fe153a0e4cf15


