# isabelle_session_info

session_name: HOL-Decision_Procs
sources: b24ac1a068eaa11ee8db9f9f9de66fa304594c52
input_heaps:
bc95bd5c6f2da7dd6262f49bd6651dd4204f0586
4239523bb0c0e95a4fca4d2183dc9a094821a175
8983cd18d4455c135169e90b49a36d99775b475a
4feb9a85652f8367211b40b0b694134a1d109d12
ee0b82927936d42e2bdf353f149d469e37ba1bd6


