{ "schema_version": "0.1", "name": "[[510,278,8]] rank-deficient C30 quartic cross product, w20 D31", "code_type": "CSS", "n": 510, "k": 278, "checks": { "X": [ [ 1, 2, 3, 7, 121, 122, 129, 133, 241, 244, 247, 255, 361, 367, 370, 377, 481, 485, 486, 487 ], [ 2, 3, 4, 8, 122, 123, 130, 134, 242, 245, 248, 256, 362, 368, 371, 378, 482, 486, 487, 488 ], [ 3, 4, 5, 9, 123, 124, 131, 135, 243, 246, 249, 257, 363, 369, 372, 379, 483, 487, 488, 489 ], [ 4, 5, 6, 10, 124, 125, 132, 136, 244, 247, 250, 258, 364, 370, 373, 380, 484, 488, 489, 490 ], [ 5, 6, 7, 11, 125, 126, 133, 137, 245, 248, 251, 259, 365, 371, 374, 381, 485, 489, 490, 491 ], [ 6, 7, 8, 12, 126, 127, 134, 138, 246, 249, 252, 260, 366, 372, 375, 382, 486, 490, 491, 492 ], [ 7, 8, 9, 13, 127, 128, 135, 139, 247, 250, 253, 261, 367, 373, 376, 383, 487, 491, 492, 493 ], [ 8, 9, 10, 14, 128, 129, 136, 140, 248, 251, 254, 262, 368, 374, 377, 384, 488, 492, 493, 494 ], [ 9, 10, 11, 15, 129, 130, 137, 141, 249, 252, 255, 263, 369, 375, 378, 385, 489, 493, 494, 495 ], [ 10, 11, 12, 16, 130, 131, 138, 142, 250, 253, 256, 264, 370, 376, 379, 386, 490, 494, 495, 496 ], [ 11, 12, 13, 17, 131, 132, 139, 143, 251, 254, 257, 265, 371, 377, 380, 387, 491, 495, 496, 497 ], [ 12, 13, 14, 18, 132, 133, 140, 144, 252, 255, 258, 266, 372, 378, 381, 388, 492, 496, 497, 498 ], [ 13, 14, 15, 19, 133, 134, 141, 145, 253, 256, 259, 267, 373, 379, 382, 389, 493, 497, 498, 499 ], [ 14, 15, 16, 20, 134, 135, 142, 146, 254, 257, 260, 268, 360, 374, 380, 383, 494, 498, 499, 500 ], [ 15, 16, 17, 21, 135, 136, 143, 147, 255, 258, 261, 269, 361, 375, 381, 384, 495, 499, 500, 501 ], [ 16, 17, 18, 22, 136, 137, 144, 148, 240, 256, 259, 262, 362, 376, 382, 385, 496, 500, 501, 502 ], [ 17, 18, 19, 23, 137, 138, 145, 149, 241, 257, 260, 263, 363, 377, 383, 386, 497, 501, 502, 503 ], [ 18, 19, 20, 24, 120, 138, 139, 146, 242, 258, 261, 264, 364, 378, 384, 387, 498, 502, 503, 504 ], [ 19, 20, 21, 25, 121, 139, 140, 147, 243, 259, 262, 265, 365, 379, 385, 388, 499, 503, 504, 505 ], [ 20, 21, 22, 26, 122, 140, 141, 148, 244, 260, 263, 266, 366, 380, 386, 389, 500, 504, 505, 506 ], [ 21, 22, 23, 27, 123, 141, 142, 149, 245, 261, 264, 267, 360, 367, 381, 387, 501, 505, 506, 507 ], [ 22, 23, 24, 28, 120, 124, 142, 143, 246, 262, 265, 268, 361, 368, 382, 388, 502, 506, 507, 508 ], [ 23, 24, 25, 29, 121, 125, 143, 144, 247, 263, 266, 269, 362, 369, 383, 389, 503, 507, 508, 509 ], [ 0, 24, 25, 26, 122, 126, 144, 145, 240, 248, 264, 267, 360, 363, 370, 384, 480, 504, 508, 509 ], [ 1, 25, 26, 27, 123, 127, 145, 146, 241, 249, 265, 268, 361, 364, 371, 385, 480, 481, 505, 509 ], [ 2, 26, 27, 28, 124, 128, 146, 147, 242, 250, 266, 269, 362, 365, 372, 386, 480, 481, 482, 506 ], [ 3, 27, 28, 29, 125, 129, 147, 148, 240, 243, 251, 267, 363, 366, 373, 387, 481, 482, 483, 507 ], [ 0, 4, 28, 29, 126, 130, 148, 149, 241, 244, 252, 268, 364, 367, 374, 388, 482, 483, 484, 508 ], [ 0, 1, 5, 29, 120, 127, 131, 149, 242, 245, 253, 269, 365, 368, 375, 389, 483, 484, 485, 509 ], [ 30, 31, 32, 36, 150, 151, 158, 162, 270, 273, 276, 284, 390, 396, 399, 406, 480, 485, 487, 493 ], [ 31, 32, 33, 37, 151, 152, 159, 163, 271, 274, 277, 285, 391, 397, 400, 407, 481, 486, 488, 494 ], [ 32, 33, 34, 38, 152, 153, 160, 164, 272, 275, 278, 286, 392, 398, 401, 408, 482, 487, 489, 495 ], [ 33, 34, 35, 39, 153, 154, 161, 165, 273, 276, 279, 287, 393, 399, 402, 409, 483, 488, 490, 496 ], [ 34, 35, 36, 40, 154, 155, 162, 166, 274, 277, 280, 288, 394, 400, 403, 410, 484, 489, 491, 497 ], [ 35, 36, 37, 41, 155, 156, 163, 167, 275, 278, 281, 289, 395, 401, 404, 411, 485, 490, 492, 498 ], [ 36, 37, 38, 42, 156, 157, 164, 168, 276, 279, 282, 290, 396, 402, 405, 412, 486, 491, 493, 499 ], [ 37, 38, 39, 43, 157, 158, 165, 169, 277, 280, 283, 291, 397, 403, 406, 413, 487, 492, 494, 500 ], [ 38, 39, 40, 44, 158, 159, 166, 170, 278, 281, 284, 292, 398, 404, 407, 414, 488, 493, 495, 501 ], [ 39, 40, 41, 45, 159, 160, 167, 171, 279, 282, 285, 293, 399, 405, 408, 415, 489, 494, 496, 502 ], [ 40, 41, 42, 46, 160, 161, 168, 172, 280, 283, 286, 294, 400, 406, 409, 416, 490, 495, 497, 503 ], [ 41, 42, 43, 47, 161, 162, 169, 173, 281, 284, 287, 295, 401, 407, 410, 417, 491, 496, 498, 504 ], [ 42, 43, 44, 48, 162, 163, 170, 174, 282, 285, 288, 296, 402, 408, 411, 418, 492, 497, 499, 505 ], [ 43, 44, 45, 49, 163, 164, 171, 175, 283, 286, 289, 297, 403, 409, 412, 419, 493, 498, 500, 506 ], [ 44, 45, 46, 50, 164, 165, 172, 176, 284, 287, 290, 298, 390, 404, 410, 413, 494, 499, 501, 507 ], [ 45, 46, 47, 51, 165, 166, 173, 177, 285, 288, 291, 299, 391, 405, 411, 414, 495, 500, 502, 508 ], [ 47, 48, 49, 53, 167, 168, 175, 179, 271, 287, 290, 293, 393, 407, 413, 416, 480, 497, 502, 504 ], [ 48, 49, 50, 54, 150, 168, 169, 176, 272, 288, 291, 294, 394, 408, 414, 417, 481, 498, 503, 505 ], [ 49, 50, 51, 55, 151, 169, 170, 177, 273, 289, 292, 295, 395, 409, 415, 418, 482, 499, 504, 506 ], [ 50, 51, 52, 56, 152, 170, 171, 178, 274, 290, 293, 296, 396, 410, 416, 419, 483, 500, 505, 507 ], [ 51, 52, 53, 57, 153, 171, 172, 179, 275, 291, 294, 297, 390, 397, 411, 417, 484, 501, 506, 508 ], [ 52, 53, 54, 58, 150, 154, 172, 173, 276, 292, 295, 298, 391, 398, 412, 418, 485, 502, 507, 509 ], [ 53, 54, 55, 59, 151, 155, 173, 174, 277, 293, 296, 299, 392, 399, 413, 419, 480, 486, 503, 508 ], [ 30, 54, 55, 56, 152, 156, 174, 175, 270, 278, 294, 297, 390, 393, 400, 414, 481, 487, 504, 509 ], [ 31, 55, 56, 57, 153, 157, 175, 176, 271, 279, 295, 298, 391, 394, 401, 415, 480, 482, 488, 505 ], [ 32, 56, 57, 58, 154, 158, 176, 177, 272, 280, 296, 299, 392, 395, 402, 416, 481, 483, 489, 506 ], [ 33, 57, 58, 59, 155, 159, 177, 178, 270, 273, 281, 297, 393, 396, 403, 417, 482, 484, 490, 507 ], [ 30, 34, 58, 59, 156, 160, 178, 179, 271, 274, 282, 298, 394, 397, 404, 418, 483, 485, 491, 508 ], [ 30, 31, 35, 59, 150, 157, 161, 179, 272, 275, 283, 299, 395, 398, 405, 419, 484, 486, 492, 509 ], [ 60, 61, 62, 66, 180, 181, 188, 192, 300, 303, 306, 314, 420, 426, 429, 436, 480, 485, 490, 496 ], [ 61, 62, 63, 67, 181, 182, 189, 193, 301, 304, 307, 315, 421, 427, 430, 437, 481, 486, 491, 497 ], [ 62, 63, 64, 68, 182, 183, 190, 194, 302, 305, 308, 316, 422, 428, 431, 438, 482, 487, 492, 498 ], [ 63, 64, 65, 69, 183, 184, 191, 195, 303, 306, 309, 317, 423, 429, 432, 439, 483, 488, 493, 499 ], [ 64, 65, 66, 70, 184, 185, 192, 196, 304, 307, 310, 318, 424, 430, 433, 440, 484, 489, 494, 500 ], [ 65, 66, 67, 71, 185, 186, 193, 197, 305, 308, 311, 319, 425, 431, 434, 441, 485, 490, 495, 501 ], [ 66, 67, 68, 72, 186, 187, 194, 198, 306, 309, 312, 320, 426, 432, 435, 442, 486, 491, 496, 502 ], [ 67, 68, 69, 73, 187, 188, 195, 199, 307, 310, 313, 321, 427, 433, 436, 443, 487, 492, 497, 503 ], [ 69, 70, 71, 75, 189, 190, 197, 201, 309, 312, 315, 323, 429, 435, 438, 445, 489, 494, 499, 505 ], [ 70, 71, 72, 76, 190, 191, 198, 202, 310, 313, 316, 324, 430, 436, 439, 446, 490, 495, 500, 506 ], [ 71, 72, 73, 77, 191, 192, 199, 203, 311, 314, 317, 325, 431, 437, 440, 447, 491, 496, 501, 507 ], [ 72, 73, 74, 78, 192, 193, 200, 204, 312, 315, 318, 326, 432, 438, 441, 448, 492, 497, 502, 508 ], [ 73, 74, 75, 79, 193, 194, 201, 205, 313, 316, 319, 327, 433, 439, 442, 449, 493, 498, 503, 509 ], [ 74, 75, 76, 80, 194, 195, 202, 206, 314, 317, 320, 328, 420, 434, 440, 443, 480, 494, 499, 504 ], [ 75, 76, 77, 81, 195, 196, 203, 207, 315, 318, 321, 329, 421, 435, 441, 444, 481, 495, 500, 505 ], [ 76, 77, 78, 82, 196, 197, 204, 208, 300, 316, 319, 322, 422, 436, 442, 445, 482, 496, 501, 506 ], [ 77, 78, 79, 83, 197, 198, 205, 209, 301, 317, 320, 323, 423, 437, 443, 446, 483, 497, 502, 507 ], [ 78, 79, 80, 84, 180, 198, 199, 206, 302, 318, 321, 324, 424, 438, 444, 447, 484, 498, 503, 508 ], [ 79, 80, 81, 85, 181, 199, 200, 207, 303, 319, 322, 325, 425, 439, 445, 448, 485, 499, 504, 509 ], [ 80, 81, 82, 86, 182, 200, 201, 208, 304, 320, 323, 326, 426, 440, 446, 449, 480, 486, 500, 505 ], [ 81, 82, 83, 87, 183, 201, 202, 209, 305, 321, 324, 327, 420, 427, 441, 447, 481, 487, 501, 506 ], [ 82, 83, 84, 88, 180, 184, 202, 203, 306, 322, 325, 328, 421, 428, 442, 448, 482, 488, 502, 507 ], [ 83, 84, 85, 89, 181, 185, 203, 204, 307, 323, 326, 329, 422, 429, 443, 449, 483, 489, 503, 508 ], [ 60, 84, 85, 86, 182, 186, 204, 205, 300, 308, 324, 327, 420, 423, 430, 444, 484, 490, 504, 509 ], [ 61, 85, 86, 87, 183, 187, 205, 206, 301, 309, 325, 328, 421, 424, 431, 445, 480, 485, 491, 505 ], [ 62, 86, 87, 88, 184, 188, 206, 207, 302, 310, 326, 329, 422, 425, 432, 446, 481, 486, 492, 506 ], [ 63, 87, 88, 89, 185, 189, 207, 208, 300, 303, 311, 327, 423, 426, 433, 447, 482, 487, 493, 507 ], [ 60, 64, 88, 89, 186, 190, 208, 209, 301, 304, 312, 328, 424, 427, 434, 448, 483, 488, 494, 508 ], [ 60, 61, 65, 89, 180, 187, 191, 209, 302, 305, 313, 329, 425, 428, 435, 449, 484, 489, 495, 509 ], [ 90, 91, 92, 96, 210, 211, 218, 222, 330, 333, 336, 344, 450, 456, 459, 466, 480, 482, 493, 496 ], [ 91, 92, 93, 97, 211, 212, 219, 223, 331, 334, 337, 345, 451, 457, 460, 467, 481, 483, 494, 497 ], [ 92, 93, 94, 98, 212, 213, 220, 224, 332, 335, 338, 346, 452, 458, 461, 468, 482, 484, 495, 498 ], [ 93, 94, 95, 99, 213, 214, 221, 225, 333, 336, 339, 347, 453, 459, 462, 469, 483, 485, 496, 499 ], [ 94, 95, 96, 100, 214, 215, 222, 226, 334, 337, 340, 348, 454, 460, 463, 470, 484, 486, 497, 500 ], [ 95, 96, 97, 101, 215, 216, 223, 227, 335, 338, 341, 349, 455, 461, 464, 471, 485, 487, 498, 501 ], [ 96, 97, 98, 102, 216, 217, 224, 228, 336, 339, 342, 350, 456, 462, 465, 472, 486, 488, 499, 502 ], [ 97, 98, 99, 103, 217, 218, 225, 229, 337, 340, 343, 351, 457, 463, 466, 473, 487, 489, 500, 503 ], [ 98, 99, 100, 104, 218, 219, 226, 230, 338, 341, 344, 352, 458, 464, 467, 474, 488, 490, 501, 504 ], [ 99, 100, 101, 105, 219, 220, 227, 231, 339, 342, 345, 353, 459, 465, 468, 475, 489, 491, 502, 505 ], [ 100, 101, 102, 106, 220, 221, 228, 232, 340, 343, 346, 354, 460, 466, 469, 476, 490, 492, 503, 506 ], [ 101, 102, 103, 107, 221, 222, 229, 233, 341, 344, 347, 355, 461, 467, 470, 477, 491, 493, 504, 507 ], [ 102, 103, 104, 108, 222, 223, 230, 234, 342, 345, 348, 356, 462, 468, 471, 478, 492, 494, 505, 508 ], [ 103, 104, 105, 109, 223, 224, 231, 235, 343, 346, 349, 357, 463, 469, 472, 479, 493, 495, 506, 509 ], [ 104, 105, 106, 110, 224, 225, 232, 236, 344, 347, 350, 358, 450, 464, 470, 473, 480, 494, 496, 507 ], [ 105, 106, 107, 111, 225, 226, 233, 237, 345, 348, 351, 359, 451, 465, 471, 474, 481, 495, 497, 508 ], [ 106, 107, 108, 112, 226, 227, 234, 238, 330, 346, 349, 352, 452, 466, 472, 475, 482, 496, 498, 509 ], [ 107, 108, 109, 113, 227, 228, 235, 239, 331, 347, 350, 353, 453, 467, 473, 476, 480, 483, 497, 499 ], [ 108, 109, 110, 114, 210, 228, 229, 236, 332, 348, 351, 354, 454, 468, 474, 477, 481, 484, 498, 500 ], [ 109, 110, 111, 115, 211, 229, 230, 237, 333, 349, 352, 355, 455, 469, 475, 478, 482, 485, 499, 501 ], [ 110, 111, 112, 116, 212, 230, 231, 238, 334, 350, 353, 356, 456, 470, 476, 479, 483, 486, 500, 502 ], [ 111, 112, 113, 117, 213, 231, 232, 239, 335, 351, 354, 357, 450, 457, 471, 477, 484, 487, 501, 503 ], [ 112, 113, 114, 118, 210, 214, 232, 233, 336, 352, 355, 358, 451, 458, 472, 478, 485, 488, 502, 504 ], [ 113, 114, 115, 119, 211, 215, 233, 234, 337, 353, 356, 359, 452, 459, 473, 479, 486, 489, 503, 505 ], [ 90, 114, 115, 116, 212, 216, 234, 235, 330, 338, 354, 357, 450, 453, 460, 474, 487, 490, 504, 506 ], [ 91, 115, 116, 117, 213, 217, 235, 236, 331, 339, 355, 358, 451, 454, 461, 475, 488, 491, 505, 507 ], [ 93, 117, 118, 119, 215, 219, 237, 238, 330, 333, 341, 357, 453, 456, 463, 477, 490, 493, 507, 509 ], [ 90, 94, 118, 119, 216, 220, 238, 239, 331, 334, 342, 358, 454, 457, 464, 478, 480, 491, 494, 508 ], [ 90, 91, 95, 119, 210, 217, 221, 239, 332, 335, 343, 359, 455, 458, 465, 479, 481, 492, 495, 509 ] ], "Z": [ [ 0, 24, 25, 26, 30, 47, 53, 55, 60, 74, 80, 85, 90, 104, 107, 118, 480, 504, 508, 509 ], [ 1, 25, 26, 27, 31, 48, 54, 56, 61, 75, 81, 86, 91, 105, 108, 119, 480, 481, 505, 509 ], [ 2, 26, 27, 28, 32, 49, 55, 57, 62, 76, 82, 87, 90, 92, 106, 109, 480, 481, 482, 506 ], [ 0, 4, 28, 29, 34, 51, 57, 59, 64, 78, 84, 89, 92, 94, 108, 111, 482, 483, 484, 508 ], [ 0, 1, 5, 29, 30, 35, 52, 58, 60, 65, 79, 85, 93, 95, 109, 112, 483, 484, 485, 509 ], [ 0, 1, 2, 6, 31, 36, 53, 59, 61, 66, 80, 86, 94, 96, 110, 113, 480, 484, 485, 486 ], [ 1, 2, 3, 7, 30, 32, 37, 54, 62, 67, 81, 87, 95, 97, 111, 114, 481, 485, 486, 487 ], [ 2, 3, 4, 8, 31, 33, 38, 55, 63, 68, 82, 88, 96, 98, 112, 115, 482, 486, 487, 488 ], [ 3, 4, 5, 9, 32, 34, 39, 56, 64, 69, 83, 89, 97, 99, 113, 116, 483, 487, 488, 489 ], [ 4, 5, 6, 10, 33, 35, 40, 57, 60, 65, 70, 84, 98, 100, 114, 117, 484, 488, 489, 490 ], [ 5, 6, 7, 11, 34, 36, 41, 58, 61, 66, 71, 85, 99, 101, 115, 118, 485, 489, 490, 491 ], [ 6, 7, 8, 12, 35, 37, 42, 59, 62, 67, 72, 86, 100, 102, 116, 119, 486, 490, 491, 492 ], [ 7, 8, 9, 13, 30, 36, 38, 43, 63, 68, 73, 87, 90, 101, 103, 117, 487, 491, 492, 493 ], [ 8, 9, 10, 14, 31, 37, 39, 44, 64, 69, 74, 88, 91, 102, 104, 118, 488, 492, 493, 494 ], [ 9, 10, 11, 15, 32, 38, 40, 45, 65, 70, 75, 89, 92, 103, 105, 119, 489, 493, 494, 495 ], [ 10, 11, 12, 16, 33, 39, 41, 46, 60, 66, 71, 76, 90, 93, 104, 106, 490, 494, 495, 496 ], [ 11, 12, 13, 17, 34, 40, 42, 47, 61, 67, 72, 77, 91, 94, 105, 107, 491, 495, 496, 497 ], [ 12, 13, 14, 18, 35, 41, 43, 48, 62, 68, 73, 78, 92, 95, 106, 108, 492, 496, 497, 498 ], [ 13, 14, 15, 19, 36, 42, 44, 49, 63, 69, 74, 79, 93, 96, 107, 109, 493, 497, 498, 499 ], [ 14, 15, 16, 20, 37, 43, 45, 50, 64, 70, 75, 80, 94, 97, 108, 110, 494, 498, 499, 500 ], [ 15, 16, 17, 21, 38, 44, 46, 51, 65, 71, 76, 81, 95, 98, 109, 111, 495, 499, 500, 501 ], [ 16, 17, 18, 22, 39, 45, 47, 52, 66, 72, 77, 82, 96, 99, 110, 112, 496, 500, 501, 502 ], [ 17, 18, 19, 23, 40, 46, 48, 53, 67, 73, 78, 83, 97, 100, 111, 113, 497, 501, 502, 503 ], [ 18, 19, 20, 24, 41, 47, 49, 54, 68, 74, 79, 84, 98, 101, 112, 114, 498, 502, 503, 504 ], [ 19, 20, 21, 25, 42, 48, 50, 55, 69, 75, 80, 85, 99, 102, 113, 115, 499, 503, 504, 505 ], [ 20, 21, 22, 26, 43, 49, 51, 56, 70, 76, 81, 86, 100, 103, 114, 116, 500, 504, 505, 506 ], [ 21, 22, 23, 27, 44, 50, 52, 57, 71, 77, 82, 87, 101, 104, 115, 117, 501, 505, 506, 507 ], [ 22, 23, 24, 28, 45, 51, 53, 58, 72, 78, 83, 88, 102, 105, 116, 118, 502, 506, 507, 508 ], [ 23, 24, 25, 29, 46, 52, 54, 59, 73, 79, 84, 89, 103, 106, 117, 119, 503, 507, 508, 509 ], [ 120, 144, 145, 146, 150, 167, 173, 175, 180, 194, 200, 205, 210, 224, 227, 238, 480, 498, 502, 509 ], [ 121, 145, 146, 147, 151, 168, 174, 176, 181, 195, 201, 206, 211, 225, 228, 239, 480, 481, 499, 503 ], [ 122, 146, 147, 148, 152, 169, 175, 177, 182, 196, 202, 207, 210, 212, 226, 229, 481, 482, 500, 504 ], [ 123, 147, 148, 149, 153, 170, 176, 178, 183, 197, 203, 208, 211, 213, 227, 230, 482, 483, 501, 505 ], [ 120, 124, 148, 149, 154, 171, 177, 179, 184, 198, 204, 209, 212, 214, 228, 231, 483, 484, 502, 506 ], [ 120, 121, 125, 149, 150, 155, 172, 178, 180, 185, 199, 205, 213, 215, 229, 232, 484, 485, 503, 507 ], [ 120, 121, 122, 126, 151, 156, 173, 179, 181, 186, 200, 206, 214, 216, 230, 233, 485, 486, 504, 508 ], [ 121, 122, 123, 127, 150, 152, 157, 174, 182, 187, 201, 207, 215, 217, 231, 234, 486, 487, 505, 509 ], [ 122, 123, 124, 128, 151, 153, 158, 175, 183, 188, 202, 208, 216, 218, 232, 235, 480, 487, 488, 506 ], [ 123, 124, 125, 129, 152, 154, 159, 176, 184, 189, 203, 209, 217, 219, 233, 236, 481, 488, 489, 507 ], [ 124, 125, 126, 130, 153, 155, 160, 177, 180, 185, 190, 204, 218, 220, 234, 237, 482, 489, 490, 508 ], [ 125, 126, 127, 131, 154, 156, 161, 178, 181, 186, 191, 205, 219, 221, 235, 238, 483, 490, 491, 509 ], [ 126, 127, 128, 132, 155, 157, 162, 179, 182, 187, 192, 206, 220, 222, 236, 239, 480, 484, 491, 492 ], [ 127, 128, 129, 133, 150, 156, 158, 163, 183, 188, 193, 207, 210, 221, 223, 237, 481, 485, 492, 493 ], [ 128, 129, 130, 134, 151, 157, 159, 164, 184, 189, 194, 208, 211, 222, 224, 238, 482, 486, 493, 494 ], [ 130, 131, 132, 136, 153, 159, 161, 166, 180, 186, 191, 196, 210, 213, 224, 226, 484, 488, 495, 496 ], [ 131, 132, 133, 137, 154, 160, 162, 167, 181, 187, 192, 197, 211, 214, 225, 227, 485, 489, 496, 497 ], [ 132, 133, 134, 138, 155, 161, 163, 168, 182, 188, 193, 198, 212, 215, 226, 228, 486, 490, 497, 498 ], [ 133, 134, 135, 139, 156, 162, 164, 169, 183, 189, 194, 199, 213, 216, 227, 229, 487, 491, 498, 499 ], [ 134, 135, 136, 140, 157, 163, 165, 170, 184, 190, 195, 200, 214, 217, 228, 230, 488, 492, 499, 500 ], [ 135, 136, 137, 141, 158, 164, 166, 171, 185, 191, 196, 201, 215, 218, 229, 231, 489, 493, 500, 501 ], [ 136, 137, 138, 142, 159, 165, 167, 172, 186, 192, 197, 202, 216, 219, 230, 232, 490, 494, 501, 502 ], [ 137, 138, 139, 143, 160, 166, 168, 173, 187, 193, 198, 203, 217, 220, 231, 233, 491, 495, 502, 503 ], [ 138, 139, 140, 144, 161, 167, 169, 174, 188, 194, 199, 204, 218, 221, 232, 234, 492, 496, 503, 504 ], [ 139, 140, 141, 145, 162, 168, 170, 175, 189, 195, 200, 205, 219, 222, 233, 235, 493, 497, 504, 505 ], [ 140, 141, 142, 146, 163, 169, 171, 176, 190, 196, 201, 206, 220, 223, 234, 236, 494, 498, 505, 506 ], [ 141, 142, 143, 147, 164, 170, 172, 177, 191, 197, 202, 207, 221, 224, 235, 237, 495, 499, 506, 507 ], [ 142, 143, 144, 148, 165, 171, 173, 178, 192, 198, 203, 208, 222, 225, 236, 238, 496, 500, 507, 508 ], [ 143, 144, 145, 149, 166, 172, 174, 179, 193, 199, 204, 209, 223, 226, 237, 239, 497, 501, 508, 509 ], [ 240, 264, 265, 266, 270, 287, 293, 295, 300, 314, 320, 325, 330, 344, 347, 358, 480, 496, 504, 507 ], [ 241, 265, 266, 267, 271, 288, 294, 296, 301, 315, 321, 326, 331, 345, 348, 359, 481, 497, 505, 508 ], [ 242, 266, 267, 268, 272, 289, 295, 297, 302, 316, 322, 327, 330, 332, 346, 349, 482, 498, 506, 509 ], [ 243, 267, 268, 269, 273, 290, 296, 298, 303, 317, 323, 328, 331, 333, 347, 350, 480, 483, 499, 507 ], [ 240, 244, 268, 269, 274, 291, 297, 299, 304, 318, 324, 329, 332, 334, 348, 351, 481, 484, 500, 508 ], [ 240, 241, 245, 269, 270, 275, 292, 298, 300, 305, 319, 325, 333, 335, 349, 352, 482, 485, 501, 509 ], [ 240, 241, 242, 246, 271, 276, 293, 299, 301, 306, 320, 326, 334, 336, 350, 353, 480, 483, 486, 502 ], [ 241, 242, 243, 247, 270, 272, 277, 294, 302, 307, 321, 327, 335, 337, 351, 354, 481, 484, 487, 503 ], [ 242, 243, 244, 248, 271, 273, 278, 295, 303, 308, 322, 328, 336, 338, 352, 355, 482, 485, 488, 504 ], [ 243, 244, 245, 249, 272, 274, 279, 296, 304, 309, 323, 329, 337, 339, 353, 356, 483, 486, 489, 505 ], [ 244, 245, 246, 250, 273, 275, 280, 297, 300, 305, 310, 324, 338, 340, 354, 357, 484, 487, 490, 506 ], [ 245, 246, 247, 251, 274, 276, 281, 298, 301, 306, 311, 325, 339, 341, 355, 358, 485, 488, 491, 507 ], [ 246, 247, 248, 252, 275, 277, 282, 299, 302, 307, 312, 326, 340, 342, 356, 359, 486, 489, 492, 508 ], [ 247, 248, 249, 253, 270, 276, 278, 283, 303, 308, 313, 327, 330, 341, 343, 357, 487, 490, 493, 509 ], [ 248, 249, 250, 254, 271, 277, 279, 284, 304, 309, 314, 328, 331, 342, 344, 358, 480, 488, 491, 494 ], [ 249, 250, 251, 255, 272, 278, 280, 285, 305, 310, 315, 329, 332, 343, 345, 359, 481, 489, 492, 495 ], [ 250, 251, 252, 256, 273, 279, 281, 286, 300, 306, 311, 316, 330, 333, 344, 346, 482, 490, 493, 496 ], [ 251, 252, 253, 257, 274, 280, 282, 287, 301, 307, 312, 317, 331, 334, 345, 347, 483, 491, 494, 497 ], [ 252, 253, 254, 258, 275, 281, 283, 288, 302, 308, 313, 318, 332, 335, 346, 348, 484, 492, 495, 498 ], [ 253, 254, 255, 259, 276, 282, 284, 289, 303, 309, 314, 319, 333, 336, 347, 349, 485, 493, 496, 499 ], [ 254, 255, 256, 260, 277, 283, 285, 290, 304, 310, 315, 320, 334, 337, 348, 350, 486, 494, 497, 500 ], [ 255, 256, 257, 261, 278, 284, 286, 291, 305, 311, 316, 321, 335, 338, 349, 351, 487, 495, 498, 501 ], [ 256, 257, 258, 262, 279, 285, 287, 292, 306, 312, 317, 322, 336, 339, 350, 352, 488, 496, 499, 502 ], [ 257, 258, 259, 263, 280, 286, 288, 293, 307, 313, 318, 323, 337, 340, 351, 353, 489, 497, 500, 503 ], [ 258, 259, 260, 264, 281, 287, 289, 294, 308, 314, 319, 324, 338, 341, 352, 354, 490, 498, 501, 504 ], [ 260, 261, 262, 266, 283, 289, 291, 296, 310, 316, 321, 326, 340, 343, 354, 356, 492, 500, 503, 506 ], [ 261, 262, 263, 267, 284, 290, 292, 297, 311, 317, 322, 327, 341, 344, 355, 357, 493, 501, 504, 507 ], [ 262, 263, 264, 268, 285, 291, 293, 298, 312, 318, 323, 328, 342, 345, 356, 358, 494, 502, 505, 508 ], [ 263, 264, 265, 269, 286, 292, 294, 299, 313, 319, 324, 329, 343, 346, 357, 359, 495, 503, 506, 509 ], [ 360, 384, 385, 386, 390, 407, 413, 415, 420, 434, 440, 445, 450, 464, 467, 478, 480, 494, 501, 504 ], [ 361, 385, 386, 387, 391, 408, 414, 416, 421, 435, 441, 446, 451, 465, 468, 479, 481, 495, 502, 505 ], [ 362, 386, 387, 388, 392, 409, 415, 417, 422, 436, 442, 447, 450, 452, 466, 469, 482, 496, 503, 506 ], [ 363, 387, 388, 389, 393, 410, 416, 418, 423, 437, 443, 448, 451, 453, 467, 470, 483, 497, 504, 507 ], [ 360, 364, 388, 389, 394, 411, 417, 419, 424, 438, 444, 449, 452, 454, 468, 471, 484, 498, 505, 508 ], [ 360, 361, 365, 389, 390, 395, 412, 418, 420, 425, 439, 445, 453, 455, 469, 472, 485, 499, 506, 509 ], [ 360, 361, 362, 366, 391, 396, 413, 419, 421, 426, 440, 446, 454, 456, 470, 473, 480, 486, 500, 507 ], [ 361, 362, 363, 367, 390, 392, 397, 414, 422, 427, 441, 447, 455, 457, 471, 474, 481, 487, 501, 508 ], [ 362, 363, 364, 368, 391, 393, 398, 415, 423, 428, 442, 448, 456, 458, 472, 475, 482, 488, 502, 509 ], [ 363, 364, 365, 369, 392, 394, 399, 416, 424, 429, 443, 449, 457, 459, 473, 476, 480, 483, 489, 503 ], [ 364, 365, 366, 370, 393, 395, 400, 417, 420, 425, 430, 444, 458, 460, 474, 477, 481, 484, 490, 504 ], [ 365, 366, 367, 371, 394, 396, 401, 418, 421, 426, 431, 445, 459, 461, 475, 478, 482, 485, 491, 505 ], [ 366, 367, 368, 372, 395, 397, 402, 419, 422, 427, 432, 446, 460, 462, 476, 479, 483, 486, 492, 506 ], [ 367, 368, 369, 373, 390, 396, 398, 403, 423, 428, 433, 447, 450, 461, 463, 477, 484, 487, 493, 507 ], [ 368, 369, 370, 374, 391, 397, 399, 404, 424, 429, 434, 448, 451, 462, 464, 478, 485, 488, 494, 508 ], [ 369, 370, 371, 375, 392, 398, 400, 405, 425, 430, 435, 449, 452, 463, 465, 479, 486, 489, 495, 509 ], [ 370, 371, 372, 376, 393, 399, 401, 406, 420, 426, 431, 436, 450, 453, 464, 466, 480, 487, 490, 496 ], [ 371, 372, 373, 377, 394, 400, 402, 407, 421, 427, 432, 437, 451, 454, 465, 467, 481, 488, 491, 497 ], [ 372, 373, 374, 378, 395, 401, 403, 408, 422, 428, 433, 438, 452, 455, 466, 468, 482, 489, 492, 498 ], [ 373, 374, 375, 379, 396, 402, 404, 409, 423, 429, 434, 439, 453, 456, 467, 469, 483, 490, 493, 499 ], [ 374, 375, 376, 380, 397, 403, 405, 410, 424, 430, 435, 440, 454, 457, 468, 470, 484, 491, 494, 500 ], [ 375, 376, 377, 381, 398, 404, 406, 411, 425, 431, 436, 441, 455, 458, 469, 471, 485, 492, 495, 501 ], [ 376, 377, 378, 382, 399, 405, 407, 412, 426, 432, 437, 442, 456, 459, 470, 472, 486, 493, 496, 502 ], [ 377, 378, 379, 383, 400, 406, 408, 413, 427, 433, 438, 443, 457, 460, 471, 473, 487, 494, 497, 503 ], [ 378, 379, 380, 384, 401, 407, 409, 414, 428, 434, 439, 444, 458, 461, 472, 474, 488, 495, 498, 504 ], [ 379, 380, 381, 385, 402, 408, 410, 415, 429, 435, 440, 445, 459, 462, 473, 475, 489, 496, 499, 505 ], [ 381, 382, 383, 387, 404, 410, 412, 417, 431, 437, 442, 447, 461, 464, 475, 477, 491, 498, 501, 507 ], [ 382, 383, 384, 388, 405, 411, 413, 418, 432, 438, 443, 448, 462, 465, 476, 478, 492, 499, 502, 508 ], [ 383, 384, 385, 389, 406, 412, 414, 419, 433, 439, 444, 449, 463, 466, 477, 479, 493, 500, 503, 509 ] ] }, "distance": { "d": 8, "X": { "value": 8, "confidence": "upper_bound", "witness": [ 120, 125, 127, 133, 150, 154, 155, 156 ] }, "Z": { "value": 8, "confidence": "upper_bound", "witness": [ 30, 48, 52, 59, 150, 174, 178, 179 ] } }, "provenance": { "authors": [ "@hirobumii" ], "construction": "C30 scalar1x4 cross product. X[j,r]: VV(k,j,r+g),g in A_k; CC(r+g),g in B_j. Z[k,r]: VV(k,j,r-g),g in B_j; CC(r-g),g in A_k. A supports=[[0, 1, 2, 6], [0, 1, 8, 12], [0, 3, 6, 14], [0, 6, 9, 16]]; B supports=[[0, 4, 5, 6], [0, 5, 7, 13], [0, 5, 10, 16], [0, 2, 13, 16]]. Every entry has rank29 with all-ones-only kernel. The sole row relation in each30-row block is its full sum. Selected rows omit X shifts[0, 16, 8, 26] and Z shifts[3, 15, 25, 26].", "references": [ "https://arxiv.org/abs/2111.03654" ], "date": "2026-10-18", "notes": "Displayed presentation: maximum check weight 20, maximum qubit degree 31, 232 checks and total incidence 4640.", "model": "GPT-6 Astra + GPT-6.1 Sol (recorded multi-agent configuration)" }, "family": "lifted-product" }