../ temp.constr.atomic/ 16-May-2025 18:33 - temp.constr.constr/ 16-May-2025 18:33 - temp.constr.decl/ 16-May-2025 18:33 - temp.constr.normal/ 16-May-2025 18:33 - temp.constr.order/ 16-May-2025 18:33 -