#include #include #include //WA->ok //RE->ng int main(){ int n; std::cin >> n; assert(1<=n && n<=500000); int a,b,c; std::cin >> a >> b >> c; assert(1<=a && a<=1000000); assert(1<=b && b<=1000000); assert(1<=c && c<=1000000); std::string s; while(n--){ std::cin >> s; assert(1<=s.size() && s.size()<=10); for(char c:s)assert(islower(c)); } }