# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 5190aa601a49d5351c0d0761fd3b420af4d879b5
uuid: 28b5d303-ae68-440a-b8bf-fa075d3dc0db
input_heaps:
ba4d32bd4787a90c8ed747450db046e743778809
00e4c29c03866e48b64ed0938508578e7f44b357
5306384618dcbe43ee573dd52706f4b9bef9df56
91840e94caa6c1f64b13765fc0b014bfc7529ab5
cf300dcbeaee0aaaf8fcfdefc54926b64786681e


