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