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