# isabelle_session_info

session_name: HOL-Number_Theory
sources: 62be8e696380cb2218f198198423277396f6a508
output_heap: bf7cffd1d78f3d93d8b1dfeb22d9987d861a952a
uuid: 3b0f89a5-0096-41ac-83a3-1cfc70b2b3a5
input_heaps:
ba4d32bd4787a90c8ed747450db046e743778809
00e4c29c03866e48b64ed0938508578e7f44b357
5306384618dcbe43ee573dd52706f4b9bef9df56
91840e94caa6c1f64b13765fc0b014bfc7529ab5


