# isabelle_session_info

session_name: HOL-Decision_Procs
sources: d884ae80a244e7d5636b2a08811437aa60dfcb1a
input_heaps:
b8fcf8b70bbd7784c887c97c24c8d372c7a8697f
771d3a59b10f66de11250785c5bd7311fa4a8612
fab52d600a5e7277c82c2b29f626f360e64d282e
8c749024f2dd8f7c29966eef8f39575d48e374e7
8d355ac65df1b6b072f19a92ef16e42b88f1223e


