# isabelle_session_info

session_name: HOL-Decision_Procs
sources: fb7edc436eda5a2bce6120a2b96cd31b3f503bd3
input_heaps:
4595afb03e1f09e2fb0e3d35cf65a491a7b537d5
d3b8f1eb8eb9e490c4f891a0ca21373c1a3d6f0d
58d60c16f10054013246b4c3dd110babc21c3c20
8ee86664d2052bdc76259b663865893d98ce66a5
bc6b575df094750eb7d497941b4c9aedb3afe11c


