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