# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 1e33843b8bc5d64090a50b72a69b88b6f1492b9d
input_heaps:
963f5dbb395fbca1ebca428683961ef28be59393
27d8a2f2e6bd96d232df533b2f806252fe1eae7a
b25a7482d85d598bd4d3ea67426031228d90b41c
fff08a645afff924fc158b698b94cf7059a97de8
2b5c59d31651943125c88bdba98ad605692e9793


