# isabelle_session_info

session_name: HOL-Number_Theory
sources: 0e2a62f1e123d71672031e8a3412e14ac87ce520
output_heap: 929389d5fd32309769665325395c681dacde258d
uuid: 7f4733c1-f7ba-40bd-9052-fcbc016f03ba
input_heaps:
55d97443c4a73a7f2f2ba7aab617db94bb5554f9
36d19a458526829aa8e7a165ce3ae192c1c58aee
38fb11bc5871ccdebc35f672f43b799896d5f760
3a17d70a137ee943ff1f27f4736cae7708e70a49


