# isabelle_session_info

session_name: HOL-Decision_Procs
sources: a307287508e96b884459de567b90ded645da5b19
uuid: 85fff5a8-e25e-4b5a-ad5e-01c2185a069a
input_heaps:
8bf6d6c4ec5c362fa65ec69b5eb9f99879813db6
d114ea8585affa1ead63c6f741e34ff76a13097b
1f940904e47179bdc7f94b71d87fcc4cb5398a50
61e9d2abdf16f090e0b5280edb4cf2aa2dced83a
c4a58783148020015d0c08498d83bb30a58d0de4


