{ "schema_version": "0.1", "name": "[[300,28,<=8]] SCE-LP R3EliteP02 at t=6", "code_type": "CSS", "n": 300, "k": 28, "checks": { "X": [ [ 1, 48, 97, 144, 203, 212, 221 ], [ 0, 49, 96, 145, 202, 213, 220 ], [ 3, 50, 99, 146, 193, 214, 223 ], [ 2, 51, 98, 147, 192, 215, 222 ], [ 5, 52, 101, 148, 195, 204, 225 ], [ 4, 53, 100, 149, 194, 205, 224 ], [ 7, 54, 103, 150, 197, 206, 227 ], [ 6, 55, 102, 151, 196, 207, 226 ], [ 9, 56, 105, 152, 199, 208, 217 ], [ 8, 57, 104, 153, 198, 209, 216 ], [ 11, 58, 107, 154, 201, 210, 219 ], [ 10, 59, 106, 155, 200, 211, 218 ], [ 13, 60, 109, 156, 194, 204, 226 ], [ 12, 61, 108, 157, 195, 205, 227 ], [ 15, 62, 111, 158, 196, 206, 216 ], [ 14, 63, 110, 159, 197, 207, 217 ], [ 17, 64, 113, 160, 198, 208, 218 ], [ 16, 65, 112, 161, 199, 209, 219 ], [ 19, 66, 115, 162, 200, 210, 220 ], [ 18, 67, 114, 163, 201, 211, 221 ], [ 21, 68, 117, 164, 202, 212, 222 ], [ 20, 69, 116, 165, 203, 213, 223 ], [ 23, 70, 119, 166, 192, 214, 224 ], [ 22, 71, 118, 167, 193, 215, 225 ], [ 25, 72, 121, 168, 197, 208, 221 ], [ 24, 73, 120, 169, 196, 209, 220 ], [ 27, 74, 123, 170, 199, 210, 223 ], [ 26, 75, 122, 171, 198, 211, 222 ], [ 29, 76, 125, 172, 201, 212, 225 ], [ 28, 77, 124, 173, 200, 213, 224 ], [ 31, 78, 127, 174, 203, 214, 227 ], [ 30, 79, 126, 175, 202, 215, 226 ], [ 33, 80, 129, 176, 193, 204, 217 ], [ 32, 81, 128, 177, 192, 205, 216 ], [ 35, 82, 131, 178, 195, 206, 219 ], [ 34, 83, 130, 179, 194, 207, 218 ], [ 37, 84, 133, 180, 198, 212, 216 ], [ 36, 85, 132, 181, 199, 213, 217 ], [ 39, 86, 135, 182, 200, 214, 218 ], [ 38, 87, 134, 183, 201, 215, 219 ], [ 41, 88, 137, 184, 202, 204, 220 ], [ 40, 89, 136, 185, 203, 205, 221 ], [ 43, 90, 139, 186, 192, 206, 222 ], [ 42, 91, 138, 187, 193, 207, 223 ], [ 45, 92, 141, 188, 194, 208, 224 ], [ 44, 93, 140, 189, 195, 209, 225 ], [ 47, 94, 143, 190, 196, 210, 226 ], [ 46, 95, 142, 191, 197, 211, 227 ], [ 0, 58, 104, 152, 239, 248, 257 ], [ 1, 59, 105, 153, 238, 249, 256 ], [ 2, 48, 106, 154, 229, 250, 259 ], [ 3, 49, 107, 155, 228, 251, 258 ], [ 4, 50, 96, 144, 231, 240, 261 ], [ 5, 51, 97, 145, 230, 241, 260 ], [ 6, 52, 98, 146, 233, 242, 263 ], [ 7, 53, 99, 147, 232, 243, 262 ], [ 8, 54, 100, 148, 235, 244, 253 ], [ 9, 55, 101, 149, 234, 245, 252 ], [ 10, 56, 102, 150, 237, 246, 255 ], [ 11, 57, 103, 151, 236, 247, 254 ], [ 12, 70, 116, 164, 230, 240, 262 ], [ 13, 71, 117, 165, 231, 241, 263 ], [ 14, 60, 118, 166, 232, 242, 252 ], [ 15, 61, 119, 167, 233, 243, 253 ], [ 16, 62, 108, 156, 234, 244, 254 ], [ 17, 63, 109, 157, 235, 245, 255 ], [ 18, 64, 110, 158, 236, 246, 256 ], [ 19, 65, 111, 159, 237, 247, 257 ], [ 20, 66, 112, 160, 238, 248, 258 ], [ 21, 67, 113, 161, 239, 249, 259 ], [ 22, 68, 114, 162, 228, 250, 260 ], [ 23, 69, 115, 163, 229, 251, 261 ], [ 24, 82, 128, 176, 233, 244, 257 ], [ 25, 83, 129, 177, 232, 245, 256 ], [ 26, 72, 130, 178, 235, 246, 259 ], [ 27, 73, 131, 179, 234, 247, 258 ], [ 28, 74, 120, 168, 237, 248, 261 ], [ 29, 75, 121, 169, 236, 249, 260 ], [ 30, 76, 122, 170, 239, 250, 263 ], [ 31, 77, 123, 171, 238, 251, 262 ], [ 32, 78, 124, 172, 229, 240, 253 ], [ 33, 79, 125, 173, 228, 241, 252 ], [ 34, 80, 126, 174, 231, 242, 255 ], [ 35, 81, 127, 175, 230, 243, 254 ], [ 36, 94, 140, 188, 234, 248, 252 ], [ 37, 95, 141, 189, 235, 249, 253 ], [ 38, 84, 142, 190, 236, 250, 254 ], [ 39, 85, 143, 191, 237, 251, 255 ], [ 40, 86, 132, 180, 238, 240, 256 ], [ 41, 87, 133, 181, 239, 241, 257 ], [ 42, 88, 134, 182, 228, 242, 258 ], [ 43, 89, 135, 183, 229, 243, 259 ], [ 44, 90, 136, 184, 230, 244, 260 ], [ 45, 91, 137, 185, 231, 245, 261 ], [ 46, 92, 138, 186, 232, 246, 262 ], [ 47, 93, 139, 187, 233, 247, 263 ], [ 1, 56, 103, 146, 275, 284, 293 ], [ 0, 57, 102, 147, 274, 285, 292 ], [ 3, 58, 105, 148, 265, 286, 295 ], [ 2, 59, 104, 149, 264, 287, 294 ], [ 5, 48, 107, 150, 267, 276, 297 ], [ 4, 49, 106, 151, 266, 277, 296 ], [ 7, 50, 97, 152, 269, 278, 299 ], [ 6, 51, 96, 153, 268, 279, 298 ], [ 9, 52, 99, 154, 271, 280, 289 ], [ 8, 53, 98, 155, 270, 281, 288 ], [ 11, 54, 101, 144, 273, 282, 291 ], [ 10, 55, 100, 145, 272, 283, 290 ], [ 13, 68, 115, 158, 266, 276, 298 ], [ 12, 69, 114, 159, 267, 277, 299 ], [ 15, 70, 117, 160, 268, 278, 288 ], [ 14, 71, 116, 161, 269, 279, 289 ], [ 17, 60, 119, 162, 270, 280, 290 ], [ 16, 61, 118, 163, 271, 281, 291 ], [ 19, 62, 109, 164, 272, 282, 292 ], [ 18, 63, 108, 165, 273, 283, 293 ], [ 21, 64, 111, 166, 274, 284, 294 ], [ 20, 65, 110, 167, 275, 285, 295 ], [ 23, 66, 113, 156, 264, 286, 296 ], [ 22, 67, 112, 157, 265, 287, 297 ], [ 25, 80, 127, 170, 269, 280, 293 ], [ 24, 81, 126, 171, 268, 281, 292 ], [ 27, 82, 129, 172, 271, 282, 295 ], [ 26, 83, 128, 173, 270, 283, 294 ], [ 29, 72, 131, 174, 273, 284, 297 ], [ 28, 73, 130, 175, 272, 285, 296 ], [ 31, 74, 121, 176, 275, 286, 299 ], [ 30, 75, 120, 177, 274, 287, 298 ], [ 33, 76, 123, 178, 265, 276, 289 ], [ 32, 77, 122, 179, 264, 277, 288 ], [ 35, 78, 125, 168, 267, 278, 291 ], [ 34, 79, 124, 169, 266, 279, 290 ], [ 37, 92, 139, 182, 270, 284, 288 ], [ 36, 93, 138, 183, 271, 285, 289 ], [ 39, 94, 141, 184, 272, 286, 290 ], [ 38, 95, 140, 185, 273, 287, 291 ], [ 41, 84, 143, 186, 274, 276, 292 ], [ 40, 85, 142, 187, 275, 277, 293 ], [ 43, 86, 133, 188, 264, 278, 294 ], [ 42, 87, 132, 189, 265, 279, 295 ], [ 45, 88, 135, 190, 266, 280, 296 ], [ 44, 89, 134, 191, 267, 281, 297 ], [ 47, 90, 137, 180, 268, 282, 298 ], [ 46, 91, 136, 181, 269, 283, 299 ] ], "Z": [ [ 3, 22, 33, 42, 193, 228, 265 ], [ 2, 23, 32, 43, 192, 229, 264 ], [ 5, 12, 35, 44, 195, 230, 267 ], [ 4, 13, 34, 45, 194, 231, 266 ], [ 7, 14, 25, 46, 197, 232, 269 ], [ 6, 15, 24, 47, 196, 233, 268 ], [ 9, 16, 27, 36, 199, 234, 271 ], [ 8, 17, 26, 37, 198, 235, 270 ], [ 11, 18, 29, 38, 201, 236, 273 ], [ 10, 19, 28, 39, 200, 237, 272 ], [ 1, 20, 31, 40, 203, 238, 275 ], [ 0, 21, 30, 41, 202, 239, 274 ], [ 4, 12, 32, 40, 205, 240, 277 ], [ 5, 13, 33, 41, 204, 241, 276 ], [ 6, 14, 34, 42, 207, 242, 279 ], [ 7, 15, 35, 43, 206, 243, 278 ], [ 8, 16, 24, 44, 209, 244, 281 ], [ 9, 17, 25, 45, 208, 245, 280 ], [ 10, 18, 26, 46, 211, 246, 283 ], [ 11, 19, 27, 47, 210, 247, 282 ], [ 0, 20, 28, 36, 213, 248, 285 ], [ 1, 21, 29, 37, 212, 249, 284 ], [ 2, 22, 30, 38, 215, 250, 287 ], [ 3, 23, 31, 39, 214, 251, 286 ], [ 9, 14, 33, 36, 217, 252, 289 ], [ 8, 15, 32, 37, 216, 253, 288 ], [ 11, 16, 35, 38, 219, 254, 291 ], [ 10, 17, 34, 39, 218, 255, 290 ], [ 1, 18, 25, 40, 221, 256, 293 ], [ 0, 19, 24, 41, 220, 257, 292 ], [ 3, 20, 27, 42, 223, 258, 295 ], [ 2, 21, 26, 43, 222, 259, 294 ], [ 5, 22, 29, 44, 225, 260, 297 ], [ 4, 23, 28, 45, 224, 261, 296 ], [ 7, 12, 31, 46, 227, 262, 299 ], [ 6, 13, 30, 47, 226, 263, 298 ], [ 51, 70, 81, 90, 192, 230, 268 ], [ 50, 71, 80, 91, 193, 231, 269 ], [ 53, 60, 83, 92, 194, 232, 270 ], [ 52, 61, 82, 93, 195, 233, 271 ], [ 55, 62, 73, 94, 196, 234, 272 ], [ 54, 63, 72, 95, 197, 235, 273 ], [ 57, 64, 75, 84, 198, 236, 274 ], [ 56, 65, 74, 85, 199, 237, 275 ], [ 59, 66, 77, 86, 200, 238, 264 ], [ 58, 67, 76, 87, 201, 239, 265 ], [ 49, 68, 79, 88, 202, 228, 266 ], [ 48, 69, 78, 89, 203, 229, 267 ], [ 52, 60, 80, 88, 204, 242, 280 ], [ 53, 61, 81, 89, 205, 243, 281 ], [ 54, 62, 82, 90, 206, 244, 282 ], [ 55, 63, 83, 91, 207, 245, 283 ], [ 56, 64, 72, 92, 208, 246, 284 ], [ 57, 65, 73, 93, 209, 247, 285 ], [ 58, 66, 74, 94, 210, 248, 286 ], [ 59, 67, 75, 95, 211, 249, 287 ], [ 48, 68, 76, 84, 212, 250, 276 ], [ 49, 69, 77, 85, 213, 251, 277 ], [ 50, 70, 78, 86, 214, 240, 278 ], [ 51, 71, 79, 87, 215, 241, 279 ], [ 57, 62, 81, 84, 216, 254, 292 ], [ 56, 63, 80, 85, 217, 255, 293 ], [ 59, 64, 83, 86, 218, 256, 294 ], [ 58, 65, 82, 87, 219, 257, 295 ], [ 49, 66, 73, 88, 220, 258, 296 ], [ 48, 67, 72, 89, 221, 259, 297 ], [ 51, 68, 75, 90, 222, 260, 298 ], [ 50, 69, 74, 91, 223, 261, 299 ], [ 53, 70, 77, 92, 224, 262, 288 ], [ 52, 71, 76, 93, 225, 263, 289 ], [ 55, 60, 79, 94, 226, 252, 290 ], [ 54, 61, 78, 95, 227, 253, 291 ], [ 99, 118, 129, 138, 193, 232, 271 ], [ 98, 119, 128, 139, 192, 233, 270 ], [ 101, 108, 131, 140, 195, 234, 273 ], [ 100, 109, 130, 141, 194, 235, 272 ], [ 103, 110, 121, 142, 197, 236, 275 ], [ 102, 111, 120, 143, 196, 237, 274 ], [ 105, 112, 123, 132, 199, 238, 265 ], [ 104, 113, 122, 133, 198, 239, 264 ], [ 107, 114, 125, 134, 201, 228, 267 ], [ 106, 115, 124, 135, 200, 229, 266 ], [ 97, 116, 127, 136, 203, 230, 269 ], [ 96, 117, 126, 137, 202, 231, 268 ], [ 100, 108, 128, 136, 205, 244, 283 ], [ 101, 109, 129, 137, 204, 245, 282 ], [ 102, 110, 130, 138, 207, 246, 285 ], [ 103, 111, 131, 139, 206, 247, 284 ], [ 104, 112, 120, 140, 209, 248, 287 ], [ 105, 113, 121, 141, 208, 249, 286 ], [ 106, 114, 122, 142, 211, 250, 277 ], [ 107, 115, 123, 143, 210, 251, 276 ], [ 96, 116, 124, 132, 213, 240, 279 ], [ 97, 117, 125, 133, 212, 241, 278 ], [ 98, 118, 126, 134, 215, 242, 281 ], [ 99, 119, 127, 135, 214, 243, 280 ], [ 105, 110, 129, 132, 217, 256, 295 ], [ 104, 111, 128, 133, 216, 257, 294 ], [ 107, 112, 131, 134, 219, 258, 297 ], [ 106, 113, 130, 135, 218, 259, 296 ], [ 97, 114, 121, 136, 221, 260, 299 ], [ 96, 115, 120, 137, 220, 261, 298 ], [ 99, 116, 123, 138, 223, 262, 289 ], [ 98, 117, 122, 139, 222, 263, 288 ], [ 101, 118, 125, 140, 225, 252, 291 ], [ 100, 119, 124, 141, 224, 253, 290 ], [ 103, 108, 127, 142, 227, 254, 293 ], [ 102, 109, 126, 143, 226, 255, 292 ], [ 147, 166, 177, 186, 192, 232, 274 ], [ 146, 167, 176, 187, 193, 233, 275 ], [ 149, 156, 179, 188, 194, 234, 264 ], [ 148, 157, 178, 189, 195, 235, 265 ], [ 151, 158, 169, 190, 196, 236, 266 ], [ 150, 159, 168, 191, 197, 237, 267 ], [ 153, 160, 171, 180, 198, 238, 268 ], [ 152, 161, 170, 181, 199, 239, 269 ], [ 155, 162, 173, 182, 200, 228, 270 ], [ 154, 163, 172, 183, 201, 229, 271 ], [ 145, 164, 175, 184, 202, 230, 272 ], [ 144, 165, 174, 185, 203, 231, 273 ], [ 148, 156, 176, 184, 204, 244, 286 ], [ 149, 157, 177, 185, 205, 245, 287 ], [ 150, 158, 178, 186, 206, 246, 276 ], [ 151, 159, 179, 187, 207, 247, 277 ], [ 152, 160, 168, 188, 208, 248, 278 ], [ 153, 161, 169, 189, 209, 249, 279 ], [ 154, 162, 170, 190, 210, 250, 280 ], [ 155, 163, 171, 191, 211, 251, 281 ], [ 144, 164, 172, 180, 212, 240, 282 ], [ 145, 165, 173, 181, 213, 241, 283 ], [ 146, 166, 174, 182, 214, 242, 284 ], [ 147, 167, 175, 183, 215, 243, 285 ], [ 153, 158, 177, 180, 216, 256, 298 ], [ 152, 159, 176, 181, 217, 257, 299 ], [ 155, 160, 179, 182, 218, 258, 288 ], [ 154, 161, 178, 183, 219, 259, 289 ], [ 145, 162, 169, 184, 220, 260, 290 ], [ 144, 163, 168, 185, 221, 261, 291 ], [ 147, 164, 171, 186, 222, 262, 292 ], [ 146, 165, 170, 187, 223, 263, 293 ], [ 149, 166, 173, 188, 224, 252, 294 ], [ 148, 167, 172, 189, 225, 253, 295 ], [ 151, 156, 175, 190, 226, 254, 296 ], [ 150, 157, 174, 191, 227, 255, 297 ] ] }, "distance": { "d": 8, "X": { "value": 8, "confidence": "upper_bound", "witness": [ 51, 57, 76, 82, 84, 87, 90, 93 ] }, "Z": { "value": 8, "confidence": "upper_bound", "witness": [ 2, 8, 52, 58, 98, 104, 148, 154 ] } }, "provenance": { "authors": [ "@mathysrennela" ], "construction": "Lifted product over Z_t x Z_2 (|G|=12), protograph A (3x4), B (3x4) taken from arXiv:2606.24808 Table 1 (R3EliteP02, an SCE search elite), with the paper's exponents reduced modulo the family parameter t=6 to fit the board's n<=700 cap (n = (nA*nB + mA*mB)*|G| = 25*12 = 300). 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,76,<=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 (R3EliteP02 at t=30, reported [[1500,76,<=20]]); this entry is the same protograph at a new, smaller lift (t=6), 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" }