# isabelle_session_info

session_name: HOL-Number_Theory
sources: 84b036b42f09dadb54461862bdef9968be7319fc
output_heap: 962428673458d98953ea57da40a9093ba6286dff
uuid: 04fcf76e-e7c2-4a70-8ab5-25fc03658bf8
input_heaps:
b6ac33a175addfe695edbae18cd2583281bee6b6
d54b2acc9dae828b9e04868d1aaac6710f70e08b
82162a8631e7af18f84939893d8bd4408c8a1cc0
1d27a23657348ec6058700e8653a9eaa6ecad18c


