../ temp.constr.atomic/ 10-Feb-2025 22:50 - temp.constr.constr/ 10-Feb-2025 22:50 - temp.constr.decl/ 10-Feb-2025 22:50 - temp.constr.normal/ 10-Feb-2025 22:50 - temp.constr.order/ 10-Feb-2025 22:50 -