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