# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 5e7d41b83a24f97b9ce3370444dc4f495720713e
input_heaps:
10764ddc346d5177be378b761316527db367ec3e
a0b11f9c133aa49ac228f451be8e515f846bafaf
4da24bdea1ed8db5820c4f29605d314f12cdfffe
f35c87b3fbb1057034e9cc403f83990111618881
7bb6fa23b28e708cbe9dad5c461db24732f00a60


