512 1 104 true
0 3 5 6 9 10 12 15 17 18 20 23 24 27 29 30 33 34 36 39 40 43 45 46 48 51 53 54 57 58 60 63 65 66 68 71 72 75 77 78 80 83 85 86 89 90 92 95 96 99 101 102 105 106 108 111 113 114 116 119 120 123 125 126 129 130 132 135 136 139 141 142 144 147 149 150 153 154 156 159 160 163 165 166 169 170 172 175 177 178 180 183 184 187 189 190 192 195 197 198 201 202 204 207 209 210 212 215 216 219 221 222 225 226 228 231 232 235 237 238 240 243 245 246 249 250 252 255 257 258 260 263 264 267 269 270 272 275 277 278 281 282 284 287 288 291 293 294 297 298 300 303 305 306 308 311 312 315 317 318 320 323 325 326 329 330 332 335 337 338 340 343 344 347 349 350 353 354 356 359 360 363 365 366 368 371 373 374 377 378 380 383 384 387 389 390 393 394 396 399 401 402 404 407 408 411 413 414 417 418 420 423 424 427 429 430 432 435 437 438 441 442 444 447 449 450 452 455 456 459 461 462 464 467 469 470 473 474 476 479 480 483 485 486 489 490 492 495 497 498 500 503 504 507 509 510 513 514 516 519 520 523 525 526 528 531 533 534 537 538 540 543 544 547 549 550 553 554 556 559 561 562 564 567 568 571 573 574 576 579 581 582 585 586 588 591 593 594 596 599 600 603 605 606 609 610 612 615 616 619 621 622 624 627 629 630 633 634 636 639 640 643 645 646 649 650 652 655 657 658 660 663 664 667 669 670 673 674 676 679 680 683 685 686 688 691 693 694 697 698 700 703 705 706 708 711 712 715 717 718 720 723 725 726 729 730 732 735 736 739 741 742 745 746 748 751 753 754 756 759 760 763 765 766 768 771 773 774 777 778 780 783 785 786 788 791 792 795 797 798 801 802 804 807 808 811 813 814 816 819 821 822 825 826 828 831 833 834 836 839 840 843 845 846 848 851 853 854 857 858 860 863 864 867 869 870 873 874 876 879 881 882 884 887 888 891 893 894 897 898 900 903 904 907 909 910 912 915 917 918 921 922 924 927 928 931 933 934 937 938 940 943 945 946 948 951 952 955 957 958 960 963 965 966 969 970 972 975 977 978 980 983 984 987 989 990 993 994 996 999 1000 1003 1005 1006 1008 1011 1013 1014 1017 1018 1020 1023