# isabelle_session_info

session_name: HOL-Number_Theory
sources: 57a7a52ddd856502ec1aa6e4dc6c223b3218485e
output_heap: 31385d73e361ec007ca969d27974db5e6d0ea1f9
input_heaps:
bd474c82a4990544c5eb51a7e72ac15f897bc889
aecfd4f0ba533a34c585ff4ce800833509ee5811
d4667c2a853d567f8def1cb1d9f587c7ff0b479b
7c82de1fa17119be8a269781273dcf360e18fe84


