# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 52845f6f3be60b8ff1e3fd5b91ab48a1270e4f00
input_heaps:
e8eb12ec958edf5a5d2cbf15395a8cea53977f53
d1f8b402b68bdff9c63c026506ecef83f5f68c00
8c9c47ffea96e9ef206523850769921effa86458
9483ab76a7564dafd94f67dbbdb59f39d317f01e
31f8bda6e7b47619a031bd78301cafa68906dd6c


