# isabelle_session_info

session_name: HOL-Number_Theory
sources: 9c0129b4d22bfde9a46f35473fa2b5836f6e0035
output_heap: 78d017e40daee76d210a105cccf14216dafc275f
input_heaps:
b690dd9b4995811857c4fb640c8853723b58ff28
2f035b4a19bddcb32b1e2a5fd47e81076fa7fb4f
ef28aa63992d38cae790ea067cfbf614ad2b6a81
e77a7cfba9c2221a01222115ddc20601d8045b3f


