[ [ 131, 138, 155, 177, 181, 193, 238, 248, 251, 380, 397, 417, 419, 436, 470, 495, 497, 514, 522, 542, 
      561, 616, 627, 630, 651, 653, 664, 669 ], 
  [ 2, 2, 3, 3, 4, 4, 5, 5, 7, 9, 11, 11, 13, 14, 15, 15, 16, 16, 17, 18, 19, 20, 21, 21, 22, 23, 23, 
      24, 25, 25, 27, 28, 28, 29, 30, 31, 31, 32, 33, 33, 34, 35, 38, 38, 40, 40, 41, 42, 42, 44, 45, 
      45, 47, 47, 48, 49, 50, 51, 51, 52, 53, 53, 54, 55, 55, 57, 59, 64, 64, 65, 65, 66, 67, 67, 68, 
      70, 71, 72, 73, 73, 76, 78, 79, 79, 81, 82, 83, 83, 85, 86, 86, 88, 89, 90, 90, 91, 92, 93, 93, 
      94, 94, 95, 95, 97, 100, 103, 103, 104, 106, 107, 107, 108, 109, 110, 110, 111, 112, 112, 114, 
      116, 116, 117, 119, 120, 120, 122, 122, 123, 124, 125, 126, 128, 129, 130, 131, 132, 134, 134, 
      136, 137, 138, 138, 139, 139, 140, 141, 143, 144, 144, 147, 148, 149, 152, 153, 154, 154, 156, 
      156, 158, 159, 160, 160, 161, 161, 162, 162, 163, 163, 168, 168, 169, 172, 172, 173, 174, 175, 
      176, 176, 177, 177, 178, 178, 179, 180, 181, 183, 185, 186, 186, 187, 188, 189, 189, 191, 192, 
      193, 194, 196, 196, 197, 199, 200, 200, 203, 203, 204, 205, 206, 206, 208, 208, 209, 209, 211, 
      213, 213, 215, 215, 216, 217, 218, 218, 219, 219, 220, 220, 221, 223, 224, 226, 227, 228, 229, 
      230, 231, 232, 233, 233, 234, 235, 235, 236, 238, 239, 241, 241, 242, 245, 245, 246, 246, 247, 
      248, 249, 250, 251, 252, 253, 254, 255, 255, 257, 257, 258, 259, 260, 260, 262, 263, 266, 267, 
      268, 270, 270, 271, 272, 272, 274, 275, 276, 276, 278, 278, 279, 279, 280, 280, 281, 282, 283, 
      287, 289, 289, 290, 290, 291, 291, 292, 293, 294, 296, 297, 297, 298, 299, 301, 301, 302, 304, 
      305, 307, 308, 309, 310, 310, 312, 312, 313, 314, 314, 316, 317, 318, 318, 319, 319, 320, 321, 
      321, 322, 323, 324, 326, 327, 330, 331, 332, 333, 334, 336, 336, 338, 339, 339, 340, 341, 342, 
      342, 343, 344, 344, 345, 347, 350, 351, 352, 353, 353, 354, 355, 359, 360, 360, 361, 361, 362, 
      362, 363, 366, 367, 368, 369, 369, 370, 370, 372, 372, 373, 374, 375, 375, 376, 376, 377, 378, 
      380, 381, 382, 383, 384, 387, 387, 388, 389, 389, 390, 390, 391, 391, 392, 392, 393, 393, 395, 
      397, 397, 399, 399, 400, 400, 401, 403, 403, 404, 405, 406, 408, 408, 410, 412, 413, 414, 415, 
      415, 416, 418, 419, 421, 423, 423, 425, 427, 429, 430, 430, 431, 434, 435, 435, 436, 437, 437, 
      439, 440, 441, 443, 443, 444, 445, 446, 446, 447, 448, 448, 449, 450, 450, 454, 454, 455, 455, 
      456, 457, 457, 461, 463, 464, 465, 466, 467, 468, 468, 469, 470, 470, 471, 472, 473, 473, 475, 
      475, 476, 478, 482, 483, 484, 485, 485, 486, 488, 489, 490, 490, 491, 491, 492, 495, 496, 497, 
      498, 500, 500, 501, 501, 502, 505, 506, 507, 507, 509, 509, 510, 511, 511, 512, 513, 514, 515, 
      516, 517, 517, 518, 519, 520, 520, 521, 521, 522, 523, 526, 527, 528, 529, 531, 532, 534, 535, 
      536, 537, 537, 538, 539, 539, 540, 540, 543, 544, 545, 545, 546, 548, 549, 550, 551, 552, 553, 
      554, 554, 556, 556, 557, 559, 560, 560, 561, 562, 562, 563, 564, 566, 566, 568, 568, 569, 572, 
      574, 575, 575, 576, 576, 577, 577, 578, 579, 579, 580, 581, 583, 584, 586, 586, 587, 587, 588, 
      589, 589, 590, 591, 593, 593, 594, 595, 595, 596, 596, 598, 599, 602, 603, 604, 604, 607, 608, 
      608, 609, 611, 612, 618, 619, 619, 620, 621, 622, 622, 623, 625, 627, 628, 629, 630, 630, 633, 
      633, 634, 634, 635, 636, 638, 639, 639, 640, 642, 643, 643, 644, 645, 646, 647, 648, 649, 650, 
      650, 651, 652, 653, 653, 654, 655, 656, 656, 657, 660, 661, 663, 665, 666, 667, 668, 670, 671, 
      672, 672 ] ]