[695, 692, 687, 686, 683, 682, 679, 672, 668, 664, 663, 661, 657, 653, 649, 648, 643, 637, 636, 633, 629, 628, 626, 620, 619, 614, 608, 604, 601, 599, 598, 597, 595, 594, 591, 590, 586, 585, 583, 582, 580, 579, 577, 574, 569, 568, 565, 556, 555, 551, 550, 548, 545, 542, 540, 536, 534, 532, 530, 527, 525, 524, 522, 521, 520, 516, 515, 513, 511, 509, 508, 507, 505, 497, 493, 491, 487, 482, 481, 479, 478, 477, 476, 474, 471, 470, 469, 465, 464, 462, 461, 456, 455, 454, 453, 451, 450, 448, 445, 444, 441, 440, 438, 436, 435, 434, 429, 427, 426, 425, 423, 422, 420, 417, 416, 414, 413, 406, 404, 401, 399, 395, 391, 390, 389, 388, 386, 384, 380, 377, 376, 374, 371, 370, 368, 363, 362, 359, 358, 357, 354, 352, 349, 345, 344, 343, 341, 334, 333, 332, 327, 326, 324, 323, 317, 316, 314, 311, 308, 307, 305, 304, 302, 300, 299, 297, 296, 293, 292, 291, 290, 289, 288, 287, 285, 282, 277, 275, 272, 269, 268, 267, 263, 262, 261, 260, 259, 257, 251, 250, 248, 240, 239, 236, 232, 229, 227, 226, 225, 224, 222, 217, 215, 214, 210, 209, 208, 204, 203, 201, 191, 190, 188, 176, 175, 174, 173, 172, 171, 170, 168, 161, 159, 158, 157, 156, 155, 154, 150, 149, 148, 146, 142, 137, 134, 133, 132, 129, 128, 122, 116, 113, 108, 104, 103, 102, 101, 97, 95, 91, 86, 83, 82, 77, 75, 73, 71, 66, 64, 63, 61, 58, 54, 53, 52, 49, 46, 44, 38, 37, 32, 31, 25, 18, 16, 13, 11, 10, 9, 2] [294, 292, 291, 290, 289, 288, 284, 277, 275, 274, 272, 270, 266, 263, 260, 259, 258, 257, 254, 251, 248, 246, 245, 242, 234, 232, 228, 227, 225, 224, 222, 219, 217, 216, 215, 209, 208, 205, 204, 200, 195, 193, 192, 191, 190, 187, 185, 184, 183, 182, 180, 178, 176, 174, 172, 171, 165, 164, 163, 161, 157, 153, 151, 149, 148, 146, 140, 139, 137, 135, 133, 131, 129, 123, 122, 120, 115, 110, 109, 106, 104, 103, 101, 100, 98, 96, 94, 93, 92, 91, 89, 88, 86, 85, 78, 77, 76, 72, 70, 66, 65, 62, 61, 59, 55, 54, 49, 48, 46, 45, 43, 38, 37, 25, 22, 14, 13, 8, 6, 3]
1738 400