{"trustable":true,"prependHtml":"\u003cstyle type\u003d\"text/css\"\u003e\n section pre {\n display: block;\n padding: 9.5px;\n margin: 0 0 10px;\n font-size: 13px;\n line-height: 1.42857143;\n word-break: break-all;\n word-wrap: break-word;\n color: #333;\n background: rgba(255, 255, 255, 0.5);\n border: 1px solid #ccc;\n border-radius: 6px;\n }\n\u003c/style\u003e\n\u003cscript\u003e\n window.katexOptions \u003d {\n delimiters: [\n {left: \u0027\\\\(\u0027, right: \u0027\\\\)\u0027, display: false},\n {left: \u0027\\\\[\u0027, right: \u0027\\\\]\u0027, display: true}\n ]\n };\n\u003c/script\u003e\n","sections":[{"title":"Problem Statement","value":{"format":"HTML","content":"\r\n\u003csection\u003e\r\n\u003cp\u003eThere is a \u003cvar\u003e\\(10^{100} \\times 7\\)\u003c/var\u003e matrix \u003cvar\u003e\\(A\\)\u003c/var\u003e, where the \u003cvar\u003e\\((i,j)\\)\u003c/var\u003e-th entry is \u003cvar\u003e\\((i-1) \\times 7 + j\\)\u003c/var\u003e for every pair of integers \u003cvar\u003e\\((i,j)\\ (1 \\leq i \\leq 10^{100}, 1 \\leq j \\leq 7)\\)\u003c/var\u003e.\u003c/p\u003e\r\n\u003cp\u003eGiven an \u003cvar\u003e\\(N \\times M\\)\u003c/var\u003e matrix \u003cvar\u003e\\(B\\)\u003c/var\u003e, determine whether \u003cvar\u003e\\(B\\)\u003c/var\u003e is some (unrotated) rectangular part of \u003cvar\u003e\\(A\\)\u003c/var\u003e.\u003c/p\u003e\r\n\u003c/section\u003e\r\n"}},{"title":"Constraints","value":{"format":"HTML","content":"\r\n\u003csection\u003e\r\n\u003cul\u003e\r\n\u003cli\u003e\u003cvar\u003e\\(1 \\leq N \\leq 10^4\\)\u003c/var\u003e\u003c/li\u003e\r\n\u003cli\u003e\u003cvar\u003e\\(1 \\leq M \\leq 7\\)\u003c/var\u003e\u003c/li\u003e\r\n\u003cli\u003e\u003cvar\u003e\\(1 \\leq B_{i,j} \\leq 10^9\\)\u003c/var\u003e\u003c/li\u003e\r\n\u003cli\u003eAll values in input are integers.\u003c/li\u003e\r\n\u003c/ul\u003e\r\n\u003c/section\u003e\r\n"}},{"title":"Input","value":{"format":"HTML","content":"\r\n\u003csection\u003e\r\n\u003cp\u003eInput is given from Standard Input in the following format:\u003c/p\u003e\r\n\u003cpre\u003e\u003cvar\u003e\\(N\\)\u003c/var\u003e \u003cvar\u003e\\(M\\)\u003c/var\u003e\r\n\u003cvar\u003e\\(B_{1,1}\\)\u003c/var\u003e \u003cvar\u003e\\(B_{1,2}\\)\u003c/var\u003e \u003cvar\u003e\\(\\ldots\\)\u003c/var\u003e \u003cvar\u003e\\(B_{1,M}\\)\u003c/var\u003e\r\n\u003cvar\u003e\\(B_{2,1}\\)\u003c/var\u003e \u003cvar\u003e\\(B_{2,2}\\)\u003c/var\u003e \u003cvar\u003e\\(\\ldots\\)\u003c/var\u003e \u003cvar\u003e\\(B_{2,M}\\)\u003c/var\u003e\r\n\u003cvar\u003e\\(\\hspace{1.6cm}\\vdots\\)\u003c/var\u003e\r\n\u003cvar\u003e\\(B_{N,1}\\)\u003c/var\u003e \u003cvar\u003e\\(B_{N,2}\\)\u003c/var\u003e \u003cvar\u003e\\(\\ldots\\)\u003c/var\u003e \u003cvar\u003e\\(B_{N,M}\\)\u003c/var\u003e\r\n\u003c/pre\u003e\r\n\u003c/section\u003e\r\n"}},{"title":"Output","value":{"format":"HTML","content":"\r\n\u003csection\u003e\r\n\u003cp\u003eIf \u003cvar\u003e\\(B\\)\u003c/var\u003e is some rectangular part of \u003cvar\u003e\\(A\\)\u003c/var\u003e, print \u003ccode\u003eYes\u003c/code\u003e; otherwise, print \u003ccode\u003eNo\u003c/code\u003e.\u003c/p\u003e\r\n\u003c/section\u003e\r\n"}},{"title":"Sample 1","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e2 3\r\n1 2 3\r\n8 9 10\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003eYes\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n\r\n\u003csection\u003e\r\n\r\n\u003c/section\u003e\r\n\r\n\u003csection\u003e\r\n\r\n\u003cp\u003eThe given matrix \u003cvar\u003e\\(B\\)\u003c/var\u003e is the top-left \u003cvar\u003e\\(2 \\times 3\\)\u003c/var\u003e submatrix of \u003cvar\u003e\\(A\\)\u003c/var\u003e.\u003c/p\u003e\r\n\u003c/section\u003e\r\n"}},{"title":"Sample 2","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e2 1\r\n1\r\n2\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003eNo\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n\r\n\u003csection\u003e\r\n\r\n\u003c/section\u003e\r\n\r\n\u003csection\u003e\r\n\r\n\u003cp\u003eAlthough the given matrix \u003cvar\u003e\\(B\\)\u003c/var\u003e would match the top-left \u003cvar\u003e\\(1 \\times 2\\)\u003c/var\u003e submatrix of \u003cvar\u003e\\(A\\)\u003c/var\u003e after rotating \u003cvar\u003e\\(90\\)\u003c/var\u003e degrees, the Problem Statement asks whether \u003cvar\u003e\\(B\\)\u003c/var\u003e is an unrotated part of \u003cvar\u003e\\(A\\)\u003c/var\u003e, so the answer is \u003ccode\u003eNo\u003c/code\u003e.\u003c/p\u003e\r\n\u003c/section\u003e\r\n"}},{"title":"Sample 3","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e10 4\r\n1346 1347 1348 1349\r\n1353 1354 1355 1356\r\n1360 1361 1362 1363\r\n1367 1368 1369 1370\r\n1374 1375 1376 1377\r\n1381 1382 1383 1384\r\n1388 1389 1390 1391\r\n1395 1396 1397 1398\r\n1402 1403 1404 1405\r\n1409 1410 1411 1412\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003eYes\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n\r\n\u003csection\u003e\r\n\r\n\u003c/section\u003e\r\n\r\n\u003csection\u003e\r\n\u003c/section\u003e\r\n"}}]}