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