# isabelle_session_info

session_name: HOL-Decision_Procs
sources: af3a263f96705d73355d00b96abe796026692371
uuid: a4c9a306-de01-4467-b5e4-0f66c402d0bb
input_heaps:
55d97443c4a73a7f2f2ba7aab617db94bb5554f9
36d19a458526829aa8e7a165ce3ae192c1c58aee
38fb11bc5871ccdebc35f672f43b799896d5f760
3a17d70a137ee943ff1f27f4736cae7708e70a49
4699e212415127df01be09c98392c7ef2ae59090


