../ temp.constr.atomic/ 11-Jan-2024 12:35 - temp.constr.constr/ 11-Jan-2024 12:35 - temp.constr.decl/ 11-Jan-2024 12:35 - temp.constr.normal/ 11-Jan-2024 12:35 - temp.constr.order/ 11-Jan-2024 12:35 -