# isabelle_session_info

session_name: HOL-Number_Theory
sources: 3dc118b02506aabd9c4a72d2c3b91dd568d118d8
output_heap: 207ae3c79e6daa4c692ebb9fa0e00134648989b1
input_heaps:
2378b0ecfe5f199d8fe42ea5ccea70a2a20923a3
229a1d829501cf0a740156509d19e43499ab4bef
ca14f16b93325bb5550fb25e064a375284fc566f
6a44ac8898e209cab0a2756e7fa73edd4b7341f9


