# isabelle_session_info

session_name: HOL-Number_Theory
sources: 6af93c290c3f92d8086cd2eaa3eb7b6dfe5b5b9b
output_heap: b33c9a52cb56acb4edf1b3f19e2798c9070f535f
input_heaps:
2659ecda851d7452b7595126eb2a4699eabeda38
890f4cd952649b9567a6dd5c0bb3d155e02ba420
71e8ac1d58f88c3c1a3d48f9a5632d3f689812d7
8c8fc03970d0eb1f82b8664f84bb8d5c93504873


