{ "schema_version": "0.2", "name": "[[534,2,41]]", "code_type": "CSS", "n": 534, "k": 2, "checks": { "X": [ [ 17, 74, 131, 199, 319, 373, 514, 515 ], [ 18, 75, 132, 200, 320, 374, 515, 516 ], [ 19, 76, 133, 201, 321, 375, 516, 517 ], [ 20, 77, 134, 202, 322, 376, 517, 518 ], [ 21, 78, 135, 203, 323, 377, 518, 519 ], [ 22, 79, 136, 204, 324, 378, 519, 520 ], [ 23, 80, 137, 205, 325, 379, 520, 521 ], [ 24, 81, 138, 206, 326, 380, 521, 522 ], [ 25, 82, 139, 207, 327, 381, 522, 523 ], [ 26, 83, 140, 208, 328, 382, 523, 524 ], [ 27, 84, 141, 209, 329, 383, 524, 525 ], [ 28, 85, 142, 210, 330, 384, 525, 526 ], [ 29, 86, 143, 211, 331, 385, 526, 527 ], [ 30, 87, 144, 212, 332, 386, 527, 528 ], [ 31, 88, 145, 213, 333, 387, 528, 529 ], [ 32, 89, 146, 214, 334, 388, 529, 530 ], [ 33, 90, 147, 215, 335, 389, 530, 531 ], [ 34, 91, 148, 216, 336, 390, 531, 532 ], [ 35, 92, 149, 217, 337, 391, 532, 533 ], [ 36, 93, 150, 218, 267, 338, 392, 533 ], [ 37, 94, 151, 219, 267, 268, 339, 393 ], [ 38, 95, 152, 220, 268, 269, 340, 394 ], [ 39, 96, 153, 221, 269, 270, 341, 395 ], [ 40, 97, 154, 222, 270, 271, 342, 396 ], [ 41, 98, 155, 223, 271, 272, 343, 397 ], [ 42, 99, 156, 224, 272, 273, 344, 398 ], [ 43, 100, 157, 225, 273, 274, 345, 399 ], [ 44, 101, 158, 226, 274, 275, 346, 400 ], [ 45, 102, 159, 227, 275, 276, 347, 401 ], [ 46, 103, 160, 228, 276, 277, 348, 402 ], [ 47, 104, 161, 229, 277, 278, 349, 403 ], [ 48, 105, 162, 230, 278, 279, 350, 404 ], [ 49, 106, 163, 231, 279, 280, 351, 405 ], [ 50, 107, 164, 232, 280, 281, 352, 406 ], [ 51, 108, 165, 233, 281, 282, 353, 407 ], [ 52, 109, 166, 234, 282, 283, 354, 408 ], [ 53, 110, 167, 235, 283, 284, 355, 409 ], [ 54, 111, 168, 236, 284, 285, 356, 410 ], [ 55, 112, 169, 237, 285, 286, 357, 411 ], [ 56, 113, 170, 238, 286, 287, 358, 412 ], [ 57, 114, 171, 239, 287, 288, 359, 413 ], [ 58, 115, 172, 240, 288, 289, 360, 414 ], [ 59, 116, 173, 241, 289, 290, 361, 415 ], [ 60, 117, 174, 242, 290, 291, 362, 416 ], [ 61, 118, 175, 243, 291, 292, 363, 417 ], [ 62, 119, 176, 244, 292, 293, 364, 418 ], [ 63, 120, 177, 245, 293, 294, 365, 419 ], [ 64, 121, 178, 246, 294, 295, 366, 420 ], [ 65, 122, 179, 247, 295, 296, 367, 421 ], [ 66, 123, 180, 248, 296, 297, 368, 422 ], [ 67, 124, 181, 249, 297, 298, 369, 423 ], [ 68, 125, 182, 250, 298, 299, 370, 424 ], [ 69, 126, 183, 251, 299, 300, 371, 425 ], [ 70, 127, 184, 252, 300, 301, 372, 426 ], [ 71, 128, 185, 253, 301, 302, 373, 427 ], [ 72, 129, 186, 254, 302, 303, 374, 428 ], [ 73, 130, 187, 255, 303, 304, 375, 429 ], [ 74, 131, 188, 256, 304, 305, 376, 430 ], [ 75, 132, 189, 257, 305, 306, 377, 431 ], [ 76, 133, 190, 258, 306, 307, 378, 432 ], [ 77, 134, 191, 259, 307, 308, 379, 433 ], [ 78, 135, 192, 260, 308, 309, 380, 434 ], [ 79, 136, 193, 261, 309, 310, 381, 435 ], [ 80, 137, 194, 262, 310, 311, 382, 436 ], [ 81, 138, 195, 263, 311, 312, 383, 437 ], [ 82, 139, 196, 264, 312, 313, 384, 438 ], [ 83, 140, 197, 265, 313, 314, 385, 439 ], [ 84, 141, 198, 266, 314, 315, 386, 440 ], [ 0, 85, 142, 199, 315, 316, 387, 441 ], [ 1, 86, 143, 200, 316, 317, 388, 442 ], [ 2, 87, 144, 201, 317, 318, 389, 443 ], [ 3, 88, 145, 202, 318, 319, 390, 444 ], [ 4, 89, 146, 203, 319, 320, 391, 445 ], [ 5, 90, 147, 204, 320, 321, 392, 446 ], [ 6, 91, 148, 205, 321, 322, 393, 447 ], [ 7, 92, 149, 206, 322, 323, 394, 448 ], [ 8, 93, 150, 207, 323, 324, 395, 449 ], [ 9, 94, 151, 208, 324, 325, 396, 450 ], [ 10, 95, 152, 209, 325, 326, 397, 451 ], [ 11, 96, 153, 210, 326, 327, 398, 452 ], [ 12, 97, 154, 211, 327, 328, 399, 453 ], [ 13, 98, 155, 212, 328, 329, 400, 454 ], [ 14, 99, 156, 213, 329, 330, 401, 455 ], [ 15, 100, 157, 214, 330, 331, 402, 456 ], [ 16, 101, 158, 215, 331, 332, 403, 457 ], [ 17, 102, 159, 216, 332, 333, 404, 458 ], [ 18, 103, 160, 217, 333, 334, 405, 459 ], [ 19, 104, 161, 218, 334, 335, 406, 460 ], [ 20, 105, 162, 219, 335, 336, 407, 461 ], [ 21, 106, 163, 220, 336, 337, 408, 462 ], [ 22, 107, 164, 221, 337, 338, 409, 463 ], [ 23, 108, 165, 222, 338, 339, 410, 464 ], [ 24, 109, 166, 223, 339, 340, 411, 465 ], [ 25, 110, 167, 224, 340, 341, 412, 466 ], [ 26, 111, 168, 225, 341, 342, 413, 467 ], [ 27, 112, 169, 226, 342, 343, 414, 468 ], [ 28, 113, 170, 227, 343, 344, 415, 469 ], [ 29, 114, 171, 228, 344, 345, 416, 470 ], [ 30, 115, 172, 229, 345, 346, 417, 471 ], [ 31, 116, 173, 230, 346, 347, 418, 472 ], [ 32, 117, 174, 231, 347, 348, 419, 473 ], [ 33, 118, 175, 232, 348, 349, 420, 474 ], [ 34, 119, 176, 233, 349, 350, 421, 475 ], [ 35, 120, 177, 234, 350, 351, 422, 476 ], [ 36, 121, 178, 235, 351, 352, 423, 477 ], [ 37, 122, 179, 236, 352, 353, 424, 478 ], [ 38, 123, 180, 237, 353, 354, 425, 479 ], [ 39, 124, 181, 238, 354, 355, 426, 480 ], [ 40, 125, 182, 239, 355, 356, 427, 481 ], [ 41, 126, 183, 240, 356, 357, 428, 482 ], [ 42, 127, 184, 241, 357, 358, 429, 483 ], [ 43, 128, 185, 242, 358, 359, 430, 484 ], [ 44, 129, 186, 243, 359, 360, 431, 485 ], [ 45, 130, 187, 244, 360, 361, 432, 486 ], [ 46, 131, 188, 245, 361, 362, 433, 487 ], [ 47, 132, 189, 246, 362, 363, 434, 488 ], [ 48, 133, 190, 247, 363, 364, 435, 489 ], [ 49, 134, 191, 248, 364, 365, 436, 490 ], [ 50, 135, 192, 249, 365, 366, 437, 491 ], [ 51, 136, 193, 250, 366, 367, 438, 492 ], [ 52, 137, 194, 251, 367, 368, 439, 493 ], [ 53, 138, 195, 252, 368, 369, 440, 494 ], [ 54, 139, 196, 253, 369, 370, 441, 495 ], [ 55, 140, 197, 254, 370, 371, 442, 496 ], [ 56, 141, 198, 255, 371, 372, 443, 497 ], [ 57, 142, 199, 256, 372, 373, 444, 498 ], [ 58, 143, 200, 257, 373, 374, 445, 499 ], [ 59, 144, 201, 258, 374, 375, 446, 500 ], [ 60, 145, 202, 259, 375, 376, 447, 501 ], [ 61, 146, 203, 260, 376, 377, 448, 502 ], [ 62, 147, 204, 261, 377, 378, 449, 503 ], [ 63, 148, 205, 262, 378, 379, 450, 504 ], [ 64, 149, 206, 263, 379, 380, 451, 505 ], [ 65, 150, 207, 264, 380, 381, 452, 506 ], [ 66, 151, 208, 265, 381, 382, 453, 507 ], [ 67, 152, 209, 266, 382, 383, 454, 508 ], [ 0, 68, 153, 210, 383, 384, 455, 509 ], [ 1, 69, 154, 211, 384, 385, 456, 510 ], [ 2, 70, 155, 212, 385, 386, 457, 511 ], [ 3, 71, 156, 213, 386, 387, 458, 512 ], [ 4, 72, 157, 214, 387, 388, 459, 513 ], [ 5, 73, 158, 215, 388, 389, 460, 514 ], [ 6, 74, 159, 216, 389, 390, 461, 515 ], [ 7, 75, 160, 217, 390, 391, 462, 516 ], [ 8, 76, 161, 218, 391, 392, 463, 517 ], [ 9, 77, 162, 219, 392, 393, 464, 518 ], [ 10, 78, 163, 220, 393, 394, 465, 519 ], [ 11, 79, 164, 221, 394, 395, 466, 520 ], [ 12, 80, 165, 222, 395, 396, 467, 521 ], [ 13, 81, 166, 223, 396, 397, 468, 522 ], [ 14, 82, 167, 224, 397, 398, 469, 523 ], [ 15, 83, 168, 225, 398, 399, 470, 524 ], [ 16, 84, 169, 226, 399, 400, 471, 525 ], [ 17, 85, 170, 227, 400, 401, 472, 526 ], [ 18, 86, 171, 228, 401, 402, 473, 527 ], [ 19, 87, 172, 229, 402, 403, 474, 528 ], [ 20, 88, 173, 230, 403, 404, 475, 529 ], [ 21, 89, 174, 231, 404, 405, 476, 530 ], [ 22, 90, 175, 232, 405, 406, 477, 531 ], [ 23, 91, 176, 233, 406, 407, 478, 532 ], [ 24, 92, 177, 234, 407, 408, 479, 533 ], [ 25, 93, 178, 235, 267, 408, 409, 480 ], [ 26, 94, 179, 236, 268, 409, 410, 481 ], [ 27, 95, 180, 237, 269, 410, 411, 482 ], [ 28, 96, 181, 238, 270, 411, 412, 483 ], [ 29, 97, 182, 239, 271, 412, 413, 484 ], [ 30, 98, 183, 240, 272, 413, 414, 485 ], [ 31, 99, 184, 241, 273, 414, 415, 486 ], [ 32, 100, 185, 242, 274, 415, 416, 487 ], [ 33, 101, 186, 243, 275, 416, 417, 488 ], [ 34, 102, 187, 244, 276, 417, 418, 489 ], [ 35, 103, 188, 245, 277, 418, 419, 490 ], [ 36, 104, 189, 246, 278, 419, 420, 491 ], [ 37, 105, 190, 247, 279, 420, 421, 492 ], [ 38, 106, 191, 248, 280, 421, 422, 493 ], [ 39, 107, 192, 249, 281, 422, 423, 494 ], [ 40, 108, 193, 250, 282, 423, 424, 495 ], [ 41, 109, 194, 251, 283, 424, 425, 496 ], [ 42, 110, 195, 252, 284, 425, 426, 497 ], [ 43, 111, 196, 253, 285, 426, 427, 498 ], [ 44, 112, 197, 254, 286, 427, 428, 499 ], [ 45, 113, 198, 255, 287, 428, 429, 500 ], [ 46, 114, 199, 256, 288, 429, 430, 501 ], [ 47, 115, 200, 257, 289, 430, 431, 502 ], [ 48, 116, 201, 258, 290, 431, 432, 503 ], [ 49, 117, 202, 259, 291, 432, 433, 504 ], [ 50, 118, 203, 260, 292, 433, 434, 505 ], [ 51, 119, 204, 261, 293, 434, 435, 506 ], [ 52, 120, 205, 262, 294, 435, 436, 507 ], [ 53, 121, 206, 263, 295, 436, 437, 508 ], [ 54, 122, 207, 264, 296, 437, 438, 509 ], [ 55, 123, 208, 265, 297, 438, 439, 510 ], [ 56, 124, 209, 266, 298, 439, 440, 511 ], [ 0, 57, 125, 210, 299, 440, 441, 512 ], [ 1, 58, 126, 211, 300, 441, 442, 513 ], [ 2, 59, 127, 212, 301, 442, 443, 514 ], [ 3, 60, 128, 213, 302, 443, 444, 515 ], [ 4, 61, 129, 214, 303, 444, 445, 516 ], [ 5, 62, 130, 215, 304, 445, 446, 517 ], [ 6, 63, 131, 216, 305, 446, 447, 518 ], [ 7, 64, 132, 217, 306, 447, 448, 519 ], [ 8, 65, 133, 218, 307, 448, 449, 520 ], [ 9, 66, 134, 219, 308, 449, 450, 521 ], [ 10, 67, 135, 220, 309, 450, 451, 522 ], [ 11, 68, 136, 221, 310, 451, 452, 523 ], [ 12, 69, 137, 222, 311, 452, 453, 524 ], [ 13, 70, 138, 223, 312, 453, 454, 525 ], [ 14, 71, 139, 224, 313, 454, 455, 526 ], [ 15, 72, 140, 225, 314, 455, 456, 527 ], [ 16, 73, 141, 226, 315, 456, 457, 528 ], [ 17, 74, 142, 227, 316, 457, 458, 529 ], [ 18, 75, 143, 228, 317, 458, 459, 530 ], [ 19, 76, 144, 229, 318, 459, 460, 531 ], [ 20, 77, 145, 230, 319, 460, 461, 532 ], [ 21, 78, 146, 231, 320, 461, 462, 533 ], [ 22, 79, 147, 232, 267, 321, 462, 463 ], [ 23, 80, 148, 233, 268, 322, 463, 464 ], [ 24, 81, 149, 234, 269, 323, 464, 465 ], [ 25, 82, 150, 235, 270, 324, 465, 466 ], [ 26, 83, 151, 236, 271, 325, 466, 467 ], [ 27, 84, 152, 237, 272, 326, 467, 468 ], [ 28, 85, 153, 238, 273, 327, 468, 469 ], [ 29, 86, 154, 239, 274, 328, 469, 470 ], [ 30, 87, 155, 240, 275, 329, 470, 471 ], [ 31, 88, 156, 241, 276, 330, 471, 472 ], [ 32, 89, 157, 242, 277, 331, 472, 473 ], [ 33, 90, 158, 243, 278, 332, 473, 474 ], [ 34, 91, 159, 244, 279, 333, 474, 475 ], [ 35, 92, 160, 245, 280, 334, 475, 476 ], [ 36, 93, 161, 246, 281, 335, 476, 477 ], [ 37, 94, 162, 247, 282, 336, 477, 478 ], [ 38, 95, 163, 248, 283, 337, 478, 479 ], [ 39, 96, 164, 249, 284, 338, 479, 480 ], [ 40, 97, 165, 250, 285, 339, 480, 481 ], [ 41, 98, 166, 251, 286, 340, 481, 482 ], [ 42, 99, 167, 252, 287, 341, 482, 483 ], [ 43, 100, 168, 253, 288, 342, 483, 484 ], [ 44, 101, 169, 254, 289, 343, 484, 485 ], [ 45, 102, 170, 255, 290, 344, 485, 486 ], [ 46, 103, 171, 256, 291, 345, 486, 487 ], [ 47, 104, 172, 257, 292, 346, 487, 488 ], [ 48, 105, 173, 258, 293, 347, 488, 489 ], [ 49, 106, 174, 259, 294, 348, 489, 490 ], [ 50, 107, 175, 260, 295, 349, 490, 491 ], [ 51, 108, 176, 261, 296, 350, 491, 492 ], [ 52, 109, 177, 262, 297, 351, 492, 493 ], [ 53, 110, 178, 263, 298, 352, 493, 494 ], [ 54, 111, 179, 264, 299, 353, 494, 495 ], [ 55, 112, 180, 265, 300, 354, 495, 496 ], [ 56, 113, 181, 266, 301, 355, 496, 497 ], [ 0, 57, 114, 182, 302, 356, 497, 498 ], [ 1, 58, 115, 183, 303, 357, 498, 499 ], [ 2, 59, 116, 184, 304, 358, 499, 500 ], [ 3, 60, 117, 185, 305, 359, 500, 501 ], [ 4, 61, 118, 186, 306, 360, 501, 502 ], [ 5, 62, 119, 187, 307, 361, 502, 503 ], [ 6, 63, 120, 188, 308, 362, 503, 504 ], [ 7, 64, 121, 189, 309, 363, 504, 505 ], [ 8, 65, 122, 190, 310, 364, 505, 506 ], [ 9, 66, 123, 191, 311, 365, 506, 507 ], [ 10, 67, 124, 192, 312, 366, 507, 508 ], [ 11, 68, 125, 193, 313, 367, 508, 509 ], [ 12, 69, 126, 194, 314, 368, 509, 510 ], [ 13, 70, 127, 195, 315, 369, 510, 511 ], [ 14, 71, 128, 196, 316, 370, 511, 512 ], [ 15, 72, 129, 197, 317, 371, 512, 513 ], [ 16, 73, 130, 198, 318, 372, 513, 514 ] ], "Z": [ [ 19, 20, 161, 215, 335, 403, 460, 517 ], [ 20, 21, 162, 216, 336, 404, 461, 518 ], [ 21, 22, 163, 217, 337, 405, 462, 519 ], [ 22, 23, 164, 218, 338, 406, 463, 520 ], [ 23, 24, 165, 219, 339, 407, 464, 521 ], [ 24, 25, 166, 220, 340, 408, 465, 522 ], [ 25, 26, 167, 221, 341, 409, 466, 523 ], [ 26, 27, 168, 222, 342, 410, 467, 524 ], [ 27, 28, 169, 223, 343, 411, 468, 525 ], [ 28, 29, 170, 224, 344, 412, 469, 526 ], [ 29, 30, 171, 225, 345, 413, 470, 527 ], [ 30, 31, 172, 226, 346, 414, 471, 528 ], [ 31, 32, 173, 227, 347, 415, 472, 529 ], [ 32, 33, 174, 228, 348, 416, 473, 530 ], [ 33, 34, 175, 229, 349, 417, 474, 531 ], [ 34, 35, 176, 230, 350, 418, 475, 532 ], [ 35, 36, 177, 231, 351, 419, 476, 533 ], [ 36, 37, 178, 232, 267, 352, 420, 477 ], [ 37, 38, 179, 233, 268, 353, 421, 478 ], [ 38, 39, 180, 234, 269, 354, 422, 479 ], [ 39, 40, 181, 235, 270, 355, 423, 480 ], [ 40, 41, 182, 236, 271, 356, 424, 481 ], [ 41, 42, 183, 237, 272, 357, 425, 482 ], [ 42, 43, 184, 238, 273, 358, 426, 483 ], [ 43, 44, 185, 239, 274, 359, 427, 484 ], [ 44, 45, 186, 240, 275, 360, 428, 485 ], [ 45, 46, 187, 241, 276, 361, 429, 486 ], [ 46, 47, 188, 242, 277, 362, 430, 487 ], [ 47, 48, 189, 243, 278, 363, 431, 488 ], [ 48, 49, 190, 244, 279, 364, 432, 489 ], [ 49, 50, 191, 245, 280, 365, 433, 490 ], [ 50, 51, 192, 246, 281, 366, 434, 491 ], [ 51, 52, 193, 247, 282, 367, 435, 492 ], [ 52, 53, 194, 248, 283, 368, 436, 493 ], [ 53, 54, 195, 249, 284, 369, 437, 494 ], [ 54, 55, 196, 250, 285, 370, 438, 495 ], [ 55, 56, 197, 251, 286, 371, 439, 496 ], [ 56, 57, 198, 252, 287, 372, 440, 497 ], [ 57, 58, 199, 253, 288, 373, 441, 498 ], [ 58, 59, 200, 254, 289, 374, 442, 499 ], [ 59, 60, 201, 255, 290, 375, 443, 500 ], [ 60, 61, 202, 256, 291, 376, 444, 501 ], [ 61, 62, 203, 257, 292, 377, 445, 502 ], [ 62, 63, 204, 258, 293, 378, 446, 503 ], [ 63, 64, 205, 259, 294, 379, 447, 504 ], [ 64, 65, 206, 260, 295, 380, 448, 505 ], [ 65, 66, 207, 261, 296, 381, 449, 506 ], [ 66, 67, 208, 262, 297, 382, 450, 507 ], [ 67, 68, 209, 263, 298, 383, 451, 508 ], [ 68, 69, 210, 264, 299, 384, 452, 509 ], [ 69, 70, 211, 265, 300, 385, 453, 510 ], [ 70, 71, 212, 266, 301, 386, 454, 511 ], [ 0, 71, 72, 213, 302, 387, 455, 512 ], [ 1, 72, 73, 214, 303, 388, 456, 513 ], [ 2, 73, 74, 215, 304, 389, 457, 514 ], [ 3, 74, 75, 216, 305, 390, 458, 515 ], [ 4, 75, 76, 217, 306, 391, 459, 516 ], [ 5, 76, 77, 218, 307, 392, 460, 517 ], [ 6, 77, 78, 219, 308, 393, 461, 518 ], [ 7, 78, 79, 220, 309, 394, 462, 519 ], [ 8, 79, 80, 221, 310, 395, 463, 520 ], [ 9, 80, 81, 222, 311, 396, 464, 521 ], [ 10, 81, 82, 223, 312, 397, 465, 522 ], [ 11, 82, 83, 224, 313, 398, 466, 523 ], [ 12, 83, 84, 225, 314, 399, 467, 524 ], [ 13, 84, 85, 226, 315, 400, 468, 525 ], [ 14, 85, 86, 227, 316, 401, 469, 526 ], [ 15, 86, 87, 228, 317, 402, 470, 527 ], [ 16, 87, 88, 229, 318, 403, 471, 528 ], [ 17, 88, 89, 230, 319, 404, 472, 529 ], [ 18, 89, 90, 231, 320, 405, 473, 530 ], [ 19, 90, 91, 232, 321, 406, 474, 531 ], [ 20, 91, 92, 233, 322, 407, 475, 532 ], [ 21, 92, 93, 234, 323, 408, 476, 533 ], [ 22, 93, 94, 235, 267, 324, 409, 477 ], [ 23, 94, 95, 236, 268, 325, 410, 478 ], [ 24, 95, 96, 237, 269, 326, 411, 479 ], [ 25, 96, 97, 238, 270, 327, 412, 480 ], [ 26, 97, 98, 239, 271, 328, 413, 481 ], [ 27, 98, 99, 240, 272, 329, 414, 482 ], [ 28, 99, 100, 241, 273, 330, 415, 483 ], [ 29, 100, 101, 242, 274, 331, 416, 484 ], [ 30, 101, 102, 243, 275, 332, 417, 485 ], [ 31, 102, 103, 244, 276, 333, 418, 486 ], [ 32, 103, 104, 245, 277, 334, 419, 487 ], [ 33, 104, 105, 246, 278, 335, 420, 488 ], [ 34, 105, 106, 247, 279, 336, 421, 489 ], [ 35, 106, 107, 248, 280, 337, 422, 490 ], [ 36, 107, 108, 249, 281, 338, 423, 491 ], [ 37, 108, 109, 250, 282, 339, 424, 492 ], [ 38, 109, 110, 251, 283, 340, 425, 493 ], [ 39, 110, 111, 252, 284, 341, 426, 494 ], [ 40, 111, 112, 253, 285, 342, 427, 495 ], [ 41, 112, 113, 254, 286, 343, 428, 496 ], [ 42, 113, 114, 255, 287, 344, 429, 497 ], [ 43, 114, 115, 256, 288, 345, 430, 498 ], [ 44, 115, 116, 257, 289, 346, 431, 499 ], [ 45, 116, 117, 258, 290, 347, 432, 500 ], [ 46, 117, 118, 259, 291, 348, 433, 501 ], [ 47, 118, 119, 260, 292, 349, 434, 502 ], [ 48, 119, 120, 261, 293, 350, 435, 503 ], [ 49, 120, 121, 262, 294, 351, 436, 504 ], [ 50, 121, 122, 263, 295, 352, 437, 505 ], [ 51, 122, 123, 264, 296, 353, 438, 506 ], [ 52, 123, 124, 265, 297, 354, 439, 507 ], [ 53, 124, 125, 266, 298, 355, 440, 508 ], [ 0, 54, 125, 126, 299, 356, 441, 509 ], [ 1, 55, 126, 127, 300, 357, 442, 510 ], [ 2, 56, 127, 128, 301, 358, 443, 511 ], [ 3, 57, 128, 129, 302, 359, 444, 512 ], [ 4, 58, 129, 130, 303, 360, 445, 513 ], [ 5, 59, 130, 131, 304, 361, 446, 514 ], [ 6, 60, 131, 132, 305, 362, 447, 515 ], [ 7, 61, 132, 133, 306, 363, 448, 516 ], [ 8, 62, 133, 134, 307, 364, 449, 517 ], [ 9, 63, 134, 135, 308, 365, 450, 518 ], [ 10, 64, 135, 136, 309, 366, 451, 519 ], [ 11, 65, 136, 137, 310, 367, 452, 520 ], [ 12, 66, 137, 138, 311, 368, 453, 521 ], [ 13, 67, 138, 139, 312, 369, 454, 522 ], [ 14, 68, 139, 140, 313, 370, 455, 523 ], [ 15, 69, 140, 141, 314, 371, 456, 524 ], [ 16, 70, 141, 142, 315, 372, 457, 525 ], [ 17, 71, 142, 143, 316, 373, 458, 526 ], [ 18, 72, 143, 144, 317, 374, 459, 527 ], [ 19, 73, 144, 145, 318, 375, 460, 528 ], [ 20, 74, 145, 146, 319, 376, 461, 529 ], [ 21, 75, 146, 147, 320, 377, 462, 530 ], [ 22, 76, 147, 148, 321, 378, 463, 531 ], [ 23, 77, 148, 149, 322, 379, 464, 532 ], [ 24, 78, 149, 150, 323, 380, 465, 533 ], [ 25, 79, 150, 151, 267, 324, 381, 466 ], [ 26, 80, 151, 152, 268, 325, 382, 467 ], [ 27, 81, 152, 153, 269, 326, 383, 468 ], [ 28, 82, 153, 154, 270, 327, 384, 469 ], [ 29, 83, 154, 155, 271, 328, 385, 470 ], [ 30, 84, 155, 156, 272, 329, 386, 471 ], [ 31, 85, 156, 157, 273, 330, 387, 472 ], [ 32, 86, 157, 158, 274, 331, 388, 473 ], [ 33, 87, 158, 159, 275, 332, 389, 474 ], [ 34, 88, 159, 160, 276, 333, 390, 475 ], [ 35, 89, 160, 161, 277, 334, 391, 476 ], [ 36, 90, 161, 162, 278, 335, 392, 477 ], [ 37, 91, 162, 163, 279, 336, 393, 478 ], [ 38, 92, 163, 164, 280, 337, 394, 479 ], [ 39, 93, 164, 165, 281, 338, 395, 480 ], [ 40, 94, 165, 166, 282, 339, 396, 481 ], [ 41, 95, 166, 167, 283, 340, 397, 482 ], [ 42, 96, 167, 168, 284, 341, 398, 483 ], [ 43, 97, 168, 169, 285, 342, 399, 484 ], [ 44, 98, 169, 170, 286, 343, 400, 485 ], [ 45, 99, 170, 171, 287, 344, 401, 486 ], [ 46, 100, 171, 172, 288, 345, 402, 487 ], [ 47, 101, 172, 173, 289, 346, 403, 488 ], [ 48, 102, 173, 174, 290, 347, 404, 489 ], [ 49, 103, 174, 175, 291, 348, 405, 490 ], [ 50, 104, 175, 176, 292, 349, 406, 491 ], [ 51, 105, 176, 177, 293, 350, 407, 492 ], [ 52, 106, 177, 178, 294, 351, 408, 493 ], [ 53, 107, 178, 179, 295, 352, 409, 494 ], [ 54, 108, 179, 180, 296, 353, 410, 495 ], [ 55, 109, 180, 181, 297, 354, 411, 496 ], [ 56, 110, 181, 182, 298, 355, 412, 497 ], [ 57, 111, 182, 183, 299, 356, 413, 498 ], [ 58, 112, 183, 184, 300, 357, 414, 499 ], [ 59, 113, 184, 185, 301, 358, 415, 500 ], [ 60, 114, 185, 186, 302, 359, 416, 501 ], [ 61, 115, 186, 187, 303, 360, 417, 502 ], [ 62, 116, 187, 188, 304, 361, 418, 503 ], [ 63, 117, 188, 189, 305, 362, 419, 504 ], [ 64, 118, 189, 190, 306, 363, 420, 505 ], [ 65, 119, 190, 191, 307, 364, 421, 506 ], [ 66, 120, 191, 192, 308, 365, 422, 507 ], [ 67, 121, 192, 193, 309, 366, 423, 508 ], [ 68, 122, 193, 194, 310, 367, 424, 509 ], [ 69, 123, 194, 195, 311, 368, 425, 510 ], [ 70, 124, 195, 196, 312, 369, 426, 511 ], [ 71, 125, 196, 197, 313, 370, 427, 512 ], [ 72, 126, 197, 198, 314, 371, 428, 513 ], [ 73, 127, 198, 199, 315, 372, 429, 514 ], [ 74, 128, 199, 200, 316, 373, 430, 515 ], [ 75, 129, 200, 201, 317, 374, 431, 516 ], [ 76, 130, 201, 202, 318, 375, 432, 517 ], [ 77, 131, 202, 203, 319, 376, 433, 518 ], [ 78, 132, 203, 204, 320, 377, 434, 519 ], [ 79, 133, 204, 205, 321, 378, 435, 520 ], [ 80, 134, 205, 206, 322, 379, 436, 521 ], [ 81, 135, 206, 207, 323, 380, 437, 522 ], [ 82, 136, 207, 208, 324, 381, 438, 523 ], [ 83, 137, 208, 209, 325, 382, 439, 524 ], [ 84, 138, 209, 210, 326, 383, 440, 525 ], [ 85, 139, 210, 211, 327, 384, 441, 526 ], [ 86, 140, 211, 212, 328, 385, 442, 527 ], [ 87, 141, 212, 213, 329, 386, 443, 528 ], [ 88, 142, 213, 214, 330, 387, 444, 529 ], [ 89, 143, 214, 215, 331, 388, 445, 530 ], [ 90, 144, 215, 216, 332, 389, 446, 531 ], [ 91, 145, 216, 217, 333, 390, 447, 532 ], [ 92, 146, 217, 218, 334, 391, 448, 533 ], [ 93, 147, 218, 219, 267, 335, 392, 449 ], [ 94, 148, 219, 220, 268, 336, 393, 450 ], [ 95, 149, 220, 221, 269, 337, 394, 451 ], [ 96, 150, 221, 222, 270, 338, 395, 452 ], [ 97, 151, 222, 223, 271, 339, 396, 453 ], [ 98, 152, 223, 224, 272, 340, 397, 454 ], [ 99, 153, 224, 225, 273, 341, 398, 455 ], [ 100, 154, 225, 226, 274, 342, 399, 456 ], [ 101, 155, 226, 227, 275, 343, 400, 457 ], [ 102, 156, 227, 228, 276, 344, 401, 458 ], [ 103, 157, 228, 229, 277, 345, 402, 459 ], [ 104, 158, 229, 230, 278, 346, 403, 460 ], [ 105, 159, 230, 231, 279, 347, 404, 461 ], [ 106, 160, 231, 232, 280, 348, 405, 462 ], [ 107, 161, 232, 233, 281, 349, 406, 463 ], [ 108, 162, 233, 234, 282, 350, 407, 464 ], [ 109, 163, 234, 235, 283, 351, 408, 465 ], [ 110, 164, 235, 236, 284, 352, 409, 466 ], [ 111, 165, 236, 237, 285, 353, 410, 467 ], [ 112, 166, 237, 238, 286, 354, 411, 468 ], [ 113, 167, 238, 239, 287, 355, 412, 469 ], [ 114, 168, 239, 240, 288, 356, 413, 470 ], [ 115, 169, 240, 241, 289, 357, 414, 471 ], [ 116, 170, 241, 242, 290, 358, 415, 472 ], [ 117, 171, 242, 243, 291, 359, 416, 473 ], [ 118, 172, 243, 244, 292, 360, 417, 474 ], [ 119, 173, 244, 245, 293, 361, 418, 475 ], [ 120, 174, 245, 246, 294, 362, 419, 476 ], [ 121, 175, 246, 247, 295, 363, 420, 477 ], [ 122, 176, 247, 248, 296, 364, 421, 478 ], [ 123, 177, 248, 249, 297, 365, 422, 479 ], [ 124, 178, 249, 250, 298, 366, 423, 480 ], [ 125, 179, 250, 251, 299, 367, 424, 481 ], [ 126, 180, 251, 252, 300, 368, 425, 482 ], [ 127, 181, 252, 253, 301, 369, 426, 483 ], [ 128, 182, 253, 254, 302, 370, 427, 484 ], [ 129, 183, 254, 255, 303, 371, 428, 485 ], [ 130, 184, 255, 256, 304, 372, 429, 486 ], [ 131, 185, 256, 257, 305, 373, 430, 487 ], [ 132, 186, 257, 258, 306, 374, 431, 488 ], [ 133, 187, 258, 259, 307, 375, 432, 489 ], [ 134, 188, 259, 260, 308, 376, 433, 490 ], [ 135, 189, 260, 261, 309, 377, 434, 491 ], [ 136, 190, 261, 262, 310, 378, 435, 492 ], [ 137, 191, 262, 263, 311, 379, 436, 493 ], [ 138, 192, 263, 264, 312, 380, 437, 494 ], [ 139, 193, 264, 265, 313, 381, 438, 495 ], [ 140, 194, 265, 266, 314, 382, 439, 496 ], [ 0, 141, 195, 266, 315, 383, 440, 497 ], [ 0, 1, 142, 196, 316, 384, 441, 498 ], [ 1, 2, 143, 197, 317, 385, 442, 499 ], [ 2, 3, 144, 198, 318, 386, 443, 500 ], [ 3, 4, 145, 199, 319, 387, 444, 501 ], [ 4, 5, 146, 200, 320, 388, 445, 502 ], [ 5, 6, 147, 201, 321, 389, 446, 503 ], [ 6, 7, 148, 202, 322, 390, 447, 504 ], [ 7, 8, 149, 203, 323, 391, 448, 505 ], [ 8, 9, 150, 204, 324, 392, 449, 506 ], [ 9, 10, 151, 205, 325, 393, 450, 507 ], [ 10, 11, 152, 206, 326, 394, 451, 508 ], [ 11, 12, 153, 207, 327, 395, 452, 509 ], [ 12, 13, 154, 208, 328, 396, 453, 510 ], [ 13, 14, 155, 209, 329, 397, 454, 511 ], [ 14, 15, 156, 210, 330, 398, 455, 512 ], [ 15, 16, 157, 211, 331, 399, 456, 513 ], [ 16, 17, 158, 212, 332, 400, 457, 514 ], [ 17, 18, 159, 213, 333, 401, 458, 515 ], [ 18, 19, 160, 214, 334, 402, 459, 516 ] ] }, "distance": { "d": 41, "X": { "value": 43, "confidence": "upper_bound", "witness": [ 19, 34, 35, 37, 47, 49, 63, 64, 77, 91, 104, 106, 117, 118, 160, 175, 179, 188, 192, 244, 250, 258, 259, 284, 294, 295, 302, 308, 313, 352, 359, 366, 398, 418, 419, 427, 433, 455, 460, 488, 494, 495, 532 ] }, "Z": { "value": 41, "confidence": "upper_bound", "witness": [ 10, 16, 38, 44, 73, 106, 112, 123, 136, 138, 152, 158, 163, 169, 187, 209, 243, 265, 292, 309, 311, 312, 326, 364, 368, 378, 383, 432, 434, 436, 438, 439, 452, 488, 489, 503, 504, 506, 507, 508, 509 ], "witness_provenance": { "found_by": [ "@vprusso" ], "date": "2026-09-20", "found_at_samples": 8000000, "tool": "gate_changed.py RIS-fast (CI refuter)", "seeds": [ 1219059259 ] } } }, "provenance": { "authors": [ "@vprusso" ], "construction": "Cyclic generalized-bicycle code on the ring x^267 - 1 with a(x) = x^17 + x^74 + x^131 + x^199, b(x) = x^52 + x^106 + x^247 + x^248; 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-20", "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" }