{ "schema_version": "0.1", "name": "[[416,39,6]] weight-5 cyclic lifted-product code", "code_type": "CSS", "n": 416, "k": 39, "checks": { "X": [ [ 0, 96, 192, 288, 320 ], [ 1, 97, 193, 289, 321 ], [ 2, 98, 194, 290, 322 ], [ 3, 99, 195, 291, 323 ], [ 4, 100, 196, 292, 324 ], [ 5, 101, 197, 293, 325 ], [ 6, 102, 198, 294, 326 ], [ 7, 103, 199, 295, 327 ], [ 8, 104, 200, 296, 328 ], [ 9, 105, 201, 297, 329 ], [ 10, 106, 202, 298, 330 ], [ 11, 107, 203, 299, 331 ], [ 12, 108, 204, 300, 332 ], [ 13, 109, 205, 301, 333 ], [ 14, 110, 206, 302, 334 ], [ 15, 111, 207, 303, 335 ], [ 16, 112, 208, 304, 336 ], [ 17, 113, 209, 305, 337 ], [ 18, 114, 210, 306, 338 ], [ 19, 115, 211, 307, 339 ], [ 20, 116, 212, 308, 340 ], [ 21, 117, 213, 309, 341 ], [ 22, 118, 214, 310, 342 ], [ 23, 119, 215, 311, 343 ], [ 24, 120, 216, 312, 344 ], [ 25, 121, 217, 313, 345 ], [ 26, 122, 218, 314, 346 ], [ 27, 123, 219, 315, 347 ], [ 28, 124, 220, 316, 348 ], [ 29, 125, 221, 317, 349 ], [ 30, 126, 222, 318, 350 ], [ 31, 127, 223, 319, 351 ], [ 32, 128, 224, 288, 329 ], [ 33, 129, 225, 289, 330 ], [ 34, 130, 226, 290, 331 ], [ 35, 131, 227, 291, 332 ], [ 36, 132, 228, 292, 333 ], [ 37, 133, 229, 293, 334 ], [ 38, 134, 230, 294, 335 ], [ 39, 135, 231, 295, 336 ], [ 40, 136, 232, 296, 337 ], [ 41, 137, 233, 297, 338 ], [ 42, 138, 234, 298, 339 ], [ 43, 139, 235, 299, 340 ], [ 44, 140, 236, 300, 341 ], [ 45, 141, 237, 301, 342 ], [ 46, 142, 238, 302, 343 ], [ 47, 143, 239, 303, 344 ], [ 48, 144, 240, 304, 345 ], [ 49, 145, 241, 305, 346 ], [ 50, 146, 242, 306, 347 ], [ 51, 147, 243, 307, 348 ], [ 52, 148, 244, 308, 349 ], [ 53, 149, 245, 309, 350 ], [ 54, 150, 246, 310, 351 ], [ 55, 151, 247, 311, 320 ], [ 56, 152, 248, 312, 321 ], [ 57, 153, 249, 313, 322 ], [ 58, 154, 250, 314, 323 ], [ 59, 155, 251, 315, 324 ], [ 60, 156, 252, 316, 325 ], [ 61, 157, 253, 317, 326 ], [ 62, 158, 254, 318, 327 ], [ 63, 159, 255, 319, 328 ], [ 64, 160, 256, 288, 331 ], [ 65, 161, 257, 289, 332 ], [ 66, 162, 258, 290, 333 ], [ 67, 163, 259, 291, 334 ], [ 68, 164, 260, 292, 335 ], [ 69, 165, 261, 293, 336 ], [ 70, 166, 262, 294, 337 ], [ 71, 167, 263, 295, 338 ], [ 72, 168, 264, 296, 339 ], [ 73, 169, 265, 297, 340 ], [ 74, 170, 266, 298, 341 ], [ 75, 171, 267, 299, 342 ], [ 76, 172, 268, 300, 343 ], [ 77, 173, 269, 301, 344 ], [ 78, 174, 270, 302, 345 ], [ 79, 175, 271, 303, 346 ], [ 80, 176, 272, 304, 347 ], [ 81, 177, 273, 305, 348 ], [ 82, 178, 274, 306, 349 ], [ 83, 179, 275, 307, 350 ], [ 84, 180, 276, 308, 351 ], [ 85, 181, 277, 309, 320 ], [ 86, 182, 278, 310, 321 ], [ 87, 183, 279, 311, 322 ], [ 88, 184, 280, 312, 323 ], [ 89, 185, 281, 313, 324 ], [ 90, 186, 282, 314, 325 ], [ 91, 187, 283, 315, 326 ], [ 92, 188, 284, 316, 327 ], [ 93, 189, 285, 317, 328 ], [ 94, 190, 286, 318, 329 ], [ 95, 191, 287, 319, 330 ], [ 0, 124, 200, 352, 384 ], [ 1, 125, 201, 353, 385 ], [ 2, 126, 202, 354, 386 ], [ 3, 127, 203, 355, 387 ], [ 4, 96, 204, 356, 388 ], [ 5, 97, 205, 357, 389 ], [ 6, 98, 206, 358, 390 ], [ 7, 99, 207, 359, 391 ], [ 8, 100, 208, 360, 392 ], [ 9, 101, 209, 361, 393 ], [ 10, 102, 210, 362, 394 ], [ 11, 103, 211, 363, 395 ], [ 12, 104, 212, 364, 396 ], [ 13, 105, 213, 365, 397 ], [ 14, 106, 214, 366, 398 ], [ 15, 107, 215, 367, 399 ], [ 16, 108, 216, 368, 400 ], [ 17, 109, 217, 369, 401 ], [ 18, 110, 218, 370, 402 ], [ 19, 111, 219, 371, 403 ], [ 20, 112, 220, 372, 404 ], [ 21, 113, 221, 373, 405 ], [ 22, 114, 222, 374, 406 ], [ 23, 115, 223, 375, 407 ], [ 24, 116, 192, 376, 408 ], [ 25, 117, 193, 377, 409 ], [ 26, 118, 194, 378, 410 ], [ 27, 119, 195, 379, 411 ], [ 28, 120, 196, 380, 412 ], [ 29, 121, 197, 381, 413 ], [ 30, 122, 198, 382, 414 ], [ 31, 123, 199, 383, 415 ], [ 32, 156, 232, 352, 393 ], [ 33, 157, 233, 353, 394 ], [ 34, 158, 234, 354, 395 ], [ 35, 159, 235, 355, 396 ], [ 36, 128, 236, 356, 397 ], [ 37, 129, 237, 357, 398 ], [ 38, 130, 238, 358, 399 ], [ 39, 131, 239, 359, 400 ], [ 40, 132, 240, 360, 401 ], [ 41, 133, 241, 361, 402 ], [ 42, 134, 242, 362, 403 ], [ 43, 135, 243, 363, 404 ], [ 44, 136, 244, 364, 405 ], [ 45, 137, 245, 365, 406 ], [ 46, 138, 246, 366, 407 ], [ 47, 139, 247, 367, 408 ], [ 48, 140, 248, 368, 409 ], [ 49, 141, 249, 369, 410 ], [ 50, 142, 250, 370, 411 ], [ 51, 143, 251, 371, 412 ], [ 52, 144, 252, 372, 413 ], [ 53, 145, 253, 373, 414 ], [ 54, 146, 254, 374, 415 ], [ 55, 147, 255, 375, 384 ], [ 56, 148, 224, 376, 385 ], [ 57, 149, 225, 377, 386 ], [ 58, 150, 226, 378, 387 ], [ 59, 151, 227, 379, 388 ], [ 60, 152, 228, 380, 389 ], [ 61, 153, 229, 381, 390 ], [ 62, 154, 230, 382, 391 ], [ 63, 155, 231, 383, 392 ], [ 64, 188, 264, 352, 395 ], [ 65, 189, 265, 353, 396 ], [ 66, 190, 266, 354, 397 ], [ 67, 191, 267, 355, 398 ], [ 68, 160, 268, 356, 399 ], [ 69, 161, 269, 357, 400 ], [ 70, 162, 270, 358, 401 ], [ 71, 163, 271, 359, 402 ], [ 72, 164, 272, 360, 403 ], [ 73, 165, 273, 361, 404 ], [ 74, 166, 274, 362, 405 ], [ 75, 167, 275, 363, 406 ], [ 76, 168, 276, 364, 407 ], [ 77, 169, 277, 365, 408 ], [ 78, 170, 278, 366, 409 ], [ 79, 171, 279, 367, 410 ], [ 80, 172, 280, 368, 411 ], [ 81, 173, 281, 369, 412 ], [ 82, 174, 282, 370, 413 ], [ 83, 175, 283, 371, 414 ], [ 84, 176, 284, 372, 415 ], [ 85, 177, 285, 373, 384 ], [ 86, 178, 286, 374, 385 ], [ 87, 179, 287, 375, 386 ], [ 88, 180, 256, 376, 387 ], [ 89, 181, 257, 377, 388 ], [ 90, 182, 258, 378, 389 ], [ 91, 183, 259, 379, 390 ], [ 92, 184, 260, 380, 391 ], [ 93, 185, 261, 381, 392 ], [ 94, 186, 262, 382, 393 ], [ 95, 187, 263, 383, 394 ] ], "Z": [ [ 0, 32, 64, 288, 352 ], [ 1, 33, 65, 289, 353 ], [ 2, 34, 66, 290, 354 ], [ 3, 35, 67, 291, 355 ], [ 4, 36, 68, 292, 356 ], [ 5, 37, 69, 293, 357 ], [ 6, 38, 70, 294, 358 ], [ 7, 39, 71, 295, 359 ], [ 8, 40, 72, 296, 360 ], [ 9, 41, 73, 297, 361 ], [ 10, 42, 74, 298, 362 ], [ 11, 43, 75, 299, 363 ], [ 12, 44, 76, 300, 364 ], [ 13, 45, 77, 301, 365 ], [ 14, 46, 78, 302, 366 ], [ 15, 47, 79, 303, 367 ], [ 16, 48, 80, 304, 368 ], [ 17, 49, 81, 305, 369 ], [ 18, 50, 82, 306, 370 ], [ 19, 51, 83, 307, 371 ], [ 20, 52, 84, 308, 372 ], [ 21, 53, 85, 309, 373 ], [ 22, 54, 86, 310, 374 ], [ 23, 55, 87, 311, 375 ], [ 24, 56, 88, 312, 376 ], [ 25, 57, 89, 313, 377 ], [ 26, 58, 90, 314, 378 ], [ 27, 59, 91, 315, 379 ], [ 28, 60, 92, 316, 380 ], [ 29, 61, 93, 317, 381 ], [ 30, 62, 94, 318, 382 ], [ 31, 63, 95, 319, 383 ], [ 0, 55, 85, 320, 384 ], [ 1, 56, 86, 321, 385 ], [ 2, 57, 87, 322, 386 ], [ 3, 58, 88, 323, 387 ], [ 4, 59, 89, 324, 388 ], [ 5, 60, 90, 325, 389 ], [ 6, 61, 91, 326, 390 ], [ 7, 62, 92, 327, 391 ], [ 8, 63, 93, 328, 392 ], [ 9, 32, 94, 329, 393 ], [ 10, 33, 95, 330, 394 ], [ 11, 34, 64, 331, 395 ], [ 12, 35, 65, 332, 396 ], [ 13, 36, 66, 333, 397 ], [ 14, 37, 67, 334, 398 ], [ 15, 38, 68, 335, 399 ], [ 16, 39, 69, 336, 400 ], [ 17, 40, 70, 337, 401 ], [ 18, 41, 71, 338, 402 ], [ 19, 42, 72, 339, 403 ], [ 20, 43, 73, 340, 404 ], [ 21, 44, 74, 341, 405 ], [ 22, 45, 75, 342, 406 ], [ 23, 46, 76, 343, 407 ], [ 24, 47, 77, 344, 408 ], [ 25, 48, 78, 345, 409 ], [ 26, 49, 79, 346, 410 ], [ 27, 50, 80, 347, 411 ], [ 28, 51, 81, 348, 412 ], [ 29, 52, 82, 349, 413 ], [ 30, 53, 83, 350, 414 ], [ 31, 54, 84, 351, 415 ], [ 96, 128, 160, 288, 356 ], [ 97, 129, 161, 289, 357 ], [ 98, 130, 162, 290, 358 ], [ 99, 131, 163, 291, 359 ], [ 100, 132, 164, 292, 360 ], [ 101, 133, 165, 293, 361 ], [ 102, 134, 166, 294, 362 ], [ 103, 135, 167, 295, 363 ], [ 104, 136, 168, 296, 364 ], [ 105, 137, 169, 297, 365 ], [ 106, 138, 170, 298, 366 ], [ 107, 139, 171, 299, 367 ], [ 108, 140, 172, 300, 368 ], [ 109, 141, 173, 301, 369 ], [ 110, 142, 174, 302, 370 ], [ 111, 143, 175, 303, 371 ], [ 112, 144, 176, 304, 372 ], [ 113, 145, 177, 305, 373 ], [ 114, 146, 178, 306, 374 ], [ 115, 147, 179, 307, 375 ], [ 116, 148, 180, 308, 376 ], [ 117, 149, 181, 309, 377 ], [ 118, 150, 182, 310, 378 ], [ 119, 151, 183, 311, 379 ], [ 120, 152, 184, 312, 380 ], [ 121, 153, 185, 313, 381 ], [ 122, 154, 186, 314, 382 ], [ 123, 155, 187, 315, 383 ], [ 124, 156, 188, 316, 352 ], [ 125, 157, 189, 317, 353 ], [ 126, 158, 190, 318, 354 ], [ 127, 159, 191, 319, 355 ], [ 96, 151, 181, 320, 388 ], [ 97, 152, 182, 321, 389 ], [ 98, 153, 183, 322, 390 ], [ 99, 154, 184, 323, 391 ], [ 100, 155, 185, 324, 392 ], [ 101, 156, 186, 325, 393 ], [ 102, 157, 187, 326, 394 ], [ 103, 158, 188, 327, 395 ], [ 104, 159, 189, 328, 396 ], [ 105, 128, 190, 329, 397 ], [ 106, 129, 191, 330, 398 ], [ 107, 130, 160, 331, 399 ], [ 108, 131, 161, 332, 400 ], [ 109, 132, 162, 333, 401 ], [ 110, 133, 163, 334, 402 ], [ 111, 134, 164, 335, 403 ], [ 112, 135, 165, 336, 404 ], [ 113, 136, 166, 337, 405 ], [ 114, 137, 167, 338, 406 ], [ 115, 138, 168, 339, 407 ], [ 116, 139, 169, 340, 408 ], [ 117, 140, 170, 341, 409 ], [ 118, 141, 171, 342, 410 ], [ 119, 142, 172, 343, 411 ], [ 120, 143, 173, 344, 412 ], [ 121, 144, 174, 345, 413 ], [ 122, 145, 175, 346, 414 ], [ 123, 146, 176, 347, 415 ], [ 124, 147, 177, 348, 384 ], [ 125, 148, 178, 349, 385 ], [ 126, 149, 179, 350, 386 ], [ 127, 150, 180, 351, 387 ], [ 192, 224, 256, 288, 376 ], [ 193, 225, 257, 289, 377 ], [ 194, 226, 258, 290, 378 ], [ 195, 227, 259, 291, 379 ], [ 196, 228, 260, 292, 380 ], [ 197, 229, 261, 293, 381 ], [ 198, 230, 262, 294, 382 ], [ 199, 231, 263, 295, 383 ], [ 200, 232, 264, 296, 352 ], [ 201, 233, 265, 297, 353 ], [ 202, 234, 266, 298, 354 ], [ 203, 235, 267, 299, 355 ], [ 204, 236, 268, 300, 356 ], [ 205, 237, 269, 301, 357 ], [ 206, 238, 270, 302, 358 ], [ 207, 239, 271, 303, 359 ], [ 208, 240, 272, 304, 360 ], [ 209, 241, 273, 305, 361 ], [ 210, 242, 274, 306, 362 ], [ 211, 243, 275, 307, 363 ], [ 212, 244, 276, 308, 364 ], [ 213, 245, 277, 309, 365 ], [ 214, 246, 278, 310, 366 ], [ 215, 247, 279, 311, 367 ], [ 216, 248, 280, 312, 368 ], [ 217, 249, 281, 313, 369 ], [ 218, 250, 282, 314, 370 ], [ 219, 251, 283, 315, 371 ], [ 220, 252, 284, 316, 372 ], [ 221, 253, 285, 317, 373 ], [ 222, 254, 286, 318, 374 ], [ 223, 255, 287, 319, 375 ], [ 192, 247, 277, 320, 408 ], [ 193, 248, 278, 321, 409 ], [ 194, 249, 279, 322, 410 ], [ 195, 250, 280, 323, 411 ], [ 196, 251, 281, 324, 412 ], [ 197, 252, 282, 325, 413 ], [ 198, 253, 283, 326, 414 ], [ 199, 254, 284, 327, 415 ], [ 200, 255, 285, 328, 384 ], [ 201, 224, 286, 329, 385 ], [ 202, 225, 287, 330, 386 ], [ 203, 226, 256, 331, 387 ], [ 204, 227, 257, 332, 388 ], [ 205, 228, 258, 333, 389 ], [ 206, 229, 259, 334, 390 ], [ 207, 230, 260, 335, 391 ], [ 208, 231, 261, 336, 392 ], [ 209, 232, 262, 337, 393 ], [ 210, 233, 263, 338, 394 ], [ 211, 234, 264, 339, 395 ], [ 212, 235, 265, 340, 396 ], [ 213, 236, 266, 341, 397 ], [ 214, 237, 267, 342, 398 ], [ 215, 238, 268, 343, 399 ], [ 216, 239, 269, 344, 400 ], [ 217, 240, 270, 345, 401 ], [ 218, 241, 271, 346, 402 ], [ 219, 242, 272, 347, 403 ], [ 220, 243, 273, 348, 404 ], [ 221, 244, 274, 349, 405 ], [ 222, 245, 275, 350, 406 ], [ 223, 246, 276, 351, 407 ] ] }, "distance": { "d": 6, "X": { "value": 6, "confidence": "exact", "witness": [ 220, 222, 243, 254, 275, 284 ] }, "Z": { "value": 6, "confidence": "exact", "witness": [ 80, 92, 176, 184, 280, 284 ] } }, "provenance": { "authors": [ "@EshMis" ], "construction": "Lifted product over F_2[C_32], generator x. A=[[1,1,1],[1,x^4,x^24]], B=[[1,1,1],[1,x^9,x^11]]. Constructed with qLDPC v0.4.0 LPCode(A,B).", "references": [], "date": "2026-10-02", "notes": "Exact global distance 6 certified by the unchanged upstream SAT certifier on both sides, with weight-6 witnesses. New frontier point relative to board c2ebca1713c89277dbd6ddf3ee587cbf7f1a9d23. Wider literature novelty unverified. Local solver certification is distinct from a maintainer-confirmed exact badge.", "origin": "submission", "novelty": "unknown", "model": "GPT-6" }, "family": "lifted-product" }