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