# isabelle_session_info

session_name: HOL-Metis_Examples
sources: e88a1dafb8eed6d29fac885ed0b457b120f76cfb
uuid: b9ad6d62-1938-4564-85a5-8e1ed25c3d8f
input_heaps:
ba4d32bd4787a90c8ed747450db046e743778809
00e4c29c03866e48b64ed0938508578e7f44b357
5306384618dcbe43ee573dd52706f4b9bef9df56


