# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 5f1dcc2e0c35b1aa9c4e2d5af54afc823fdd1c07
input_heaps:
e9d0d879744c06b748cf9e0e8fae9335e2714e34
df112e3619c38cf42b9e29e78ebd9ffafba0609f
7192df6e9735b550f9fd09174f204ff4b413385b
937f89561a02008420817f8581b52cbf86eaef98
3467a572fe4405c219151026ee9109f2fbcfffa3


