# isabelle_session_info

session_name: HOL-Number_Theory
sources: 478dc4a6792840d7443becc3fde699c07431fadc
output_heap: bb32883afeb7eb135b524c15bba87c6fbc3bc5b4
uuid: b0c87c5d-9e6d-4873-b226-1ab5809113a1
input_heaps:
363cefc9c3ab9f434f73ff0aa175a2b3a649e93c
4bfee1ac9b5705115c0fa4fc347562a6dc3bfbf3
2ad0560e6ca966aff7e7d0f41c71c2cdcdc1853d
099d19102908a42ecac7f12742ac19d0758e97b9


