{ "schema_version": "0.4", "name": "[[406,8,36]] weight-8 coprime bivariate-bicycle code", "code_type": "CSS", "n": 406, "k": 8, "checks": { "X": [ [ 0, 76, 110, 142, 203, 327, 368, 388 ], [ 1, 70, 111, 143, 204, 328, 369, 389 ], [ 2, 71, 105, 144, 205, 322, 370, 390 ], [ 3, 72, 106, 145, 206, 323, 364, 391 ], [ 4, 73, 107, 146, 207, 324, 365, 385 ], [ 5, 74, 108, 140, 208, 325, 366, 386 ], [ 6, 75, 109, 141, 209, 326, 367, 387 ], [ 7, 83, 117, 149, 210, 334, 375, 395 ], [ 8, 77, 118, 150, 211, 335, 376, 396 ], [ 9, 78, 112, 151, 212, 329, 377, 397 ], [ 10, 79, 113, 152, 213, 330, 371, 398 ], [ 11, 80, 114, 153, 214, 331, 372, 392 ], [ 12, 81, 115, 147, 215, 332, 373, 393 ], [ 13, 82, 116, 148, 216, 333, 374, 394 ], [ 14, 90, 124, 156, 217, 341, 382, 402 ], [ 15, 84, 125, 157, 218, 342, 383, 403 ], [ 16, 85, 119, 158, 219, 336, 384, 404 ], [ 17, 86, 120, 159, 220, 337, 378, 405 ], [ 18, 87, 121, 160, 221, 338, 379, 399 ], [ 19, 88, 122, 154, 222, 339, 380, 400 ], [ 20, 89, 123, 155, 223, 340, 381, 401 ], [ 21, 97, 131, 163, 206, 224, 348, 389 ], [ 22, 91, 132, 164, 207, 225, 349, 390 ], [ 23, 92, 126, 165, 208, 226, 343, 391 ], [ 24, 93, 127, 166, 209, 227, 344, 385 ], [ 25, 94, 128, 167, 203, 228, 345, 386 ], [ 26, 95, 129, 161, 204, 229, 346, 387 ], [ 27, 96, 130, 162, 205, 230, 347, 388 ], [ 28, 104, 138, 170, 213, 231, 355, 396 ], [ 29, 98, 139, 171, 214, 232, 356, 397 ], [ 30, 99, 133, 172, 215, 233, 350, 398 ], [ 31, 100, 134, 173, 216, 234, 351, 392 ], [ 32, 101, 135, 174, 210, 235, 352, 393 ], [ 33, 102, 136, 168, 211, 236, 353, 394 ], [ 34, 103, 137, 169, 212, 237, 354, 395 ], [ 35, 111, 145, 177, 220, 238, 362, 403 ], [ 36, 105, 146, 178, 221, 239, 363, 404 ], [ 37, 106, 140, 179, 222, 240, 357, 405 ], [ 38, 107, 141, 180, 223, 241, 358, 399 ], [ 39, 108, 142, 181, 217, 242, 359, 400 ], [ 40, 109, 143, 175, 218, 243, 360, 401 ], [ 41, 110, 144, 176, 219, 244, 361, 402 ], [ 42, 118, 152, 184, 207, 227, 245, 369 ], [ 43, 112, 153, 185, 208, 228, 246, 370 ], [ 44, 113, 147, 186, 209, 229, 247, 364 ], [ 45, 114, 148, 187, 203, 230, 248, 365 ], [ 46, 115, 149, 188, 204, 224, 249, 366 ], [ 47, 116, 150, 182, 205, 225, 250, 367 ], [ 48, 117, 151, 183, 206, 226, 251, 368 ], [ 49, 125, 159, 191, 214, 234, 252, 376 ], [ 50, 119, 160, 192, 215, 235, 253, 377 ], [ 51, 120, 154, 193, 216, 236, 254, 371 ], [ 52, 121, 155, 194, 210, 237, 255, 372 ], [ 53, 122, 156, 195, 211, 231, 256, 373 ], [ 54, 123, 157, 189, 212, 232, 257, 374 ], [ 55, 124, 158, 190, 213, 233, 258, 375 ], [ 56, 132, 166, 198, 221, 241, 259, 383 ], [ 57, 126, 167, 199, 222, 242, 260, 384 ], [ 58, 127, 161, 200, 223, 243, 261, 378 ], [ 59, 128, 162, 201, 217, 244, 262, 379 ], [ 60, 129, 163, 202, 218, 238, 263, 380 ], [ 61, 130, 164, 196, 219, 239, 264, 381 ], [ 62, 131, 165, 197, 220, 240, 265, 382 ], [ 2, 63, 139, 173, 228, 248, 266, 390 ], [ 3, 64, 133, 174, 229, 249, 267, 391 ], [ 4, 65, 134, 168, 230, 250, 268, 385 ], [ 5, 66, 135, 169, 224, 251, 269, 386 ], [ 6, 67, 136, 170, 225, 245, 270, 387 ], [ 0, 68, 137, 171, 226, 246, 271, 388 ], [ 1, 69, 138, 172, 227, 247, 272, 389 ], [ 9, 70, 146, 180, 235, 255, 273, 397 ], [ 10, 71, 140, 181, 236, 256, 274, 398 ], [ 11, 72, 141, 175, 237, 257, 275, 392 ], [ 12, 73, 142, 176, 231, 258, 276, 393 ], [ 13, 74, 143, 177, 232, 252, 277, 394 ], [ 7, 75, 144, 178, 233, 253, 278, 395 ], [ 8, 76, 145, 179, 234, 254, 279, 396 ], [ 16, 77, 153, 187, 242, 262, 280, 404 ], [ 17, 78, 147, 188, 243, 263, 281, 405 ], [ 18, 79, 148, 182, 244, 264, 282, 399 ], [ 19, 80, 149, 183, 238, 265, 283, 400 ], [ 20, 81, 150, 184, 239, 259, 284, 401 ], [ 14, 82, 151, 185, 240, 260, 285, 402 ], [ 15, 83, 152, 186, 241, 261, 286, 403 ], [ 23, 84, 160, 194, 208, 249, 269, 287 ], [ 24, 85, 154, 195, 209, 250, 270, 288 ], [ 25, 86, 155, 189, 203, 251, 271, 289 ], [ 26, 87, 156, 190, 204, 245, 272, 290 ], [ 27, 88, 157, 191, 205, 246, 266, 291 ], [ 21, 89, 158, 192, 206, 247, 267, 292 ], [ 22, 90, 159, 193, 207, 248, 268, 293 ], [ 30, 91, 167, 201, 215, 256, 276, 294 ], [ 31, 92, 161, 202, 216, 257, 277, 295 ], [ 32, 93, 162, 196, 210, 258, 278, 296 ], [ 33, 94, 163, 197, 211, 252, 279, 297 ], [ 34, 95, 164, 198, 212, 253, 273, 298 ], [ 28, 96, 165, 199, 213, 254, 274, 299 ], [ 29, 97, 166, 200, 214, 255, 275, 300 ], [ 5, 37, 98, 174, 222, 263, 283, 301 ], [ 6, 38, 99, 168, 223, 264, 284, 302 ], [ 0, 39, 100, 169, 217, 265, 285, 303 ], [ 1, 40, 101, 170, 218, 259, 286, 304 ], [ 2, 41, 102, 171, 219, 260, 280, 305 ], [ 3, 35, 103, 172, 220, 261, 281, 306 ], [ 4, 36, 104, 173, 221, 262, 282, 307 ], [ 12, 44, 105, 181, 229, 270, 290, 308 ], [ 13, 45, 106, 175, 230, 271, 291, 309 ], [ 7, 46, 107, 176, 224, 272, 292, 310 ], [ 8, 47, 108, 177, 225, 266, 293, 311 ], [ 9, 48, 109, 178, 226, 267, 287, 312 ], [ 10, 42, 110, 179, 227, 268, 288, 313 ], [ 11, 43, 111, 180, 228, 269, 289, 314 ], [ 19, 51, 112, 188, 236, 277, 297, 315 ], [ 20, 52, 113, 182, 237, 278, 298, 316 ], [ 14, 53, 114, 183, 231, 279, 299, 317 ], [ 15, 54, 115, 184, 232, 273, 300, 318 ], [ 16, 55, 116, 185, 233, 274, 294, 319 ], [ 17, 49, 117, 186, 234, 275, 295, 320 ], [ 18, 50, 118, 187, 235, 276, 296, 321 ], [ 26, 58, 119, 195, 243, 284, 304, 322 ], [ 27, 59, 120, 189, 244, 285, 305, 323 ], [ 21, 60, 121, 190, 238, 286, 306, 324 ], [ 22, 61, 122, 191, 239, 280, 307, 325 ], [ 23, 62, 123, 192, 240, 281, 301, 326 ], [ 24, 56, 124, 193, 241, 282, 302, 327 ], [ 25, 57, 125, 194, 242, 283, 303, 328 ], [ 33, 65, 126, 202, 250, 291, 311, 329 ], [ 34, 66, 127, 196, 251, 292, 312, 330 ], [ 28, 67, 128, 197, 245, 293, 313, 331 ], [ 29, 68, 129, 198, 246, 287, 314, 332 ], [ 30, 69, 130, 199, 247, 288, 308, 333 ], [ 31, 63, 131, 200, 248, 289, 309, 334 ], [ 32, 64, 132, 201, 249, 290, 310, 335 ], [ 6, 40, 72, 133, 257, 298, 318, 336 ], [ 0, 41, 73, 134, 258, 299, 319, 337 ], [ 1, 35, 74, 135, 252, 300, 320, 338 ], [ 2, 36, 75, 136, 253, 294, 321, 339 ], [ 3, 37, 76, 137, 254, 295, 315, 340 ], [ 4, 38, 70, 138, 255, 296, 316, 341 ], [ 5, 39, 71, 139, 256, 297, 317, 342 ], [ 13, 47, 79, 140, 264, 305, 325, 343 ], [ 7, 48, 80, 141, 265, 306, 326, 344 ], [ 8, 42, 81, 142, 259, 307, 327, 345 ], [ 9, 43, 82, 143, 260, 301, 328, 346 ], [ 10, 44, 83, 144, 261, 302, 322, 347 ], [ 11, 45, 77, 145, 262, 303, 323, 348 ], [ 12, 46, 78, 146, 263, 304, 324, 349 ], [ 20, 54, 86, 147, 271, 312, 332, 350 ], [ 14, 55, 87, 148, 272, 313, 333, 351 ], [ 15, 49, 88, 149, 266, 314, 334, 352 ], [ 16, 50, 89, 150, 267, 308, 335, 353 ], [ 17, 51, 90, 151, 268, 309, 329, 354 ], [ 18, 52, 84, 152, 269, 310, 330, 355 ], [ 19, 53, 85, 153, 270, 311, 331, 356 ], [ 27, 61, 93, 154, 278, 319, 339, 357 ], [ 21, 62, 94, 155, 279, 320, 340, 358 ], [ 22, 56, 95, 156, 273, 321, 341, 359 ], [ 23, 57, 96, 157, 274, 315, 342, 360 ], [ 24, 58, 97, 158, 275, 316, 336, 361 ], [ 25, 59, 91, 159, 276, 317, 337, 362 ], [ 26, 60, 92, 160, 277, 318, 338, 363 ], [ 34, 68, 100, 161, 285, 326, 346, 364 ], [ 28, 69, 101, 162, 286, 327, 347, 365 ], [ 29, 63, 102, 163, 280, 328, 348, 366 ], [ 30, 64, 103, 164, 281, 322, 349, 367 ], [ 31, 65, 104, 165, 282, 323, 343, 368 ], [ 32, 66, 98, 166, 283, 324, 344, 369 ], [ 33, 67, 99, 167, 284, 325, 345, 370 ], [ 41, 75, 107, 168, 292, 333, 353, 371 ], [ 35, 76, 108, 169, 293, 334, 354, 372 ], [ 36, 70, 109, 170, 287, 335, 355, 373 ], [ 37, 71, 110, 171, 288, 329, 356, 374 ], [ 38, 72, 111, 172, 289, 330, 350, 375 ], [ 39, 73, 105, 173, 290, 331, 351, 376 ], [ 40, 74, 106, 174, 291, 332, 352, 377 ], [ 48, 82, 114, 175, 299, 340, 360, 378 ], [ 42, 83, 115, 176, 300, 341, 361, 379 ], [ 43, 77, 116, 177, 294, 342, 362, 380 ], [ 44, 78, 117, 178, 295, 336, 363, 381 ], [ 45, 79, 118, 179, 296, 337, 357, 382 ], [ 46, 80, 112, 180, 297, 338, 358, 383 ], [ 47, 81, 113, 181, 298, 339, 359, 384 ], [ 55, 89, 121, 182, 306, 347, 367, 385 ], [ 49, 90, 122, 183, 307, 348, 368, 386 ], [ 50, 84, 123, 184, 301, 349, 369, 387 ], [ 51, 85, 124, 185, 302, 343, 370, 388 ], [ 52, 86, 125, 186, 303, 344, 364, 389 ], [ 53, 87, 119, 187, 304, 345, 365, 390 ], [ 54, 88, 120, 188, 305, 346, 366, 391 ], [ 62, 96, 128, 189, 313, 354, 374, 392 ], [ 56, 97, 129, 190, 314, 355, 375, 393 ], [ 57, 91, 130, 191, 308, 356, 376, 394 ], [ 58, 92, 131, 192, 309, 350, 377, 395 ], [ 59, 93, 132, 193, 310, 351, 371, 396 ], [ 60, 94, 126, 194, 311, 352, 372, 397 ], [ 61, 95, 127, 195, 312, 353, 373, 398 ], [ 69, 103, 135, 196, 320, 361, 381, 399 ], [ 63, 104, 136, 197, 321, 362, 382, 400 ], [ 64, 98, 137, 198, 315, 363, 383, 401 ], [ 65, 99, 138, 199, 316, 357, 384, 402 ], [ 66, 100, 139, 200, 317, 358, 378, 403 ], [ 67, 101, 133, 201, 318, 359, 379, 404 ], [ 68, 102, 134, 202, 319, 360, 380, 405 ] ], "Z": [ [ 0, 25, 45, 86, 203, 271, 303, 337 ], [ 1, 26, 46, 87, 204, 272, 304, 338 ], [ 2, 27, 47, 88, 205, 266, 305, 339 ], [ 3, 21, 48, 89, 206, 267, 306, 340 ], [ 4, 22, 42, 90, 207, 268, 307, 341 ], [ 5, 23, 43, 84, 208, 269, 301, 342 ], [ 6, 24, 44, 85, 209, 270, 302, 336 ], [ 7, 32, 52, 93, 210, 278, 310, 344 ], [ 8, 33, 53, 94, 211, 279, 311, 345 ], [ 9, 34, 54, 95, 212, 273, 312, 346 ], [ 10, 28, 55, 96, 213, 274, 313, 347 ], [ 11, 29, 49, 97, 214, 275, 314, 348 ], [ 12, 30, 50, 91, 215, 276, 308, 349 ], [ 13, 31, 51, 92, 216, 277, 309, 343 ], [ 14, 39, 59, 100, 217, 285, 317, 351 ], [ 15, 40, 60, 101, 218, 286, 318, 352 ], [ 16, 41, 61, 102, 219, 280, 319, 353 ], [ 17, 35, 62, 103, 220, 281, 320, 354 ], [ 18, 36, 56, 104, 221, 282, 321, 355 ], [ 19, 37, 57, 98, 222, 283, 315, 356 ], [ 20, 38, 58, 99, 223, 284, 316, 350 ], [ 21, 46, 66, 107, 224, 292, 324, 358 ], [ 22, 47, 67, 108, 225, 293, 325, 359 ], [ 23, 48, 68, 109, 226, 287, 326, 360 ], [ 24, 42, 69, 110, 227, 288, 327, 361 ], [ 25, 43, 63, 111, 228, 289, 328, 362 ], [ 26, 44, 64, 105, 229, 290, 322, 363 ], [ 27, 45, 65, 106, 230, 291, 323, 357 ], [ 28, 53, 73, 114, 231, 299, 331, 365 ], [ 29, 54, 74, 115, 232, 300, 332, 366 ], [ 30, 55, 75, 116, 233, 294, 333, 367 ], [ 31, 49, 76, 117, 234, 295, 334, 368 ], [ 32, 50, 70, 118, 235, 296, 335, 369 ], [ 33, 51, 71, 112, 236, 297, 329, 370 ], [ 34, 52, 72, 113, 237, 298, 330, 364 ], [ 35, 60, 80, 121, 238, 306, 338, 372 ], [ 36, 61, 81, 122, 239, 307, 339, 373 ], [ 37, 62, 82, 123, 240, 301, 340, 374 ], [ 38, 56, 83, 124, 241, 302, 341, 375 ], [ 39, 57, 77, 125, 242, 303, 342, 376 ], [ 40, 58, 78, 119, 243, 304, 336, 377 ], [ 41, 59, 79, 120, 244, 305, 337, 371 ], [ 42, 67, 87, 128, 245, 313, 345, 379 ], [ 43, 68, 88, 129, 246, 314, 346, 380 ], [ 44, 69, 89, 130, 247, 308, 347, 381 ], [ 45, 63, 90, 131, 248, 309, 348, 382 ], [ 46, 64, 84, 132, 249, 310, 349, 383 ], [ 47, 65, 85, 126, 250, 311, 343, 384 ], [ 48, 66, 86, 127, 251, 312, 344, 378 ], [ 49, 74, 94, 135, 252, 320, 352, 386 ], [ 50, 75, 95, 136, 253, 321, 353, 387 ], [ 51, 76, 96, 137, 254, 315, 354, 388 ], [ 52, 70, 97, 138, 255, 316, 355, 389 ], [ 53, 71, 91, 139, 256, 317, 356, 390 ], [ 54, 72, 92, 133, 257, 318, 350, 391 ], [ 55, 73, 93, 134, 258, 319, 351, 385 ], [ 56, 81, 101, 142, 259, 327, 359, 393 ], [ 57, 82, 102, 143, 260, 328, 360, 394 ], [ 58, 83, 103, 144, 261, 322, 361, 395 ], [ 59, 77, 104, 145, 262, 323, 362, 396 ], [ 60, 78, 98, 146, 263, 324, 363, 397 ], [ 61, 79, 99, 140, 264, 325, 357, 398 ], [ 62, 80, 100, 141, 265, 326, 358, 392 ], [ 63, 88, 108, 149, 266, 334, 366, 400 ], [ 64, 89, 109, 150, 267, 335, 367, 401 ], [ 65, 90, 110, 151, 268, 329, 368, 402 ], [ 66, 84, 111, 152, 269, 330, 369, 403 ], [ 67, 85, 105, 153, 270, 331, 370, 404 ], [ 68, 86, 106, 147, 271, 332, 364, 405 ], [ 69, 87, 107, 148, 272, 333, 365, 399 ], [ 70, 95, 115, 156, 204, 273, 341, 373 ], [ 71, 96, 116, 157, 205, 274, 342, 374 ], [ 72, 97, 117, 158, 206, 275, 336, 375 ], [ 73, 91, 118, 159, 207, 276, 337, 376 ], [ 74, 92, 112, 160, 208, 277, 338, 377 ], [ 75, 93, 113, 154, 209, 278, 339, 371 ], [ 76, 94, 114, 155, 203, 279, 340, 372 ], [ 77, 102, 122, 163, 211, 280, 348, 380 ], [ 78, 103, 123, 164, 212, 281, 349, 381 ], [ 79, 104, 124, 165, 213, 282, 343, 382 ], [ 80, 98, 125, 166, 214, 283, 344, 383 ], [ 81, 99, 119, 167, 215, 284, 345, 384 ], [ 82, 100, 120, 161, 216, 285, 346, 378 ], [ 83, 101, 121, 162, 210, 286, 347, 379 ], [ 84, 109, 129, 170, 218, 287, 355, 387 ], [ 85, 110, 130, 171, 219, 288, 356, 388 ], [ 86, 111, 131, 172, 220, 289, 350, 389 ], [ 87, 105, 132, 173, 221, 290, 351, 390 ], [ 88, 106, 126, 174, 222, 291, 352, 391 ], [ 89, 107, 127, 168, 223, 292, 353, 385 ], [ 90, 108, 128, 169, 217, 293, 354, 386 ], [ 91, 116, 136, 177, 225, 294, 362, 394 ], [ 92, 117, 137, 178, 226, 295, 363, 395 ], [ 93, 118, 138, 179, 227, 296, 357, 396 ], [ 94, 112, 139, 180, 228, 297, 358, 397 ], [ 95, 113, 133, 181, 229, 298, 359, 398 ], [ 96, 114, 134, 175, 230, 299, 360, 392 ], [ 97, 115, 135, 176, 224, 300, 361, 393 ], [ 98, 123, 143, 184, 232, 301, 369, 401 ], [ 99, 124, 144, 185, 233, 302, 370, 402 ], [ 100, 125, 145, 186, 234, 303, 364, 403 ], [ 101, 119, 146, 187, 235, 304, 365, 404 ], [ 102, 120, 140, 188, 236, 305, 366, 405 ], [ 103, 121, 141, 182, 237, 306, 367, 399 ], [ 104, 122, 142, 183, 231, 307, 368, 400 ], [ 105, 130, 150, 191, 205, 239, 308, 376 ], [ 106, 131, 151, 192, 206, 240, 309, 377 ], [ 107, 132, 152, 193, 207, 241, 310, 371 ], [ 108, 126, 153, 194, 208, 242, 311, 372 ], [ 109, 127, 147, 195, 209, 243, 312, 373 ], [ 110, 128, 148, 189, 203, 244, 313, 374 ], [ 111, 129, 149, 190, 204, 238, 314, 375 ], [ 112, 137, 157, 198, 212, 246, 315, 383 ], [ 113, 138, 158, 199, 213, 247, 316, 384 ], [ 114, 139, 159, 200, 214, 248, 317, 378 ], [ 115, 133, 160, 201, 215, 249, 318, 379 ], [ 116, 134, 154, 202, 216, 250, 319, 380 ], [ 117, 135, 155, 196, 210, 251, 320, 381 ], [ 118, 136, 156, 197, 211, 245, 321, 382 ], [ 2, 119, 144, 164, 219, 253, 322, 390 ], [ 3, 120, 145, 165, 220, 254, 323, 391 ], [ 4, 121, 146, 166, 221, 255, 324, 385 ], [ 5, 122, 140, 167, 222, 256, 325, 386 ], [ 6, 123, 141, 161, 223, 257, 326, 387 ], [ 0, 124, 142, 162, 217, 258, 327, 388 ], [ 1, 125, 143, 163, 218, 252, 328, 389 ], [ 9, 126, 151, 171, 226, 260, 329, 397 ], [ 10, 127, 152, 172, 227, 261, 330, 398 ], [ 11, 128, 153, 173, 228, 262, 331, 392 ], [ 12, 129, 147, 174, 229, 263, 332, 393 ], [ 13, 130, 148, 168, 230, 264, 333, 394 ], [ 7, 131, 149, 169, 224, 265, 334, 395 ], [ 8, 132, 150, 170, 225, 259, 335, 396 ], [ 16, 133, 158, 178, 233, 267, 336, 404 ], [ 17, 134, 159, 179, 234, 268, 337, 405 ], [ 18, 135, 160, 180, 235, 269, 338, 399 ], [ 19, 136, 154, 181, 236, 270, 339, 400 ], [ 20, 137, 155, 175, 237, 271, 340, 401 ], [ 14, 138, 156, 176, 231, 272, 341, 402 ], [ 15, 139, 157, 177, 232, 266, 342, 403 ], [ 23, 140, 165, 185, 208, 240, 274, 343 ], [ 24, 141, 166, 186, 209, 241, 275, 344 ], [ 25, 142, 167, 187, 203, 242, 276, 345 ], [ 26, 143, 161, 188, 204, 243, 277, 346 ], [ 27, 144, 162, 182, 205, 244, 278, 347 ], [ 21, 145, 163, 183, 206, 238, 279, 348 ], [ 22, 146, 164, 184, 207, 239, 273, 349 ], [ 30, 147, 172, 192, 215, 247, 281, 350 ], [ 31, 148, 173, 193, 216, 248, 282, 351 ], [ 32, 149, 174, 194, 210, 249, 283, 352 ], [ 33, 150, 168, 195, 211, 250, 284, 353 ], [ 34, 151, 169, 189, 212, 251, 285, 354 ], [ 28, 152, 170, 190, 213, 245, 286, 355 ], [ 29, 153, 171, 191, 214, 246, 280, 356 ], [ 37, 154, 179, 199, 222, 254, 288, 357 ], [ 38, 155, 180, 200, 223, 255, 289, 358 ], [ 39, 156, 181, 201, 217, 256, 290, 359 ], [ 40, 157, 175, 202, 218, 257, 291, 360 ], [ 41, 158, 176, 196, 219, 258, 292, 361 ], [ 35, 159, 177, 197, 220, 252, 293, 362 ], [ 36, 160, 178, 198, 221, 253, 287, 363 ], [ 3, 44, 161, 186, 229, 261, 295, 364 ], [ 4, 45, 162, 187, 230, 262, 296, 365 ], [ 5, 46, 163, 188, 224, 263, 297, 366 ], [ 6, 47, 164, 182, 225, 264, 298, 367 ], [ 0, 48, 165, 183, 226, 265, 299, 368 ], [ 1, 42, 166, 184, 227, 259, 300, 369 ], [ 2, 43, 167, 185, 228, 260, 294, 370 ], [ 10, 51, 168, 193, 236, 268, 302, 371 ], [ 11, 52, 169, 194, 237, 269, 303, 372 ], [ 12, 53, 170, 195, 231, 270, 304, 373 ], [ 13, 54, 171, 189, 232, 271, 305, 374 ], [ 7, 55, 172, 190, 233, 272, 306, 375 ], [ 8, 49, 173, 191, 234, 266, 307, 376 ], [ 9, 50, 174, 192, 235, 267, 301, 377 ], [ 17, 58, 175, 200, 243, 275, 309, 378 ], [ 18, 59, 176, 201, 244, 276, 310, 379 ], [ 19, 60, 177, 202, 238, 277, 311, 380 ], [ 20, 61, 178, 196, 239, 278, 312, 381 ], [ 14, 62, 179, 197, 240, 279, 313, 382 ], [ 15, 56, 180, 198, 241, 273, 314, 383 ], [ 16, 57, 181, 199, 242, 274, 308, 384 ], [ 4, 24, 65, 182, 250, 282, 316, 385 ], [ 5, 25, 66, 183, 251, 283, 317, 386 ], [ 6, 26, 67, 184, 245, 284, 318, 387 ], [ 0, 27, 68, 185, 246, 285, 319, 388 ], [ 1, 21, 69, 186, 247, 286, 320, 389 ], [ 2, 22, 63, 187, 248, 280, 321, 390 ], [ 3, 23, 64, 188, 249, 281, 315, 391 ], [ 11, 31, 72, 189, 257, 289, 323, 392 ], [ 12, 32, 73, 190, 258, 290, 324, 393 ], [ 13, 33, 74, 191, 252, 291, 325, 394 ], [ 7, 34, 75, 192, 253, 292, 326, 395 ], [ 8, 28, 76, 193, 254, 293, 327, 396 ], [ 9, 29, 70, 194, 255, 287, 328, 397 ], [ 10, 30, 71, 195, 256, 288, 322, 398 ], [ 18, 38, 79, 196, 264, 296, 330, 399 ], [ 19, 39, 80, 197, 265, 297, 331, 400 ], [ 20, 40, 81, 198, 259, 298, 332, 401 ], [ 14, 41, 82, 199, 260, 299, 333, 402 ], [ 15, 35, 83, 200, 261, 300, 334, 403 ], [ 16, 36, 77, 201, 262, 294, 335, 404 ], [ 17, 37, 78, 202, 263, 295, 329, 405 ] ] }, "distance": { "d": 36, "X": { "value": 37, "confidence": "upper_bound", "witness": [ 1, 3, 21, 36, 46, 52, 55, 61, 75, 77, 79, 87, 93, 94, 120, 125, 138, 141, 145, 155, 161, 166, 188, 196, 211, 213, 221, 237, 245, 249, 272, 292, 318, 352, 353, 358, 391 ], "witness_provenance": { "found_by": [ "@vprusso" ], "date": "2026-09-27", "found_at_samples": 300000000, "tool": "verify/ris_gpu.py (build/ris_gpu, NVIDIA A40)", "seeds": [ 564474005 ], "survived_samples": 300000000 } }, "Z": { "value": 36, "confidence": "upper_bound", "witness": [ 3, 6, 11, 20, 21, 40, 52, 56, 76, 92, 95, 101, 111, 121, 123, 133, 145, 155, 160, 172, 192, 198, 226, 251, 257, 269, 302, 312, 314, 347, 352, 372, 387, 388, 389, 401 ], "witness_provenance": { "found_by": [ "@vprusso" ], "date": "2026-09-27", "found_at_samples": 300000000, "tool": "verify/ris_gpu.py (build/ris_gpu, NVIDIA A40)", "seeds": [ 564474005 ], "survived_samples": 300000000 } } }, "provenance": { "authors": [ "@vprusso" ], "model": "Claude Fable 5.1 (Claude Code)", "construction": "Periodic bivariate-bicycle code on Z_29 x Z_7 (n = 2*l*m = 406): x = S_29 tensor I_7, y = I_29 tensor S_7 (cyclic shifts), qubit index i*m + j in each block; A = x^0y^0 + x^10y^6 + x^15y^5 + x^20y^2, B = x^0y^0 + x^17y^5 + x^23y^4 + x^26y^3; H_X = [A|B], H_Z = [B^T|A^T] (research/kit/bb.py build_bb(29, 7, [[0, 0], [10, 6], [15, 5], [20, 2]], [[0, 0], [17, 5], [23, 4], [26, 3]])). gcd(29, 7) = 1, so Z_29 x Z_7 is cyclic of order 203 and the code is the cyclic generalized-bicycle code over Z_203 with a(z) = z^0 + z^97 + z^107 + z^131, b(z) = z^0 + z^75 + z^81 + z^171 (CRT relabeling x^a y^b -> z^t, t = a mod 29, t = b mod 7).", "date": "2026-09-27" } }