# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 6312a4801c66c6ecc6b8a11c579c9639ab6dac31
input_heaps:
ec4aa2174fecb1126018e64b1f3f8a51d94caa4e
a3e170b0ba817fa1bfb3fcc40a44fb0d546591f5
eb862dc6be3a4f4491b98668e0032522046b02a4
bbcfbbacde7a7dfa0f9af73a9931f62d5f885ab8
191feff81e00111cb436aaa8a12ca231a0a09eae


