{ "schema_version": "0.3", "name": "[[585,355,3]]", "code_type": "CSS", "n": 585, "k": 355, "checks": { "X": [ [ 28, 67, 80, 93, 132, 145, 228, 241, 319, 358, 371, 384, 454, 493, 506, 519, 558, 571 ], [ 29, 68, 81, 94, 133, 146, 229, 242, 320, 359, 372, 385, 455, 494, 507, 520, 559, 572 ], [ 30, 69, 82, 95, 134, 147, 230, 243, 321, 360, 373, 386, 456, 495, 508, 521, 560, 573 ], [ 31, 70, 83, 96, 135, 148, 231, 244, 322, 361, 374, 387, 457, 496, 509, 522, 561, 574 ], [ 32, 71, 84, 97, 136, 149, 232, 245, 323, 362, 375, 388, 458, 497, 510, 523, 562, 575 ], [ 33, 72, 85, 98, 137, 150, 233, 246, 324, 363, 376, 389, 459, 498, 511, 524, 563, 576 ], [ 34, 73, 86, 99, 138, 151, 195, 234, 247, 325, 364, 377, 460, 499, 512, 525, 564, 577 ], [ 35, 74, 87, 100, 139, 152, 196, 235, 248, 326, 365, 378, 461, 500, 513, 526, 565, 578 ], [ 36, 75, 88, 101, 140, 153, 197, 236, 249, 327, 366, 379, 462, 501, 514, 527, 566, 579 ], [ 37, 76, 89, 102, 141, 154, 198, 237, 250, 328, 367, 380, 463, 502, 515, 528, 567, 580 ], [ 38, 77, 90, 103, 142, 155, 199, 238, 251, 329, 368, 381, 464, 503, 516, 529, 568, 581 ], [ 39, 78, 91, 104, 143, 156, 200, 239, 252, 330, 369, 382, 465, 504, 517, 530, 569, 582 ], [ 40, 79, 92, 105, 144, 157, 201, 240, 253, 331, 370, 383, 466, 505, 518, 531, 570, 583 ], [ 41, 80, 93, 106, 145, 158, 202, 241, 254, 332, 371, 384, 467, 506, 519, 532, 571, 584 ], [ 42, 81, 94, 107, 146, 159, 203, 242, 255, 333, 372, 385, 390, 468, 507, 520, 533, 572 ], [ 43, 82, 95, 108, 147, 160, 204, 243, 256, 334, 373, 386, 391, 469, 508, 521, 534, 573 ], [ 44, 83, 96, 109, 148, 161, 205, 244, 257, 335, 374, 387, 392, 470, 509, 522, 535, 574 ], [ 45, 84, 97, 110, 149, 162, 206, 245, 258, 336, 375, 388, 393, 471, 510, 523, 536, 575 ], [ 46, 85, 98, 111, 150, 163, 207, 246, 259, 337, 376, 389, 394, 472, 511, 524, 537, 576 ], [ 47, 86, 99, 112, 151, 164, 195, 208, 247, 260, 338, 377, 395, 473, 512, 525, 538, 577 ], [ 48, 87, 100, 113, 152, 165, 196, 209, 248, 261, 339, 378, 396, 474, 513, 526, 539, 578 ], [ 49, 88, 101, 114, 153, 166, 197, 210, 249, 262, 340, 379, 397, 475, 514, 527, 540, 579 ], [ 50, 89, 102, 115, 154, 167, 198, 211, 250, 263, 341, 380, 398, 476, 515, 528, 541, 580 ], [ 51, 90, 103, 116, 155, 168, 199, 212, 251, 264, 342, 381, 399, 477, 516, 529, 542, 581 ], [ 52, 91, 104, 117, 156, 169, 200, 213, 252, 265, 343, 382, 400, 478, 517, 530, 543, 582 ], [ 53, 92, 105, 118, 157, 170, 201, 214, 253, 266, 344, 383, 401, 479, 518, 531, 544, 583 ], [ 54, 93, 106, 119, 158, 171, 202, 215, 254, 267, 345, 384, 402, 480, 519, 532, 545, 584 ], [ 55, 94, 107, 120, 159, 172, 203, 216, 255, 268, 346, 385, 390, 403, 481, 520, 533, 546 ], [ 56, 95, 108, 121, 160, 173, 204, 217, 256, 269, 347, 386, 391, 404, 482, 521, 534, 547 ], [ 57, 96, 109, 122, 161, 174, 205, 218, 257, 270, 348, 387, 392, 405, 483, 522, 535, 548 ], [ 58, 97, 110, 123, 162, 175, 206, 219, 258, 271, 349, 388, 393, 406, 484, 523, 536, 549 ], [ 59, 98, 111, 124, 163, 176, 207, 220, 259, 272, 350, 389, 394, 407, 485, 524, 537, 550 ], [ 60, 99, 112, 125, 164, 177, 195, 208, 221, 260, 273, 351, 395, 408, 486, 525, 538, 551 ], [ 61, 100, 113, 126, 165, 178, 196, 209, 222, 261, 274, 352, 396, 409, 487, 526, 539, 552 ], [ 62, 101, 114, 127, 166, 179, 197, 210, 223, 262, 275, 353, 397, 410, 488, 527, 540, 553 ], [ 63, 102, 115, 128, 167, 180, 198, 211, 224, 263, 276, 354, 398, 411, 489, 528, 541, 554 ], [ 64, 103, 116, 129, 168, 181, 199, 212, 225, 264, 277, 355, 399, 412, 490, 529, 542, 555 ], [ 65, 104, 117, 130, 169, 182, 200, 213, 226, 265, 278, 356, 400, 413, 491, 530, 543, 556 ], [ 66, 105, 118, 131, 170, 183, 201, 214, 227, 266, 279, 357, 401, 414, 492, 531, 544, 557 ], [ 67, 106, 119, 132, 171, 184, 202, 215, 228, 267, 280, 358, 402, 415, 493, 532, 545, 558 ], [ 68, 107, 120, 133, 172, 185, 203, 216, 229, 268, 281, 359, 403, 416, 494, 533, 546, 559 ], [ 69, 108, 121, 134, 173, 186, 204, 217, 230, 269, 282, 360, 404, 417, 495, 534, 547, 560 ], [ 70, 109, 122, 135, 174, 187, 205, 218, 231, 270, 283, 361, 405, 418, 496, 535, 548, 561 ], [ 71, 110, 123, 136, 175, 188, 206, 219, 232, 271, 284, 362, 406, 419, 497, 536, 549, 562 ], [ 72, 111, 124, 137, 176, 189, 207, 220, 233, 272, 285, 363, 407, 420, 498, 537, 550, 563 ], [ 73, 112, 125, 138, 177, 190, 208, 221, 234, 273, 286, 364, 408, 421, 499, 538, 551, 564 ], [ 74, 113, 126, 139, 178, 191, 209, 222, 235, 274, 287, 365, 409, 422, 500, 539, 552, 565 ], [ 75, 114, 127, 140, 179, 192, 210, 223, 236, 275, 288, 366, 410, 423, 501, 540, 553, 566 ], [ 76, 115, 128, 141, 180, 193, 211, 224, 237, 276, 289, 367, 411, 424, 502, 541, 554, 567 ], [ 77, 116, 129, 142, 181, 194, 212, 225, 238, 277, 290, 368, 412, 425, 503, 542, 555, 568 ], [ 0, 78, 117, 130, 143, 182, 213, 226, 239, 278, 291, 369, 413, 426, 504, 543, 556, 569 ], [ 1, 79, 118, 131, 144, 183, 214, 227, 240, 279, 292, 370, 414, 427, 505, 544, 557, 570 ], [ 2, 80, 119, 132, 145, 184, 215, 228, 241, 280, 293, 371, 415, 428, 506, 545, 558, 571 ], [ 3, 81, 120, 133, 146, 185, 216, 229, 242, 281, 294, 372, 416, 429, 507, 546, 559, 572 ], [ 4, 82, 121, 134, 147, 186, 217, 230, 243, 282, 295, 373, 417, 430, 508, 547, 560, 573 ], [ 5, 83, 122, 135, 148, 187, 218, 231, 244, 283, 296, 374, 418, 431, 509, 548, 561, 574 ], [ 6, 84, 123, 136, 149, 188, 219, 232, 245, 284, 297, 375, 419, 432, 510, 549, 562, 575 ], [ 7, 85, 124, 137, 150, 189, 220, 233, 246, 285, 298, 376, 420, 433, 511, 550, 563, 576 ], [ 8, 86, 125, 138, 151, 190, 221, 234, 247, 286, 299, 377, 421, 434, 512, 551, 564, 577 ], [ 9, 87, 126, 139, 152, 191, 222, 235, 248, 287, 300, 378, 422, 435, 513, 552, 565, 578 ], [ 10, 88, 127, 140, 153, 192, 223, 236, 249, 288, 301, 379, 423, 436, 514, 553, 566, 579 ], [ 11, 89, 128, 141, 154, 193, 224, 237, 250, 289, 302, 380, 424, 437, 515, 554, 567, 580 ], [ 12, 90, 129, 142, 155, 194, 225, 238, 251, 290, 303, 381, 425, 438, 516, 555, 568, 581 ], [ 0, 13, 91, 130, 143, 156, 226, 239, 252, 291, 304, 382, 426, 439, 517, 556, 569, 582 ], [ 1, 14, 92, 131, 144, 157, 227, 240, 253, 292, 305, 383, 427, 440, 518, 557, 570, 583 ], [ 2, 15, 93, 132, 145, 158, 228, 241, 254, 293, 306, 384, 428, 441, 519, 558, 571, 584 ], [ 3, 16, 94, 133, 146, 159, 229, 242, 255, 294, 307, 385, 390, 429, 442, 520, 559, 572 ], [ 4, 17, 95, 134, 147, 160, 230, 243, 256, 295, 308, 386, 391, 430, 443, 521, 560, 573 ], [ 5, 18, 96, 135, 148, 161, 231, 244, 257, 296, 309, 387, 392, 431, 444, 522, 561, 574 ], [ 6, 19, 97, 136, 149, 162, 232, 245, 258, 297, 310, 388, 393, 432, 445, 523, 562, 575 ], [ 7, 20, 98, 137, 150, 163, 233, 246, 259, 298, 311, 389, 394, 433, 446, 524, 563, 576 ], [ 8, 21, 99, 138, 151, 164, 195, 234, 247, 260, 299, 312, 395, 434, 447, 525, 564, 577 ], [ 9, 22, 100, 139, 152, 165, 196, 235, 248, 261, 300, 313, 396, 435, 448, 526, 565, 578 ], [ 10, 23, 101, 140, 153, 166, 197, 236, 249, 262, 301, 314, 397, 436, 449, 527, 566, 579 ], [ 11, 24, 102, 141, 154, 167, 198, 237, 250, 263, 302, 315, 398, 437, 450, 528, 567, 580 ], [ 12, 25, 103, 142, 155, 168, 199, 238, 251, 264, 303, 316, 399, 438, 451, 529, 568, 581 ], [ 13, 26, 104, 143, 156, 169, 200, 239, 252, 265, 304, 317, 400, 439, 452, 530, 569, 582 ], [ 14, 27, 105, 144, 157, 170, 201, 240, 253, 266, 305, 318, 401, 440, 453, 531, 570, 583 ], [ 15, 28, 106, 145, 158, 171, 202, 241, 254, 267, 306, 319, 402, 441, 454, 532, 571, 584 ], [ 16, 29, 107, 146, 159, 172, 203, 242, 255, 268, 307, 320, 390, 403, 442, 455, 533, 572 ], [ 17, 30, 108, 147, 160, 173, 204, 243, 256, 269, 308, 321, 391, 404, 443, 456, 534, 573 ], [ 18, 31, 109, 148, 161, 174, 205, 244, 257, 270, 309, 322, 392, 405, 444, 457, 535, 574 ], [ 19, 32, 110, 149, 162, 175, 206, 245, 258, 271, 310, 323, 393, 406, 445, 458, 536, 575 ], [ 20, 33, 111, 150, 163, 176, 207, 246, 259, 272, 311, 324, 394, 407, 446, 459, 537, 576 ], [ 21, 34, 112, 151, 164, 177, 208, 247, 260, 273, 312, 325, 395, 408, 447, 460, 538, 577 ], [ 22, 35, 113, 152, 165, 178, 209, 248, 261, 274, 313, 326, 396, 409, 448, 461, 539, 578 ], [ 23, 36, 114, 153, 166, 179, 210, 249, 262, 275, 314, 327, 397, 410, 449, 462, 540, 579 ], [ 24, 37, 115, 154, 167, 180, 211, 250, 263, 276, 315, 328, 398, 411, 450, 463, 541, 580 ], [ 25, 38, 116, 155, 168, 181, 212, 251, 264, 277, 316, 329, 399, 412, 451, 464, 542, 581 ], [ 26, 39, 117, 156, 169, 182, 213, 252, 265, 278, 317, 330, 400, 413, 452, 465, 543, 582 ], [ 27, 40, 118, 157, 170, 183, 214, 253, 266, 279, 318, 331, 401, 414, 453, 466, 544, 583 ], [ 28, 41, 119, 158, 171, 184, 215, 254, 267, 280, 319, 332, 402, 415, 454, 467, 545, 584 ], [ 29, 42, 120, 159, 172, 185, 216, 255, 268, 281, 320, 333, 390, 403, 416, 455, 468, 546 ], [ 30, 43, 121, 160, 173, 186, 217, 256, 269, 282, 321, 334, 391, 404, 417, 456, 469, 547 ], [ 31, 44, 122, 161, 174, 187, 218, 257, 270, 283, 322, 335, 392, 405, 418, 457, 470, 548 ], [ 32, 45, 123, 162, 175, 188, 219, 258, 271, 284, 323, 336, 393, 406, 419, 458, 471, 549 ], [ 33, 46, 124, 163, 176, 189, 220, 259, 272, 285, 324, 337, 394, 407, 420, 459, 472, 550 ], [ 34, 47, 125, 164, 177, 190, 221, 260, 273, 286, 325, 338, 395, 408, 421, 460, 473, 551 ], [ 35, 48, 126, 165, 178, 191, 222, 261, 274, 287, 326, 339, 396, 409, 422, 461, 474, 552 ], [ 36, 49, 127, 166, 179, 192, 223, 262, 275, 288, 327, 340, 397, 410, 423, 462, 475, 553 ], [ 37, 50, 128, 167, 180, 193, 224, 263, 276, 289, 328, 341, 398, 411, 424, 463, 476, 554 ], [ 38, 51, 129, 168, 181, 194, 225, 264, 277, 290, 329, 342, 399, 412, 425, 464, 477, 555 ], [ 0, 39, 52, 130, 169, 182, 226, 265, 278, 291, 330, 343, 400, 413, 426, 465, 478, 556 ], [ 1, 40, 53, 131, 170, 183, 227, 266, 279, 292, 331, 344, 401, 414, 427, 466, 479, 557 ], [ 2, 41, 54, 132, 171, 184, 228, 267, 280, 293, 332, 345, 402, 415, 428, 467, 480, 558 ], [ 3, 42, 55, 133, 172, 185, 229, 268, 281, 294, 333, 346, 403, 416, 429, 468, 481, 559 ], [ 4, 43, 56, 134, 173, 186, 230, 269, 282, 295, 334, 347, 404, 417, 430, 469, 482, 560 ], [ 5, 44, 57, 135, 174, 187, 231, 270, 283, 296, 335, 348, 405, 418, 431, 470, 483, 561 ], [ 6, 45, 58, 136, 175, 188, 232, 271, 284, 297, 336, 349, 406, 419, 432, 471, 484, 562 ], [ 7, 46, 59, 137, 176, 189, 233, 272, 285, 298, 337, 350, 407, 420, 433, 472, 485, 563 ], [ 8, 47, 60, 138, 177, 190, 234, 273, 286, 299, 338, 351, 408, 421, 434, 473, 486, 564 ], [ 9, 48, 61, 139, 178, 191, 235, 274, 287, 300, 339, 352, 409, 422, 435, 474, 487, 565 ], [ 10, 49, 62, 140, 179, 192, 236, 275, 288, 301, 340, 353, 410, 423, 436, 475, 488, 566 ], [ 11, 50, 63, 141, 180, 193, 237, 276, 289, 302, 341, 354, 411, 424, 437, 476, 489, 567 ], [ 12, 51, 64, 142, 181, 194, 238, 277, 290, 303, 342, 355, 412, 425, 438, 477, 490, 568 ], [ 0, 13, 52, 65, 143, 182, 239, 278, 291, 304, 343, 356, 413, 426, 439, 478, 491, 569 ], [ 1, 14, 53, 66, 144, 183, 240, 279, 292, 305, 344, 357, 414, 427, 440, 479, 492, 570 ], [ 2, 15, 54, 67, 145, 184, 241, 280, 293, 306, 345, 358, 415, 428, 441, 480, 493, 571 ], [ 3, 16, 55, 68, 146, 185, 242, 281, 294, 307, 346, 359, 416, 429, 442, 481, 494, 572 ], [ 4, 17, 56, 69, 147, 186, 243, 282, 295, 308, 347, 360, 417, 430, 443, 482, 495, 573 ], [ 5, 18, 57, 70, 148, 187, 244, 283, 296, 309, 348, 361, 418, 431, 444, 483, 496, 574 ], [ 6, 19, 58, 71, 149, 188, 245, 284, 297, 310, 349, 362, 419, 432, 445, 484, 497, 575 ], [ 7, 20, 59, 72, 150, 189, 246, 285, 298, 311, 350, 363, 420, 433, 446, 485, 498, 576 ], [ 8, 21, 60, 73, 151, 190, 247, 286, 299, 312, 351, 364, 421, 434, 447, 486, 499, 577 ], [ 9, 22, 61, 74, 152, 191, 248, 287, 300, 313, 352, 365, 422, 435, 448, 487, 500, 578 ], [ 10, 23, 62, 75, 153, 192, 249, 288, 301, 314, 353, 366, 423, 436, 449, 488, 501, 579 ], [ 11, 24, 63, 76, 154, 193, 250, 289, 302, 315, 354, 367, 424, 437, 450, 489, 502, 580 ], [ 12, 25, 64, 77, 155, 194, 251, 290, 303, 316, 355, 368, 425, 438, 451, 490, 503, 581 ], [ 0, 13, 26, 65, 78, 156, 252, 291, 304, 317, 356, 369, 426, 439, 452, 491, 504, 582 ], [ 1, 14, 27, 66, 79, 157, 253, 292, 305, 318, 357, 370, 427, 440, 453, 492, 505, 583 ], [ 2, 15, 28, 67, 80, 158, 254, 293, 306, 319, 358, 371, 428, 441, 454, 493, 506, 584 ], [ 3, 16, 29, 68, 81, 159, 255, 294, 307, 320, 359, 372, 390, 429, 442, 455, 494, 507 ], [ 4, 17, 30, 69, 82, 160, 256, 295, 308, 321, 360, 373, 391, 430, 443, 456, 495, 508 ], [ 5, 18, 31, 70, 83, 161, 257, 296, 309, 322, 361, 374, 392, 431, 444, 457, 496, 509 ], [ 6, 19, 32, 71, 84, 162, 258, 297, 310, 323, 362, 375, 393, 432, 445, 458, 497, 510 ], [ 7, 20, 33, 72, 85, 163, 259, 298, 311, 324, 363, 376, 394, 433, 446, 459, 498, 511 ], [ 8, 21, 34, 73, 86, 164, 260, 299, 312, 325, 364, 377, 395, 434, 447, 460, 499, 512 ], [ 9, 22, 35, 74, 87, 165, 261, 300, 313, 326, 365, 378, 396, 435, 448, 461, 500, 513 ], [ 10, 23, 36, 75, 88, 166, 262, 301, 314, 327, 366, 379, 397, 436, 449, 462, 501, 514 ], [ 11, 24, 37, 76, 89, 167, 263, 302, 315, 328, 367, 380, 398, 437, 450, 463, 502, 515 ], [ 12, 25, 38, 77, 90, 168, 264, 303, 316, 329, 368, 381, 399, 438, 451, 464, 503, 516 ], [ 13, 26, 39, 78, 91, 169, 265, 304, 317, 330, 369, 382, 400, 439, 452, 465, 504, 517 ], [ 14, 27, 40, 79, 92, 170, 266, 305, 318, 331, 370, 383, 401, 440, 453, 466, 505, 518 ], [ 15, 28, 41, 80, 93, 171, 267, 306, 319, 332, 371, 384, 402, 441, 454, 467, 506, 519 ], [ 16, 29, 42, 81, 94, 172, 268, 307, 320, 333, 372, 385, 403, 442, 455, 468, 507, 520 ], [ 17, 30, 43, 82, 95, 173, 269, 308, 321, 334, 373, 386, 404, 443, 456, 469, 508, 521 ], [ 18, 31, 44, 83, 96, 174, 270, 309, 322, 335, 374, 387, 405, 444, 457, 470, 509, 522 ], [ 19, 32, 45, 84, 97, 175, 271, 310, 323, 336, 375, 388, 406, 445, 458, 471, 510, 523 ], [ 20, 33, 46, 85, 98, 176, 272, 311, 324, 337, 376, 389, 407, 446, 459, 472, 511, 524 ], [ 21, 34, 47, 86, 99, 177, 195, 273, 312, 325, 338, 377, 408, 447, 460, 473, 512, 525 ], [ 22, 35, 48, 87, 100, 178, 196, 274, 313, 326, 339, 378, 409, 448, 461, 474, 513, 526 ], [ 23, 36, 49, 88, 101, 179, 197, 275, 314, 327, 340, 379, 410, 449, 462, 475, 514, 527 ], [ 24, 37, 50, 89, 102, 180, 198, 276, 315, 328, 341, 380, 411, 450, 463, 476, 515, 528 ], [ 25, 38, 51, 90, 103, 181, 199, 277, 316, 329, 342, 381, 412, 451, 464, 477, 516, 529 ], [ 26, 39, 52, 91, 104, 182, 200, 278, 317, 330, 343, 382, 413, 452, 465, 478, 517, 530 ], [ 27, 40, 53, 92, 105, 183, 201, 279, 318, 331, 344, 383, 414, 453, 466, 479, 518, 531 ], [ 28, 41, 54, 93, 106, 184, 202, 280, 319, 332, 345, 384, 415, 454, 467, 480, 519, 532 ], [ 29, 42, 55, 94, 107, 185, 203, 281, 320, 333, 346, 385, 416, 455, 468, 481, 520, 533 ], [ 30, 43, 56, 95, 108, 186, 204, 282, 321, 334, 347, 386, 417, 456, 469, 482, 521, 534 ], [ 31, 44, 57, 96, 109, 187, 205, 283, 322, 335, 348, 387, 418, 457, 470, 483, 522, 535 ], [ 32, 45, 58, 97, 110, 188, 206, 284, 323, 336, 349, 388, 419, 458, 471, 484, 523, 536 ], [ 33, 46, 59, 98, 111, 189, 207, 285, 324, 337, 350, 389, 420, 459, 472, 485, 524, 537 ], [ 34, 47, 60, 99, 112, 190, 195, 208, 286, 325, 338, 351, 421, 460, 473, 486, 525, 538 ], [ 35, 48, 61, 100, 113, 191, 196, 209, 287, 326, 339, 352, 422, 461, 474, 487, 526, 539 ], [ 36, 49, 62, 101, 114, 192, 197, 210, 288, 327, 340, 353, 423, 462, 475, 488, 527, 540 ], [ 37, 50, 63, 102, 115, 193, 198, 211, 289, 328, 341, 354, 424, 463, 476, 489, 528, 541 ], [ 38, 51, 64, 103, 116, 194, 199, 212, 290, 329, 342, 355, 425, 464, 477, 490, 529, 542 ], [ 0, 39, 52, 65, 104, 117, 200, 213, 291, 330, 343, 356, 426, 465, 478, 491, 530, 543 ], [ 1, 40, 53, 66, 105, 118, 201, 214, 292, 331, 344, 357, 427, 466, 479, 492, 531, 544 ], [ 2, 41, 54, 67, 106, 119, 202, 215, 293, 332, 345, 358, 428, 467, 480, 493, 532, 545 ], [ 3, 42, 55, 68, 107, 120, 203, 216, 294, 333, 346, 359, 429, 468, 481, 494, 533, 546 ], [ 4, 43, 56, 69, 108, 121, 204, 217, 295, 334, 347, 360, 430, 469, 482, 495, 534, 547 ], [ 5, 44, 57, 70, 109, 122, 205, 218, 296, 335, 348, 361, 431, 470, 483, 496, 535, 548 ], [ 6, 45, 58, 71, 110, 123, 206, 219, 297, 336, 349, 362, 432, 471, 484, 497, 536, 549 ], [ 7, 46, 59, 72, 111, 124, 207, 220, 298, 337, 350, 363, 433, 472, 485, 498, 537, 550 ], [ 8, 47, 60, 73, 112, 125, 208, 221, 299, 338, 351, 364, 434, 473, 486, 499, 538, 551 ], [ 9, 48, 61, 74, 113, 126, 209, 222, 300, 339, 352, 365, 435, 474, 487, 500, 539, 552 ], [ 10, 49, 62, 75, 114, 127, 210, 223, 301, 340, 353, 366, 436, 475, 488, 501, 540, 553 ], [ 11, 50, 63, 76, 115, 128, 211, 224, 302, 341, 354, 367, 437, 476, 489, 502, 541, 554 ], [ 12, 51, 64, 77, 116, 129, 212, 225, 303, 342, 355, 368, 438, 477, 490, 503, 542, 555 ], [ 13, 52, 65, 78, 117, 130, 213, 226, 304, 343, 356, 369, 439, 478, 491, 504, 543, 556 ], [ 14, 53, 66, 79, 118, 131, 214, 227, 305, 344, 357, 370, 440, 479, 492, 505, 544, 557 ], [ 15, 54, 67, 80, 119, 132, 215, 228, 306, 345, 358, 371, 441, 480, 493, 506, 545, 558 ], [ 16, 55, 68, 81, 120, 133, 216, 229, 307, 346, 359, 372, 442, 481, 494, 507, 546, 559 ], [ 17, 56, 69, 82, 121, 134, 217, 230, 308, 347, 360, 373, 443, 482, 495, 508, 547, 560 ], [ 18, 57, 70, 83, 122, 135, 218, 231, 309, 348, 361, 374, 444, 483, 496, 509, 548, 561 ], [ 19, 58, 71, 84, 123, 136, 219, 232, 310, 349, 362, 375, 445, 484, 497, 510, 549, 562 ], [ 20, 59, 72, 85, 124, 137, 220, 233, 311, 350, 363, 376, 446, 485, 498, 511, 550, 563 ], [ 21, 60, 73, 86, 125, 138, 221, 234, 312, 351, 364, 377, 447, 486, 499, 512, 551, 564 ], [ 22, 61, 74, 87, 126, 139, 222, 235, 313, 352, 365, 378, 448, 487, 500, 513, 552, 565 ], [ 23, 62, 75, 88, 127, 140, 223, 236, 314, 353, 366, 379, 449, 488, 501, 514, 553, 566 ], [ 24, 63, 76, 89, 128, 141, 224, 237, 315, 354, 367, 380, 450, 489, 502, 515, 554, 567 ], [ 25, 64, 77, 90, 129, 142, 225, 238, 316, 355, 368, 381, 451, 490, 503, 516, 555, 568 ], [ 26, 65, 78, 91, 130, 143, 226, 239, 317, 356, 369, 382, 452, 491, 504, 517, 556, 569 ], [ 27, 66, 79, 92, 131, 144, 227, 240, 318, 357, 370, 383, 453, 492, 505, 518, 557, 570 ], [ 64, 103, 116, 129, 168, 181, 223, 262, 275, 288, 327, 340, 423, 436, 514, 553, 566, 579 ], [ 65, 104, 117, 130, 169, 182, 224, 263, 276, 289, 328, 341, 424, 437, 515, 554, 567, 580 ], [ 66, 105, 118, 131, 170, 183, 225, 264, 277, 290, 329, 342, 425, 438, 516, 555, 568, 581 ], [ 67, 106, 119, 132, 171, 184, 226, 265, 278, 291, 330, 343, 426, 439, 517, 556, 569, 582 ], [ 68, 107, 120, 133, 172, 185, 227, 266, 279, 292, 331, 344, 427, 440, 518, 557, 570, 583 ], [ 69, 108, 121, 134, 173, 186, 228, 267, 280, 293, 332, 345, 428, 441, 519, 558, 571, 584 ], [ 70, 109, 122, 135, 174, 187, 229, 268, 281, 294, 333, 346, 390, 429, 442, 520, 559, 572 ], [ 71, 110, 123, 136, 175, 188, 230, 269, 282, 295, 334, 347, 391, 430, 443, 521, 560, 573 ], [ 72, 111, 124, 137, 176, 189, 231, 270, 283, 296, 335, 348, 392, 431, 444, 522, 561, 574 ], [ 73, 112, 125, 138, 177, 190, 232, 271, 284, 297, 336, 349, 393, 432, 445, 523, 562, 575 ], [ 74, 113, 126, 139, 178, 191, 233, 272, 285, 298, 337, 350, 394, 433, 446, 524, 563, 576 ], [ 75, 114, 127, 140, 179, 192, 234, 273, 286, 299, 338, 351, 395, 434, 447, 525, 564, 577 ], [ 76, 115, 128, 141, 180, 193, 235, 274, 287, 300, 339, 352, 396, 435, 448, 526, 565, 578 ], [ 77, 116, 129, 142, 181, 194, 236, 275, 288, 301, 340, 353, 397, 436, 449, 527, 566, 579 ], [ 0, 78, 117, 130, 143, 182, 237, 276, 289, 302, 341, 354, 398, 437, 450, 528, 567, 580 ], [ 1, 79, 118, 131, 144, 183, 238, 277, 290, 303, 342, 355, 399, 438, 451, 529, 568, 581 ], [ 2, 80, 119, 132, 145, 184, 239, 278, 291, 304, 343, 356, 400, 439, 452, 530, 569, 582 ], [ 3, 81, 120, 133, 146, 185, 240, 279, 292, 305, 344, 357, 401, 440, 453, 531, 570, 583 ], [ 4, 82, 121, 134, 147, 186, 241, 280, 293, 306, 345, 358, 402, 441, 454, 532, 571, 584 ], [ 5, 83, 122, 135, 148, 187, 242, 281, 294, 307, 346, 359, 390, 403, 442, 455, 533, 572 ], [ 6, 84, 123, 136, 149, 188, 243, 282, 295, 308, 347, 360, 391, 404, 443, 456, 534, 573 ], [ 7, 85, 124, 137, 150, 189, 244, 283, 296, 309, 348, 361, 392, 405, 444, 457, 535, 574 ], [ 8, 86, 125, 138, 151, 190, 245, 284, 297, 310, 349, 362, 393, 406, 445, 458, 536, 575 ], [ 9, 87, 126, 139, 152, 191, 246, 285, 298, 311, 350, 363, 394, 407, 446, 459, 537, 576 ], [ 10, 88, 127, 140, 153, 192, 247, 286, 299, 312, 351, 364, 395, 408, 447, 460, 538, 577 ], [ 11, 89, 128, 141, 154, 193, 248, 287, 300, 313, 352, 365, 396, 409, 448, 461, 539, 578 ], [ 12, 90, 129, 142, 155, 194, 249, 288, 301, 314, 353, 366, 397, 410, 449, 462, 540, 579 ], [ 0, 13, 91, 130, 143, 156, 250, 289, 302, 315, 354, 367, 398, 411, 450, 463, 541, 580 ], [ 1, 14, 92, 131, 144, 157, 251, 290, 303, 316, 355, 368, 399, 412, 451, 464, 542, 581 ], [ 2, 15, 93, 132, 145, 158, 252, 291, 304, 317, 356, 369, 400, 413, 452, 465, 543, 582 ], [ 3, 16, 94, 133, 146, 159, 253, 292, 305, 318, 357, 370, 401, 414, 453, 466, 544, 583 ], [ 4, 17, 95, 134, 147, 160, 254, 293, 306, 319, 358, 371, 402, 415, 454, 467, 545, 584 ], [ 5, 18, 96, 135, 148, 161, 255, 294, 307, 320, 359, 372, 390, 403, 416, 455, 468, 546 ], [ 6, 19, 97, 136, 149, 162, 256, 295, 308, 321, 360, 373, 391, 404, 417, 456, 469, 547 ], [ 7, 20, 98, 137, 150, 163, 257, 296, 309, 322, 361, 374, 392, 405, 418, 457, 470, 548 ], [ 8, 21, 99, 138, 151, 164, 258, 297, 310, 323, 362, 375, 393, 406, 419, 458, 471, 549 ], [ 9, 22, 100, 139, 152, 165, 259, 298, 311, 324, 363, 376, 394, 407, 420, 459, 472, 550 ], [ 10, 23, 101, 140, 153, 166, 260, 299, 312, 325, 364, 377, 395, 408, 421, 460, 473, 551 ], [ 11, 24, 102, 141, 154, 167, 261, 300, 313, 326, 365, 378, 396, 409, 422, 461, 474, 552 ], [ 12, 25, 103, 142, 155, 168, 262, 301, 314, 327, 366, 379, 397, 410, 423, 462, 475, 553 ], [ 13, 26, 104, 143, 156, 169, 263, 302, 315, 328, 367, 380, 398, 411, 424, 463, 476, 554 ], [ 14, 27, 105, 144, 157, 170, 264, 303, 316, 329, 368, 381, 399, 412, 425, 464, 477, 555 ], [ 15, 28, 106, 145, 158, 171, 265, 304, 317, 330, 369, 382, 400, 413, 426, 465, 478, 556 ], [ 16, 29, 107, 146, 159, 172, 266, 305, 318, 331, 370, 383, 401, 414, 427, 466, 479, 557 ], [ 17, 30, 108, 147, 160, 173, 267, 306, 319, 332, 371, 384, 402, 415, 428, 467, 480, 558 ], [ 18, 31, 109, 148, 161, 174, 268, 307, 320, 333, 372, 385, 403, 416, 429, 468, 481, 559 ], [ 19, 32, 110, 149, 162, 175, 269, 308, 321, 334, 373, 386, 404, 417, 430, 469, 482, 560 ], [ 20, 33, 111, 150, 163, 176, 270, 309, 322, 335, 374, 387, 405, 418, 431, 470, 483, 561 ], [ 21, 34, 112, 151, 164, 177, 271, 310, 323, 336, 375, 388, 406, 419, 432, 471, 484, 562 ], [ 22, 35, 113, 152, 165, 178, 272, 311, 324, 337, 376, 389, 407, 420, 433, 472, 485, 563 ], [ 23, 36, 114, 153, 166, 179, 195, 273, 312, 325, 338, 377, 408, 421, 434, 473, 486, 564 ], [ 24, 37, 115, 154, 167, 180, 196, 274, 313, 326, 339, 378, 409, 422, 435, 474, 487, 565 ], [ 25, 38, 116, 155, 168, 181, 197, 275, 314, 327, 340, 379, 410, 423, 436, 475, 488, 566 ], [ 26, 39, 117, 156, 169, 182, 198, 276, 315, 328, 341, 380, 411, 424, 437, 476, 489, 567 ], [ 27, 40, 118, 157, 170, 183, 199, 277, 316, 329, 342, 381, 412, 425, 438, 477, 490, 568 ], [ 28, 41, 119, 158, 171, 184, 200, 278, 317, 330, 343, 382, 413, 426, 439, 478, 491, 569 ], [ 29, 42, 120, 159, 172, 185, 201, 279, 318, 331, 344, 383, 414, 427, 440, 479, 492, 570 ], [ 30, 43, 121, 160, 173, 186, 202, 280, 319, 332, 345, 384, 415, 428, 441, 480, 493, 571 ], [ 31, 44, 122, 161, 174, 187, 203, 281, 320, 333, 346, 385, 416, 429, 442, 481, 494, 572 ], [ 32, 45, 123, 162, 175, 188, 204, 282, 321, 334, 347, 386, 417, 430, 443, 482, 495, 573 ], [ 33, 46, 124, 163, 176, 189, 205, 283, 322, 335, 348, 387, 418, 431, 444, 483, 496, 574 ], [ 34, 47, 125, 164, 177, 190, 206, 284, 323, 336, 349, 388, 419, 432, 445, 484, 497, 575 ], [ 35, 48, 126, 165, 178, 191, 207, 285, 324, 337, 350, 389, 420, 433, 446, 485, 498, 576 ], [ 36, 49, 127, 166, 179, 192, 195, 208, 286, 325, 338, 351, 421, 434, 447, 486, 499, 577 ], [ 37, 50, 128, 167, 180, 193, 196, 209, 287, 326, 339, 352, 422, 435, 448, 487, 500, 578 ], [ 38, 51, 129, 168, 181, 194, 197, 210, 288, 327, 340, 353, 423, 436, 449, 488, 501, 579 ], [ 0, 39, 52, 130, 169, 182, 198, 211, 289, 328, 341, 354, 424, 437, 450, 489, 502, 580 ], [ 1, 40, 53, 131, 170, 183, 199, 212, 290, 329, 342, 355, 425, 438, 451, 490, 503, 581 ], [ 2, 41, 54, 132, 171, 184, 200, 213, 291, 330, 343, 356, 426, 439, 452, 491, 504, 582 ], [ 3, 42, 55, 133, 172, 185, 201, 214, 292, 331, 344, 357, 427, 440, 453, 492, 505, 583 ], [ 4, 43, 56, 134, 173, 186, 202, 215, 293, 332, 345, 358, 428, 441, 454, 493, 506, 584 ], [ 5, 44, 57, 135, 174, 187, 203, 216, 294, 333, 346, 359, 390, 429, 442, 455, 494, 507 ], [ 6, 45, 58, 136, 175, 188, 204, 217, 295, 334, 347, 360, 391, 430, 443, 456, 495, 508 ], [ 7, 46, 59, 137, 176, 189, 205, 218, 296, 335, 348, 361, 392, 431, 444, 457, 496, 509 ], [ 8, 47, 60, 138, 177, 190, 206, 219, 297, 336, 349, 362, 393, 432, 445, 458, 497, 510 ], [ 9, 48, 61, 139, 178, 191, 207, 220, 298, 337, 350, 363, 394, 433, 446, 459, 498, 511 ], [ 10, 49, 62, 140, 179, 192, 208, 221, 299, 338, 351, 364, 395, 434, 447, 460, 499, 512 ], [ 11, 50, 63, 141, 180, 193, 209, 222, 300, 339, 352, 365, 396, 435, 448, 461, 500, 513 ], [ 12, 51, 64, 142, 181, 194, 210, 223, 301, 340, 353, 366, 397, 436, 449, 462, 501, 514 ], [ 0, 13, 52, 65, 143, 182, 211, 224, 302, 341, 354, 367, 398, 437, 450, 463, 502, 515 ], [ 1, 14, 53, 66, 144, 183, 212, 225, 303, 342, 355, 368, 399, 438, 451, 464, 503, 516 ], [ 2, 15, 54, 67, 145, 184, 213, 226, 304, 343, 356, 369, 400, 439, 452, 465, 504, 517 ], [ 3, 16, 55, 68, 146, 185, 214, 227, 305, 344, 357, 370, 401, 440, 453, 466, 505, 518 ], [ 4, 17, 56, 69, 147, 186, 215, 228, 306, 345, 358, 371, 402, 441, 454, 467, 506, 519 ], [ 5, 18, 57, 70, 148, 187, 216, 229, 307, 346, 359, 372, 403, 442, 455, 468, 507, 520 ], [ 6, 19, 58, 71, 149, 188, 217, 230, 308, 347, 360, 373, 404, 443, 456, 469, 508, 521 ], [ 7, 20, 59, 72, 150, 189, 218, 231, 309, 348, 361, 374, 405, 444, 457, 470, 509, 522 ], [ 8, 21, 60, 73, 151, 190, 219, 232, 310, 349, 362, 375, 406, 445, 458, 471, 510, 523 ], [ 9, 22, 61, 74, 152, 191, 220, 233, 311, 350, 363, 376, 407, 446, 459, 472, 511, 524 ], [ 10, 23, 62, 75, 153, 192, 221, 234, 312, 351, 364, 377, 408, 447, 460, 473, 512, 525 ], [ 11, 24, 63, 76, 154, 193, 222, 235, 313, 352, 365, 378, 409, 448, 461, 474, 513, 526 ], [ 12, 25, 64, 77, 155, 194, 223, 236, 314, 353, 366, 379, 410, 449, 462, 475, 514, 527 ], [ 0, 13, 26, 65, 78, 156, 224, 237, 315, 354, 367, 380, 411, 450, 463, 476, 515, 528 ], [ 1, 14, 27, 66, 79, 157, 225, 238, 316, 355, 368, 381, 412, 451, 464, 477, 516, 529 ], [ 2, 15, 28, 67, 80, 158, 226, 239, 317, 356, 369, 382, 413, 452, 465, 478, 517, 530 ], [ 3, 16, 29, 68, 81, 159, 227, 240, 318, 357, 370, 383, 414, 453, 466, 479, 518, 531 ], [ 4, 17, 30, 69, 82, 160, 228, 241, 319, 358, 371, 384, 415, 454, 467, 480, 519, 532 ], [ 5, 18, 31, 70, 83, 161, 229, 242, 320, 359, 372, 385, 416, 455, 468, 481, 520, 533 ], [ 6, 19, 32, 71, 84, 162, 230, 243, 321, 360, 373, 386, 417, 456, 469, 482, 521, 534 ], [ 7, 20, 33, 72, 85, 163, 231, 244, 322, 361, 374, 387, 418, 457, 470, 483, 522, 535 ], [ 8, 21, 34, 73, 86, 164, 232, 245, 323, 362, 375, 388, 419, 458, 471, 484, 523, 536 ], [ 9, 22, 35, 74, 87, 165, 233, 246, 324, 363, 376, 389, 420, 459, 472, 485, 524, 537 ], [ 10, 23, 36, 75, 88, 166, 195, 234, 247, 325, 364, 377, 421, 460, 473, 486, 525, 538 ], [ 11, 24, 37, 76, 89, 167, 196, 235, 248, 326, 365, 378, 422, 461, 474, 487, 526, 539 ], [ 12, 25, 38, 77, 90, 168, 197, 236, 249, 327, 366, 379, 423, 462, 475, 488, 527, 540 ], [ 13, 26, 39, 78, 91, 169, 198, 237, 250, 328, 367, 380, 424, 463, 476, 489, 528, 541 ], [ 14, 27, 40, 79, 92, 170, 199, 238, 251, 329, 368, 381, 425, 464, 477, 490, 529, 542 ], [ 15, 28, 41, 80, 93, 171, 200, 239, 252, 330, 369, 382, 426, 465, 478, 491, 530, 543 ], [ 16, 29, 42, 81, 94, 172, 201, 240, 253, 331, 370, 383, 427, 466, 479, 492, 531, 544 ], [ 17, 30, 43, 82, 95, 173, 202, 241, 254, 332, 371, 384, 428, 467, 480, 493, 532, 545 ], [ 18, 31, 44, 83, 96, 174, 203, 242, 255, 333, 372, 385, 429, 468, 481, 494, 533, 546 ], [ 19, 32, 45, 84, 97, 175, 204, 243, 256, 334, 373, 386, 430, 469, 482, 495, 534, 547 ], [ 20, 33, 46, 85, 98, 176, 205, 244, 257, 335, 374, 387, 431, 470, 483, 496, 535, 548 ], [ 21, 34, 47, 86, 99, 177, 206, 245, 258, 336, 375, 388, 432, 471, 484, 497, 536, 549 ], [ 22, 35, 48, 87, 100, 178, 207, 246, 259, 337, 376, 389, 433, 472, 485, 498, 537, 550 ], [ 23, 36, 49, 88, 101, 179, 195, 208, 247, 260, 338, 377, 434, 473, 486, 499, 538, 551 ], [ 24, 37, 50, 89, 102, 180, 196, 209, 248, 261, 339, 378, 435, 474, 487, 500, 539, 552 ], [ 25, 38, 51, 90, 103, 181, 197, 210, 249, 262, 340, 379, 436, 475, 488, 501, 540, 553 ], [ 26, 39, 52, 91, 104, 182, 198, 211, 250, 263, 341, 380, 437, 476, 489, 502, 541, 554 ], [ 27, 40, 53, 92, 105, 183, 199, 212, 251, 264, 342, 381, 438, 477, 490, 503, 542, 555 ], [ 28, 41, 54, 93, 106, 184, 200, 213, 252, 265, 343, 382, 439, 478, 491, 504, 543, 556 ], [ 29, 42, 55, 94, 107, 185, 201, 214, 253, 266, 344, 383, 440, 479, 492, 505, 544, 557 ], [ 30, 43, 56, 95, 108, 186, 202, 215, 254, 267, 345, 384, 441, 480, 493, 506, 545, 558 ], [ 31, 44, 57, 96, 109, 187, 203, 216, 255, 268, 346, 385, 442, 481, 494, 507, 546, 559 ], [ 32, 45, 58, 97, 110, 188, 204, 217, 256, 269, 347, 386, 443, 482, 495, 508, 547, 560 ], [ 33, 46, 59, 98, 111, 189, 205, 218, 257, 270, 348, 387, 444, 483, 496, 509, 548, 561 ], [ 34, 47, 60, 99, 112, 190, 206, 219, 258, 271, 349, 388, 445, 484, 497, 510, 549, 562 ], [ 35, 48, 61, 100, 113, 191, 207, 220, 259, 272, 350, 389, 446, 485, 498, 511, 550, 563 ], [ 36, 49, 62, 101, 114, 192, 195, 208, 221, 260, 273, 351, 447, 486, 499, 512, 551, 564 ], [ 37, 50, 63, 102, 115, 193, 196, 209, 222, 261, 274, 352, 448, 487, 500, 513, 552, 565 ], [ 38, 51, 64, 103, 116, 194, 197, 210, 223, 262, 275, 353, 449, 488, 501, 514, 553, 566 ], [ 0, 39, 52, 65, 104, 117, 198, 211, 224, 263, 276, 354, 450, 489, 502, 515, 554, 567 ], [ 1, 40, 53, 66, 105, 118, 199, 212, 225, 264, 277, 355, 451, 490, 503, 516, 555, 568 ], [ 2, 41, 54, 67, 106, 119, 200, 213, 226, 265, 278, 356, 452, 491, 504, 517, 556, 569 ], [ 3, 42, 55, 68, 107, 120, 201, 214, 227, 266, 279, 357, 453, 492, 505, 518, 557, 570 ], [ 4, 43, 56, 69, 108, 121, 202, 215, 228, 267, 280, 358, 454, 493, 506, 519, 558, 571 ], [ 5, 44, 57, 70, 109, 122, 203, 216, 229, 268, 281, 359, 455, 494, 507, 520, 559, 572 ], [ 6, 45, 58, 71, 110, 123, 204, 217, 230, 269, 282, 360, 456, 495, 508, 521, 560, 573 ], [ 7, 46, 59, 72, 111, 124, 205, 218, 231, 270, 283, 361, 457, 496, 509, 522, 561, 574 ], [ 8, 47, 60, 73, 112, 125, 206, 219, 232, 271, 284, 362, 458, 497, 510, 523, 562, 575 ], [ 9, 48, 61, 74, 113, 126, 207, 220, 233, 272, 285, 363, 459, 498, 511, 524, 563, 576 ], [ 10, 49, 62, 75, 114, 127, 208, 221, 234, 273, 286, 364, 460, 499, 512, 525, 564, 577 ], [ 11, 50, 63, 76, 115, 128, 209, 222, 235, 274, 287, 365, 461, 500, 513, 526, 565, 578 ], [ 12, 51, 64, 77, 116, 129, 210, 223, 236, 275, 288, 366, 462, 501, 514, 527, 566, 579 ], [ 13, 52, 65, 78, 117, 130, 211, 224, 237, 276, 289, 367, 463, 502, 515, 528, 567, 580 ], [ 14, 53, 66, 79, 118, 131, 212, 225, 238, 277, 290, 368, 464, 503, 516, 529, 568, 581 ], [ 15, 54, 67, 80, 119, 132, 213, 226, 239, 278, 291, 369, 465, 504, 517, 530, 569, 582 ], [ 16, 55, 68, 81, 120, 133, 214, 227, 240, 279, 292, 370, 466, 505, 518, 531, 570, 583 ], [ 17, 56, 69, 82, 121, 134, 215, 228, 241, 280, 293, 371, 467, 506, 519, 532, 571, 584 ], [ 18, 57, 70, 83, 122, 135, 216, 229, 242, 281, 294, 372, 390, 468, 507, 520, 533, 572 ], [ 19, 58, 71, 84, 123, 136, 217, 230, 243, 282, 295, 373, 391, 469, 508, 521, 534, 573 ], [ 20, 59, 72, 85, 124, 137, 218, 231, 244, 283, 296, 374, 392, 470, 509, 522, 535, 574 ], [ 21, 60, 73, 86, 125, 138, 219, 232, 245, 284, 297, 375, 393, 471, 510, 523, 536, 575 ], [ 22, 61, 74, 87, 126, 139, 220, 233, 246, 285, 298, 376, 394, 472, 511, 524, 537, 576 ], [ 23, 62, 75, 88, 127, 140, 221, 234, 247, 286, 299, 377, 395, 473, 512, 525, 538, 577 ], [ 24, 63, 76, 89, 128, 141, 222, 235, 248, 287, 300, 378, 396, 474, 513, 526, 539, 578 ], [ 25, 64, 77, 90, 129, 142, 223, 236, 249, 288, 301, 379, 397, 475, 514, 527, 540, 579 ], [ 26, 65, 78, 91, 130, 143, 224, 237, 250, 289, 302, 380, 398, 476, 515, 528, 541, 580 ], [ 27, 66, 79, 92, 131, 144, 225, 238, 251, 290, 303, 381, 399, 477, 516, 529, 542, 581 ], [ 28, 67, 80, 93, 132, 145, 226, 239, 252, 291, 304, 382, 400, 478, 517, 530, 543, 582 ], [ 29, 68, 81, 94, 133, 146, 227, 240, 253, 292, 305, 383, 401, 479, 518, 531, 544, 583 ], [ 30, 69, 82, 95, 134, 147, 228, 241, 254, 293, 306, 384, 402, 480, 519, 532, 545, 584 ], [ 31, 70, 83, 96, 135, 148, 229, 242, 255, 294, 307, 385, 390, 403, 481, 520, 533, 546 ], [ 32, 71, 84, 97, 136, 149, 230, 243, 256, 295, 308, 386, 391, 404, 482, 521, 534, 547 ], [ 33, 72, 85, 98, 137, 150, 231, 244, 257, 296, 309, 387, 392, 405, 483, 522, 535, 548 ], [ 34, 73, 86, 99, 138, 151, 232, 245, 258, 297, 310, 388, 393, 406, 484, 523, 536, 549 ], [ 35, 74, 87, 100, 139, 152, 233, 246, 259, 298, 311, 389, 394, 407, 485, 524, 537, 550 ], [ 36, 75, 88, 101, 140, 153, 195, 234, 247, 260, 299, 312, 395, 408, 486, 525, 538, 551 ], [ 37, 76, 89, 102, 141, 154, 196, 235, 248, 261, 300, 313, 396, 409, 487, 526, 539, 552 ], [ 38, 77, 90, 103, 142, 155, 197, 236, 249, 262, 301, 314, 397, 410, 488, 527, 540, 553 ], [ 39, 78, 91, 104, 143, 156, 198, 237, 250, 263, 302, 315, 398, 411, 489, 528, 541, 554 ], [ 40, 79, 92, 105, 144, 157, 199, 238, 251, 264, 303, 316, 399, 412, 490, 529, 542, 555 ], [ 41, 80, 93, 106, 145, 158, 200, 239, 252, 265, 304, 317, 400, 413, 491, 530, 543, 556 ], [ 42, 81, 94, 107, 146, 159, 201, 240, 253, 266, 305, 318, 401, 414, 492, 531, 544, 557 ], [ 43, 82, 95, 108, 147, 160, 202, 241, 254, 267, 306, 319, 402, 415, 493, 532, 545, 558 ], [ 44, 83, 96, 109, 148, 161, 203, 242, 255, 268, 307, 320, 403, 416, 494, 533, 546, 559 ], [ 45, 84, 97, 110, 149, 162, 204, 243, 256, 269, 308, 321, 404, 417, 495, 534, 547, 560 ], [ 46, 85, 98, 111, 150, 163, 205, 244, 257, 270, 309, 322, 405, 418, 496, 535, 548, 561 ], [ 47, 86, 99, 112, 151, 164, 206, 245, 258, 271, 310, 323, 406, 419, 497, 536, 549, 562 ], [ 48, 87, 100, 113, 152, 165, 207, 246, 259, 272, 311, 324, 407, 420, 498, 537, 550, 563 ], [ 49, 88, 101, 114, 153, 166, 208, 247, 260, 273, 312, 325, 408, 421, 499, 538, 551, 564 ], [ 50, 89, 102, 115, 154, 167, 209, 248, 261, 274, 313, 326, 409, 422, 500, 539, 552, 565 ], [ 51, 90, 103, 116, 155, 168, 210, 249, 262, 275, 314, 327, 410, 423, 501, 540, 553, 566 ], [ 52, 91, 104, 117, 156, 169, 211, 250, 263, 276, 315, 328, 411, 424, 502, 541, 554, 567 ], [ 53, 92, 105, 118, 157, 170, 212, 251, 264, 277, 316, 329, 412, 425, 503, 542, 555, 568 ], [ 54, 93, 106, 119, 158, 171, 213, 252, 265, 278, 317, 330, 413, 426, 504, 543, 556, 569 ], [ 55, 94, 107, 120, 159, 172, 214, 253, 266, 279, 318, 331, 414, 427, 505, 544, 557, 570 ], [ 56, 95, 108, 121, 160, 173, 215, 254, 267, 280, 319, 332, 415, 428, 506, 545, 558, 571 ], [ 57, 96, 109, 122, 161, 174, 216, 255, 268, 281, 320, 333, 416, 429, 507, 546, 559, 572 ], [ 58, 97, 110, 123, 162, 175, 217, 256, 269, 282, 321, 334, 417, 430, 508, 547, 560, 573 ], [ 59, 98, 111, 124, 163, 176, 218, 257, 270, 283, 322, 335, 418, 431, 509, 548, 561, 574 ], [ 60, 99, 112, 125, 164, 177, 219, 258, 271, 284, 323, 336, 419, 432, 510, 549, 562, 575 ], [ 61, 100, 113, 126, 165, 178, 220, 259, 272, 285, 324, 337, 420, 433, 511, 550, 563, 576 ], [ 62, 101, 114, 127, 166, 179, 221, 260, 273, 286, 325, 338, 421, 434, 512, 551, 564, 577 ], [ 63, 102, 115, 128, 167, 180, 222, 261, 274, 287, 326, 339, 422, 435, 513, 552, 565, 578 ] ], "Z": [ [ 12, 25, 38, 90, 129, 142, 168, 194, 199, 223, 225, 238, 249, 262, 303, 327, 329, 353, 355, 379, 397, 399, 425, 451, 462, 488, 490, 514, 516, 529, 553, 579 ], [ 0, 13, 26, 39, 91, 130, 143, 169, 200, 224, 226, 239, 250, 263, 304, 328, 330, 354, 356, 380, 398, 400, 426, 452, 463, 489, 491, 515, 517, 530, 554, 580 ], [ 1, 14, 27, 40, 92, 131, 144, 170, 201, 225, 227, 240, 251, 264, 305, 329, 331, 355, 357, 381, 399, 401, 427, 453, 464, 490, 492, 516, 518, 531, 555, 581 ], [ 2, 15, 28, 41, 93, 132, 145, 171, 202, 226, 228, 241, 252, 265, 306, 330, 332, 356, 358, 382, 400, 402, 428, 454, 465, 491, 493, 517, 519, 532, 556, 582 ], [ 3, 16, 29, 42, 94, 133, 146, 172, 203, 227, 229, 242, 253, 266, 307, 331, 333, 357, 359, 383, 401, 403, 429, 455, 466, 492, 494, 518, 520, 533, 557, 583 ], [ 4, 17, 30, 43, 95, 134, 147, 173, 204, 228, 230, 243, 254, 267, 308, 332, 334, 358, 360, 384, 402, 404, 430, 456, 467, 493, 495, 519, 521, 534, 558, 584 ], [ 5, 18, 31, 44, 96, 135, 148, 174, 205, 229, 231, 244, 255, 268, 309, 333, 335, 359, 361, 385, 390, 403, 405, 431, 457, 468, 494, 496, 520, 522, 535, 559 ], [ 6, 19, 32, 45, 97, 136, 149, 175, 206, 230, 232, 245, 256, 269, 310, 334, 336, 360, 362, 386, 391, 404, 406, 432, 458, 469, 495, 497, 521, 523, 536, 560 ], [ 7, 20, 33, 46, 98, 137, 150, 176, 207, 231, 233, 246, 257, 270, 311, 335, 337, 361, 363, 387, 392, 405, 407, 433, 459, 470, 496, 498, 522, 524, 537, 561 ], [ 8, 21, 34, 47, 99, 138, 151, 177, 208, 232, 234, 247, 258, 271, 312, 336, 338, 362, 364, 388, 393, 406, 408, 434, 460, 471, 497, 499, 523, 525, 538, 562 ], [ 9, 22, 35, 48, 100, 139, 152, 178, 209, 233, 235, 248, 259, 272, 313, 337, 339, 363, 365, 389, 394, 407, 409, 435, 461, 472, 498, 500, 524, 526, 539, 563 ], [ 10, 23, 36, 49, 101, 140, 153, 179, 195, 210, 234, 236, 249, 260, 273, 314, 338, 340, 364, 366, 395, 408, 410, 436, 462, 473, 499, 501, 525, 527, 540, 564 ], [ 11, 24, 37, 50, 102, 141, 154, 180, 196, 211, 235, 237, 250, 261, 274, 315, 339, 341, 365, 367, 396, 409, 411, 437, 463, 474, 500, 502, 526, 528, 541, 565 ], [ 12, 25, 38, 51, 103, 142, 155, 181, 197, 212, 236, 238, 251, 262, 275, 316, 340, 342, 366, 368, 397, 410, 412, 438, 464, 475, 501, 503, 527, 529, 542, 566 ], [ 13, 26, 39, 52, 104, 143, 156, 182, 198, 213, 237, 239, 252, 263, 276, 317, 341, 343, 367, 369, 398, 411, 413, 439, 465, 476, 502, 504, 528, 530, 543, 567 ], [ 14, 27, 40, 53, 105, 144, 157, 183, 199, 214, 238, 240, 253, 264, 277, 318, 342, 344, 368, 370, 399, 412, 414, 440, 466, 477, 503, 505, 529, 531, 544, 568 ], [ 15, 28, 41, 54, 106, 145, 158, 184, 200, 215, 239, 241, 254, 265, 278, 319, 343, 345, 369, 371, 400, 413, 415, 441, 467, 478, 504, 506, 530, 532, 545, 569 ], [ 16, 29, 42, 55, 107, 146, 159, 185, 201, 216, 240, 242, 255, 266, 279, 320, 344, 346, 370, 372, 401, 414, 416, 442, 468, 479, 505, 507, 531, 533, 546, 570 ], [ 17, 30, 43, 56, 108, 147, 160, 186, 202, 217, 241, 243, 256, 267, 280, 321, 345, 347, 371, 373, 402, 415, 417, 443, 469, 480, 506, 508, 532, 534, 547, 571 ], [ 18, 31, 44, 57, 109, 148, 161, 187, 203, 218, 242, 244, 257, 268, 281, 322, 346, 348, 372, 374, 403, 416, 418, 444, 470, 481, 507, 509, 533, 535, 548, 572 ], [ 19, 32, 45, 58, 110, 149, 162, 188, 204, 219, 243, 245, 258, 269, 282, 323, 347, 349, 373, 375, 404, 417, 419, 445, 471, 482, 508, 510, 534, 536, 549, 573 ], [ 20, 33, 46, 59, 111, 150, 163, 189, 205, 220, 244, 246, 259, 270, 283, 324, 348, 350, 374, 376, 405, 418, 420, 446, 472, 483, 509, 511, 535, 537, 550, 574 ], [ 21, 34, 47, 60, 112, 151, 164, 190, 206, 221, 245, 247, 260, 271, 284, 325, 349, 351, 375, 377, 406, 419, 421, 447, 473, 484, 510, 512, 536, 538, 551, 575 ], [ 22, 35, 48, 61, 113, 152, 165, 191, 207, 222, 246, 248, 261, 272, 285, 326, 350, 352, 376, 378, 407, 420, 422, 448, 474, 485, 511, 513, 537, 539, 552, 576 ], [ 23, 36, 49, 62, 114, 153, 166, 192, 208, 223, 247, 249, 262, 273, 286, 327, 351, 353, 377, 379, 408, 421, 423, 449, 475, 486, 512, 514, 538, 540, 553, 577 ], [ 24, 37, 50, 63, 115, 154, 167, 193, 209, 224, 248, 250, 263, 274, 287, 328, 352, 354, 378, 380, 409, 422, 424, 450, 476, 487, 513, 515, 539, 541, 554, 578 ], [ 25, 38, 51, 64, 116, 155, 168, 194, 210, 225, 249, 251, 264, 275, 288, 329, 353, 355, 379, 381, 410, 423, 425, 451, 477, 488, 514, 516, 540, 542, 555, 579 ], [ 0, 26, 39, 52, 65, 117, 156, 169, 211, 226, 250, 252, 265, 276, 289, 330, 354, 356, 380, 382, 411, 424, 426, 452, 478, 489, 515, 517, 541, 543, 556, 580 ], [ 1, 27, 40, 53, 66, 118, 157, 170, 212, 227, 251, 253, 266, 277, 290, 331, 355, 357, 381, 383, 412, 425, 427, 453, 479, 490, 516, 518, 542, 544, 557, 581 ], [ 2, 28, 41, 54, 67, 119, 158, 171, 213, 228, 252, 254, 267, 278, 291, 332, 356, 358, 382, 384, 413, 426, 428, 454, 480, 491, 517, 519, 543, 545, 558, 582 ], [ 3, 29, 42, 55, 68, 120, 159, 172, 214, 229, 253, 255, 268, 279, 292, 333, 357, 359, 383, 385, 414, 427, 429, 455, 481, 492, 518, 520, 544, 546, 559, 583 ], [ 4, 30, 43, 56, 69, 121, 160, 173, 215, 230, 254, 256, 269, 280, 293, 334, 358, 360, 384, 386, 415, 428, 430, 456, 482, 493, 519, 521, 545, 547, 560, 584 ], [ 5, 31, 44, 57, 70, 122, 161, 174, 216, 231, 255, 257, 270, 281, 294, 335, 359, 361, 385, 387, 390, 416, 429, 431, 457, 483, 494, 520, 522, 546, 548, 561 ], [ 6, 32, 45, 58, 71, 123, 162, 175, 217, 232, 256, 258, 271, 282, 295, 336, 360, 362, 386, 388, 391, 417, 430, 432, 458, 484, 495, 521, 523, 547, 549, 562 ], [ 7, 33, 46, 59, 72, 124, 163, 176, 218, 233, 257, 259, 272, 283, 296, 337, 361, 363, 387, 389, 392, 418, 431, 433, 459, 485, 496, 522, 524, 548, 550, 563 ], [ 8, 34, 47, 60, 73, 125, 164, 177, 195, 219, 234, 258, 260, 273, 284, 297, 338, 362, 364, 388, 393, 419, 432, 434, 460, 486, 497, 523, 525, 549, 551, 564 ], [ 9, 35, 48, 61, 74, 126, 165, 178, 196, 220, 235, 259, 261, 274, 285, 298, 339, 363, 365, 389, 394, 420, 433, 435, 461, 487, 498, 524, 526, 550, 552, 565 ], [ 10, 36, 49, 62, 75, 127, 166, 179, 195, 197, 221, 236, 260, 262, 275, 286, 299, 340, 364, 366, 395, 421, 434, 436, 462, 488, 499, 525, 527, 551, 553, 566 ], [ 11, 37, 50, 63, 76, 128, 167, 180, 196, 198, 222, 237, 261, 263, 276, 287, 300, 341, 365, 367, 396, 422, 435, 437, 463, 489, 500, 526, 528, 552, 554, 567 ], [ 12, 38, 51, 64, 77, 129, 168, 181, 197, 199, 223, 238, 262, 264, 277, 288, 301, 342, 366, 368, 397, 423, 436, 438, 464, 490, 501, 527, 529, 553, 555, 568 ], [ 13, 39, 52, 65, 78, 130, 169, 182, 198, 200, 224, 239, 263, 265, 278, 289, 302, 343, 367, 369, 398, 424, 437, 439, 465, 491, 502, 528, 530, 554, 556, 569 ], [ 14, 40, 53, 66, 79, 131, 170, 183, 199, 201, 225, 240, 264, 266, 279, 290, 303, 344, 368, 370, 399, 425, 438, 440, 466, 492, 503, 529, 531, 555, 557, 570 ], [ 15, 41, 54, 67, 80, 132, 171, 184, 200, 202, 226, 241, 265, 267, 280, 291, 304, 345, 369, 371, 400, 426, 439, 441, 467, 493, 504, 530, 532, 556, 558, 571 ], [ 16, 42, 55, 68, 81, 133, 172, 185, 201, 203, 227, 242, 266, 268, 281, 292, 305, 346, 370, 372, 401, 427, 440, 442, 468, 494, 505, 531, 533, 557, 559, 572 ], [ 17, 43, 56, 69, 82, 134, 173, 186, 202, 204, 228, 243, 267, 269, 282, 293, 306, 347, 371, 373, 402, 428, 441, 443, 469, 495, 506, 532, 534, 558, 560, 573 ], [ 18, 44, 57, 70, 83, 135, 174, 187, 203, 205, 229, 244, 268, 270, 283, 294, 307, 348, 372, 374, 403, 429, 442, 444, 470, 496, 507, 533, 535, 559, 561, 574 ], [ 19, 45, 58, 71, 84, 136, 175, 188, 204, 206, 230, 245, 269, 271, 284, 295, 308, 349, 373, 375, 404, 430, 443, 445, 471, 497, 508, 534, 536, 560, 562, 575 ], [ 20, 46, 59, 72, 85, 137, 176, 189, 205, 207, 231, 246, 270, 272, 285, 296, 309, 350, 374, 376, 405, 431, 444, 446, 472, 498, 509, 535, 537, 561, 563, 576 ], [ 21, 47, 60, 73, 86, 138, 177, 190, 206, 208, 232, 247, 271, 273, 286, 297, 310, 351, 375, 377, 406, 432, 445, 447, 473, 499, 510, 536, 538, 562, 564, 577 ], [ 22, 48, 61, 74, 87, 139, 178, 191, 207, 209, 233, 248, 272, 274, 287, 298, 311, 352, 376, 378, 407, 433, 446, 448, 474, 500, 511, 537, 539, 563, 565, 578 ], [ 23, 49, 62, 75, 88, 140, 179, 192, 208, 210, 234, 249, 273, 275, 288, 299, 312, 353, 377, 379, 408, 434, 447, 449, 475, 501, 512, 538, 540, 564, 566, 579 ], [ 24, 50, 63, 76, 89, 141, 180, 193, 209, 211, 235, 250, 274, 276, 289, 300, 313, 354, 378, 380, 409, 435, 448, 450, 476, 502, 513, 539, 541, 565, 567, 580 ], [ 25, 51, 64, 77, 90, 142, 181, 194, 210, 212, 236, 251, 275, 277, 290, 301, 314, 355, 379, 381, 410, 436, 449, 451, 477, 503, 514, 540, 542, 566, 568, 581 ], [ 0, 26, 52, 65, 78, 91, 143, 182, 211, 213, 237, 252, 276, 278, 291, 302, 315, 356, 380, 382, 411, 437, 450, 452, 478, 504, 515, 541, 543, 567, 569, 582 ], [ 1, 27, 53, 66, 79, 92, 144, 183, 212, 214, 238, 253, 277, 279, 292, 303, 316, 357, 381, 383, 412, 438, 451, 453, 479, 505, 516, 542, 544, 568, 570, 583 ], [ 2, 28, 54, 67, 80, 93, 145, 184, 213, 215, 239, 254, 278, 280, 293, 304, 317, 358, 382, 384, 413, 439, 452, 454, 480, 506, 517, 543, 545, 569, 571, 584 ], [ 3, 29, 55, 68, 81, 94, 146, 185, 214, 216, 240, 255, 279, 281, 294, 305, 318, 359, 383, 385, 390, 414, 440, 453, 455, 481, 507, 518, 544, 546, 570, 572 ], [ 4, 30, 56, 69, 82, 95, 147, 186, 215, 217, 241, 256, 280, 282, 295, 306, 319, 360, 384, 386, 391, 415, 441, 454, 456, 482, 508, 519, 545, 547, 571, 573 ], [ 5, 31, 57, 70, 83, 96, 148, 187, 216, 218, 242, 257, 281, 283, 296, 307, 320, 361, 385, 387, 392, 416, 442, 455, 457, 483, 509, 520, 546, 548, 572, 574 ], [ 6, 32, 58, 71, 84, 97, 149, 188, 217, 219, 243, 258, 282, 284, 297, 308, 321, 362, 386, 388, 393, 417, 443, 456, 458, 484, 510, 521, 547, 549, 573, 575 ], [ 7, 33, 59, 72, 85, 98, 150, 189, 218, 220, 244, 259, 283, 285, 298, 309, 322, 363, 387, 389, 394, 418, 444, 457, 459, 485, 511, 522, 548, 550, 574, 576 ], [ 8, 34, 60, 73, 86, 99, 151, 190, 195, 219, 221, 245, 260, 284, 286, 299, 310, 323, 364, 388, 395, 419, 445, 458, 460, 486, 512, 523, 549, 551, 575, 577 ], [ 9, 35, 61, 74, 87, 100, 152, 191, 196, 220, 222, 246, 261, 285, 287, 300, 311, 324, 365, 389, 396, 420, 446, 459, 461, 487, 513, 524, 550, 552, 576, 578 ], [ 10, 36, 62, 75, 88, 101, 153, 192, 195, 197, 221, 223, 247, 262, 286, 288, 301, 312, 325, 366, 397, 421, 447, 460, 462, 488, 514, 525, 551, 553, 577, 579 ], [ 11, 37, 63, 76, 89, 102, 154, 193, 196, 198, 222, 224, 248, 263, 287, 289, 302, 313, 326, 367, 398, 422, 448, 461, 463, 489, 515, 526, 552, 554, 578, 580 ], [ 12, 38, 64, 77, 90, 103, 155, 194, 197, 199, 223, 225, 249, 264, 288, 290, 303, 314, 327, 368, 399, 423, 449, 462, 464, 490, 516, 527, 553, 555, 579, 581 ], [ 0, 13, 39, 65, 78, 91, 104, 156, 198, 200, 224, 226, 250, 265, 289, 291, 304, 315, 328, 369, 400, 424, 450, 463, 465, 491, 517, 528, 554, 556, 580, 582 ], [ 1, 14, 40, 66, 79, 92, 105, 157, 199, 201, 225, 227, 251, 266, 290, 292, 305, 316, 329, 370, 401, 425, 451, 464, 466, 492, 518, 529, 555, 557, 581, 583 ], [ 2, 15, 41, 67, 80, 93, 106, 158, 200, 202, 226, 228, 252, 267, 291, 293, 306, 317, 330, 371, 402, 426, 452, 465, 467, 493, 519, 530, 556, 558, 582, 584 ], [ 3, 16, 42, 68, 81, 94, 107, 159, 201, 203, 227, 229, 253, 268, 292, 294, 307, 318, 331, 372, 390, 403, 427, 453, 466, 468, 494, 520, 531, 557, 559, 583 ], [ 4, 17, 43, 69, 82, 95, 108, 160, 202, 204, 228, 230, 254, 269, 293, 295, 308, 319, 332, 373, 391, 404, 428, 454, 467, 469, 495, 521, 532, 558, 560, 584 ], [ 5, 18, 44, 70, 83, 96, 109, 161, 203, 205, 229, 231, 255, 270, 294, 296, 309, 320, 333, 374, 390, 392, 405, 429, 455, 468, 470, 496, 522, 533, 559, 561 ], [ 6, 19, 45, 71, 84, 97, 110, 162, 204, 206, 230, 232, 256, 271, 295, 297, 310, 321, 334, 375, 391, 393, 406, 430, 456, 469, 471, 497, 523, 534, 560, 562 ], [ 7, 20, 46, 72, 85, 98, 111, 163, 205, 207, 231, 233, 257, 272, 296, 298, 311, 322, 335, 376, 392, 394, 407, 431, 457, 470, 472, 498, 524, 535, 561, 563 ], [ 8, 21, 47, 73, 86, 99, 112, 164, 206, 208, 232, 234, 258, 273, 297, 299, 312, 323, 336, 377, 393, 395, 408, 432, 458, 471, 473, 499, 525, 536, 562, 564 ], [ 9, 22, 48, 74, 87, 100, 113, 165, 207, 209, 233, 235, 259, 274, 298, 300, 313, 324, 337, 378, 394, 396, 409, 433, 459, 472, 474, 500, 526, 537, 563, 565 ], [ 10, 23, 49, 75, 88, 101, 114, 166, 208, 210, 234, 236, 260, 275, 299, 301, 314, 325, 338, 379, 395, 397, 410, 434, 460, 473, 475, 501, 527, 538, 564, 566 ], [ 11, 24, 50, 76, 89, 102, 115, 167, 209, 211, 235, 237, 261, 276, 300, 302, 315, 326, 339, 380, 396, 398, 411, 435, 461, 474, 476, 502, 528, 539, 565, 567 ], [ 12, 25, 51, 77, 90, 103, 116, 168, 210, 212, 236, 238, 262, 277, 301, 303, 316, 327, 340, 381, 397, 399, 412, 436, 462, 475, 477, 503, 529, 540, 566, 568 ], [ 13, 26, 52, 78, 91, 104, 117, 169, 211, 213, 237, 239, 263, 278, 302, 304, 317, 328, 341, 382, 398, 400, 413, 437, 463, 476, 478, 504, 530, 541, 567, 569 ], [ 14, 27, 53, 79, 92, 105, 118, 170, 212, 214, 238, 240, 264, 279, 303, 305, 318, 329, 342, 383, 399, 401, 414, 438, 464, 477, 479, 505, 531, 542, 568, 570 ], [ 15, 28, 54, 80, 93, 106, 119, 171, 213, 215, 239, 241, 265, 280, 304, 306, 319, 330, 343, 384, 400, 402, 415, 439, 465, 478, 480, 506, 532, 543, 569, 571 ], [ 16, 29, 55, 81, 94, 107, 120, 172, 214, 216, 240, 242, 266, 281, 305, 307, 320, 331, 344, 385, 401, 403, 416, 440, 466, 479, 481, 507, 533, 544, 570, 572 ], [ 17, 30, 56, 82, 95, 108, 121, 173, 215, 217, 241, 243, 267, 282, 306, 308, 321, 332, 345, 386, 402, 404, 417, 441, 467, 480, 482, 508, 534, 545, 571, 573 ], [ 18, 31, 57, 83, 96, 109, 122, 174, 216, 218, 242, 244, 268, 283, 307, 309, 322, 333, 346, 387, 403, 405, 418, 442, 468, 481, 483, 509, 535, 546, 572, 574 ], [ 19, 32, 58, 84, 97, 110, 123, 175, 217, 219, 243, 245, 269, 284, 308, 310, 323, 334, 347, 388, 404, 406, 419, 443, 469, 482, 484, 510, 536, 547, 573, 575 ], [ 20, 33, 59, 85, 98, 111, 124, 176, 218, 220, 244, 246, 270, 285, 309, 311, 324, 335, 348, 389, 405, 407, 420, 444, 470, 483, 485, 511, 537, 548, 574, 576 ], [ 21, 34, 60, 86, 99, 112, 125, 177, 195, 219, 221, 245, 247, 271, 286, 310, 312, 325, 336, 349, 406, 408, 421, 445, 471, 484, 486, 512, 538, 549, 575, 577 ], [ 22, 35, 61, 87, 100, 113, 126, 178, 196, 220, 222, 246, 248, 272, 287, 311, 313, 326, 337, 350, 407, 409, 422, 446, 472, 485, 487, 513, 539, 550, 576, 578 ], [ 23, 36, 62, 88, 101, 114, 127, 179, 197, 221, 223, 247, 249, 273, 288, 312, 314, 327, 338, 351, 408, 410, 423, 447, 473, 486, 488, 514, 540, 551, 577, 579 ], [ 24, 37, 63, 89, 102, 115, 128, 180, 198, 222, 224, 248, 250, 274, 289, 313, 315, 328, 339, 352, 409, 411, 424, 448, 474, 487, 489, 515, 541, 552, 578, 580 ], [ 25, 38, 64, 90, 103, 116, 129, 181, 199, 223, 225, 249, 251, 275, 290, 314, 316, 329, 340, 353, 410, 412, 425, 449, 475, 488, 490, 516, 542, 553, 579, 581 ], [ 26, 39, 65, 91, 104, 117, 130, 182, 200, 224, 226, 250, 252, 276, 291, 315, 317, 330, 341, 354, 411, 413, 426, 450, 476, 489, 491, 517, 543, 554, 580, 582 ], [ 27, 40, 66, 92, 105, 118, 131, 183, 201, 225, 227, 251, 253, 277, 292, 316, 318, 331, 342, 355, 412, 414, 427, 451, 477, 490, 492, 518, 544, 555, 581, 583 ], [ 28, 41, 67, 93, 106, 119, 132, 184, 202, 226, 228, 252, 254, 278, 293, 317, 319, 332, 343, 356, 413, 415, 428, 452, 478, 491, 493, 519, 545, 556, 582, 584 ], [ 29, 42, 68, 94, 107, 120, 133, 185, 203, 227, 229, 253, 255, 279, 294, 318, 320, 333, 344, 357, 390, 414, 416, 429, 453, 479, 492, 494, 520, 546, 557, 583 ], [ 30, 43, 69, 95, 108, 121, 134, 186, 204, 228, 230, 254, 256, 280, 295, 319, 321, 334, 345, 358, 391, 415, 417, 430, 454, 480, 493, 495, 521, 547, 558, 584 ], [ 31, 44, 70, 96, 109, 122, 135, 187, 205, 229, 231, 255, 257, 281, 296, 320, 322, 335, 346, 359, 390, 392, 416, 418, 431, 455, 481, 494, 496, 522, 548, 559 ], [ 32, 45, 71, 97, 110, 123, 136, 188, 206, 230, 232, 256, 258, 282, 297, 321, 323, 336, 347, 360, 391, 393, 417, 419, 432, 456, 482, 495, 497, 523, 549, 560 ], [ 33, 46, 72, 98, 111, 124, 137, 189, 207, 231, 233, 257, 259, 283, 298, 322, 324, 337, 348, 361, 392, 394, 418, 420, 433, 457, 483, 496, 498, 524, 550, 561 ], [ 34, 47, 73, 99, 112, 125, 138, 190, 208, 232, 234, 258, 260, 284, 299, 323, 325, 338, 349, 362, 393, 395, 419, 421, 434, 458, 484, 497, 499, 525, 551, 562 ], [ 35, 48, 74, 100, 113, 126, 139, 191, 209, 233, 235, 259, 261, 285, 300, 324, 326, 339, 350, 363, 394, 396, 420, 422, 435, 459, 485, 498, 500, 526, 552, 563 ], [ 36, 49, 75, 101, 114, 127, 140, 192, 210, 234, 236, 260, 262, 286, 301, 325, 327, 340, 351, 364, 395, 397, 421, 423, 436, 460, 486, 499, 501, 527, 553, 564 ], [ 37, 50, 76, 102, 115, 128, 141, 193, 211, 235, 237, 261, 263, 287, 302, 326, 328, 341, 352, 365, 396, 398, 422, 424, 437, 461, 487, 500, 502, 528, 554, 565 ], [ 38, 51, 77, 103, 116, 129, 142, 194, 212, 236, 238, 262, 264, 288, 303, 327, 329, 342, 353, 366, 397, 399, 423, 425, 438, 462, 488, 501, 503, 529, 555, 566 ], [ 0, 39, 52, 78, 104, 117, 130, 143, 213, 237, 239, 263, 265, 289, 304, 328, 330, 343, 354, 367, 398, 400, 424, 426, 439, 463, 489, 502, 504, 530, 556, 567 ], [ 1, 40, 53, 79, 105, 118, 131, 144, 214, 238, 240, 264, 266, 290, 305, 329, 331, 344, 355, 368, 399, 401, 425, 427, 440, 464, 490, 503, 505, 531, 557, 568 ], [ 2, 41, 54, 80, 106, 119, 132, 145, 215, 239, 241, 265, 267, 291, 306, 330, 332, 345, 356, 369, 400, 402, 426, 428, 441, 465, 491, 504, 506, 532, 558, 569 ], [ 3, 42, 55, 81, 107, 120, 133, 146, 216, 240, 242, 266, 268, 292, 307, 331, 333, 346, 357, 370, 401, 403, 427, 429, 442, 466, 492, 505, 507, 533, 559, 570 ], [ 4, 43, 56, 82, 108, 121, 134, 147, 217, 241, 243, 267, 269, 293, 308, 332, 334, 347, 358, 371, 402, 404, 428, 430, 443, 467, 493, 506, 508, 534, 560, 571 ], [ 5, 44, 57, 83, 109, 122, 135, 148, 218, 242, 244, 268, 270, 294, 309, 333, 335, 348, 359, 372, 403, 405, 429, 431, 444, 468, 494, 507, 509, 535, 561, 572 ], [ 6, 45, 58, 84, 110, 123, 136, 149, 219, 243, 245, 269, 271, 295, 310, 334, 336, 349, 360, 373, 404, 406, 430, 432, 445, 469, 495, 508, 510, 536, 562, 573 ], [ 7, 46, 59, 85, 111, 124, 137, 150, 220, 244, 246, 270, 272, 296, 311, 335, 337, 350, 361, 374, 405, 407, 431, 433, 446, 470, 496, 509, 511, 537, 563, 574 ], [ 8, 47, 60, 86, 112, 125, 138, 151, 221, 245, 247, 271, 273, 297, 312, 336, 338, 351, 362, 375, 406, 408, 432, 434, 447, 471, 497, 510, 512, 538, 564, 575 ], [ 9, 48, 61, 87, 113, 126, 139, 152, 222, 246, 248, 272, 274, 298, 313, 337, 339, 352, 363, 376, 407, 409, 433, 435, 448, 472, 498, 511, 513, 539, 565, 576 ], [ 10, 49, 62, 88, 114, 127, 140, 153, 223, 247, 249, 273, 275, 299, 314, 338, 340, 353, 364, 377, 408, 410, 434, 436, 449, 473, 499, 512, 514, 540, 566, 577 ], [ 11, 50, 63, 89, 115, 128, 141, 154, 224, 248, 250, 274, 276, 300, 315, 339, 341, 354, 365, 378, 409, 411, 435, 437, 450, 474, 500, 513, 515, 541, 567, 578 ], [ 12, 51, 64, 90, 116, 129, 142, 155, 225, 249, 251, 275, 277, 301, 316, 340, 342, 355, 366, 379, 410, 412, 436, 438, 451, 475, 501, 514, 516, 542, 568, 579 ], [ 13, 52, 65, 91, 117, 130, 143, 156, 226, 250, 252, 276, 278, 302, 317, 341, 343, 356, 367, 380, 411, 413, 437, 439, 452, 476, 502, 515, 517, 543, 569, 580 ], [ 14, 53, 66, 92, 118, 131, 144, 157, 227, 251, 253, 277, 279, 303, 318, 342, 344, 357, 368, 381, 412, 414, 438, 440, 453, 477, 503, 516, 518, 544, 570, 581 ], [ 15, 54, 67, 93, 119, 132, 145, 158, 228, 252, 254, 278, 280, 304, 319, 343, 345, 358, 369, 382, 413, 415, 439, 441, 454, 478, 504, 517, 519, 545, 571, 582 ], [ 16, 55, 68, 94, 120, 133, 146, 159, 229, 253, 255, 279, 281, 305, 320, 344, 346, 359, 370, 383, 414, 416, 440, 442, 455, 479, 505, 518, 520, 546, 572, 583 ], [ 17, 56, 69, 95, 121, 134, 147, 160, 230, 254, 256, 280, 282, 306, 321, 345, 347, 360, 371, 384, 415, 417, 441, 443, 456, 480, 506, 519, 521, 547, 573, 584 ], [ 18, 57, 70, 96, 122, 135, 148, 161, 231, 255, 257, 281, 283, 307, 322, 346, 348, 361, 372, 385, 390, 416, 418, 442, 444, 457, 481, 507, 520, 522, 548, 574 ], [ 19, 58, 71, 97, 123, 136, 149, 162, 232, 256, 258, 282, 284, 308, 323, 347, 349, 362, 373, 386, 391, 417, 419, 443, 445, 458, 482, 508, 521, 523, 549, 575 ], [ 20, 59, 72, 98, 124, 137, 150, 163, 233, 257, 259, 283, 285, 309, 324, 348, 350, 363, 374, 387, 392, 418, 420, 444, 446, 459, 483, 509, 522, 524, 550, 576 ], [ 21, 60, 73, 99, 125, 138, 151, 164, 234, 258, 260, 284, 286, 310, 325, 349, 351, 364, 375, 388, 393, 419, 421, 445, 447, 460, 484, 510, 523, 525, 551, 577 ], [ 22, 61, 74, 100, 126, 139, 152, 165, 235, 259, 261, 285, 287, 311, 326, 350, 352, 365, 376, 389, 394, 420, 422, 446, 448, 461, 485, 511, 524, 526, 552, 578 ], [ 23, 62, 75, 101, 127, 140, 153, 166, 195, 236, 260, 262, 286, 288, 312, 327, 351, 353, 366, 377, 395, 421, 423, 447, 449, 462, 486, 512, 525, 527, 553, 579 ], [ 24, 63, 76, 102, 128, 141, 154, 167, 196, 237, 261, 263, 287, 289, 313, 328, 352, 354, 367, 378, 396, 422, 424, 448, 450, 463, 487, 513, 526, 528, 554, 580 ], [ 25, 64, 77, 103, 129, 142, 155, 168, 197, 238, 262, 264, 288, 290, 314, 329, 353, 355, 368, 379, 397, 423, 425, 449, 451, 464, 488, 514, 527, 529, 555, 581 ], [ 26, 65, 78, 104, 130, 143, 156, 169, 198, 239, 263, 265, 289, 291, 315, 330, 354, 356, 369, 380, 398, 424, 426, 450, 452, 465, 489, 515, 528, 530, 556, 582 ], [ 27, 66, 79, 105, 131, 144, 157, 170, 199, 240, 264, 266, 290, 292, 316, 331, 355, 357, 370, 381, 399, 425, 427, 451, 453, 466, 490, 516, 529, 531, 557, 583 ], [ 28, 67, 80, 106, 132, 145, 158, 171, 200, 241, 265, 267, 291, 293, 317, 332, 356, 358, 371, 382, 400, 426, 428, 452, 454, 467, 491, 517, 530, 532, 558, 584 ], [ 29, 68, 81, 107, 133, 146, 159, 172, 201, 242, 266, 268, 292, 294, 318, 333, 357, 359, 372, 383, 390, 401, 427, 429, 453, 455, 468, 492, 518, 531, 533, 559 ], [ 30, 69, 82, 108, 134, 147, 160, 173, 202, 243, 267, 269, 293, 295, 319, 334, 358, 360, 373, 384, 391, 402, 428, 430, 454, 456, 469, 493, 519, 532, 534, 560 ], [ 31, 70, 83, 109, 135, 148, 161, 174, 203, 244, 268, 270, 294, 296, 320, 335, 359, 361, 374, 385, 392, 403, 429, 431, 455, 457, 470, 494, 520, 533, 535, 561 ], [ 32, 71, 84, 110, 136, 149, 162, 175, 204, 245, 269, 271, 295, 297, 321, 336, 360, 362, 375, 386, 393, 404, 430, 432, 456, 458, 471, 495, 521, 534, 536, 562 ], [ 33, 72, 85, 111, 137, 150, 163, 176, 205, 246, 270, 272, 296, 298, 322, 337, 361, 363, 376, 387, 394, 405, 431, 433, 457, 459, 472, 496, 522, 535, 537, 563 ], [ 34, 73, 86, 112, 138, 151, 164, 177, 206, 247, 271, 273, 297, 299, 323, 338, 362, 364, 377, 388, 395, 406, 432, 434, 458, 460, 473, 497, 523, 536, 538, 564 ], [ 35, 74, 87, 113, 139, 152, 165, 178, 207, 248, 272, 274, 298, 300, 324, 339, 363, 365, 378, 389, 396, 407, 433, 435, 459, 461, 474, 498, 524, 537, 539, 565 ], [ 36, 75, 88, 114, 140, 153, 166, 179, 195, 208, 249, 273, 275, 299, 301, 325, 340, 364, 366, 379, 397, 408, 434, 436, 460, 462, 475, 499, 525, 538, 540, 566 ], [ 37, 76, 89, 115, 141, 154, 167, 180, 196, 209, 250, 274, 276, 300, 302, 326, 341, 365, 367, 380, 398, 409, 435, 437, 461, 463, 476, 500, 526, 539, 541, 567 ], [ 38, 77, 90, 116, 142, 155, 168, 181, 197, 210, 251, 275, 277, 301, 303, 327, 342, 366, 368, 381, 399, 410, 436, 438, 462, 464, 477, 501, 527, 540, 542, 568 ], [ 39, 78, 91, 117, 143, 156, 169, 182, 198, 211, 252, 276, 278, 302, 304, 328, 343, 367, 369, 382, 400, 411, 437, 439, 463, 465, 478, 502, 528, 541, 543, 569 ], [ 40, 79, 92, 118, 144, 157, 170, 183, 199, 212, 253, 277, 279, 303, 305, 329, 344, 368, 370, 383, 401, 412, 438, 440, 464, 466, 479, 503, 529, 542, 544, 570 ], [ 41, 80, 93, 119, 145, 158, 171, 184, 200, 213, 254, 278, 280, 304, 306, 330, 345, 369, 371, 384, 402, 413, 439, 441, 465, 467, 480, 504, 530, 543, 545, 571 ], [ 42, 81, 94, 120, 146, 159, 172, 185, 201, 214, 255, 279, 281, 305, 307, 331, 346, 370, 372, 385, 403, 414, 440, 442, 466, 468, 481, 505, 531, 544, 546, 572 ], [ 43, 82, 95, 121, 147, 160, 173, 186, 202, 215, 256, 280, 282, 306, 308, 332, 347, 371, 373, 386, 404, 415, 441, 443, 467, 469, 482, 506, 532, 545, 547, 573 ], [ 44, 83, 96, 122, 148, 161, 174, 187, 203, 216, 257, 281, 283, 307, 309, 333, 348, 372, 374, 387, 405, 416, 442, 444, 468, 470, 483, 507, 533, 546, 548, 574 ], [ 45, 84, 97, 123, 149, 162, 175, 188, 204, 217, 258, 282, 284, 308, 310, 334, 349, 373, 375, 388, 406, 417, 443, 445, 469, 471, 484, 508, 534, 547, 549, 575 ], [ 46, 85, 98, 124, 150, 163, 176, 189, 205, 218, 259, 283, 285, 309, 311, 335, 350, 374, 376, 389, 407, 418, 444, 446, 470, 472, 485, 509, 535, 548, 550, 576 ], [ 47, 86, 99, 125, 151, 164, 177, 190, 195, 206, 219, 260, 284, 286, 310, 312, 336, 351, 375, 377, 408, 419, 445, 447, 471, 473, 486, 510, 536, 549, 551, 577 ], [ 48, 87, 100, 126, 152, 165, 178, 191, 196, 207, 220, 261, 285, 287, 311, 313, 337, 352, 376, 378, 409, 420, 446, 448, 472, 474, 487, 511, 537, 550, 552, 578 ], [ 49, 88, 101, 127, 153, 166, 179, 192, 197, 208, 221, 262, 286, 288, 312, 314, 338, 353, 377, 379, 410, 421, 447, 449, 473, 475, 488, 512, 538, 551, 553, 579 ], [ 50, 89, 102, 128, 154, 167, 180, 193, 198, 209, 222, 263, 287, 289, 313, 315, 339, 354, 378, 380, 411, 422, 448, 450, 474, 476, 489, 513, 539, 552, 554, 580 ], [ 51, 90, 103, 129, 155, 168, 181, 194, 199, 210, 223, 264, 288, 290, 314, 316, 340, 355, 379, 381, 412, 423, 449, 451, 475, 477, 490, 514, 540, 553, 555, 581 ], [ 0, 52, 91, 104, 130, 156, 169, 182, 200, 211, 224, 265, 289, 291, 315, 317, 341, 356, 380, 382, 413, 424, 450, 452, 476, 478, 491, 515, 541, 554, 556, 582 ], [ 1, 53, 92, 105, 131, 157, 170, 183, 201, 212, 225, 266, 290, 292, 316, 318, 342, 357, 381, 383, 414, 425, 451, 453, 477, 479, 492, 516, 542, 555, 557, 583 ], [ 2, 54, 93, 106, 132, 158, 171, 184, 202, 213, 226, 267, 291, 293, 317, 319, 343, 358, 382, 384, 415, 426, 452, 454, 478, 480, 493, 517, 543, 556, 558, 584 ], [ 3, 55, 94, 107, 133, 159, 172, 185, 203, 214, 227, 268, 292, 294, 318, 320, 344, 359, 383, 385, 390, 416, 427, 453, 455, 479, 481, 494, 518, 544, 557, 559 ], [ 4, 56, 95, 108, 134, 160, 173, 186, 204, 215, 228, 269, 293, 295, 319, 321, 345, 360, 384, 386, 391, 417, 428, 454, 456, 480, 482, 495, 519, 545, 558, 560 ], [ 5, 57, 96, 109, 135, 161, 174, 187, 205, 216, 229, 270, 294, 296, 320, 322, 346, 361, 385, 387, 392, 418, 429, 455, 457, 481, 483, 496, 520, 546, 559, 561 ], [ 6, 58, 97, 110, 136, 162, 175, 188, 206, 217, 230, 271, 295, 297, 321, 323, 347, 362, 386, 388, 393, 419, 430, 456, 458, 482, 484, 497, 521, 547, 560, 562 ], [ 7, 59, 98, 111, 137, 163, 176, 189, 207, 218, 231, 272, 296, 298, 322, 324, 348, 363, 387, 389, 394, 420, 431, 457, 459, 483, 485, 498, 522, 548, 561, 563 ], [ 8, 60, 99, 112, 138, 164, 177, 190, 195, 208, 219, 232, 273, 297, 299, 323, 325, 349, 364, 388, 395, 421, 432, 458, 460, 484, 486, 499, 523, 549, 562, 564 ], [ 9, 61, 100, 113, 139, 165, 178, 191, 196, 209, 220, 233, 274, 298, 300, 324, 326, 350, 365, 389, 396, 422, 433, 459, 461, 485, 487, 500, 524, 550, 563, 565 ], [ 10, 62, 101, 114, 140, 166, 179, 192, 195, 197, 210, 221, 234, 275, 299, 301, 325, 327, 351, 366, 397, 423, 434, 460, 462, 486, 488, 501, 525, 551, 564, 566 ], [ 11, 63, 102, 115, 141, 167, 180, 193, 196, 198, 211, 222, 235, 276, 300, 302, 326, 328, 352, 367, 398, 424, 435, 461, 463, 487, 489, 502, 526, 552, 565, 567 ], [ 12, 64, 103, 116, 142, 168, 181, 194, 197, 199, 212, 223, 236, 277, 301, 303, 327, 329, 353, 368, 399, 425, 436, 462, 464, 488, 490, 503, 527, 553, 566, 568 ], [ 0, 13, 65, 104, 117, 143, 169, 182, 198, 200, 213, 224, 237, 278, 302, 304, 328, 330, 354, 369, 400, 426, 437, 463, 465, 489, 491, 504, 528, 554, 567, 569 ], [ 1, 14, 66, 105, 118, 144, 170, 183, 199, 201, 214, 225, 238, 279, 303, 305, 329, 331, 355, 370, 401, 427, 438, 464, 466, 490, 492, 505, 529, 555, 568, 570 ], [ 2, 15, 67, 106, 119, 145, 171, 184, 200, 202, 215, 226, 239, 280, 304, 306, 330, 332, 356, 371, 402, 428, 439, 465, 467, 491, 493, 506, 530, 556, 569, 571 ], [ 3, 16, 68, 107, 120, 146, 172, 185, 201, 203, 216, 227, 240, 281, 305, 307, 331, 333, 357, 372, 403, 429, 440, 466, 468, 492, 494, 507, 531, 557, 570, 572 ], [ 4, 17, 69, 108, 121, 147, 173, 186, 202, 204, 217, 228, 241, 282, 306, 308, 332, 334, 358, 373, 404, 430, 441, 467, 469, 493, 495, 508, 532, 558, 571, 573 ], [ 5, 18, 70, 109, 122, 148, 174, 187, 203, 205, 218, 229, 242, 283, 307, 309, 333, 335, 359, 374, 405, 431, 442, 468, 470, 494, 496, 509, 533, 559, 572, 574 ], [ 6, 19, 71, 110, 123, 149, 175, 188, 204, 206, 219, 230, 243, 284, 308, 310, 334, 336, 360, 375, 406, 432, 443, 469, 471, 495, 497, 510, 534, 560, 573, 575 ], [ 7, 20, 72, 111, 124, 150, 176, 189, 205, 207, 220, 231, 244, 285, 309, 311, 335, 337, 361, 376, 407, 433, 444, 470, 472, 496, 498, 511, 535, 561, 574, 576 ], [ 8, 21, 73, 112, 125, 151, 177, 190, 206, 208, 221, 232, 245, 286, 310, 312, 336, 338, 362, 377, 408, 434, 445, 471, 473, 497, 499, 512, 536, 562, 575, 577 ], [ 9, 22, 74, 113, 126, 152, 178, 191, 207, 209, 222, 233, 246, 287, 311, 313, 337, 339, 363, 378, 409, 435, 446, 472, 474, 498, 500, 513, 537, 563, 576, 578 ], [ 10, 23, 75, 114, 127, 153, 179, 192, 208, 210, 223, 234, 247, 288, 312, 314, 338, 340, 364, 379, 410, 436, 447, 473, 475, 499, 501, 514, 538, 564, 577, 579 ], [ 11, 24, 76, 115, 128, 154, 180, 193, 209, 211, 224, 235, 248, 289, 313, 315, 339, 341, 365, 380, 411, 437, 448, 474, 476, 500, 502, 515, 539, 565, 578, 580 ], [ 12, 25, 77, 116, 129, 155, 181, 194, 210, 212, 225, 236, 249, 290, 314, 316, 340, 342, 366, 381, 412, 438, 449, 475, 477, 501, 503, 516, 540, 566, 579, 581 ], [ 0, 13, 26, 78, 117, 130, 156, 182, 211, 213, 226, 237, 250, 291, 315, 317, 341, 343, 367, 382, 413, 439, 450, 476, 478, 502, 504, 517, 541, 567, 580, 582 ], [ 1, 14, 27, 79, 118, 131, 157, 183, 212, 214, 227, 238, 251, 292, 316, 318, 342, 344, 368, 383, 414, 440, 451, 477, 479, 503, 505, 518, 542, 568, 581, 583 ], [ 2, 15, 28, 80, 119, 132, 158, 184, 213, 215, 228, 239, 252, 293, 317, 319, 343, 345, 369, 384, 415, 441, 452, 478, 480, 504, 506, 519, 543, 569, 582, 584 ], [ 3, 16, 29, 81, 120, 133, 159, 185, 214, 216, 229, 240, 253, 294, 318, 320, 344, 346, 370, 385, 390, 416, 442, 453, 479, 481, 505, 507, 520, 544, 570, 583 ], [ 4, 17, 30, 82, 121, 134, 160, 186, 215, 217, 230, 241, 254, 295, 319, 321, 345, 347, 371, 386, 391, 417, 443, 454, 480, 482, 506, 508, 521, 545, 571, 584 ], [ 5, 18, 31, 83, 122, 135, 161, 187, 216, 218, 231, 242, 255, 296, 320, 322, 346, 348, 372, 387, 390, 392, 418, 444, 455, 481, 483, 507, 509, 522, 546, 572 ], [ 6, 19, 32, 84, 123, 136, 162, 188, 217, 219, 232, 243, 256, 297, 321, 323, 347, 349, 373, 388, 391, 393, 419, 445, 456, 482, 484, 508, 510, 523, 547, 573 ], [ 7, 20, 33, 85, 124, 137, 163, 189, 218, 220, 233, 244, 257, 298, 322, 324, 348, 350, 374, 389, 392, 394, 420, 446, 457, 483, 485, 509, 511, 524, 548, 574 ], [ 8, 21, 34, 86, 125, 138, 164, 190, 195, 219, 221, 234, 245, 258, 299, 323, 325, 349, 351, 375, 393, 395, 421, 447, 458, 484, 486, 510, 512, 525, 549, 575 ], [ 9, 22, 35, 87, 126, 139, 165, 191, 196, 220, 222, 235, 246, 259, 300, 324, 326, 350, 352, 376, 394, 396, 422, 448, 459, 485, 487, 511, 513, 526, 550, 576 ], [ 10, 23, 36, 88, 127, 140, 166, 192, 197, 221, 223, 236, 247, 260, 301, 325, 327, 351, 353, 377, 395, 397, 423, 449, 460, 486, 488, 512, 514, 527, 551, 577 ], [ 11, 24, 37, 89, 128, 141, 167, 193, 198, 222, 224, 237, 248, 261, 302, 326, 328, 352, 354, 378, 396, 398, 424, 450, 461, 487, 489, 513, 515, 528, 552, 578 ] ] }, "distance": { "d": 3, "X": { "value": 3, "confidence": "upper_bound", "witness": [ 431, 496, 561 ] }, "Z": { "value": 3, "confidence": "upper_bound", "witness": [ 431, 496, 561 ] } }, "provenance": { "authors": [ "@MathysRennela" ], "construction": "Polynomial-minor CSS code from arXiv:2610.19459 (Nourozi, Smarandache, Mitchell), their Eqs. (10)-(11) at parameters of our own: over R_N = F_2[x]/(x^N+1), H_X(x) = [[a^top, b^top, c^top], [d^top, e^top, f^top]] with d = x^t c, e = a, f = b, and H_Z(x) = [b^2+ac, ab+x^t c^2, a^2 + x^t bc]; N = 195, t = 0, a/b/c = 6/6/6 terms, all codewords of the code generated by a sparse divisor g of x^N+1 with deg g = 117 and wt(g) = 6. Not one of the paper's 13 Table I instances, which stop at N = 85; found by enumerating sparse large-degree divisors of x^N+1 and sampling low-weight codewords of .", "origin": "submission", "date": "2026-10-15", "model": "MiMo-V2.6-Flash", "search_budget": { "candidates_screened": 6074, "ris_trials_per_side": 400000, "cpu_hours": 8.0 } }, "family": "other" }