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