# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 12616000c3b7e98412f6c9d34cee9daf7710b6d3
input_heaps:
3427243aba6cf13954f2663e89dd0ef448f9e0ac
8098a84a13d7e74c846fd42de0efb751dc599e66
90b35308e6ad83ab058e2b9034c34afdb7825425
739ba60bd97ea8539b13bf45f6216df5d171165f
d35a67872171b1b7fdd00b1f52b61e93130702c1


