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