# isabelle_session_info

session_name: HOL-Number_Theory
sources: d4ce8d916cb92fee5d9fa133ee750b422895f7a1
output_heap: 6dd2d328687b61dca2f32cc80ceba8b1a9385284
input_heaps:
2bfc9fa8902db3916d36ec4512397ceb264483eb
477271fb1badc091331ba1e4626476e1d6c56cde
11a74db1d2d9d127e73040b1139a301c3d720f1b
97d52bdb882c7679905e6015c8b88aa84e9a38f8


