\(256 \times 16\) 行列 \(A\) と、\(16 \times 16\) 行列 \(B\) に対して、行列積 \(C = A \times B^T\) (shape:\(256 \times 16\)) を計算してください。\(A,B,C\) のレイアウトは以下のとおりです。
A: ((8_L2B:1, 4:2, 8_L1B:1), (2:1, 4_PE:1, 2_W:1))
B: ((16:2), (2:1, 4_PE:1, 2_W:1))
C: ((8_L2B:1, 4:2, 8_L1B:1), (2:1, 4_PE:1, 2_W:1))
\(A, B\) の値はこちらです。この問題は乱数値が使用されています。
A (256, 16):
[[ 191, 486, 374, 306, 79, 79, 29, 443, 307, 362, 10, 496, 426, 108, 93, 93],
[ 155, 268, 221, 149, 313, 71, 149, 187, 233, 402, 102, 263, 303, 23, 311, 87],
[ 33, 485, 494, 413, 155, 50, 350, 225, 62, 253, 17, 465, 132, 339, 159, 266],
[ 279, 94, 496, 396, 481, 458, 306, 471, 45, 100, 23, 166, 199, 138, 424, 182],
[ 143, 277, 72, 410, 38, 505, 395, 101, 2, 417, 361, 373, 394, 37, 183, 59],
[ 441, 319, 169, 32, 159, 166, 373, 326, 454, 241, 61, 365, 389, 287, 394, 252],
[ 267, 218, 13, 55, 16, 325, 160, 260, 464, 127, 210, 386, 117, 39, 148, 82],
[ 476, 413, 324, 446, 411, 95, 456, 276, 413, 458, 162, 56, 116, 218, 418, 440],
[ 3, 261, 213, 113, 61, 172, 482, 165, 265, 359, 186, 497, 492, 128, 254, 154],
[ 145, 18, 312, 257, 26, 142, 465, 122, 74, 250, 504, 123, 344, 389, 121, 372],
[ 188, 323, 324, 274, 46, 427, 164, 95, 20, 302, 346, 8, 262, 115, 330, 89],
[ 353, 198, 479, 70, 174, 58, 473, 449, 132, 337, 418, 284, 271, 123, 47, 459],
[ 461, 324, 173, 178, 371, 459, 454, 399, 328, 43, 82, 460, 310, 4, 51, 339],
[ 2, 82, 280, 354, 333, 114, 364, 121, 166, 382, 332, 434, 336, 290, 47, 188],
[ 135, 124, 498, 201, 456, 323, 406, 257, 295, 252, 99, 369, 143, 12, 330, 90],
[ 481, 488, 468, 189, 7, 475, 219, 494, 493, 436, 150, 197, 435, 162, 86, 285],
[ 479, 356, 291, 49, 314, 506, 71, 265, 449, 379, 356, 359, 184, 150, 414, 414],
[ 443, 467, 261, 256, 408, 332, 359, 407, 455, 173, 192, 48, 296, 18, 238, 277],
[ 146, 302, 15, 19, 421, 184, 65, 267, 394, 110, 318, 43, 26, 272, 276, 326],
[ 371, 499, 264, 165, 407, 138, 224, 40, 12, 492, 428, 356, 209, 88, 80, 128],
[ 281, 365, 338, 143, 488, 377, 283, 313, 214, 126, 182, 388, 7, 59, 23, 20],
[ 437, 360, 242, 50, 251, 242, 88, 222, 204, 315, 325, 23, 191, 320, 257, 438],
[ 337, 83, 36, 328, 13, 299, 481, 294, 198, 329, 234, 279, 482, 197, 492, 463],
[ 100, 35, 51, 9, 48, 349, 36, 163, 432, 11, 417, 144, 60, 356, 322, 449],
[ 376, 411, 144, 90, 384, 413, 507, 211, 190, 397, 174, 476, 439, 219, 384, 386],
[ 52, 462, 258, 423, 163, 458, 199, 5, 463, 46, 163, 486, 486, 293, 323, 229],
[ 150, 168, 344, 385, 405, 404, 46, 253, 29, 281, 226, 454, 179, 59, 73, 389],
[ 316, 51, 43, 358, 37, 420, 361, 41, 43, 505, 191, 189, 416, 484, 504, 385],
[ 192, 42, 397, 285, 217, 464, 56, 252, 5, 239, 28, 60, 60, 332, 381, 298],
[ 492, 191, 146, 444, 114, 493, 6, 496, 22, 456, 270, 508, 37, 283, 496, 267],
[ 322, 356, 232, 321, 299, 461, 23, 143, 486, 455, 233, 317, 142, 96, 237, 180],
[ 298, 39, 498, 504, 357, 274, 158, 416, 350, 83, 466, 421, 486, 371, 314, 214],
[ 477, 443, 23, 13, 192, 415, 505, 77, 304, 195, 496, 431, 429, 239, 212, 139],
[ 28, 442, 416, 511, 510, 284, 393, 483, 435, 126, 230, 66, 488, 310, 117, 343],
[ 316, 183, 58, 343, 266, 395, 266, 436, 282, 287, 448, 206, 68, 14, 386, 317],
[ 360, 109, 69, 7, 179, 302, 200, 223, 462, 178, 263, 401, 203, 318, 441, 486],
[ 75, 474, 251, 132, 235, 501, 252, 168, 324, 122, 38, 65, 65, 77, 71, 328],
[ 93, 176, 459, 242, 341, 88, 98, 20, 86, 142, 90, 45, 61, 235, 105, 186],
[ 257, 353, 20, 409, 321, 41, 447, 471, 31, 141, 412, 383, 94, 107, 189, 248],
[ 316, 188, 236, 382, 18, 129, 365, 458, 261, 272, 54, 229, 272, 124, 137, 193],
[ 10, 164, 108, 167, 61, 455, 303, 347, 404, 255, 44, 274, 300, 381, 221, 65],
[ 145, 185, 330, 292, 182, 505, 310, 121, 52, 78, 125, 82, 95, 145, 88, 459],
[ 41, 268, 210, 502, 57, 203, 496, 443, 418, 132, 87, 342, 475, 285, 292, 143],
[ 393, 95, 165, 217, 259, 124, 58, 312, 147, 297, 79, 246, 272, 26, 172, 68],
[ 32, 506, 165, 414, 130, 348, 389, 304, 241, 210, 178, 475, 425, 494, 63, 374],
[ 480, 92, 34, 379, 294, 431, 71, 407, 103, 83, 84, 417, 340, 267, 183, 449],
[ 200, 418, 224, 192, 236, 154, 382, 257, 118, 460, 196, 278, 464, 319, 59, 481],
[ 321, 171, 71, 406, 317, 273, 457, 403, 77, 159, 127, 380, 17, 291, 390, 448],
[ 175, 420, 56, 433, 65, 203, 408, 76, 117, 369, 368, 328, 355, 277, 128, 176],
[ 92, 465, 298, 205, 236, 485, 78, 300, 259, 313, 9, 446, 477, 289, 356, 472],
[ 362, 78, 295, 310, 217, 377, 478, 473, 230, 57, 504, 429, 63, 471, 445, 265],
[ 302, 204, 28, 171, 411, 2, 170, 203, 275, 470, 177, 177, 377, 231, 114, 231],
[ 72, 90, 255, 214, 468, 185, 297, 323, 6, 339, 91, 492, 76, 212, 43, 510],
[ 257, 304, 34, 383, 107, 459, 105, 97, 18, 241, 289, 33, 397, 232, 268, 225],
[ 205, 286, 79, 93, 441, 484, 191, 138, 329, 209, 12, 79, 366, 337, 13, 113],
[ 118, 344, 10, 53, 409, 91, 334, 121, 50, 124, 369, 438, 425, 203, 342, 104],
[ 150, 458, 6, 43, 106, 13, 92, 298, 215, 457, 418, 175, 132, 194, 302, 137],
[ 319, 209, 282, 223, 150, 485, 390, 71, 444, 249, 458, 409, 217, 11, 137, 277],
[ 324, 132, 71, 427, 504, 269, 87, 139, 9, 468, 60, 295, 140, 283, 333, 424],
[ 105, 5, 70, 460, 447, 305, 307, 340, 89, 468, 214, 196, 265, 24, 85, 377],
[ 42, 308, 125, 199, 147, 182, 368, 152, 289, 243, 339, 479, 375, 110, 15, 134],
[ 304, 26, 254, 305, 171, 394, 54, 38, 372, 253, 352, 222, 126, 419, 409, 355],
[ 139, 302, 184, 46, 469, 70, 486, 228, 94, 277, 446, 374, 412, 337, 354, 434],
[ 127, 250, 113, 505, 483, 20, 361, 473, 92, 290, 468, 17, 357, 152, 473, 497],
[ 483, 242, 441, 432, 163, 424, 18, 305, 117, 61, 39, 356, 174, 371, 33, 161],
[ 276, 404, 163, 320, 453, 315, 119, 12, 445, 10, 447, 270, 480, 408, 510, 179],
[ 392, 205, 245, 321, 447, 503, 393, 213, 215, 377, 122, 56, 181, 147, 151, 119],
[ 21, 9, 505, 219, 196, 347, 111, 486, 402, 45, 213, 450, 483, 239, 314, 85],
[ 507, 118, 482, 332, 311, 262, 118, 90, 112, 95, 399, 179, 29, 496, 452, 475],
[ 509, 89, 202, 388, 356, 78, 417, 114, 114, 274, 303, 297, 46, 449, 135, 66],
[ 455, 489, 441, 414, 335, 282, 44, 209, 190, 132, 370, 253, 41, 112, 349, 38],
[ 435, 253, 246, 303, 422, 178, 347, 289, 136, 449, 408, 337, 435, 444, 362, 428],
[ 357, 348, 316, 385, 81, 451, 446, 14, 422, 65, 171, 380, 82, 418, 426, 259],
[ 3, 146, 315, 502, 323, 133, 324, 276, 399, 54, 389, 277, 493, 175, 323, 477],
[ 52, 479, 352, 34, 154, 362, 34, 298, 177, 317, 23, 446, 498, 496, 383, 66],
[ 388, 12, 11, 165, 250, 394, 349, 228, 140, 510, 218, 231, 83, 406, 355, 113],
[ 42, 348, 335, 139, 486, 77, 221, 483, 214, 326, 203, 140, 503, 209, 457, 117],
[ 109, 15, 333, 188, 442, 242, 495, 94, 444, 397, 394, 432, 389, 320, 67, 16],
[ 471, 315, 407, 246, 60, 64, 351, 220, 102, 251, 32, 297, 137, 408, 158, 233],
[ 5, 37, 200, 245, 307, 149, 355, 440, 399, 20, 246, 53, 123, 505, 72, 255],
[ 316, 359, 286, 5, 167, 265, 44, 179, 16, 40, 203, 67, 290, 353, 409, 102],
[ 85, 53, 325, 361, 16, 479, 26, 277, 363, 445, 365, 410, 173, 417, 41, 458],
[ 280, 418, 231, 329, 269, 374, 41, 30, 126, 81, 446, 112, 499, 172, 93, 404],
[ 337, 255, 284, 368, 116, 510, 499, 332, 102, 348, 36, 15, 131, 236, 444, 372],
[ 380, 217, 177, 189, 505, 20, 443, 296, 224, 371, 249, 447, 461, 215, 141, 303],
[ 467, 107, 318, 323, 375, 67, 366, 465, 91, 121, 497, 92, 437, 252, 126, 445],
[ 227, 263, 183, 303, 83, 200, 496, 132, 336, 166, 396, 67, 496, 232, 120, 37],
[ 86, 266, 172, 424, 220, 127, 315, 361, 85, 85, 18, 377, 339, 243, 432, 412],
[ 299, 444, 105, 57, 138, 29, 271, 479, 20, 62, 231, 478, 161, 259, 21, 75],
[ 505, 494, 2, 487, 327, 444, 232, 263, 250, 341, 71, 15, 157, 360, 103, 344],
[ 496, 48, 344, 227, 444, 90, 354, 429, 483, 349, 254, 316, 444, 292, 15, 476],
[ 353, 346, 110, 337, 201, 333, 54, 336, 511, 24, 500, 208, 445, 400, 290, 378],
[ 449, 206, 167, 341, 413, 390, 408, 223, 418, 61, 278, 2, 166, 187, 202, 356],
[ 198, 229, 121, 191, 116, 37, 308, 342, 317, 237, 194, 442, 265, 245, 13, 174],
[ 194, 204, 297, 273, 311, 391, 416, 367, 489, 9, 100, 3, 331, 459, 124, 474],
[ 30, 478, 180, 51, 248, 131, 145, 157, 411, 276, 159, 312, 366, 139, 211, 62],
[ 92, 348, 92, 268, 363, 54, 290, 131, 493, 247, 412, 281, 22, 324, 487, 308],
[ 419, 452, 116, 108, 312, 210, 430, 460, 180, 121, 399, 140, 421, 216, 341, 48],
[ 319, 231, 300, 86, 377, 441, 110, 49, 12, 328, 310, 279, 118, 200, 304, 254],
[ 505, 69, 355, 207, 219, 367, 354, 507, 65, 53, 370, 296, 140, 40, 43, 457],
[ 98, 165, 116, 181, 35, 265, 34, 409, 119, 276, 450, 333, 272, 166, 170, 342],
[ 508, 338, 285, 374, 238, 30, 287, 490, 89, 353, 102, 274, 49, 230, 387, 177],
[ 340, 407, 474, 120, 204, 78, 508, 474, 276, 431, 266, 319, 45, 386, 65, 422],
[ 400, 362, 18, 155, 134, 184, 44, 479, 283, 156, 203, 228, 307, 264, 470, 254],
[ 507, 435, 106, 476, 59, 418, 194, 449, 444, 412, 404, 155, 41, 206, 88, 355],
[ 177, 499, 328, 421, 67, 441, 472, 249, 310, 391, 89, 257, 204, 74, 188, 34],
[ 13, 69, 493, 281, 494, 221, 159, 259, 225, 54, 328, 110, 317, 332, 77, 31],
[ 399, 235, 29, 509, 29, 355, 503, 122, 72, 62, 155, 51, 354, 31, 260, 510],
[ 416, 314, 156, 319, 269, 218, 66, 453, 230, 99, 188, 212, 423, 375, 393, 5],
[ 213, 246, 9, 133, 389, 70, 274, 110, 6, 123, 499, 410, 491, 249, 56, 280],
[ 232, 432, 50, 249, 76, 166, 377, 243, 192, 201, 235, 401, 456, 489, 402, 161],
[ 352, 224, 130, 430, 19, 461, 236, 326, 337, 458, 325, 314, 34, 265, 76, 377],
[ 262, 348, 21, 43, 366, 36, 36, 6, 489, 377, 180, 151, 179, 396, 338, 94],
[ 89, 50, 338, 391, 135, 10, 42, 495, 151, 393, 319, 195, 105, 62, 314, 396],
[ 329, 271, 21, 495, 408, 149, 501, 308, 298, 383, 415, 336, 65, 173, 475, 115],
[ 190, 221, 224, 313, 482, 123, 62, 101, 454, 330, 146, 417, 441, 433, 470, 129],
[ 386, 235, 431, 372, 397, 335, 90, 279, 504, 479, 22, 84, 67, 371, 418, 109],
[ 258, 430, 375, 277, 302, 260, 152, 289, 352, 447, 325, 389, 81, 236, 4, 126],
[ 371, 507, 50, 205, 409, 104, 284, 375, 315, 96, 181, 401, 283, 2, 389, 18],
[ 381, 103, 490, 188, 167, 76, 156, 448, 510, 188, 229, 369, 453, 303, 200, 211],
[ 356, 1, 317, 182, 406, 47, 301, 246, 328, 33, 296, 287, 287, 308, 346, 412],
[ 138, 422, 255, 39, 29, 171, 401, 362, 403, 264, 225, 75, 168, 222, 45, 112],
[ 306, 376, 511, 477, 328, 215, 325, 402, 60, 209, 429, 196, 292, 300, 94, 185],
[ 171, 13, 12, 425, 139, 265, 152, 481, 132, 219, 446, 431, 95, 410, 234, 247],
[ 68, 41, 372, 254, 223, 373, 391, 81, 312, 69, 384, 336, 489, 35, 29, 144],
[ 133, 126, 464, 127, 139, 388, 230, 397, 33, 249, 17, 32, 464, 71, 272, 210],
[ 177, 460, 11, 339, 493, 286, 479, 26, 214, 133, 374, 502, 131, 334, 101, 289],
[ 237, 497, 311, 178, 58, 77, 115, 128, 435, 287, 267, 58, 440, 370, 34, 362],
[ 278, 41, 234, 248, 84, 484, 435, 342, 236, 210, 333, 279, 31, 262, 412, 235],
[ 26, 402, 103, 132, 84, 169, 387, 265, 104, 449, 450, 445, 122, 231, 504, 395],
[ 13, 33, 237, 465, 275, 254, 54, 336, 420, 194, 397, 493, 104, 267, 147, 405],
[ 295, 324, 408, 202, 468, 272, 80, 356, 406, 162, 438, 463, 141, 503, 72, 103],
[ 94, 457, 334, 77, 225, 315, 42, 451, 411, 258, 495, 213, 503, 341, 324, 84],
[ 451, 218, 83, 6, 286, 270, 368, 455, 40, 374, 95, 439, 419, 276, 363, 160],
[ 241, 420, 235, 183, 253, 424, 171, 88, 364, 422, 51, 122, 72, 178, 230, 383],
[ 333, 317, 180, 430, 241, 501, 324, 64, 346, 166, 351, 35, 89, 438, 116, 428],
[ 142, 329, 355, 262, 156, 108, 16, 155, 334, 480, 446, 392, 403, 340, 133, 464],
[ 343, 286, 56, 228, 235, 442, 279, 194, 500, 56, 216, 21, 378, 470, 143, 439],
[ 149, 466, 386, 412, 9, 492, 372, 156, 424, 144, 446, 57, 360, 276, 49, 123],
[ 6, 240, 154, 306, 152, 153, 380, 24, 462, 436, 341, 303, 456, 94, 40, 122],
[ 406, 17, 298, 509, 438, 266, 32, 425, 306, 58, 48, 465, 342, 424, 450, 292],
[ 264, 220, 162, 222, 396, 308, 456, 227, 310, 323, 302, 359, 121, 262, 53, 196],
[ 249, 333, 486, 307, 380, 259, 324, 36, 130, 185, 241, 23, 71, 141, 497, 169],
[ 246, 100, 312, 143, 105, 264, 2, 3, 112, 18, 55, 173, 410, 292, 262, 150],
[ 477, 203, 44, 315, 58, 176, 259, 447, 252, 359, 508, 67, 140, 202, 215, 210],
[ 464, 365, 311, 158, 421, 488, 420, 0, 325, 26, 131, 30, 309, 351, 58, 196],
[ 233, 188, 61, 214, 384, 36, 41, 181, 482, 342, 347, 185, 303, 5, 325, 467],
[ 313, 447, 370, 61, 462, 34, 273, 72, 5, 216, 151, 248, 295, 22, 62, 286],
[ 175, 373, 333, 432, 354, 220, 344, 140, 156, 403, 228, 408, 421, 439, 469, 220],
[ 163, 298, 190, 307, 361, 352, 191, 85, 220, 73, 455, 177, 79, 13, 330, 326],
[ 174, 36, 209, 159, 346, 310, 186, 111, 505, 232, 352, 71, 248, 14, 258, 493],
[ 196, 19, 15, 198, 81, 11, 387, 234, 148, 460, 59, 489, 160, 454, 308, 423],
[ 503, 147, 492, 199, 197, 174, 277, 78, 283, 277, 390, 426, 225, 154, 132, 99],
[ 29, 175, 138, 494, 285, 177, 297, 71, 227, 320, 250, 205, 508, 450, 319, 291],
[ 317, 103, 202, 20, 243, 278, 116, 493, 465, 369, 273, 445, 66, 404, 63, 406],
[ 141, 449, 483, 76, 236, 502, 247, 442, 301, 192, 146, 104, 390, 197, 261, 252],
[ 295, 443, 502, 208, 423, 391, 293, 489, 102, 55, 437, 224, 433, 457, 31, 452],
[ 229, 261, 320, 474, 9, 244, 352, 370, 354, 68, 153, 183, 411, 142, 107, 490],
[ 4, 510, 346, 424, 150, 7, 377, 427, 379, 73, 385, 393, 337, 392, 433, 314],
[ 45, 249, 39, 208, 208, 33, 178, 56, 413, 485, 37, 489, 267, 153, 39, 256],
[ 406, 362, 25, 37, 206, 151, 118, 143, 411, 475, 207, 463, 164, 243, 115, 327],
[ 501, 308, 183, 331, 62, 454, 257, 230, 299, 319, 36, 349, 123, 365, 421, 411],
[ 282, 266, 73, 396, 138, 254, 145, 68, 322, 27, 383, 162, 0, 261, 23, 141],
[ 361, 32, 429, 1, 126, 379, 161, 52, 184, 138, 431, 160, 403, 456, 222, 465],
[ 193, 493, 45, 351, 252, 198, 323, 360, 2, 85, 365, 341, 494, 389, 486, 359],
[ 152, 53, 400, 329, 24, 184, 489, 256, 221, 234, 106, 188, 189, 26, 392, 213],
[ 420, 435, 108, 336, 241, 450, 110, 347, 311, 151, 69, 333, 378, 161, 330, 202],
[ 365, 101, 455, 147, 188, 29, 57, 264, 137, 427, 7, 194, 172, 9, 63, 211],
[ 252, 206, 271, 304, 5, 237, 493, 265, 346, 159, 396, 395, 266, 499, 64, 8],
[ 394, 413, 61, 135, 8, 150, 395, 265, 178, 190, 0, 153, 330, 498, 433, 12],
[ 460, 400, 399, 234, 203, 155, 33, 116, 126, 247, 382, 242, 29, 490, 482, 402],
[ 507, 278, 492, 38, 187, 115, 100, 72, 318, 400, 296, 75, 415, 325, 198, 345],
[ 133, 176, 469, 148, 240, 455, 362, 31, 75, 4, 323, 229, 68, 490, 271, 123],
[ 256, 347, 39, 140, 413, 235, 279, 221, 22, 84, 228, 107, 25, 431, 502, 406],
[ 437, 123, 491, 100, 487, 509, 364, 502, 291, 132, 223, 303, 37, 318, 502, 97],
[ 405, 464, 483, 491, 266, 500, 387, 82, 244, 367, 126, 327, 341, 83, 289, 395],
[ 255, 6, 4, 182, 474, 117, 324, 113, 164, 434, 373, 48, 219, 14, 246, 339],
[ 60, 147, 203, 470, 508, 22, 389, 190, 200, 386, 470, 486, 295, 182, 403, 128],
[ 288, 183, 336, 123, 98, 470, 52, 259, 113, 19, 18, 89, 443, 144, 486, 297],
[ 223, 297, 264, 388, 144, 180, 457, 484, 456, 214, 399, 243, 254, 104, 302, 95],
[ 169, 437, 106, 36, 35, 481, 259, 209, 415, 427, 170, 355, 394, 335, 77, 448],
[ 276, 144, 217, 19, 65, 391, 0, 213, 267, 27, 498, 115, 155, 155, 117, 0],
[ 373, 495, 114, 339, 379, 434, 216, 155, 166, 364, 418, 92, 189, 461, 413, 504],
[ 386, 201, 302, 338, 40, 278, 363, 85, 399, 298, 487, 21, 135, 307, 151, 365],
[ 388, 52, 263, 260, 189, 477, 423, 356, 365, 236, 471, 355, 373, 441, 140, 413],
[ 99, 176, 171, 501, 438, 358, 372, 287, 484, 254, 194, 83, 402, 376, 196, 12],
[ 429, 5, 360, 496, 224, 120, 360, 418, 279, 495, 26, 258, 367, 441, 91, 409],
[ 282, 203, 67, 443, 80, 158, 148, 446, 344, 407, 128, 319, 292, 426, 463, 6],
[ 345, 26, 281, 147, 157, 180, 318, 171, 375, 207, 34, 401, 146, 221, 350, 170],
[ 28, 191, 483, 328, 343, 323, 101, 214, 384, 51, 142, 141, 221, 501, 34, 265],
[ 91, 496, 58, 206, 377, 360, 216, 177, 203, 135, 105, 247, 137, 147, 336, 495],
[ 309, 39, 38, 487, 152, 47, 306, 319, 332, 136, 7, 494, 128, 346, 361, 312],
[ 160, 138, 306, 443, 484, 54, 79, 483, 377, 452, 103, 300, 358, 348, 208, 7],
[ 298, 129, 230, 490, 204, 429, 96, 344, 500, 52, 4, 221, 47, 383, 468, 222],
[ 132, 222, 370, 4, 301, 314, 326, 123, 365, 46, 102, 449, 378, 7, 127, 109],
[ 138, 126, 32, 234, 375, 310, 344, 41, 487, 429, 412, 421, 477, 278, 102, 315],
[ 380, 377, 266, 35, 190, 471, 299, 275, 137, 188, 458, 341, 403, 232, 322, 127],
[ 361, 218, 226, 332, 479, 32, 422, 149, 227, 11, 154, 257, 28, 251, 474, 53],
[ 391, 209, 335, 133, 81, 82, 36, 95, 340, 451, 416, 350, 56, 148, 158, 127],
[ 263, 274, 182, 181, 424, 404, 157, 467, 487, 167, 181, 258, 481, 448, 52, 201],
[ 283, 257, 99, 439, 346, 429, 439, 383, 224, 312, 82, 344, 91, 355, 117, 60],
[ 84, 1, 367, 374, 263, 82, 42, 9, 84, 456, 123, 181, 53, 113, 265, 311],
[ 125, 29, 200, 119, 112, 491, 315, 285, 212, 219, 276, 356, 359, 87, 256, 210],
[ 445, 323, 272, 59, 310, 60, 172, 73, 354, 105, 200, 458, 104, 259, 214, 9],
[ 405, 35, 242, 287, 321, 352, 129, 5, 370, 274, 428, 420, 431, 248, 170, 405],
[ 231, 93, 437, 451, 238, 38, 198, 411, 461, 104, 34, 449, 199, 277, 495, 34],
[ 331, 37, 192, 411, 221, 510, 286, 164, 112, 179, 190, 35, 189, 237, 370, 336],
[ 362, 4, 111, 338, 247, 2, 411, 395, 280, 34, 392, 298, 400, 384, 411, 265],
[ 71, 343, 317, 380, 86, 99, 455, 383, 465, 388, 305, 334, 455, 296, 323, 80],
[ 242, 366, 138, 103, 160, 123, 110, 217, 464, 259, 96, 39, 356, 195, 420, 337],
[ 407, 139, 354, 135, 480, 325, 166, 137, 97, 355, 111, 304, 135, 338, 417, 398],
[ 389, 96, 45, 357, 188, 221, 15, 132, 17, 450, 124, 285, 19, 341, 165, 459],
[ 454, 166, 461, 510, 422, 432, 127, 295, 34, 48, 511, 167, 383, 413, 439, 510],
[ 123, 20, 210, 66, 11, 184, 401, 289, 160, 335, 118, 7, 391, 319, 390, 19],
[ 428, 317, 288, 319, 442, 300, 297, 507, 387, 226, 362, 199, 117, 305, 475, 475],
[ 175, 270, 108, 509, 502, 332, 411, 366, 303, 27, 232, 345, 346, 191, 482, 85],
[ 256, 353, 356, 332, 140, 79, 325, 306, 91, 361, 233, 341, 428, 86, 9, 398],
[ 312, 358, 429, 411, 491, 274, 250, 205, 78, 293, 141, 471, 298, 303, 181, 26],
[ 16, 216, 43, 310, 451, 452, 337, 108, 441, 453, 100, 377, 146, 410, 510, 15],
[ 459, 318, 498, 238, 433, 31, 171, 34, 499, 418, 436, 480, 43, 197, 36, 107],
[ 117, 240, 137, 51, 85, 75, 498, 388, 495, 225, 142, 408, 167, 153, 119, 66],
[ 131, 181, 345, 32, 107, 414, 75, 175, 442, 79, 42, 248, 154, 288, 411, 70],
[ 297, 258, 73, 319, 140, 249, 42, 235, 156, 421, 29, 214, 234, 371, 294, 341],
[ 397, 441, 160, 275, 430, 506, 455, 190, 99, 250, 379, 252, 247, 429, 185, 440],
[ 208, 168, 232, 390, 64, 100, 487, 89, 290, 296, 250, 330, 117, 282, 190, 338],
[ 72, 292, 94, 142, 111, 93, 422, 146, 474, 496, 292, 73, 191, 408, 188, 44],
[ 285, 432, 407, 89, 344, 112, 111, 447, 127, 134, 0, 445, 405, 321, 384, 77],
[ 234, 179, 48, 248, 471, 20, 149, 106, 121, 465, 239, 238, 389, 79, 249, 220],
[ 305, 511, 393, 203, 423, 87, 15, 104, 174, 261, 314, 466, 261, 256, 25, 17],
[ 282, 224, 429, 82, 12, 229, 121, 25, 370, 57, 311, 143, 88, 194, 410, 200],
[ 384, 64, 395, 121, 346, 289, 475, 198, 33, 9, 423, 268, 396, 120, 176, 15],
[ 492, 341, 477, 135, 313, 347, 162, 434, 484, 453, 378, 142, 144, 493, 5, 366],
[ 361, 318, 506, 159, 174, 40, 226, 133, 175, 427, 478, 95, 190, 475, 31, 47],
[ 83, 304, 77, 495, 228, 256, 126, 241, 338, 384, 385, 295, 463, 418, 387, 28],
[ 3, 108, 339, 210, 206, 452, 458, 465, 160, 353, 139, 97, 94, 175, 220, 425],
[ 61, 376, 272, 147, 252, 153, 305, 222, 84, 59, 279, 462, 176, 375, 337, 476],
[ 420, 290, 336, 459, 204, 167, 5, 423, 410, 53, 295, 237, 60, 502, 109, 34],
[ 304, 378, 16, 337, 272, 52, 88, 290, 151, 480, 419, 503, 132, 496, 220, 177],
[ 25, 27, 354, 234, 115, 314, 129, 295, 183, 421, 420, 244, 179, 185, 412, 168],
[ 107, 43, 238, 246, 430, 113, 195, 413, 421, 196, 235, 155, 477, 60, 478, 350],
[ 272, 16, 243, 208, 82, 336, 497, 287, 365, 35, 213, 59, 313, 480, 338, 39],
[ 181, 281, 206, 426, 417, 313, 191, 130, 54, 181, 211, 346, 336, 35, 202, 93],
[ 80, 423, 21, 214, 86, 450, 285, 118, 257, 374, 490, 112, 453, 478, 469, 325],
[ 322, 206, 385, 272, 346, 219, 374, 422, 74, 426, 276, 432, 220, 194, 468, 128],
[ 432, 247, 263, 157, 293, 166, 20, 139, 3, 500, 494, 202, 372, 177, 343, 412],
[ 484, 204, 401, 136, 507, 13, 309, 337, 352, 61, 480, 92, 318, 114, 157, 279],
[ 213, 82, 87, 214, 387, 459, 43, 201, 51, 8, 338, 308, 83, 119, 12, 427],
[ 499, 69, 118, 444, 474, 214, 25, 20, 293, 201, 14, 298, 5, 403, 156, 20],
[ 301, 203, 498, 278, 140, 363, 139, 462, 191, 281, 25, 218, 426, 412, 114, 115],
[ 418, 476, 48, 230, 172, 445, 42, 108, 385, 26, 252, 226, 171, 202, 271, 82],
[ 292, 412, 389, 78, 76, 137, 184, 209, 348, 29, 17, 200, 356, 99, 328, 133],
[ 453, 458, 152, 117, 210, 123, 344, 422, 344, 422, 203, 80, 377, 184, 343, 138],
[ 41, 508, 79, 506, 500, 406, 337, 295, 443, 148, 239, 317, 210, 218, 169, 288],
[ 435, 103, 478, 352, 421, 284, 399, 8, 419, 20, 455, 507, 150, 107, 391, 129],
[ 443, 52, 64, 501, 345, 433, 166, 346, 304, 308, 349, 294, 219, 141, 393, 115],
[ 354, 119, 320, 382, 111, 30, 67, 310, 434, 23, 375, 174, 245, 475, 169, 238]]
B (16, 16):
[[ 7, 41, 132, 14, 323, 218, 280, 89, 151, 339, 494, 25, 455, 295, 288, 256],
[ 35, 46, 307, 174, 469, 208, 73, 365, 150, 269, 357, 460, 405, 346, 347, 484],
[ 151, 0, 139, 111, 338, 324, 303, 8, 373, 165, 340, 284, 175, 68, 48, 425],
[ 470, 332, 52, 205, 373, 399, 60, 0, 364, 182, 130, 6, 276, 435, 490, 289],
[ 263, 43, 281, 194, 310, 199, 123, 48, 161, 49, 90, 505, 227, 272, 447, 509],
[ 298, 415, 167, 156, 206, 344, 349, 161, 68, 323, 65, 296, 355, 358, 385, 446],
[ 255, 373, 317, 95, 13, 145, 226, 315, 435, 100, 64, 493, 55, 244, 299, 277],
[ 44, 29, 54, 299, 278, 119, 326, 419, 21, 255, 352, 129, 157, 314, 459, 414],
[ 298, 373, 186, 328, 238, 97, 359, 284, 183, 466, 10, 161, 29, 392, 359, 169],
[ 345, 202, 387, 232, 211, 478, 128, 61, 299, 496, 193, 31, 173, 259, 82, 336],
[ 510, 231, 181, 205, 58, 452, 212, 198, 337, 226, 331, 31, 416, 481, 332, 488],
[ 77, 244, 308, 297, 205, 173, 64, 200, 83, 375, 106, 29, 282, 304, 446, 295],
[ 176, 411, 276, 40, 289, 464, 202, 151, 73, 77, 221, 304, 41, 481, 386, 300],
[ 424, 41, 244, 322, 424, 401, 141, 481, 63, 448, 497, 90, 369, 20, 207, 264],
[ 297, 479, 344, 246, 414, 486, 11, 503, 44, 416, 143, 67, 225, 329, 195, 27],
[ 306, 462, 196, 110, 226, 24, 420, 423, 301, 180, 409, 283, 422, 323, 401, 306]]