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