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