docs/examples/io_tests/test_cases/checks/output5.txt
1 1 3 3 5 7 9 10 11 12 12 13 17 18 18 19 20 22 22 22 22 23 24 26 28 28 29 30 31 31 31 32 33 34 35 37 37 37 40 41 42 43 43 43 44 44 47 48 50 50 51 52 53 54 55 56 58 58 58 59 60 60 60 61 63 64 68 68 70 72 72 73 74 75 75 81 82 82 82 82 82 83 83 85 85 85 85 87 88 88 89 91 91 91 92 94 95 96 98 98 98 99 100 101 101 106 108 110 110 115 116 117 118 118 121 122 123 123 124 125 125 126 127 127 128 128 128 128 129 131 132 132 134 135 135 136 137 138 140 140 143 144 145 148 150 150 151 152 153 154 155 155 156 158 158 158 160 160 164 168 169 171 172 172 173 173 173 174 177 178 179 180 180 180 182 182 182 184 185 189 190 190 190 191 191 191 194 196 196 197 198 198 199 200 200 203 203 205 206 206 206 207 208 210 211 212 212 212 215 216 218 218 219 219 220 223 224 225 225 226 227 227 228 229 229 229 230 232 232 232 233 233 234 235 235 236 236 237 238 238 239 245 246 249 250 251 254 254 255 256 256 259 260 261 262 263 263 267 267 270 270 270 271 271 271 273 274 275 276 277 279 279 281 282 282 283 284 284 285 286 286 287 290 290 291 292 292 293 293 293 295 297 298 298 299 299 300 300 302 302 304 304 305 306 306 307 309 309 310 310 311 312 313 313 314 315 315 316 318 321 322 322 325 325 325 326 326 327 328 329 334 335 336 336 336 337 337 337 338 339 339 339 340 341 341 341 341 343 343 344 344 347 347 348 349 349 351 351 351 354 356 356 356 359 359 361 361 363 364 364 365 366 366 368 368 368 369 369 369 369 369 370 371 373 374 376 377 377 378 379 379 380 380 380 380 380 383 383 384 386 387 387 389 391 391 394 394 396 397 399 399 400 404 404 405 405 405 408 413 413 413 414 415 416 416 417 418 418 419 422 422 422 423 423 426 427 427 428 429 429 429 430 430 432 433 434 434 435 435 436 437 438 438 439 441 442 444 444 445 445 446 446 452 453 457 458 459 460 461 461 463 465 466 467 468 469 471 472 475 477 479 480 482 484 484 484 486 487 487 488 489 491 491 492 492 493 493 494 495 498 498 499 500 500 501 501 501 504 504 505 505 506 506 507 507 507 508 513 517 517 519 519 522 523 523 525 525 526 526 527 529 529 529 529 529 530 530 530 531 533 533 536 537 538 538 539 539 540 540 541 542 543 543 544 546 551 552 552 553 553 556 556 557 560 561 561 564 564 567 567 568 568 568 568 569 570 570 571 571 572 574 574 575 575 578 579 580 581 582 583 583 584 585 587 587 588 588 590 591 591 591 594 594 594 596 597 600 601 602 604 605 606 607 607 608 611 611 612 614 614 615 615 619 619 619 620 621 622 622 623 623 625 625 626 627 627 628 630 631 632 634 638 638 640 640 641 641 642 642 644 645 648 648 649 650 652 652 653 654 658 658 659 660 661 662 662 668 669 670 673 673 676 677 678 678 682 682 683 683 683 684 684 685 686 686 686 687 689 690 691 691 692 693 698 699 700 700 702 704 706 709 709 709 710 711 711 712 714 714 714 715 716 716 718 721 721 722 723 723 724 724 726 727 729 730 730 730 730 731 733 733 733 736 737 737 740 741 744 744 744 745 747 747 748 749 751 754 755 755 755 757 757 758 760 762 763 764 764 764 765 765 769 770 771 771 772 773 774 775 776 777 777 777 777 777 778 778 783 784 784 785 785 787 788 789 789 790 792 794 794 795 795 796 796 797 797 798 798 802 803 805 806 806 806 806 807 809 809 811 812 813 814 814 815 815 816 819 819 819 820 820 821 822 823 826 827 828 829 830 830 831 837 840 840 841 842 843 847 847 848 849 850 851 851 851 852 854 857 857 857 858 858 858 858 859 859 860 861 861 863 863 863 866 866 869 869 872 873 874 874 874 876 879 882 883 885 887 887 888 889 889 889 891 891 893 893 893 895 896 899 899 899 900 900 901 903 903 905 905 905 905 908 909 911 912 915 916 917 918 918 919 920 920 921 922 922 925 925 926 926 927 927 928 929 929 930 931 931 932 933 933 934 934 935 937 937 940 941 944 945 946 947 948 950 950 951 951 952 953 955 955 955 956 956 956 957 959 960 960 962 963 964 965 966 968 970 971 971 972 973 974 976 977 978 978 981 982 982 983 983 985 985 988 988 989 990 991 991 992 994 994 995 995 997 997 997 997 997 998 1000
384 336 28 23 12 12 10 5 3 3 1 1 7 9 11 13 20 18 17 18 19 22 22 22 22 28 24 26 60 59 43 32 30 29 31 31 31 35 34 33 37 37 37 43 40 43 41 42 44 44 47 51 50 50 48 58 52 58 55 53 54 56 58 60 60 173 124 68 61 63 64 68 70 92 85 83 72 72 82 82 81 75 75 74 73 82 82 82 83 85 85 85 88 87 88 91 91 89 91 95 94 98 98 96 98 118 108 101 101 99 100 106 118 116 110 110 115 117 122 121 123 123 136 125 125 129 128 126 128 128 127 127 128 132 131 132 134 135 135 168 150 144 140 140 138 137 143 145 148 150 164 151 156 153 152 154 155 155 158 158 158 160 160 171 169 173 173 172 172 212 199 179 178 174 177 194 184 180 180 180 182 182 182 191 191 190 189 185 190 190 191 198 196 196 197 198 200 200 211 207 206 203 203 206 206 205 210 208 212 212 230 227 220 216 215 218 218 219 219 225 223 225 224 227 226 229 228 229 229 325 316 282 277 271 246 238 236 233 232 232 232 233 235 234 235 236 238 237 239 245 259 256 256 249 250 254 254 251 255 270 260 262 261 263 263 270 267 267 270 271 271 276 274 273 275 281 279 279 282 306 302 287 283 286 285 284 284 286 300 293 290 290 293 291 293 292 292 300 299 295 297 298 298 299 302 306 304 304 305 314 307 312 310 309 309 310 311 313 313 315 315 318 325 321 322 322 325 328 327 326 326 334 329 336 336 335 363 337 337 337 354 341 341 341 340 339 339 339 338 341 351 349 344 343 343 344 349 347 347 348 351 351 356 356 356 361 359 359 361 369 368 365 364 364 366 366 368 368 369 369 369 369 374 371 370 373 379 377 376 377 378 379 380 380 380 380 380 383 383 887 778 387 386 387 493 422 394 391 389 391 394 422 414 404 400 396 397 399 399 404 408 405 405 405 413 413 413 417 415 416 416 419 418 418 422 427 423 423 426 427 430 429 429 428 429 430 457 435 435 433 432 434 434 442 441 438 437 436 438 439 445 444 444 445 452 446 446 453 468 465 461 461 459 458 460 463 466 467 493 482 475 471 469 472 480 479 477 489 484 484 484 487 486 487 488 492 491 491 492 650 541 531 527 506 498 498 494 495 504 501 500 499 500 501 501 504 506 505 505 508 507 507 507 523 513 519 517 517 519 522 523 525 525 526 526 529 529 529 529 529 530 530 530 538 536 533 533 538 537 540 539 539 540 568 546 543 543 542 544 568 556 552 551 552 553 553 556 568 568 557 567 561 561 560 564 564 567 583 571 569 570 570 571 582 580 579 575 575 574 572 574 578 581 583 585 584 587 587 602 591 588 588 591 590 591 601 600 594 594 594 597 596 620 619 614 607 606 605 604 607 612 611 608 611 614 615 615 619 619 625 623 622 621 622 623 625 645 627 626 627 638 631 630 628 632 638 634 641 640 640 641 642 642 644 649 648 648 691 652 652 677 653 676 670 662 661 660 659 654 658 658 662 669 668 673 673 690 684 682 678 678 682 683 683 683 684 689 685 687 686 686 686 691 764 737 730 730 710 709 709 706 698 693 692 700 700 699 702 704 709 716 714 714 712 711 711 714 715 716 724 722 718 721 721 724 723 723 726 730 727 730 729 733 731 733 733 737 736 751 740 744 744 744 741 747 747 745 749 748 755 755 754 755 757 757 764 762 758 760 763 764 772 765 765 770 769 771 771 777 773 774 777 776 775 777 777 777 778 794 783 785 785 784 784 789 787 789 788 794 792 790 863 803 796 795 795 796 797 797 802 798 798 863 847 815 809 805 809 806 806 806 806 807 811 814 812 813 814 815 830 819 819 819 816 829 820 820 827 823 822 821 826 828 830 847 842 841 840 837 831 840 843 858 857 857 851 851 850 848 849 851 857 852 854 858 858 858 860 859 859 861 861 863 874 866 866 872 869 869 873 874 874 879 876 882 885 883 887 916 896 895 888 891 889 889 889 891 893 893 893 903 900 900 899 899 899 903 901 915 905 905 905 905 909 908 912 911 927 920 918 918 917 919 920 926 922 921 922 925 925 926 927 930 928 929 929 981 957 933 931 931 933 932 937 934 934 937 935 955 940 941 945 944 950 947 946 948 950 952 951 951 955 953 955 956 956 956 966 960 959 960 962 965 964 963 974 973 972 971 970 968 971 976 978 978 977 997 988 982 982 985 983 983 985 988 997 997 995 994 991 989 990 991 994 992 995 997 997 1000 998
1 1 3 3 9 7 5 11 10 12 18 17 19 18 22 22 22 22 20 13 12 26 24 28 23 29 31 31 31 30 33 34 37 37 42 41 43 40 43 37 35 32 44 48 50 50 54 53 58 56 55 58 52 58 51 47 44 43 60 60 59 68 64 63 61 72 73 74 75 75 82 82 82 81 82 83 82 72 85 85 85 83 88 87 91 89 91 91 88 85 94 98 96 98 100 99 101 106 101 110 115 110 117 116 118 108 121 123 123 122 118 98 95 92 70 68 125 127 128 127 128 128 126 128 132 131 135 135 134 132 129 125 137 138 140 143 140 150 148 145 144 152 155 155 154 153 158 158 160 160 158 156 151 164 150 169 172 172 173 173 171 168 136 124 177 174 178 180 180 182 182 182 180 185 190 190 189 191 190 191 191 184 196 198 197 196 198 194 179 200 203 205 206 206 203 206 208 210 207 212 212 211 200 199 215 218 219 219 218 216 224 225 223 226 227 225 220 229 229 228 229 227 232 232 233 232 235 234 236 235 233 237 238 236 245 239 238 251 254 255 254 250 249 256 256 261 263 267 270 267 270 263 262 260 271 271 270 259 246 273 275 274 276 271 279 279 282 281 277 284 284 286 285 286 283 290 292 292 293 291 293 290 298 299 298 297 295 299 300 293 302 300 287 304 305 304 306 302 309 310 309 311 310 313 313 312 307 315 315 314 306 282 322 325 322 321 325 318 316 326 326 327 329 335 336 336 334 328 325 230 212 173 60 28 337 337 338 339 339 339 341 340 341 341 343 344 343 347 348 347 349 344 351 351 349 351 341 356 356 359 361 359 361 356 354 337 364 364 366 368 368 366 365 369 369 369 369 368 370 373 371 377 376 379 378 377 380 380 380 380 383 383 380 379 374 369 363 336 387 386 391 389 394 391 399 399 397 396 404 400 405 405 405 413 413 413 408 404 416 416 415 418 418 422 419 417 414 422 394 423 427 426 423 429 428 429 430 429 432 434 434 433 435 436 438 437 439 438 441 444 445 444 446 446 453 452 445 442 435 458 460 459 461 463 461 467 466 465 469 472 471 477 479 480 475 484 484 487 486 488 487 484 491 492 491 492 489 482 493 468 457 430 427 422 495 494 498 500 499 501 501 500 504 501 505 505 506 504 498 507 507 507 517 519 517 523 522 519 513 525 526 526 525 523 508 506 529 529 529 529 530 530 530 529 527 533 533 537 538 536 539 540 539 540 538 531 542 543 544 543 552 551 553 556 553 552 560 561 564 567 564 561 567 557 568 568 556 568 546 570 571 570 569 574 572 574 575 578 575 579 581 580 583 582 571 584 587 588 591 590 591 588 594 594 596 597 594 600 601 591 604 605 607 606 611 608 611 614 612 607 615 619 619 615 614 619 622 621 623 622 625 623 627 626 628 630 634 638 632 631 640 641 640 642 644 642 641 638 627 648 648 649 645 625 620 602 587 585 583 568 541 652 658 658 654 659 660 662 661 668 669 662 673 673 670 676 653 678 682 678 683 683 684 683 682 686 686 686 687 685 689 684 691 690 677 652 692 693 699 700 704 702 700 698 709 706 709 709 711 711 714 712 714 716 715 714 721 721 718 723 723 724 722 729 730 727 730 726 724 716 710 730 733 733 731 736 737 733 730 741 744 744 745 747 748 749 747 744 740 755 754 755 757 760 758 764 763 762 764 757 755 751 737 765 769 771 771 770 765 775 777 777 777 776 777 774 773 778 777 772 764 691 650 493 387 784 784 785 788 789 787 790 792 794 789 785 783 795 796 795 797 798 798 802 797 796 806 806 806 807 806 809 805 814 813 812 815 814 811 809 816 819 819 820 821 822 826 823 828 827 820 830 829 819 831 840 837 840 841 843 842 847 830 815 849 848 851 850 851 854 852 857 851 857 858 858 858 857 859 859 861 863 861 860 858 847 863 803 866 869 869 874 874 873 872 866 876 883 887 885 882 879 874 863 794 778 889 889 891 889 893 893 893 891 888 895 899 899 899 900 901 903 900 905 905 905 908 911 912 909 905 915 903 896 917 918 920 919 918 922 921 925 926 925 922 927 926 920 929 929 928 931 932 933 931 934 935 937 934 944 946 950 948 947 951 951 955 953 955 952 950 945 941 940 956 956 956 955 937 933 960 959 963 964 965 962 960 968 971 970 971 972 973 977 978 978 976 974 966 957 982 983 985 983 988 985 982 991 990 989 992 994 991 995 994 997 997 995 997 997 988 998 1000 997 981 930 927 916 887 384