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