{ "schema_version": "0.1", "name": "[[408,216,5]] 1x4 trinomial lifted product, check weight15", "code_type": "CSS", "n": 408, "k": 216, "checks": { "X": [ [ 0, 1, 2, 96, 97, 104, 192, 194, 198, 288, 291, 295, 384, 385, 386 ], [ 1, 2, 3, 97, 98, 105, 193, 195, 199, 289, 292, 296, 385, 386, 387 ], [ 2, 3, 4, 98, 99, 106, 194, 196, 200, 290, 293, 297, 386, 387, 388 ], [ 3, 4, 5, 99, 100, 107, 195, 197, 201, 291, 294, 298, 387, 388, 389 ], [ 4, 5, 6, 100, 101, 108, 196, 198, 202, 292, 295, 299, 388, 389, 390 ], [ 5, 6, 7, 101, 102, 109, 197, 199, 203, 293, 296, 300, 389, 390, 391 ], [ 6, 7, 8, 102, 103, 110, 198, 200, 204, 294, 297, 301, 390, 391, 392 ], [ 7, 8, 9, 103, 104, 111, 199, 201, 205, 295, 298, 302, 391, 392, 393 ], [ 8, 9, 10, 104, 105, 112, 200, 202, 206, 296, 299, 303, 392, 393, 394 ], [ 9, 10, 11, 105, 106, 113, 201, 203, 207, 297, 300, 304, 393, 394, 395 ], [ 10, 11, 12, 106, 107, 114, 202, 204, 208, 298, 301, 305, 394, 395, 396 ], [ 11, 12, 13, 107, 108, 115, 203, 205, 209, 299, 302, 306, 395, 396, 397 ], [ 12, 13, 14, 108, 109, 116, 204, 206, 210, 300, 303, 307, 396, 397, 398 ], [ 13, 14, 15, 109, 110, 117, 205, 207, 211, 301, 304, 308, 397, 398, 399 ], [ 14, 15, 16, 110, 111, 118, 206, 208, 212, 302, 305, 309, 398, 399, 400 ], [ 15, 16, 17, 111, 112, 119, 207, 209, 213, 303, 306, 310, 399, 400, 401 ], [ 16, 17, 18, 96, 112, 113, 208, 210, 214, 304, 307, 311, 400, 401, 402 ], [ 17, 18, 19, 97, 113, 114, 209, 211, 215, 288, 305, 308, 401, 402, 403 ], [ 18, 19, 20, 98, 114, 115, 192, 210, 212, 289, 306, 309, 402, 403, 404 ], [ 19, 20, 21, 99, 115, 116, 193, 211, 213, 290, 307, 310, 403, 404, 405 ], [ 20, 21, 22, 100, 116, 117, 194, 212, 214, 291, 308, 311, 404, 405, 406 ], [ 21, 22, 23, 101, 117, 118, 195, 213, 215, 288, 292, 309, 405, 406, 407 ], [ 0, 22, 23, 102, 118, 119, 192, 196, 214, 289, 293, 310, 384, 406, 407 ], [ 0, 1, 23, 96, 103, 119, 193, 197, 215, 290, 294, 311, 384, 385, 407 ], [ 24, 25, 26, 120, 121, 128, 216, 218, 222, 312, 315, 319, 384, 385, 392 ], [ 25, 26, 27, 121, 122, 129, 217, 219, 223, 313, 316, 320, 385, 386, 393 ], [ 26, 27, 28, 122, 123, 130, 218, 220, 224, 314, 317, 321, 386, 387, 394 ], [ 27, 28, 29, 123, 124, 131, 219, 221, 225, 315, 318, 322, 387, 388, 395 ], [ 28, 29, 30, 124, 125, 132, 220, 222, 226, 316, 319, 323, 388, 389, 396 ], [ 29, 30, 31, 125, 126, 133, 221, 223, 227, 317, 320, 324, 389, 390, 397 ], [ 30, 31, 32, 126, 127, 134, 222, 224, 228, 318, 321, 325, 390, 391, 398 ], [ 31, 32, 33, 127, 128, 135, 223, 225, 229, 319, 322, 326, 391, 392, 399 ], [ 32, 33, 34, 128, 129, 136, 224, 226, 230, 320, 323, 327, 392, 393, 400 ], [ 33, 34, 35, 129, 130, 137, 225, 227, 231, 321, 324, 328, 393, 394, 401 ], [ 34, 35, 36, 130, 131, 138, 226, 228, 232, 322, 325, 329, 394, 395, 402 ], [ 35, 36, 37, 131, 132, 139, 227, 229, 233, 323, 326, 330, 395, 396, 403 ], [ 36, 37, 38, 132, 133, 140, 228, 230, 234, 324, 327, 331, 396, 397, 404 ], [ 37, 38, 39, 133, 134, 141, 229, 231, 235, 325, 328, 332, 397, 398, 405 ], [ 38, 39, 40, 134, 135, 142, 230, 232, 236, 326, 329, 333, 398, 399, 406 ], [ 39, 40, 41, 135, 136, 143, 231, 233, 237, 327, 330, 334, 399, 400, 407 ], [ 40, 41, 42, 120, 136, 137, 232, 234, 238, 328, 331, 335, 384, 400, 401 ], [ 41, 42, 43, 121, 137, 138, 233, 235, 239, 312, 329, 332, 385, 401, 402 ], [ 42, 43, 44, 122, 138, 139, 216, 234, 236, 313, 330, 333, 386, 402, 403 ], [ 43, 44, 45, 123, 139, 140, 217, 235, 237, 314, 331, 334, 387, 403, 404 ], [ 44, 45, 46, 124, 140, 141, 218, 236, 238, 315, 332, 335, 388, 404, 405 ], [ 45, 46, 47, 125, 141, 142, 219, 237, 239, 312, 316, 333, 389, 405, 406 ], [ 24, 46, 47, 126, 142, 143, 216, 220, 238, 313, 317, 334, 390, 406, 407 ], [ 24, 25, 47, 120, 127, 143, 217, 221, 239, 314, 318, 335, 384, 391, 407 ], [ 48, 49, 50, 144, 145, 152, 240, 242, 246, 336, 339, 343, 384, 386, 390 ], [ 49, 50, 51, 145, 146, 153, 241, 243, 247, 337, 340, 344, 385, 387, 391 ], [ 50, 51, 52, 146, 147, 154, 242, 244, 248, 338, 341, 345, 386, 388, 392 ], [ 51, 52, 53, 147, 148, 155, 243, 245, 249, 339, 342, 346, 387, 389, 393 ], [ 52, 53, 54, 148, 149, 156, 244, 246, 250, 340, 343, 347, 388, 390, 394 ], [ 53, 54, 55, 149, 150, 157, 245, 247, 251, 341, 344, 348, 389, 391, 395 ], [ 54, 55, 56, 150, 151, 158, 246, 248, 252, 342, 345, 349, 390, 392, 396 ], [ 55, 56, 57, 151, 152, 159, 247, 249, 253, 343, 346, 350, 391, 393, 397 ], [ 56, 57, 58, 152, 153, 160, 248, 250, 254, 344, 347, 351, 392, 394, 398 ], [ 57, 58, 59, 153, 154, 161, 249, 251, 255, 345, 348, 352, 393, 395, 399 ], [ 58, 59, 60, 154, 155, 162, 250, 252, 256, 346, 349, 353, 394, 396, 400 ], [ 59, 60, 61, 155, 156, 163, 251, 253, 257, 347, 350, 354, 395, 397, 401 ], [ 60, 61, 62, 156, 157, 164, 252, 254, 258, 348, 351, 355, 396, 398, 402 ], [ 61, 62, 63, 157, 158, 165, 253, 255, 259, 349, 352, 356, 397, 399, 403 ], [ 62, 63, 64, 158, 159, 166, 254, 256, 260, 350, 353, 357, 398, 400, 404 ], [ 63, 64, 65, 159, 160, 167, 255, 257, 261, 351, 354, 358, 399, 401, 405 ], [ 64, 65, 66, 144, 160, 161, 256, 258, 262, 352, 355, 359, 400, 402, 406 ], [ 65, 66, 67, 145, 161, 162, 257, 259, 263, 336, 353, 356, 401, 403, 407 ], [ 66, 67, 68, 146, 162, 163, 240, 258, 260, 337, 354, 357, 384, 402, 404 ], [ 67, 68, 69, 147, 163, 164, 241, 259, 261, 338, 355, 358, 385, 403, 405 ], [ 68, 69, 70, 148, 164, 165, 242, 260, 262, 339, 356, 359, 386, 404, 406 ], [ 69, 70, 71, 149, 165, 166, 243, 261, 263, 336, 340, 357, 387, 405, 407 ], [ 48, 70, 71, 150, 166, 167, 240, 244, 262, 337, 341, 358, 384, 388, 406 ], [ 48, 49, 71, 144, 151, 167, 241, 245, 263, 338, 342, 359, 385, 389, 407 ], [ 72, 73, 74, 168, 169, 176, 264, 266, 270, 360, 363, 367, 384, 387, 391 ], [ 73, 74, 75, 169, 170, 177, 265, 267, 271, 361, 364, 368, 385, 388, 392 ], [ 74, 75, 76, 170, 171, 178, 266, 268, 272, 362, 365, 369, 386, 389, 393 ], [ 75, 76, 77, 171, 172, 179, 267, 269, 273, 363, 366, 370, 387, 390, 394 ], [ 76, 77, 78, 172, 173, 180, 268, 270, 274, 364, 367, 371, 388, 391, 395 ], [ 77, 78, 79, 173, 174, 181, 269, 271, 275, 365, 368, 372, 389, 392, 396 ], [ 78, 79, 80, 174, 175, 182, 270, 272, 276, 366, 369, 373, 390, 393, 397 ], [ 79, 80, 81, 175, 176, 183, 271, 273, 277, 367, 370, 374, 391, 394, 398 ], [ 80, 81, 82, 176, 177, 184, 272, 274, 278, 368, 371, 375, 392, 395, 399 ], [ 81, 82, 83, 177, 178, 185, 273, 275, 279, 369, 372, 376, 393, 396, 400 ], [ 82, 83, 84, 178, 179, 186, 274, 276, 280, 370, 373, 377, 394, 397, 401 ], [ 83, 84, 85, 179, 180, 187, 275, 277, 281, 371, 374, 378, 395, 398, 402 ], [ 84, 85, 86, 180, 181, 188, 276, 278, 282, 372, 375, 379, 396, 399, 403 ], [ 85, 86, 87, 181, 182, 189, 277, 279, 283, 373, 376, 380, 397, 400, 404 ], [ 86, 87, 88, 182, 183, 190, 278, 280, 284, 374, 377, 381, 398, 401, 405 ], [ 87, 88, 89, 183, 184, 191, 279, 281, 285, 375, 378, 382, 399, 402, 406 ], [ 88, 89, 90, 168, 184, 185, 280, 282, 286, 376, 379, 383, 400, 403, 407 ], [ 89, 90, 91, 169, 185, 186, 281, 283, 287, 360, 377, 380, 384, 401, 404 ], [ 90, 91, 92, 170, 186, 187, 264, 282, 284, 361, 378, 381, 385, 402, 405 ], [ 91, 92, 93, 171, 187, 188, 265, 283, 285, 362, 379, 382, 386, 403, 406 ], [ 92, 93, 94, 172, 188, 189, 266, 284, 286, 363, 380, 383, 387, 404, 407 ], [ 93, 94, 95, 173, 189, 190, 267, 285, 287, 360, 364, 381, 384, 388, 405 ], [ 72, 94, 95, 174, 190, 191, 264, 268, 286, 361, 365, 382, 385, 389, 406 ], [ 72, 73, 95, 168, 175, 191, 265, 269, 287, 362, 366, 383, 386, 390, 407 ] ], "Z": [ [ 0, 22, 23, 24, 40, 47, 48, 66, 70, 72, 89, 93, 384, 406, 407 ], [ 0, 1, 23, 24, 25, 41, 49, 67, 71, 73, 90, 94, 384, 385, 407 ], [ 0, 1, 2, 25, 26, 42, 48, 50, 68, 74, 91, 95, 384, 385, 386 ], [ 1, 2, 3, 26, 27, 43, 49, 51, 69, 72, 75, 92, 385, 386, 387 ], [ 2, 3, 4, 27, 28, 44, 50, 52, 70, 73, 76, 93, 386, 387, 388 ], [ 3, 4, 5, 28, 29, 45, 51, 53, 71, 74, 77, 94, 387, 388, 389 ], [ 4, 5, 6, 29, 30, 46, 48, 52, 54, 75, 78, 95, 388, 389, 390 ], [ 5, 6, 7, 30, 31, 47, 49, 53, 55, 72, 76, 79, 389, 390, 391 ], [ 6, 7, 8, 24, 31, 32, 50, 54, 56, 73, 77, 80, 390, 391, 392 ], [ 7, 8, 9, 25, 32, 33, 51, 55, 57, 74, 78, 81, 391, 392, 393 ], [ 8, 9, 10, 26, 33, 34, 52, 56, 58, 75, 79, 82, 392, 393, 394 ], [ 9, 10, 11, 27, 34, 35, 53, 57, 59, 76, 80, 83, 393, 394, 395 ], [ 10, 11, 12, 28, 35, 36, 54, 58, 60, 77, 81, 84, 394, 395, 396 ], [ 11, 12, 13, 29, 36, 37, 55, 59, 61, 78, 82, 85, 395, 396, 397 ], [ 12, 13, 14, 30, 37, 38, 56, 60, 62, 79, 83, 86, 396, 397, 398 ], [ 13, 14, 15, 31, 38, 39, 57, 61, 63, 80, 84, 87, 397, 398, 399 ], [ 14, 15, 16, 32, 39, 40, 58, 62, 64, 81, 85, 88, 398, 399, 400 ], [ 15, 16, 17, 33, 40, 41, 59, 63, 65, 82, 86, 89, 399, 400, 401 ], [ 16, 17, 18, 34, 41, 42, 60, 64, 66, 83, 87, 90, 400, 401, 402 ], [ 17, 18, 19, 35, 42, 43, 61, 65, 67, 84, 88, 91, 401, 402, 403 ], [ 18, 19, 20, 36, 43, 44, 62, 66, 68, 85, 89, 92, 402, 403, 404 ], [ 19, 20, 21, 37, 44, 45, 63, 67, 69, 86, 90, 93, 403, 404, 405 ], [ 20, 21, 22, 38, 45, 46, 64, 68, 70, 87, 91, 94, 404, 405, 406 ], [ 21, 22, 23, 39, 46, 47, 65, 69, 71, 88, 92, 95, 405, 406, 407 ], [ 96, 118, 119, 120, 136, 143, 144, 162, 166, 168, 185, 189, 384, 400, 407 ], [ 96, 97, 119, 120, 121, 137, 145, 163, 167, 169, 186, 190, 384, 385, 401 ], [ 96, 97, 98, 121, 122, 138, 144, 146, 164, 170, 187, 191, 385, 386, 402 ], [ 97, 98, 99, 122, 123, 139, 145, 147, 165, 168, 171, 188, 386, 387, 403 ], [ 98, 99, 100, 123, 124, 140, 146, 148, 166, 169, 172, 189, 387, 388, 404 ], [ 99, 100, 101, 124, 125, 141, 147, 149, 167, 170, 173, 190, 388, 389, 405 ], [ 100, 101, 102, 125, 126, 142, 144, 148, 150, 171, 174, 191, 389, 390, 406 ], [ 101, 102, 103, 126, 127, 143, 145, 149, 151, 168, 172, 175, 390, 391, 407 ], [ 102, 103, 104, 120, 127, 128, 146, 150, 152, 169, 173, 176, 384, 391, 392 ], [ 103, 104, 105, 121, 128, 129, 147, 151, 153, 170, 174, 177, 385, 392, 393 ], [ 104, 105, 106, 122, 129, 130, 148, 152, 154, 171, 175, 178, 386, 393, 394 ], [ 105, 106, 107, 123, 130, 131, 149, 153, 155, 172, 176, 179, 387, 394, 395 ], [ 106, 107, 108, 124, 131, 132, 150, 154, 156, 173, 177, 180, 388, 395, 396 ], [ 107, 108, 109, 125, 132, 133, 151, 155, 157, 174, 178, 181, 389, 396, 397 ], [ 108, 109, 110, 126, 133, 134, 152, 156, 158, 175, 179, 182, 390, 397, 398 ], [ 109, 110, 111, 127, 134, 135, 153, 157, 159, 176, 180, 183, 391, 398, 399 ], [ 110, 111, 112, 128, 135, 136, 154, 158, 160, 177, 181, 184, 392, 399, 400 ], [ 111, 112, 113, 129, 136, 137, 155, 159, 161, 178, 182, 185, 393, 400, 401 ], [ 112, 113, 114, 130, 137, 138, 156, 160, 162, 179, 183, 186, 394, 401, 402 ], [ 113, 114, 115, 131, 138, 139, 157, 161, 163, 180, 184, 187, 395, 402, 403 ], [ 114, 115, 116, 132, 139, 140, 158, 162, 164, 181, 185, 188, 396, 403, 404 ], [ 115, 116, 117, 133, 140, 141, 159, 163, 165, 182, 186, 189, 397, 404, 405 ], [ 116, 117, 118, 134, 141, 142, 160, 164, 166, 183, 187, 190, 398, 405, 406 ], [ 117, 118, 119, 135, 142, 143, 161, 165, 167, 184, 188, 191, 399, 406, 407 ], [ 192, 214, 215, 216, 232, 239, 240, 258, 262, 264, 281, 285, 384, 402, 406 ], [ 192, 193, 215, 216, 217, 233, 241, 259, 263, 265, 282, 286, 385, 403, 407 ], [ 192, 193, 194, 217, 218, 234, 240, 242, 260, 266, 283, 287, 384, 386, 404 ], [ 193, 194, 195, 218, 219, 235, 241, 243, 261, 264, 267, 284, 385, 387, 405 ], [ 194, 195, 196, 219, 220, 236, 242, 244, 262, 265, 268, 285, 386, 388, 406 ], [ 195, 196, 197, 220, 221, 237, 243, 245, 263, 266, 269, 286, 387, 389, 407 ], [ 196, 197, 198, 221, 222, 238, 240, 244, 246, 267, 270, 287, 384, 388, 390 ], [ 197, 198, 199, 222, 223, 239, 241, 245, 247, 264, 268, 271, 385, 389, 391 ], [ 198, 199, 200, 216, 223, 224, 242, 246, 248, 265, 269, 272, 386, 390, 392 ], [ 199, 200, 201, 217, 224, 225, 243, 247, 249, 266, 270, 273, 387, 391, 393 ], [ 200, 201, 202, 218, 225, 226, 244, 248, 250, 267, 271, 274, 388, 392, 394 ], [ 201, 202, 203, 219, 226, 227, 245, 249, 251, 268, 272, 275, 389, 393, 395 ], [ 202, 203, 204, 220, 227, 228, 246, 250, 252, 269, 273, 276, 390, 394, 396 ], [ 203, 204, 205, 221, 228, 229, 247, 251, 253, 270, 274, 277, 391, 395, 397 ], [ 204, 205, 206, 222, 229, 230, 248, 252, 254, 271, 275, 278, 392, 396, 398 ], [ 205, 206, 207, 223, 230, 231, 249, 253, 255, 272, 276, 279, 393, 397, 399 ], [ 206, 207, 208, 224, 231, 232, 250, 254, 256, 273, 277, 280, 394, 398, 400 ], [ 207, 208, 209, 225, 232, 233, 251, 255, 257, 274, 278, 281, 395, 399, 401 ], [ 208, 209, 210, 226, 233, 234, 252, 256, 258, 275, 279, 282, 396, 400, 402 ], [ 209, 210, 211, 227, 234, 235, 253, 257, 259, 276, 280, 283, 397, 401, 403 ], [ 210, 211, 212, 228, 235, 236, 254, 258, 260, 277, 281, 284, 398, 402, 404 ], [ 211, 212, 213, 229, 236, 237, 255, 259, 261, 278, 282, 285, 399, 403, 405 ], [ 212, 213, 214, 230, 237, 238, 256, 260, 262, 279, 283, 286, 400, 404, 406 ], [ 213, 214, 215, 231, 238, 239, 257, 261, 263, 280, 284, 287, 401, 405, 407 ], [ 288, 310, 311, 312, 328, 335, 336, 354, 358, 360, 377, 381, 384, 401, 405 ], [ 288, 289, 311, 312, 313, 329, 337, 355, 359, 361, 378, 382, 385, 402, 406 ], [ 288, 289, 290, 313, 314, 330, 336, 338, 356, 362, 379, 383, 386, 403, 407 ], [ 289, 290, 291, 314, 315, 331, 337, 339, 357, 360, 363, 380, 384, 387, 404 ], [ 290, 291, 292, 315, 316, 332, 338, 340, 358, 361, 364, 381, 385, 388, 405 ], [ 291, 292, 293, 316, 317, 333, 339, 341, 359, 362, 365, 382, 386, 389, 406 ], [ 292, 293, 294, 317, 318, 334, 336, 340, 342, 363, 366, 383, 387, 390, 407 ], [ 293, 294, 295, 318, 319, 335, 337, 341, 343, 360, 364, 367, 384, 388, 391 ], [ 294, 295, 296, 312, 319, 320, 338, 342, 344, 361, 365, 368, 385, 389, 392 ], [ 295, 296, 297, 313, 320, 321, 339, 343, 345, 362, 366, 369, 386, 390, 393 ], [ 296, 297, 298, 314, 321, 322, 340, 344, 346, 363, 367, 370, 387, 391, 394 ], [ 297, 298, 299, 315, 322, 323, 341, 345, 347, 364, 368, 371, 388, 392, 395 ], [ 298, 299, 300, 316, 323, 324, 342, 346, 348, 365, 369, 372, 389, 393, 396 ], [ 299, 300, 301, 317, 324, 325, 343, 347, 349, 366, 370, 373, 390, 394, 397 ], [ 300, 301, 302, 318, 325, 326, 344, 348, 350, 367, 371, 374, 391, 395, 398 ], [ 301, 302, 303, 319, 326, 327, 345, 349, 351, 368, 372, 375, 392, 396, 399 ], [ 302, 303, 304, 320, 327, 328, 346, 350, 352, 369, 373, 376, 393, 397, 400 ], [ 303, 304, 305, 321, 328, 329, 347, 351, 353, 370, 374, 377, 394, 398, 401 ], [ 304, 305, 306, 322, 329, 330, 348, 352, 354, 371, 375, 378, 395, 399, 402 ], [ 305, 306, 307, 323, 330, 331, 349, 353, 355, 372, 376, 379, 396, 400, 403 ], [ 306, 307, 308, 324, 331, 332, 350, 354, 356, 373, 377, 380, 397, 401, 404 ], [ 307, 308, 309, 325, 332, 333, 351, 355, 357, 374, 378, 381, 398, 402, 405 ], [ 308, 309, 310, 326, 333, 334, 352, 356, 358, 375, 379, 382, 399, 403, 406 ], [ 309, 310, 311, 327, 334, 335, 353, 357, 359, 376, 380, 383, 400, 404, 407 ] ] }, "distance": { "d": 5, "X": { "value": 5, "confidence": "upper_bound", "witness": [ 0, 120, 240, 360, 384 ] }, "Z": { "value": 5, "confidence": "upper_bound", "witness": [ 0, 120, 240, 360, 384 ] } }, "provenance": { "authors": [ "@hirobumii" ], "construction": "G=C24, product x+y modulo24. L_g[t,u]=1 iff u=g+t; R_h[t,u]=1 iff u=t+h. A is1x4 with support triples[[0, 1, 2], [0, 1, 8], [0, 2, 6], [0, 3, 7]]; B is1x4 with support triples[[0, 1, 2], [0, 1, 8], [0, 2, 6], [0, 3, 7]]; sum the corresponding left or right permutation matrices overF2. Sixteen VV(k,j) blocks indexed4*k+j precede one CC block, eachsize24. X(j) places A(k) on VV(k,j) and B(j) on CC. Z(k) places B(j)^T on VV(k,j) and A(k)^T on CC. All96 original rows in each sector are independent and retained.", "references": [ "https://arxiv.org/abs/2111.03654", "https://arxiv.org/abs/2607.28795" ], "date": "2026-10-17", "notes": "Displayed presentation: maximum check weight 15, maximum qubit degree 24, 192 checks and total incidence 2880.", "model": "GPT-6 Astra + GPT-6.1 Sol (recorded multi-agent configuration)" }, "family": "lifted-product" }