# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 18651fd3510a1f3c729835351f7b24779fc6404a
input_heaps:
774d4d66473cedfcfaef21f8da022a76e69a4390
4339b0bb8d34235034b5063bc60c874a65b8f9a0
f56a589c3b6299c20bdd03a944c56282d8178d68
33fa4997dea48b70c2a14e38fd470b2fd3aba9f3
2e9be499f66d3ba9a660ce25f93197f202face76


