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