../ temp.constr.atomic/ 24-Feb-2026 13:00 - temp.constr.constr/ 24-Feb-2026 13:00 - temp.constr.decl/ 24-Feb-2026 13:00 - temp.constr.normal/ 24-Feb-2026 13:00 - temp.constr.order/ 24-Feb-2026 13:00 -