{ "schema_version": "0.3", "name": "[[360,12,29]] CLP code, weight 9, SmallGroup(270,25)", "code_type": "CSS", "n": 360, "k": 12, "checks": { "X": [ [ 0, 38, 65, 85, 88, 180, 270, 272, 294 ], [ 1, 57, 71, 76, 78, 181, 271, 275, 320 ], [ 2, 13, 68, 75, 76, 182, 272, 278, 308 ], [ 3, 49, 55, 72, 77, 183, 273, 279, 310 ], [ 4, 36, 48, 56, 76, 184, 274, 280, 311 ], [ 5, 43, 51, 53, 70, 185, 275, 284, 334 ], [ 6, 40, 47, 56, 86, 186, 276, 285, 336 ], [ 7, 14, 39, 55, 85, 187, 277, 286, 337 ], [ 8, 24, 51, 79, 84, 188, 270, 278, 283 ], [ 9, 26, 44, 52, 63, 189, 279, 290, 325 ], [ 10, 11, 27, 51, 62, 190, 280, 291, 326 ], [ 11, 32, 64, 70, 83, 191, 281, 292, 327 ], [ 8, 12, 31, 63, 71, 192, 282, 293, 328 ], [ 13, 30, 54, 62, 72, 193, 283, 294, 329 ], [ 14, 42, 58, 65, 67, 194, 271, 284, 305 ], [ 15, 19, 27, 55, 69, 195, 285, 298, 347 ], [ 1, 16, 26, 54, 68, 196, 286, 299, 348 ], [ 17, 24, 63, 82, 89, 197, 287, 300, 349 ], [ 18, 23, 28, 38, 64, 198, 288, 301, 350 ], [ 19, 22, 29, 37, 89, 199, 275, 289, 302 ], [ 20, 34, 40, 59, 66, 200, 273, 290, 296 ], [ 21, 22, 33, 41, 65, 201, 274, 291, 297 ], [ 22, 35, 42, 47, 61, 202, 292, 306, 340 ], [ 0, 23, 34, 43, 46, 203, 293, 307, 341 ], [ 24, 25, 33, 44, 45, 204, 294, 308, 342 ], [ 16, 20, 25, 47, 82, 205, 295, 309, 343 ], [ 15, 21, 26, 46, 83, 206, 296, 310, 344 ], [ 8, 27, 45, 70, 87, 207, 272, 297, 311 ], [ 26, 28, 32, 41, 80, 208, 276, 298, 322 ], [ 5, 25, 29, 40, 79, 209, 277, 299, 323 ], [ 30, 34, 38, 60, 81, 210, 300, 315, 355 ], [ 6, 13, 31, 35, 37, 211, 301, 316, 356 ], [ 7, 12, 32, 36, 81, 212, 284, 302, 317 ], [ 10, 33, 45, 70, 77, 213, 303, 318, 357 ], [ 9, 21, 34, 46, 78, 214, 285, 304, 319 ], [ 20, 35, 45, 47, 84, 215, 286, 305, 320 ], [ 19, 36, 50, 57, 74, 216, 281, 306, 312 ], [ 2, 18, 37, 49, 58, 217, 282, 307, 313 ], [ 17, 38, 39, 48, 59, 218, 283, 308, 314 ], [ 3, 19, 29, 39, 60, 219, 309, 324, 352 ], [ 4, 18, 28, 40, 61, 220, 310, 325, 353 ], [ 0, 17, 41, 42, 89, 221, 278, 311, 326 ], [ 5, 29, 37, 42, 88, 222, 312, 327, 354 ], [ 20, 28, 38, 43, 80, 223, 279, 313, 328 ], [ 21, 44, 79, 82, 89, 224, 280, 314, 329 ], [ 13, 45, 49, 73, 87, 225, 287, 315, 338 ], [ 12, 15, 24, 46, 50, 226, 288, 316, 339 ], [ 11, 16, 23, 47, 87, 227, 271, 289, 317 ], [ 17, 21, 42, 48, 52, 228, 318, 332, 359 ], [ 4, 18, 20, 49, 53, 229, 298, 319, 333 ], [ 3, 17, 19, 50, 88, 230, 299, 320, 334 ], [ 2, 51, 54, 62, 86, 231, 300, 321, 335 ], [ 8, 14, 52, 63, 74, 232, 301, 322, 336 ], [ 53, 62, 64, 73, 83, 233, 302, 323, 337 ], [ 7, 9, 32, 54, 73, 234, 295, 324, 330 ], [ 6, 10, 31, 55, 74, 235, 296, 325, 331 ], [ 2, 30, 56, 57, 81, 236, 270, 297, 326 ], [ 7, 12, 14, 57, 75, 237, 327, 340, 358 ], [ 3, 6, 13, 58, 86, 238, 290, 328, 341 ], [ 4, 59, 60, 81, 85, 239, 291, 329, 342 ], [ 14, 36, 55, 60, 67, 240, 292, 330, 343 ], [ 37, 56, 61, 66, 86, 241, 293, 331, 344 ], [ 4, 30, 57, 62, 66, 242, 303, 332, 351 ], [ 3, 10, 31, 63, 67, 243, 276, 304, 333 ], [ 9, 30, 32, 64, 75, 244, 277, 305, 334 ], [ 8, 25, 33, 65, 69, 245, 315, 335, 346 ], [ 0, 1, 34, 66, 83, 246, 316, 336, 347 ], [ 33, 35, 61, 67, 82, 247, 317, 337, 348 ], [ 28, 36, 59, 68, 76, 248, 318, 338, 349 ], [ 29, 58, 69, 72, 77, 249, 319, 339, 350 ], [ 1, 16, 23, 70, 84, 250, 312, 340, 345 ], [ 9, 15, 24, 69, 71, 251, 273, 313, 341 ], [ 10, 68, 72, 73, 87, 252, 274, 314, 342 ], [ 1, 11, 26, 73, 78, 253, 306, 343, 352 ], [ 12, 27, 69, 74, 77, 254, 307, 344, 353 ], [ 50, 54, 71, 75, 78, 255, 309, 345, 354 ], [ 0, 39, 48, 76, 80, 256, 287, 321, 346 ], [ 2, 5, 49, 61, 77, 257, 288, 322, 347 ], [ 48, 50, 60, 74, 78, 258, 289, 323, 348 ], [ 6, 11, 51, 72, 79, 259, 332, 349, 355 ], [ 7, 44, 52, 71, 80, 260, 333, 350, 356 ], [ 41, 46, 81, 85, 88, 261, 335, 351, 357 ], [ 5, 22, 40, 53, 82, 262, 281, 330, 352 ], [ 23, 41, 52, 80, 83, 263, 282, 331, 353 ], [ 25, 43, 53, 64, 84, 264, 324, 354, 358 ], [ 15, 22, 44, 65, 85, 265, 303, 338, 355 ], [ 16, 43, 59, 66, 86, 266, 304, 339, 356 ], [ 18, 56, 68, 75, 87, 267, 346, 357, 359 ], [ 35, 39, 58, 67, 88, 268, 295, 345, 358 ], [ 27, 31, 79, 84, 89, 269, 321, 351, 359 ], [ 90, 128, 155, 175, 178, 180, 190, 254, 331 ], [ 91, 147, 161, 166, 168, 181, 228, 247, 303 ], [ 92, 103, 158, 165, 166, 182, 201, 263, 344 ], [ 93, 139, 145, 162, 167, 183, 203, 264, 345 ], [ 94, 126, 138, 146, 166, 184, 189, 204, 273 ], [ 95, 133, 141, 143, 160, 185, 242, 258, 318 ], [ 96, 130, 137, 146, 176, 186, 196, 260, 277 ], [ 97, 104, 129, 145, 175, 185, 187, 245, 321 ], [ 98, 114, 141, 169, 174, 184, 188, 241, 353 ], [ 99, 116, 134, 142, 153, 189, 217, 268, 354 ], [ 100, 101, 117, 141, 152, 190, 200, 218, 279 ], [ 101, 122, 154, 160, 173, 191, 219, 239, 314 ], [ 98, 102, 121, 153, 161, 192, 202, 220, 281 ], [ 103, 120, 144, 152, 162, 193, 203, 221, 282 ], [ 104, 132, 148, 155, 157, 194, 213, 233, 332 ], [ 105, 109, 117, 145, 159, 195, 209, 266, 286 ], [ 91, 106, 116, 144, 158, 194, 196, 256, 335 ], [ 107, 114, 153, 172, 179, 197, 211, 267, 288 ], [ 108, 113, 118, 128, 154, 195, 198, 212, 289 ], [ 109, 112, 119, 127, 179, 196, 199, 259, 338 ], [ 110, 124, 130, 149, 156, 192, 200, 255, 358 ], [ 111, 112, 123, 131, 155, 183, 193, 201, 290 ], [ 112, 125, 132, 137, 151, 202, 234, 252, 329 ], [ 90, 113, 124, 133, 136, 203, 216, 235, 292 ], [ 114, 115, 123, 134, 135, 204, 217, 236, 293 ], [ 106, 110, 115, 137, 172, 182, 205, 237, 270 ], [ 105, 111, 116, 136, 173, 206, 219, 238, 295 ], [ 98, 117, 135, 160, 177, 207, 220, 239, 296 ], [ 116, 118, 122, 131, 170, 187, 208, 249, 299 ], [ 95, 115, 119, 130, 169, 181, 209, 231, 346 ], [ 120, 124, 128, 150, 171, 210, 226, 269, 301 ], [ 96, 103, 121, 125, 127, 208, 211, 227, 302 ], [ 97, 102, 122, 126, 171, 209, 212, 265, 349 ], [ 100, 123, 135, 160, 167, 210, 213, 229, 304 ], [ 99, 111, 124, 136, 168, 211, 214, 230, 305 ], [ 110, 125, 135, 137, 174, 212, 215, 267, 351 ], [ 109, 126, 140, 147, 164, 205, 216, 224, 342 ], [ 92, 108, 127, 139, 148, 191, 206, 217, 306 ], [ 107, 128, 129, 138, 149, 192, 207, 218, 307 ], [ 93, 109, 119, 129, 150, 188, 219, 250, 272 ], [ 94, 108, 118, 130, 151, 220, 234, 251, 309 ], [ 90, 107, 131, 132, 179, 221, 235, 252, 310 ], [ 95, 119, 127, 132, 178, 190, 222, 253, 274 ], [ 110, 118, 128, 133, 170, 223, 237, 254, 312 ], [ 111, 134, 169, 172, 179, 182, 224, 238, 313 ], [ 103, 135, 139, 163, 177, 198, 225, 261, 316 ], [ 102, 105, 114, 136, 140, 186, 199, 226, 317 ], [ 101, 106, 113, 137, 177, 187, 227, 248, 355 ], [ 107, 111, 132, 138, 142, 225, 228, 243, 319 ], [ 94, 108, 110, 139, 143, 226, 229, 244, 320 ], [ 93, 107, 109, 140, 178, 227, 230, 269, 357 ], [ 92, 141, 144, 152, 176, 228, 231, 246, 322 ], [ 98, 104, 142, 153, 164, 229, 232, 247, 323 ], [ 143, 152, 154, 163, 173, 210, 230, 233, 287 ], [ 97, 99, 122, 144, 163, 180, 222, 234, 278 ], [ 96, 100, 121, 145, 164, 205, 223, 235, 324 ], [ 92, 120, 146, 147, 171, 206, 224, 236, 325 ], [ 97, 102, 104, 147, 165, 201, 237, 262, 280 ], [ 93, 96, 103, 148, 176, 238, 250, 263, 327 ], [ 94, 149, 150, 171, 175, 188, 239, 251, 328 ], [ 104, 126, 145, 150, 157, 204, 240, 264, 283 ], [ 127, 146, 151, 156, 176, 189, 241, 253, 330 ], [ 94, 120, 147, 152, 156, 197, 214, 242, 333 ], [ 93, 100, 121, 153, 157, 198, 215, 243, 334 ], [ 99, 120, 122, 154, 165, 199, 244, 261, 359 ], [ 98, 115, 123, 155, 159, 242, 245, 257, 336 ], [ 90, 91, 124, 156, 173, 243, 246, 258, 337 ], [ 123, 125, 151, 157, 172, 225, 244, 247, 300 ], [ 118, 126, 149, 158, 166, 245, 248, 260, 339 ], [ 119, 148, 159, 162, 167, 185, 246, 249, 271 ], [ 91, 106, 113, 160, 174, 184, 240, 250, 291 ], [ 99, 105, 114, 159, 161, 222, 241, 251, 340 ], [ 100, 158, 162, 163, 177, 180, 223, 252, 341 ], [ 91, 101, 116, 163, 168, 218, 253, 268, 294 ], [ 102, 117, 159, 164, 167, 200, 254, 262, 343 ], [ 140, 144, 161, 165, 168, 202, 221, 255, 297 ], [ 90, 129, 138, 166, 170, 213, 232, 256, 347 ], [ 92, 95, 139, 151, 167, 214, 233, 257, 348 ], [ 138, 140, 150, 164, 168, 197, 215, 258, 315 ], [ 96, 101, 141, 162, 169, 256, 259, 266, 350 ], [ 97, 134, 142, 161, 170, 194, 257, 260, 275 ], [ 131, 136, 171, 175, 178, 195, 259, 261, 276 ], [ 95, 112, 130, 143, 172, 193, 255, 262, 308 ], [ 113, 131, 142, 170, 173, 183, 240, 263, 352 ], [ 115, 133, 143, 154, 174, 216, 236, 264, 311 ], [ 105, 112, 134, 155, 175, 231, 249, 265, 356 ], [ 106, 133, 149, 156, 176, 181, 232, 266, 284 ], [ 108, 146, 158, 165, 177, 208, 265, 267, 285 ], [ 125, 129, 148, 157, 178, 191, 207, 268, 326 ], [ 117, 121, 169, 174, 179, 186, 248, 269, 298 ] ], "Z": [ [ 0, 90, 144, 162, 180, 203, 221, 246, 256 ], [ 1, 91, 119, 176, 181, 196, 246, 250, 253 ], [ 2, 92, 115, 134, 182, 217, 231, 236, 257 ], [ 3, 93, 111, 173, 183, 219, 230, 238, 243 ], [ 4, 94, 98, 160, 184, 220, 229, 239, 242 ], [ 5, 95, 97, 159, 185, 209, 222, 257, 262 ], [ 6, 96, 136, 179, 186, 211, 235, 238, 259 ], [ 7, 97, 118, 137, 187, 212, 234, 237, 260 ], [ 8, 98, 129, 149, 188, 192, 207, 232, 245 ], [ 9, 94, 99, 151, 189, 214, 234, 244, 251 ], [ 10, 90, 100, 132, 190, 213, 235, 243, 252 ], [ 11, 101, 127, 178, 190, 191, 227, 253, 259 ], [ 12, 102, 110, 128, 192, 212, 226, 237, 254 ], [ 13, 103, 111, 172, 182, 193, 211, 225, 238 ], [ 14, 104, 106, 170, 187, 194, 232, 237, 240 ], [ 15, 105, 108, 171, 195, 206, 226, 251, 265 ], [ 16, 96, 106, 109, 196, 205, 227, 250, 266 ], [ 17, 107, 152, 168, 197, 218, 221, 228, 230 ], [ 18, 108, 135, 153, 198, 217, 220, 229, 267 ], [ 19, 109, 136, 154, 195, 199, 216, 219, 230 ], [ 20, 100, 110, 164, 200, 205, 215, 223, 229 ], [ 21, 92, 111, 147, 201, 206, 214, 224, 228 ], [ 22, 102, 112, 165, 199, 201, 202, 262, 265 ], [ 23, 93, 103, 113, 198, 203, 227, 250, 263 ], [ 24, 94, 114, 150, 188, 197, 204, 226, 251 ], [ 25, 115, 126, 145, 204, 205, 209, 245, 264 ], [ 26, 116, 127, 146, 189, 196, 206, 208, 253 ], [ 27, 117, 128, 178, 190, 195, 207, 254, 269 ], [ 28, 118, 121, 177, 198, 208, 220, 223, 248 ], [ 29, 105, 119, 122, 199, 209, 219, 222, 249 ], [ 30, 120, 123, 143, 193, 210, 236, 242, 244 ], [ 31, 107, 121, 124, 192, 211, 235, 243, 269 ], [ 32, 108, 122, 125, 191, 208, 212, 234, 244 ], [ 33, 104, 123, 166, 201, 204, 213, 245, 247 ], [ 34, 124, 152, 167, 200, 203, 210, 214, 246 ], [ 35, 125, 153, 168, 202, 211, 215, 247, 268 ], [ 36, 113, 126, 174, 184, 212, 216, 240, 248 ], [ 37, 99, 114, 127, 199, 211, 217, 222, 241 ], [ 38, 100, 128, 163, 180, 198, 210, 218, 223 ], [ 39, 101, 116, 129, 187, 218, 219, 256, 268 ], [ 40, 102, 117, 130, 186, 200, 209, 220, 262 ], [ 41, 103, 131, 165, 201, 208, 221, 261, 263 ], [ 42, 132, 144, 161, 194, 202, 221, 222, 228 ], [ 43, 133, 145, 162, 185, 203, 223, 264, 266 ], [ 44, 126, 134, 146, 189, 204, 224, 260, 265 ], [ 45, 135, 138, 157, 204, 207, 213, 215, 225 ], [ 46, 120, 136, 139, 203, 206, 214, 226, 261 ], [ 47, 121, 137, 140, 186, 202, 205, 215, 227 ], [ 48, 91, 138, 141, 184, 218, 228, 256, 258 ], [ 49, 123, 139, 142, 183, 217, 225, 229, 257 ], [ 50, 124, 140, 143, 216, 226, 230, 255, 258 ], [ 51, 119, 141, 175, 185, 188, 190, 231, 259 ], [ 52, 142, 166, 176, 189, 228, 232, 260, 263 ], [ 53, 104, 143, 167, 185, 229, 233, 262, 264 ], [ 54, 112, 130, 144, 193, 196, 231, 234, 255 ], [ 55, 113, 131, 145, 183, 187, 195, 235, 240 ], [ 56, 114, 146, 174, 184, 186, 236, 241, 267 ], [ 57, 115, 133, 147, 181, 216, 236, 237, 242 ], [ 58, 116, 134, 148, 194, 217, 238, 249, 268 ], [ 59, 101, 117, 149, 200, 218, 239, 248, 266 ], [ 60, 150, 160, 173, 210, 219, 239, 240, 258 ], [ 61, 98, 151, 161, 202, 220, 241, 247, 257 ], [ 62, 95, 152, 155, 190, 193, 231, 233, 242 ], [ 63, 138, 153, 156, 189, 192, 197, 232, 243 ], [ 64, 139, 154, 157, 191, 198, 233, 244, 264 ], [ 65, 97, 155, 158, 180, 194, 201, 245, 265 ], [ 66, 141, 156, 159, 200, 241, 242, 246, 266 ], [ 67, 91, 142, 157, 194, 240, 243, 247, 268 ], [ 68, 137, 158, 179, 182, 196, 248, 252, 267 ], [ 69, 118, 159, 175, 195, 245, 249, 251, 254 ], [ 70, 129, 148, 160, 185, 191, 207, 213, 250 ], [ 71, 130, 149, 161, 181, 192, 251, 255, 260 ], [ 72, 112, 131, 162, 183, 193, 249, 252, 259 ], [ 73, 132, 151, 163, 225, 233, 234, 252, 253 ], [ 74, 90, 133, 164, 216, 232, 235, 254, 258 ], [ 75, 110, 165, 172, 182, 237, 244, 255, 267 ], [ 76, 106, 166, 169, 181, 182, 184, 248, 256 ], [ 77, 155, 167, 170, 183, 213, 249, 254, 257 ], [ 78, 95, 156, 168, 181, 214, 253, 255, 258 ], [ 79, 109, 169, 171, 188, 209, 224, 259, 269 ], [ 80, 96, 158, 170, 208, 223, 256, 260, 263 ], [ 81, 135, 154, 171, 210, 212, 236, 239, 261 ], [ 82, 147, 164, 172, 197, 205, 224, 247, 262 ], [ 83, 92, 148, 173, 191, 206, 233, 246, 263 ], [ 84, 93, 150, 174, 188, 215, 250, 264, 269 ], [ 85, 122, 175, 177, 180, 187, 239, 261, 265 ], [ 86, 105, 169, 176, 186, 231, 238, 241, 266 ], [ 87, 107, 125, 177, 207, 225, 227, 252, 267 ], [ 88, 99, 163, 178, 180, 222, 230, 261, 268 ], [ 89, 120, 140, 179, 197, 199, 221, 224, 269 ], [ 0, 8, 56, 115, 270, 293, 311, 336, 346 ], [ 1, 14, 47, 159, 271, 286, 336, 340, 343 ], [ 0, 2, 27, 129, 272, 307, 321, 326, 347 ], [ 3, 20, 71, 94, 273, 309, 320, 328, 333 ], [ 4, 21, 72, 132, 274, 310, 319, 329, 332 ], [ 1, 5, 19, 170, 275, 299, 312, 347, 352 ], [ 6, 28, 63, 171, 276, 301, 325, 328, 349 ], [ 7, 29, 64, 96, 277, 302, 324, 327, 350 ], [ 2, 8, 41, 144, 278, 282, 297, 322, 335 ], [ 3, 9, 43, 100, 279, 304, 324, 334, 341 ], [ 4, 10, 44, 147, 280, 303, 325, 333, 342 ], [ 11, 36, 82, 102, 280, 281, 317, 343, 349 ], [ 12, 37, 83, 103, 282, 302, 316, 327, 344 ], [ 8, 13, 38, 150, 272, 283, 301, 315, 328 ], [ 5, 14, 32, 176, 277, 284, 322, 327, 330 ], [ 6, 15, 34, 177, 285, 296, 316, 341, 355 ], [ 7, 16, 35, 105, 286, 295, 317, 340, 356 ], [ 17, 45, 76, 143, 287, 308, 311, 318, 320 ], [ 18, 46, 77, 107, 288, 307, 310, 319, 357 ], [ 19, 47, 78, 108, 285, 289, 306, 309, 320 ], [ 9, 20, 58, 111, 290, 295, 305, 313, 319 ], [ 10, 21, 59, 160, 291, 296, 304, 314, 318 ], [ 11, 22, 60, 113, 289, 291, 292, 352, 355 ], [ 12, 23, 61, 114, 288, 293, 317, 340, 353 ], [ 0, 13, 24, 163, 278, 287, 294, 316, 341 ], [ 25, 54, 88, 116, 294, 295, 299, 335, 354 ], [ 20, 26, 55, 117, 279, 286, 296, 298, 343 ], [ 21, 27, 56, 165, 280, 285, 297, 344, 359 ], [ 15, 28, 49, 179, 288, 298, 310, 313, 338 ], [ 16, 29, 50, 118, 289, 299, 309, 312, 339 ], [ 17, 30, 51, 157, 283, 300, 326, 332, 334 ], [ 18, 31, 52, 120, 282, 301, 325, 333, 359 ], [ 19, 32, 53, 121, 281, 298, 302, 324, 334 ], [ 33, 62, 85, 91, 291, 294, 303, 335, 337 ], [ 34, 63, 86, 123, 290, 293, 300, 304, 336 ], [ 14, 35, 64, 124, 292, 301, 305, 337, 358 ], [ 22, 36, 73, 127, 274, 302, 306, 330, 338 ], [ 23, 37, 74, 128, 289, 301, 307, 312, 331 ], [ 2, 24, 38, 172, 270, 288, 300, 308, 313 ], [ 25, 39, 75, 130, 277, 308, 309, 346, 358 ], [ 3, 26, 40, 131, 276, 290, 299, 310, 352 ], [ 4, 27, 41, 174, 291, 298, 311, 351, 353 ], [ 36, 42, 70, 133, 284, 292, 311, 312, 318 ], [ 37, 43, 71, 134, 275, 293, 313, 354, 356 ], [ 38, 44, 72, 101, 279, 294, 314, 350, 355 ], [ 30, 45, 65, 168, 294, 297, 303, 305, 315 ], [ 31, 46, 66, 135, 293, 296, 304, 316, 351 ], [ 32, 47, 67, 136, 276, 292, 295, 305, 317 ], [ 33, 48, 68, 95, 274, 308, 318, 346, 348 ], [ 34, 49, 69, 138, 273, 307, 315, 319, 347 ], [ 1, 35, 50, 139, 306, 316, 320, 345, 348 ], [ 51, 76, 89, 97, 275, 278, 280, 321, 349 ], [ 28, 52, 77, 141, 279, 318, 322, 350, 353 ], [ 29, 53, 78, 142, 275, 319, 323, 352, 354 ], [ 39, 54, 84, 145, 283, 286, 321, 324, 345 ], [ 9, 40, 55, 146, 273, 277, 285, 325, 330 ], [ 10, 41, 56, 178, 274, 276, 326, 331, 357 ], [ 11, 42, 57, 148, 271, 306, 326, 327, 332 ], [ 12, 43, 58, 149, 284, 307, 328, 339, 358 ], [ 13, 44, 59, 112, 290, 308, 329, 338, 356 ], [ 54, 60, 82, 151, 300, 309, 329, 330, 348 ], [ 55, 61, 83, 90, 292, 310, 331, 337, 347 ], [ 48, 62, 79, 104, 280, 283, 321, 323, 332 ], [ 49, 63, 80, 152, 279, 282, 287, 322, 333 ], [ 5, 50, 64, 153, 281, 288, 323, 334, 354 ], [ 51, 65, 81, 106, 270, 284, 291, 335, 355 ], [ 6, 52, 66, 155, 290, 331, 332, 336, 356 ], [ 7, 53, 67, 156, 284, 330, 333, 337, 358 ], [ 45, 68, 85, 109, 272, 286, 338, 342, 357 ], [ 46, 69, 86, 158, 285, 335, 339, 341, 344 ], [ 22, 57, 70, 161, 275, 281, 297, 303, 340 ], [ 23, 58, 71, 162, 271, 282, 341, 345, 350 ], [ 24, 59, 72, 126, 273, 283, 339, 342, 349 ], [ 25, 60, 73, 164, 315, 323, 324, 342, 343 ], [ 26, 61, 74, 92, 306, 322, 325, 344, 348 ], [ 70, 75, 88, 93, 272, 327, 334, 345, 357 ], [ 65, 76, 87, 119, 271, 272, 274, 338, 346 ], [ 15, 66, 77, 166, 273, 303, 339, 344, 347 ], [ 16, 67, 78, 167, 271, 304, 343, 345, 348 ], [ 17, 68, 79, 122, 278, 299, 314, 349, 359 ], [ 18, 69, 80, 169, 298, 313, 346, 350, 353 ], [ 62, 81, 89, 125, 300, 302, 326, 329, 351 ], [ 39, 73, 82, 173, 287, 295, 314, 337, 352 ], [ 40, 74, 83, 98, 281, 296, 323, 336, 353 ], [ 42, 75, 84, 99, 278, 305, 340, 354, 359 ], [ 30, 79, 85, 137, 270, 277, 329, 351, 355 ], [ 31, 80, 86, 175, 276, 321, 328, 331, 356 ], [ 33, 81, 87, 140, 297, 315, 317, 342, 357 ], [ 57, 84, 88, 110, 270, 312, 320, 351, 358 ], [ 48, 87, 89, 154, 287, 289, 311, 314, 359 ] ] }, "distance": { "d": 29, "X": { "value": 29, "confidence": "upper_bound", "witness": [ 1, 26, 27, 47, 56, 69, 77, 79, 86, 101, 116, 117, 119, 186, 249, 259, 274, 295, 300, 306, 310, 311, 313, 314, 318, 329, 332, 347, 356 ], "witness_provenance": { "found_by": [ "@rajendrarajpurohit" ], "date": "2026-11-04", "found_at_samples": 1, "survived_samples": 1, "tool": "verify/gate_changed.py (CI gate, RIS-fast, seed 940231952)", "seeds": [ 940231952 ] } }, "Z": { "value": 32, "confidence": "upper_bound", "witness": [ 9, 10, 14, 20, 21, 32, 33, 42, 45, 48, 52, 53, 60, 65, 67, 70, 73, 80, 81, 85, 239, 251, 253, 268, 274, 296, 309, 314, 326, 330, 340, 354 ] } }, "provenance": { "authors": [ "@rajendrarajpurohit" ], "construction": "Coset lifted product (CLP) code, Definition III.1 of arXiv:2610.12782, 1x1 over 2x2 layout, check weight 9. G = SmallGroup(270,25) (GAP SmallGroups id), H = = C3 by generators in the polycyclic generating sequence f1,f2,... of G, m = [G:H] = 90, n = 4m = 360. a over F_2[G] by the left coset action on G/H, B over F_2[N_G(H)] by the right coset action. a = 1 + f2*f4*f5^2 + f2^2*f3*f4*f5^4 + f1*f3*f4^2*f5^2 + f1*f2^2*f3*f5^3; B = [[1, 1 + f3 + f3*f5^2], [1 + f3*f5 + f3*f4*f5^4, f4*f5^4]]. Rebuild with gap/rebuild.g in https://github.com/rajendrarajpurohit/CLP_QLDPC.", "origin": "submission", "date": "2026-11-03", "search_budget": { "ris_trials_per_side": 1000000 }, "references": [ "arXiv:2610.12782" ], "novelty": "known_parameters", "notes": "Table II of arXiv:2610.12782 lists this code with the two sided QDistRnd bound d <= 31 at 10^6 rounds; the witness here is from this tool's own search and the entry carries that value. Authors Rajendra Rajpurohit, V. Lalitha, Shayan Srinivasa Garani. The CI gate's orbit-fold search found a weight 30 logical; the claim was lowered from 31 to 30 and the paper's Table II will be corrected. A second gate run (seed 940231952) found a weight 29 logical; the claim was lowered to 29.", "model": "human" }, "family": "2bga-coset" }