# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 2128d632d62b731add86458764d816ca259fe35f
uuid: c1b1aa34-395a-4cb5-914a-d8ff6fac2457
input_heaps:
55d97443c4a73a7f2f2ba7aab617db94bb5554f9
36d19a458526829aa8e7a165ce3ae192c1c58aee
38fb11bc5871ccdebc35f672f43b799896d5f760


