{ "schema_version": "0.1", "name": "[[500,39,<=10]] SCE-LP R3EliteP01 at t=10", "code_type": "CSS", "n": 500, "k": 39, "checks": { "X": [ [ 16, 86, 162, 258, 337, 352, 371 ], [ 17, 87, 163, 259, 336, 353, 370 ], [ 18, 88, 164, 240, 339, 354, 373 ], [ 19, 89, 165, 241, 338, 355, 372 ], [ 0, 90, 166, 242, 321, 356, 375 ], [ 1, 91, 167, 243, 320, 357, 374 ], [ 2, 92, 168, 244, 323, 358, 377 ], [ 3, 93, 169, 245, 322, 359, 376 ], [ 4, 94, 170, 246, 325, 340, 379 ], [ 5, 95, 171, 247, 324, 341, 378 ], [ 6, 96, 172, 248, 327, 342, 361 ], [ 7, 97, 173, 249, 326, 343, 360 ], [ 8, 98, 174, 250, 329, 344, 363 ], [ 9, 99, 175, 251, 328, 345, 362 ], [ 10, 80, 176, 252, 331, 346, 365 ], [ 11, 81, 177, 253, 330, 347, 364 ], [ 12, 82, 178, 254, 333, 348, 367 ], [ 13, 83, 179, 255, 332, 349, 366 ], [ 14, 84, 160, 256, 335, 350, 369 ], [ 15, 85, 161, 257, 334, 351, 368 ], [ 36, 106, 182, 278, 323, 357, 377 ], [ 37, 107, 183, 279, 322, 356, 376 ], [ 38, 108, 184, 260, 325, 359, 379 ], [ 39, 109, 185, 261, 324, 358, 378 ], [ 20, 110, 186, 262, 327, 341, 361 ], [ 21, 111, 187, 263, 326, 340, 360 ], [ 22, 112, 188, 264, 329, 343, 363 ], [ 23, 113, 189, 265, 328, 342, 362 ], [ 24, 114, 190, 266, 331, 345, 365 ], [ 25, 115, 191, 267, 330, 344, 364 ], [ 26, 116, 192, 268, 333, 347, 367 ], [ 27, 117, 193, 269, 332, 346, 366 ], [ 28, 118, 194, 270, 335, 349, 369 ], [ 29, 119, 195, 271, 334, 348, 368 ], [ 30, 100, 196, 272, 337, 351, 371 ], [ 31, 101, 197, 273, 336, 350, 370 ], [ 32, 102, 198, 274, 339, 353, 373 ], [ 33, 103, 199, 275, 338, 352, 372 ], [ 34, 104, 180, 276, 321, 355, 375 ], [ 35, 105, 181, 277, 320, 354, 374 ], [ 56, 126, 202, 298, 335, 358, 363 ], [ 57, 127, 203, 299, 334, 359, 362 ], [ 58, 128, 204, 280, 337, 340, 365 ], [ 59, 129, 205, 281, 336, 341, 364 ], [ 40, 130, 206, 282, 339, 342, 367 ], [ 41, 131, 207, 283, 338, 343, 366 ], [ 42, 132, 208, 284, 321, 344, 369 ], [ 43, 133, 209, 285, 320, 345, 368 ], [ 44, 134, 210, 286, 323, 346, 371 ], [ 45, 135, 211, 287, 322, 347, 370 ], [ 46, 136, 212, 288, 325, 348, 373 ], [ 47, 137, 213, 289, 324, 349, 372 ], [ 48, 138, 214, 290, 327, 350, 375 ], [ 49, 139, 215, 291, 326, 351, 374 ], [ 50, 120, 216, 292, 329, 352, 377 ], [ 51, 121, 217, 293, 328, 353, 376 ], [ 52, 122, 218, 294, 331, 354, 379 ], [ 53, 123, 219, 295, 330, 355, 378 ], [ 54, 124, 200, 296, 333, 356, 361 ], [ 55, 125, 201, 297, 332, 357, 360 ], [ 76, 146, 222, 318, 335, 343, 371 ], [ 77, 147, 223, 319, 334, 342, 370 ], [ 78, 148, 224, 300, 337, 345, 373 ], [ 79, 149, 225, 301, 336, 344, 372 ], [ 60, 150, 226, 302, 339, 347, 375 ], [ 61, 151, 227, 303, 338, 346, 374 ], [ 62, 152, 228, 304, 321, 349, 377 ], [ 63, 153, 229, 305, 320, 348, 376 ], [ 64, 154, 230, 306, 323, 351, 379 ], [ 65, 155, 231, 307, 322, 350, 378 ], [ 66, 156, 232, 308, 325, 353, 361 ], [ 67, 157, 233, 309, 324, 352, 360 ], [ 68, 158, 234, 310, 327, 355, 363 ], [ 69, 159, 235, 311, 326, 354, 362 ], [ 70, 140, 236, 312, 329, 357, 365 ], [ 71, 141, 237, 313, 328, 356, 364 ], [ 72, 142, 238, 314, 331, 359, 367 ], [ 73, 143, 239, 315, 330, 358, 366 ], [ 74, 144, 220, 316, 333, 341, 369 ], [ 75, 145, 221, 317, 332, 340, 368 ], [ 15, 99, 177, 241, 397, 412, 431 ], [ 14, 98, 176, 240, 396, 413, 430 ], [ 17, 81, 179, 243, 399, 414, 433 ], [ 16, 80, 178, 242, 398, 415, 432 ], [ 19, 83, 161, 245, 381, 416, 435 ], [ 18, 82, 160, 244, 380, 417, 434 ], [ 1, 85, 163, 247, 383, 418, 437 ], [ 0, 84, 162, 246, 382, 419, 436 ], [ 3, 87, 165, 249, 385, 400, 439 ], [ 2, 86, 164, 248, 384, 401, 438 ], [ 5, 89, 167, 251, 387, 402, 421 ], [ 4, 88, 166, 250, 386, 403, 420 ], [ 7, 91, 169, 253, 389, 404, 423 ], [ 6, 90, 168, 252, 388, 405, 422 ], [ 9, 93, 171, 255, 391, 406, 425 ], [ 8, 92, 170, 254, 390, 407, 424 ], [ 11, 95, 173, 257, 393, 408, 427 ], [ 10, 94, 172, 256, 392, 409, 426 ], [ 13, 97, 175, 259, 395, 410, 429 ], [ 12, 96, 174, 258, 394, 411, 428 ], [ 35, 119, 197, 261, 383, 417, 437 ], [ 34, 118, 196, 260, 382, 416, 436 ], [ 37, 101, 199, 263, 385, 419, 439 ], [ 36, 100, 198, 262, 384, 418, 438 ], [ 39, 103, 181, 265, 387, 401, 421 ], [ 38, 102, 180, 264, 386, 400, 420 ], [ 21, 105, 183, 267, 389, 403, 423 ], [ 20, 104, 182, 266, 388, 402, 422 ], [ 23, 107, 185, 269, 391, 405, 425 ], [ 22, 106, 184, 268, 390, 404, 424 ], [ 25, 109, 187, 271, 393, 407, 427 ], [ 24, 108, 186, 270, 392, 406, 426 ], [ 27, 111, 189, 273, 395, 409, 429 ], [ 26, 110, 188, 272, 394, 408, 428 ], [ 29, 113, 191, 275, 397, 411, 431 ], [ 28, 112, 190, 274, 396, 410, 430 ], [ 31, 115, 193, 277, 399, 413, 433 ], [ 30, 114, 192, 276, 398, 412, 432 ], [ 33, 117, 195, 279, 381, 415, 435 ], [ 32, 116, 194, 278, 380, 414, 434 ], [ 55, 139, 217, 281, 395, 418, 423 ], [ 54, 138, 216, 280, 394, 419, 422 ], [ 57, 121, 219, 283, 397, 400, 425 ], [ 56, 120, 218, 282, 396, 401, 424 ], [ 59, 123, 201, 285, 399, 402, 427 ], [ 58, 122, 200, 284, 398, 403, 426 ], [ 41, 125, 203, 287, 381, 404, 429 ], [ 40, 124, 202, 286, 380, 405, 428 ], [ 43, 127, 205, 289, 383, 406, 431 ], [ 42, 126, 204, 288, 382, 407, 430 ], [ 45, 129, 207, 291, 385, 408, 433 ], [ 44, 128, 206, 290, 384, 409, 432 ], [ 47, 131, 209, 293, 387, 410, 435 ], [ 46, 130, 208, 292, 386, 411, 434 ], [ 49, 133, 211, 295, 389, 412, 437 ], [ 48, 132, 210, 294, 388, 413, 436 ], [ 51, 135, 213, 297, 391, 414, 439 ], [ 50, 134, 212, 296, 390, 415, 438 ], [ 53, 137, 215, 299, 393, 416, 421 ], [ 52, 136, 214, 298, 392, 417, 420 ], [ 75, 159, 237, 301, 395, 403, 431 ], [ 74, 158, 236, 300, 394, 402, 430 ], [ 77, 141, 239, 303, 397, 405, 433 ], [ 76, 140, 238, 302, 396, 404, 432 ], [ 79, 143, 221, 305, 399, 407, 435 ], [ 78, 142, 220, 304, 398, 406, 434 ], [ 61, 145, 223, 307, 381, 409, 437 ], [ 60, 144, 222, 306, 380, 408, 436 ], [ 63, 147, 225, 309, 383, 411, 439 ], [ 62, 146, 224, 308, 382, 410, 438 ], [ 65, 149, 227, 311, 385, 413, 421 ], [ 64, 148, 226, 310, 384, 412, 420 ], [ 67, 151, 229, 313, 387, 415, 423 ], [ 66, 150, 228, 312, 386, 414, 422 ], [ 69, 153, 231, 315, 389, 417, 425 ], [ 68, 152, 230, 314, 388, 416, 424 ], [ 71, 155, 233, 317, 391, 419, 427 ], [ 70, 154, 232, 316, 390, 418, 426 ], [ 73, 157, 235, 319, 393, 401, 429 ], [ 72, 156, 234, 318, 392, 400, 428 ], [ 18, 84, 176, 242, 457, 472, 491 ], [ 19, 85, 177, 243, 456, 473, 490 ], [ 0, 86, 178, 244, 459, 474, 493 ], [ 1, 87, 179, 245, 458, 475, 492 ], [ 2, 88, 160, 246, 441, 476, 495 ], [ 3, 89, 161, 247, 440, 477, 494 ], [ 4, 90, 162, 248, 443, 478, 497 ], [ 5, 91, 163, 249, 442, 479, 496 ], [ 6, 92, 164, 250, 445, 460, 499 ], [ 7, 93, 165, 251, 444, 461, 498 ], [ 8, 94, 166, 252, 447, 462, 481 ], [ 9, 95, 167, 253, 446, 463, 480 ], [ 10, 96, 168, 254, 449, 464, 483 ], [ 11, 97, 169, 255, 448, 465, 482 ], [ 12, 98, 170, 256, 451, 466, 485 ], [ 13, 99, 171, 257, 450, 467, 484 ], [ 14, 80, 172, 258, 453, 468, 487 ], [ 15, 81, 173, 259, 452, 469, 486 ], [ 16, 82, 174, 240, 455, 470, 489 ], [ 17, 83, 175, 241, 454, 471, 488 ], [ 38, 104, 196, 262, 443, 477, 497 ], [ 39, 105, 197, 263, 442, 476, 496 ], [ 20, 106, 198, 264, 445, 479, 499 ], [ 21, 107, 199, 265, 444, 478, 498 ], [ 22, 108, 180, 266, 447, 461, 481 ], [ 23, 109, 181, 267, 446, 460, 480 ], [ 24, 110, 182, 268, 449, 463, 483 ], [ 25, 111, 183, 269, 448, 462, 482 ], [ 26, 112, 184, 270, 451, 465, 485 ], [ 27, 113, 185, 271, 450, 464, 484 ], [ 28, 114, 186, 272, 453, 467, 487 ], [ 29, 115, 187, 273, 452, 466, 486 ], [ 30, 116, 188, 274, 455, 469, 489 ], [ 31, 117, 189, 275, 454, 468, 488 ], [ 32, 118, 190, 276, 457, 471, 491 ], [ 33, 119, 191, 277, 456, 470, 490 ], [ 34, 100, 192, 278, 459, 473, 493 ], [ 35, 101, 193, 279, 458, 472, 492 ], [ 36, 102, 194, 260, 441, 475, 495 ], [ 37, 103, 195, 261, 440, 474, 494 ], [ 58, 124, 216, 282, 455, 478, 483 ], [ 59, 125, 217, 283, 454, 479, 482 ], [ 40, 126, 218, 284, 457, 460, 485 ], [ 41, 127, 219, 285, 456, 461, 484 ], [ 42, 128, 200, 286, 459, 462, 487 ], [ 43, 129, 201, 287, 458, 463, 486 ], [ 44, 130, 202, 288, 441, 464, 489 ], [ 45, 131, 203, 289, 440, 465, 488 ], [ 46, 132, 204, 290, 443, 466, 491 ], [ 47, 133, 205, 291, 442, 467, 490 ], [ 48, 134, 206, 292, 445, 468, 493 ], [ 49, 135, 207, 293, 444, 469, 492 ], [ 50, 136, 208, 294, 447, 470, 495 ], [ 51, 137, 209, 295, 446, 471, 494 ], [ 52, 138, 210, 296, 449, 472, 497 ], [ 53, 139, 211, 297, 448, 473, 496 ], [ 54, 120, 212, 298, 451, 474, 499 ], [ 55, 121, 213, 299, 450, 475, 498 ], [ 56, 122, 214, 280, 453, 476, 481 ], [ 57, 123, 215, 281, 452, 477, 480 ], [ 78, 144, 236, 302, 455, 463, 491 ], [ 79, 145, 237, 303, 454, 462, 490 ], [ 60, 146, 238, 304, 457, 465, 493 ], [ 61, 147, 239, 305, 456, 464, 492 ], [ 62, 148, 220, 306, 459, 467, 495 ], [ 63, 149, 221, 307, 458, 466, 494 ], [ 64, 150, 222, 308, 441, 469, 497 ], [ 65, 151, 223, 309, 440, 468, 496 ], [ 66, 152, 224, 310, 443, 471, 499 ], [ 67, 153, 225, 311, 442, 470, 498 ], [ 68, 154, 226, 312, 445, 473, 481 ], [ 69, 155, 227, 313, 444, 472, 480 ], [ 70, 156, 228, 314, 447, 475, 483 ], [ 71, 157, 229, 315, 446, 474, 482 ], [ 72, 158, 230, 316, 449, 477, 485 ], [ 73, 159, 231, 317, 448, 476, 484 ], [ 74, 140, 232, 318, 451, 479, 487 ], [ 75, 141, 233, 319, 450, 478, 486 ], [ 76, 142, 234, 300, 453, 461, 489 ], [ 77, 143, 235, 301, 452, 460, 488 ] ], "Z": [ [ 5, 39, 47, 67, 324, 387, 442 ], [ 4, 38, 46, 66, 325, 386, 443 ], [ 7, 21, 49, 69, 326, 389, 444 ], [ 6, 20, 48, 68, 327, 388, 445 ], [ 9, 23, 51, 71, 328, 391, 446 ], [ 8, 22, 50, 70, 329, 390, 447 ], [ 11, 25, 53, 73, 330, 393, 448 ], [ 10, 24, 52, 72, 331, 392, 449 ], [ 13, 27, 55, 75, 332, 395, 450 ], [ 12, 26, 54, 74, 333, 394, 451 ], [ 15, 29, 57, 77, 334, 397, 452 ], [ 14, 28, 56, 76, 335, 396, 453 ], [ 17, 31, 59, 79, 336, 399, 454 ], [ 16, 30, 58, 78, 337, 398, 455 ], [ 19, 33, 41, 61, 338, 381, 456 ], [ 18, 32, 40, 60, 339, 380, 457 ], [ 1, 35, 43, 63, 320, 383, 458 ], [ 0, 34, 42, 62, 321, 382, 459 ], [ 3, 37, 45, 65, 322, 385, 440 ], [ 2, 36, 44, 64, 323, 384, 441 ], [ 8, 25, 42, 79, 344, 407, 462 ], [ 9, 24, 43, 78, 345, 406, 463 ], [ 10, 27, 44, 61, 346, 409, 464 ], [ 11, 26, 45, 60, 347, 408, 465 ], [ 12, 29, 46, 63, 348, 411, 466 ], [ 13, 28, 47, 62, 349, 410, 467 ], [ 14, 31, 48, 65, 350, 413, 468 ], [ 15, 30, 49, 64, 351, 412, 469 ], [ 16, 33, 50, 67, 352, 415, 470 ], [ 17, 32, 51, 66, 353, 414, 471 ], [ 18, 35, 52, 69, 354, 417, 472 ], [ 19, 34, 53, 68, 355, 416, 473 ], [ 0, 37, 54, 71, 356, 419, 474 ], [ 1, 36, 55, 70, 357, 418, 475 ], [ 2, 39, 56, 73, 358, 401, 476 ], [ 3, 38, 57, 72, 359, 400, 477 ], [ 4, 21, 58, 75, 340, 403, 478 ], [ 5, 20, 59, 74, 341, 402, 479 ], [ 6, 23, 40, 77, 342, 405, 460 ], [ 7, 22, 41, 76, 343, 404, 461 ], [ 11, 25, 59, 71, 364, 427, 482 ], [ 10, 24, 58, 70, 365, 426, 483 ], [ 13, 27, 41, 73, 366, 429, 484 ], [ 12, 26, 40, 72, 367, 428, 485 ], [ 15, 29, 43, 75, 368, 431, 486 ], [ 14, 28, 42, 74, 369, 430, 487 ], [ 17, 31, 45, 77, 370, 433, 488 ], [ 16, 30, 44, 76, 371, 432, 489 ], [ 19, 33, 47, 79, 372, 435, 490 ], [ 18, 32, 46, 78, 373, 434, 491 ], [ 1, 35, 49, 61, 374, 437, 492 ], [ 0, 34, 48, 60, 375, 436, 493 ], [ 3, 37, 51, 63, 376, 439, 494 ], [ 2, 36, 50, 62, 377, 438, 495 ], [ 5, 39, 53, 65, 378, 421, 496 ], [ 4, 38, 52, 64, 379, 420, 497 ], [ 7, 21, 55, 67, 360, 423, 498 ], [ 6, 20, 54, 66, 361, 422, 499 ], [ 9, 23, 57, 69, 362, 425, 480 ], [ 8, 22, 56, 68, 363, 424, 481 ], [ 85, 119, 127, 147, 334, 383, 456 ], [ 84, 118, 126, 146, 335, 382, 457 ], [ 87, 101, 129, 149, 336, 385, 458 ], [ 86, 100, 128, 148, 337, 384, 459 ], [ 89, 103, 131, 151, 338, 387, 440 ], [ 88, 102, 130, 150, 339, 386, 441 ], [ 91, 105, 133, 153, 320, 389, 442 ], [ 90, 104, 132, 152, 321, 388, 443 ], [ 93, 107, 135, 155, 322, 391, 444 ], [ 92, 106, 134, 154, 323, 390, 445 ], [ 95, 109, 137, 157, 324, 393, 446 ], [ 94, 108, 136, 156, 325, 392, 447 ], [ 97, 111, 139, 159, 326, 395, 448 ], [ 96, 110, 138, 158, 327, 394, 449 ], [ 99, 113, 121, 141, 328, 397, 450 ], [ 98, 112, 120, 140, 329, 396, 451 ], [ 81, 115, 123, 143, 330, 399, 452 ], [ 80, 114, 122, 142, 331, 398, 453 ], [ 83, 117, 125, 145, 332, 381, 454 ], [ 82, 116, 124, 144, 333, 380, 455 ], [ 88, 105, 122, 159, 354, 403, 476 ], [ 89, 104, 123, 158, 355, 402, 477 ], [ 90, 107, 124, 141, 356, 405, 478 ], [ 91, 106, 125, 140, 357, 404, 479 ], [ 92, 109, 126, 143, 358, 407, 460 ], [ 93, 108, 127, 142, 359, 406, 461 ], [ 94, 111, 128, 145, 340, 409, 462 ], [ 95, 110, 129, 144, 341, 408, 463 ], [ 96, 113, 130, 147, 342, 411, 464 ], [ 97, 112, 131, 146, 343, 410, 465 ], [ 98, 115, 132, 149, 344, 413, 466 ], [ 99, 114, 133, 148, 345, 412, 467 ], [ 80, 117, 134, 151, 346, 415, 468 ], [ 81, 116, 135, 150, 347, 414, 469 ], [ 82, 119, 136, 153, 348, 417, 470 ], [ 83, 118, 137, 152, 349, 416, 471 ], [ 84, 101, 138, 155, 350, 419, 472 ], [ 85, 100, 139, 154, 351, 418, 473 ], [ 86, 103, 120, 157, 352, 401, 474 ], [ 87, 102, 121, 156, 353, 400, 475 ], [ 91, 105, 139, 151, 374, 423, 496 ], [ 90, 104, 138, 150, 375, 422, 497 ], [ 93, 107, 121, 153, 376, 425, 498 ], [ 92, 106, 120, 152, 377, 424, 499 ], [ 95, 109, 123, 155, 378, 427, 480 ], [ 94, 108, 122, 154, 379, 426, 481 ], [ 97, 111, 125, 157, 360, 429, 482 ], [ 96, 110, 124, 156, 361, 428, 483 ], [ 99, 113, 127, 159, 362, 431, 484 ], [ 98, 112, 126, 158, 363, 430, 485 ], [ 81, 115, 129, 141, 364, 433, 486 ], [ 80, 114, 128, 140, 365, 432, 487 ], [ 83, 117, 131, 143, 366, 435, 488 ], [ 82, 116, 130, 142, 367, 434, 489 ], [ 85, 119, 133, 145, 368, 437, 490 ], [ 84, 118, 132, 144, 369, 436, 491 ], [ 87, 101, 135, 147, 370, 439, 492 ], [ 86, 100, 134, 146, 371, 438, 493 ], [ 89, 103, 137, 149, 372, 421, 494 ], [ 88, 102, 136, 148, 373, 420, 495 ], [ 165, 199, 207, 227, 338, 385, 444 ], [ 164, 198, 206, 226, 339, 384, 445 ], [ 167, 181, 209, 229, 320, 387, 446 ], [ 166, 180, 208, 228, 321, 386, 447 ], [ 169, 183, 211, 231, 322, 389, 448 ], [ 168, 182, 210, 230, 323, 388, 449 ], [ 171, 185, 213, 233, 324, 391, 450 ], [ 170, 184, 212, 232, 325, 390, 451 ], [ 173, 187, 215, 235, 326, 393, 452 ], [ 172, 186, 214, 234, 327, 392, 453 ], [ 175, 189, 217, 237, 328, 395, 454 ], [ 174, 188, 216, 236, 329, 394, 455 ], [ 177, 191, 219, 239, 330, 397, 456 ], [ 176, 190, 218, 238, 331, 396, 457 ], [ 179, 193, 201, 221, 332, 399, 458 ], [ 178, 192, 200, 220, 333, 398, 459 ], [ 161, 195, 203, 223, 334, 381, 440 ], [ 160, 194, 202, 222, 335, 380, 441 ], [ 163, 197, 205, 225, 336, 383, 442 ], [ 162, 196, 204, 224, 337, 382, 443 ], [ 168, 185, 202, 239, 358, 405, 464 ], [ 169, 184, 203, 238, 359, 404, 465 ], [ 170, 187, 204, 221, 340, 407, 466 ], [ 171, 186, 205, 220, 341, 406, 467 ], [ 172, 189, 206, 223, 342, 409, 468 ], [ 173, 188, 207, 222, 343, 408, 469 ], [ 174, 191, 208, 225, 344, 411, 470 ], [ 175, 190, 209, 224, 345, 410, 471 ], [ 176, 193, 210, 227, 346, 413, 472 ], [ 177, 192, 211, 226, 347, 412, 473 ], [ 178, 195, 212, 229, 348, 415, 474 ], [ 179, 194, 213, 228, 349, 414, 475 ], [ 160, 197, 214, 231, 350, 417, 476 ], [ 161, 196, 215, 230, 351, 416, 477 ], [ 162, 199, 216, 233, 352, 419, 478 ], [ 163, 198, 217, 232, 353, 418, 479 ], [ 164, 181, 218, 235, 354, 401, 460 ], [ 165, 180, 219, 234, 355, 400, 461 ], [ 166, 183, 200, 237, 356, 403, 462 ], [ 167, 182, 201, 236, 357, 402, 463 ], [ 171, 185, 219, 231, 378, 425, 484 ], [ 170, 184, 218, 230, 379, 424, 485 ], [ 173, 187, 201, 233, 360, 427, 486 ], [ 172, 186, 200, 232, 361, 426, 487 ], [ 175, 189, 203, 235, 362, 429, 488 ], [ 174, 188, 202, 234, 363, 428, 489 ], [ 177, 191, 205, 237, 364, 431, 490 ], [ 176, 190, 204, 236, 365, 430, 491 ], [ 179, 193, 207, 239, 366, 433, 492 ], [ 178, 192, 206, 238, 367, 432, 493 ], [ 161, 195, 209, 221, 368, 435, 494 ], [ 160, 194, 208, 220, 369, 434, 495 ], [ 163, 197, 211, 223, 370, 437, 496 ], [ 162, 196, 210, 222, 371, 436, 497 ], [ 165, 199, 213, 225, 372, 439, 498 ], [ 164, 198, 212, 224, 373, 438, 499 ], [ 167, 181, 215, 227, 374, 421, 480 ], [ 166, 180, 214, 226, 375, 420, 481 ], [ 169, 183, 217, 229, 376, 423, 482 ], [ 168, 182, 216, 228, 377, 422, 483 ], [ 245, 279, 287, 307, 322, 381, 458 ], [ 244, 278, 286, 306, 323, 380, 459 ], [ 247, 261, 289, 309, 324, 383, 440 ], [ 246, 260, 288, 308, 325, 382, 441 ], [ 249, 263, 291, 311, 326, 385, 442 ], [ 248, 262, 290, 310, 327, 384, 443 ], [ 251, 265, 293, 313, 328, 387, 444 ], [ 250, 264, 292, 312, 329, 386, 445 ], [ 253, 267, 295, 315, 330, 389, 446 ], [ 252, 266, 294, 314, 331, 388, 447 ], [ 255, 269, 297, 317, 332, 391, 448 ], [ 254, 268, 296, 316, 333, 390, 449 ], [ 257, 271, 299, 319, 334, 393, 450 ], [ 256, 270, 298, 318, 335, 392, 451 ], [ 259, 273, 281, 301, 336, 395, 452 ], [ 258, 272, 280, 300, 337, 394, 453 ], [ 241, 275, 283, 303, 338, 397, 454 ], [ 240, 274, 282, 302, 339, 396, 455 ], [ 243, 277, 285, 305, 320, 399, 456 ], [ 242, 276, 284, 304, 321, 398, 457 ], [ 248, 265, 282, 319, 342, 401, 478 ], [ 249, 264, 283, 318, 343, 400, 479 ], [ 250, 267, 284, 301, 344, 403, 460 ], [ 251, 266, 285, 300, 345, 402, 461 ], [ 252, 269, 286, 303, 346, 405, 462 ], [ 253, 268, 287, 302, 347, 404, 463 ], [ 254, 271, 288, 305, 348, 407, 464 ], [ 255, 270, 289, 304, 349, 406, 465 ], [ 256, 273, 290, 307, 350, 409, 466 ], [ 257, 272, 291, 306, 351, 408, 467 ], [ 258, 275, 292, 309, 352, 411, 468 ], [ 259, 274, 293, 308, 353, 410, 469 ], [ 240, 277, 294, 311, 354, 413, 470 ], [ 241, 276, 295, 310, 355, 412, 471 ], [ 242, 279, 296, 313, 356, 415, 472 ], [ 243, 278, 297, 312, 357, 414, 473 ], [ 244, 261, 298, 315, 358, 417, 474 ], [ 245, 260, 299, 314, 359, 416, 475 ], [ 246, 263, 280, 317, 340, 419, 476 ], [ 247, 262, 281, 316, 341, 418, 477 ], [ 251, 265, 299, 311, 362, 421, 498 ], [ 250, 264, 298, 310, 363, 420, 499 ], [ 253, 267, 281, 313, 364, 423, 480 ], [ 252, 266, 280, 312, 365, 422, 481 ], [ 255, 269, 283, 315, 366, 425, 482 ], [ 254, 268, 282, 314, 367, 424, 483 ], [ 257, 271, 285, 317, 368, 427, 484 ], [ 256, 270, 284, 316, 369, 426, 485 ], [ 259, 273, 287, 319, 370, 429, 486 ], [ 258, 272, 286, 318, 371, 428, 487 ], [ 241, 275, 289, 301, 372, 431, 488 ], [ 240, 274, 288, 300, 373, 430, 489 ], [ 243, 277, 291, 303, 374, 433, 490 ], [ 242, 276, 290, 302, 375, 432, 491 ], [ 245, 279, 293, 305, 376, 435, 492 ], [ 244, 278, 292, 304, 377, 434, 493 ], [ 247, 261, 295, 307, 378, 437, 494 ], [ 246, 260, 294, 306, 379, 436, 495 ], [ 249, 263, 297, 309, 360, 439, 496 ], [ 248, 262, 296, 308, 361, 438, 497 ] ] }, "distance": { "d": 10, "X": { "value": 16, "confidence": "upper_bound", "witness": [ 84, 95, 103, 104, 109, 112, 115, 118, 120, 129, 131, 138, 143, 149, 152, 158 ] }, "Z": { "value": 10, "confidence": "upper_bound", "witness": [ 57, 63, 123, 147, 219, 221, 285, 305, 334, 368 ] } }, "provenance": { "authors": [ "@mathysrennela" ], "construction": "Lifted product over Z_t x Z_2 (|G|=20), protograph A (3x4), B (3x4) taken from arXiv:2606.24808 Table 1 (R3EliteP01, an SCE search elite), with the paper's exponents reduced modulo the family parameter t=10 to fit the board's n<=700 cap (n = (nA*nB + mA*mB)*|G| = 25*20 = 500). Entries of A act by left regular representation, entries of B by right regular representation (via inverse), HX = [A~(x)I | I(x)B~^T], HZ = [I(x)B~^T-blocks | A~^T-blocks]. Paper reports [[1500,81,<=pd]] at t=30; this is the same protograph at a smaller lift. Distance is an upper bound from the kit's randomized witness search.", "references": [ "arXiv:2606.24808" ], "date": "2026-09-14", "notes": "Construction family and protograph published in arXiv:2606.24808 (R3EliteP01 at t=30, reported [[1500,81,<=18]]); this entry is the same protograph at a new, smaller lift (t=10), a parameter point the paper does not tabulate; literature novelty of the parameter set unverified. Board dedup gate-checked: not an exact or WL-equivalent duplicate of any existing entry.", "model": "GLM 5.3 Flash", "origin": "submission" }, "family": "lifted-product" }