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