# isabelle_session_info

session_name: HOL-Number_Theory
sources: 0fc1564c6b9bc31e6d533500b64749a07274e78a
output_heap: fdf4bdfb20cee5d1a0c9e3c7f602a2297b31b927
input_heaps:
d283a8fae717924d7d4c810028d8a4be3559955b
315c0deacc4a77bdc6a602ec4de6ba0aed437907
e7658ff4aeda8ca87c684c7dbbef56c6817601a6
21049335f900cdabea8b6ebf56d3e4449bbcfb28


