# isabelle_session_info

session_name: HOL-Number_Theory
sources: 26a72c19925e2ff3f7a1caf3d3ae142d7a2124dd
output_heap: a0c0a808cc147537758b9bbe1fc545816540e3b0
input_heaps:
5ab8b6f04af72bb8f6aaa3c57ab27f15c8e3f715
24a4ae7db74115a5a6b3548bc1ce1d8d7a80b073
8227dfc90aa191d0e7ed1d2e43ed77c8689a756b
99ee3ffd0d66032fd0962e953cf02e77880b8c8e


