554
531
529
519
516
514
521
521
516
516
514
506
496
501
488
483
480
468
457
468
457
457
452
462
465
457
468
475
491
503
521
537
549
570
593
606
618
634
639
662
664
672
672
670
672
672
667
677
675
667
664
672
667
675
672
672
672
670
672
659
680
685
680
626
677
677
675
675
672
672
672
677
667
662
657
664
670
672
662
667
662
670
667
672
670
672
670
672
672
672
672
670
1023
662
680
734
782
843
900
951
992
1005
1012
1023
1023
1023
1022
946
874
797
734
695
662
644
608
583
537
521
529
534
529
521
516
519
516
511
506
498
498
493
478
485
478
465
462
462
468
462
457
468
470
468
485
491
503
524
537
554
575
588
616
631
641
649
670
672
677
682
685
677
680
677
680
672
680
682
685
672
682
677
682
682
680
677
682
675
675
677
675
680
685
675
685
677
675
677
670
675
677
682
677
649
664
662
677
664
680
667
672
662
657
649
647
664
672
667
677
664
659
654
662
654
670
667
670
672
659
664
662
670
662
670
654
670
675
662
657
664
662
662
662
662
1023
654
690
716
772
833
895
930
956
966
989
1015
1023
1023
1023
974
890
808
731
677
647
616
618
552
521
516
511
501
516
516
514
516
508
506
514
503
493
485
480
485
457
470
473
455
452
452
450
468
465
475
475
480
483
511
516
539
554
572
593
611
621
636
652
664
657
657
662
664
657
670
675
672
675
662
664
1023
662
703
762
823
897
966
1023
1023
1023
1023
1023
1023
1023
987
874
780
705
664
629
593
557
531
519
521
526
519
519
524
516
519
511
506
498
493
496
485
480
468
452
447
434
432
421
421
419
424
434
447
460
473
491
519
544
567
580
603
618
654
662
659
670
677
685
693
685
690
703
690
690
687
695
685
698
695
700
698
687
695
693
682
695
693
685
687
685
690
685
682
680
685
685
685
682
680
687
687
672
680
675
667
670
664
675
682
677
682
672
662
664
672
670
675
672
667
672
670
672
1023
662
677
713
759
803
872
907
941
956
971
982
1023
1023
1023
987
923
838
759
700
662
644
616
583
547
526
519
516
519
508
519
524
506
506
498
503
496
491
485
480
470
462
455
452
447
445
452
447
457
460
478
485
491
503
529
539
557
565
590
606
624
634
647
652
652
654
654
662
659
670
667
670
667
662
664
670
664
670
675
664
662
667
672
672
677
685
670
644
672
667
680
667
685
677
672
672
664
659
664
672
664
682
670
664
657
647
659
670
659
675
677
672
672
675
677
1023
659
675
713
757
800
874
918
943
971
976
997
1023
1023
1023
1002
928
851
764
693
659
641
613
577
549
529
521
516
521
516
516
519
503
511
506
498
496
501
488
473
468
462
457
457
452
450
445
450
452
462
473
475
493
508
526
539
562
583
598
616
626
636
652
664
675
662
675
670
672
670
672
662
675
680
675
672
675
672
672
680
682
672
687
677
675
680
685
608
680
662
680
677
680
677
670
675
672
664
659
662
675
672
675
672
662
657
659
670
672
675
659
670
675
680
670
1023
664
662
693
739
797
854
902
936
961
971
989
1020
1023
1023
1002
933
864
780
718
677
644
621
583
554
529
519
516
526
524
526
519
516
508
508
508
506
498
488
485
478
470
462
455
455
452
450
452
462
468
462
478
491
501
516
529
537
577
595
613
621
636
644
649
657
664
670
662
672
675
670
670
670
675
682
672
672
672
675
672
677
677
675
677
680
682
672
685
634
677
675
682
672
672
685
682
672
670
664
667
675
682
675
680
672
659
662
662
670
662
682
675
677
672
672
670
1023
667
690
731
785
846
900
930
964
982
994
1007
1023
1023
1023
971
897
813
734
677
649
636
606
567
539
526
519
521
519
524
526
519
519
516
511
506
501
493
488
483
475
468
465
460
447
437
457
462
460
465
473
485
501
511
526
547
567
590
611
624
639
644
657
667
664
675
677
680
680
670
677
675
675
677
680
677
677
677
680
675
677
682
680
682
675
677
675
680
675
677
680
672
677
672
680
672
672
670
672
634
680
675
670
670
672
670
672
667
659
657
659
657
667
685
677
670
662
657
662
664
672
670
667
670
667
672
670
667
670
664
662
672
670
664
662
662
664
657
662
670
1023
649
682
721
774
836
890
936
989
1012
1022
1023
1023
1023
1023
951
872
787
726
675
647
621
595
567
531
516
519
524
529
521
524
506
524
516
511
511
498
503
493
480
485
468
457
455
445
445
439
450
460
468
478
475
491
519
534
542
554
580
595
611
629
644
647
654
662
659
662
670
670
672
662
664
662
672
672
670
670
664
675
682
664
670
672
670
680
675
634
677
672
664
680
682
675
685
680
667
662
659
664
670
667
675
677
662
662
659
670
672
670
677
677
677
672
667
1023
662
667
705
751
810
869
923
976
1010
1007
1023
1023
1023
1023
992
920
843
769
708
675
659
629
585
547
529
519
526
516
516
508
524
519
516
506
496
491
483
478
475
468
462
457
452
439
445
452
445
450
460
468
473
491
501
516
539
554
588
598
608
629
647
657
664
672
672
680
680
675
677
672
685
690
682
672
672
680
682
670
685
682
687
672
675
682
685
682
672
682
690
677
672
664
677
675
677
685
672
670
667
662
664
677
677
672
670
1023
680
710
749
813
874
930
999
1020
1023
1023
1023
1023
1023
946
869
787
721
675
652
631
606
570
539
526
519
524
508
521
516
514
508
503
508
496
483
478
465
460
455
450
437
432
429
429
419
416
439
447
445
455
468
491
508
529
552
580
590
616
634
641
652
662
664
670
675
672
682
682
675
680
677
687
685
685
685
685
680
685
687
682
675
685
682
680
682
685
670
680
685
680
675
677
680
680
672
675
672
677
680
664
677
680
680
685
670
672
672
675
710
672
672
672
670
672
1023
667
700
734
782
851
905
974
1015
1022
1023
1023
1023
1023
974
918
820
741
693
657
626
608
575
539
529
521
524
524
519
516
514
508
506
503
493
485
478
468
455
457
442
437
427
421
419
421
421
421
424
439
445
455
475
498
514
542
562
577
611
624
634
647
657
662
667
670
672
672
675
677
680
677
685
680
685
680
677
685
680
685
672
675
693
685
690
690
690
685
682
682
680
685
682
687
680
682
682
677
680
675
675
680
672
672
667
675
675
672
675
659
664
670
672
670
672
1023
670
693
721
769
836
895
961
1012
1023
1023
1023
1023
1023
1020
933
833
759
698
664
639
611
575
549
529
521
521
526
521
521
519
514
511
506
506
488
493
478
468
455
447
439
437
434
429
421
424
421
427
437
447
460
468
501
526
549
567
590
611
629
626
657
664
672
672
680
685
685
687
677
685
682
685
687
685
690
698
690
695
690
698
698
698
682
690
680
680
685
1023
672
698
736
792
846
902
948
997
1010
1023
1023
1023
1023
1023
971
884
795
726
682
657
629
595
562
539
526
529
529
529
521
524
521
524
514
506
506
496
491
480
473
460
457
450
445
445
434
437
445
447
457
460
478
496
519
542
567
588
606
624
641
652
670
675
675
680
682
687
685
685
685
685
685
685
687
685
677
693
693
698
693
687
690
693
695
685
687
685
693
698
685
690
682
675
685
682
687
685
682
680
682
680
685
680
670
672
672
675
670
672
677
672
664
634
685
680
667
662
667
1023
662
687
716
767
836
897
941
984
987
1002
1023
1023
1023
1023
953
864
777
703
667
647
624
590
560
539
529
524
521
531
529
526
519
521
514
511
498
491
470
478
473
460
450
437
434
432
432
432
429
432
434
445
462
480
501
519
542
565
585
611
624
631
644
647
667
675
670
670
672
672
675
672
672
675
677
675
675
682
677
682
680
682
675
680
682
680
685
685
677
670
685
685
685
682
685
682
677
685
680
680
677
680
677
680
675
675
677
672
680
672
675
677
672
664
677
685
1023
664
677
708
754
815
882
941
982
1007
1020
1023
1023
1023
1023
1007
913
810
736
682
647
631
595
562
529
529
524
521
526
521
516
516
514
508
506
506
488
485
473
480
462
455
445
437
432
421
419
416
427
432
442
455
468
491
508
539
560
585
608
613
634
652
670
670
672
675
677
680
677
685
677
677
680
682
682
687
682
682
685
672
687
693
685
687
682
680
685
690
682
687
695
680
693
677
685
680
687
685
677
680
670
685
682
687
695
680
685
670
670
659
680
672
680
664
670
1023
667
675
649
657
664
652
670
647
672
662
675
716
662
657
705
769
823
869
918
971
1012
1023
1023
1023
1023
1023
982
890
805
746
682
659
629
583
565
526
506
511
503
493
514
488
480
493
491
478
491
470
455
447
442
447
434
437
421
429
419
434
424
416
442
450
465
465
483
496
514
539
557
588
603
611
639
644
657
659
672
667
662
667
662
659
662
662
667
662
662
667
664
675
672
667
670
664
664
675
680
672
670
672
682
677
672
677
685
675
677
672
675
680
672
670
672
675
672
672
662
664
672
672
672
654
672
664
670
649
667
1023
662
664
652
649
649
662
667
659
672
657
654
716
664
703
751
797
859
900
956
997
1005
1012
1023
1023
1023
959
884
810
736
700
664
644
618
585
552
521
511
519
516
516
516
508
503
511
506
501
493
483
478
473
465
460
457
457
452
447
452
462
460
468
480
480
493
503
516
537
554
575
585
606
621
639
649
662
670
664
667
670
667
672
670
675
670
667
670
667
670
672
672
670
664
685
677
672
677
680
677
675
677
682
677
675
682
677
680
675
685
672
682
675
672
672
672
670
672
662
659
672
672
670
636
664
672
662
662
664
1023
667
685
718
762
826
897
946
979
992
1010
1023
1023
1023
1023
953
874
792
710
667
641
624
598
560
537
521
521
529
519
519
516
514
508
508
501
496
491
483
478
462
462
450
442
442
424
437
432
434
432
437
452
457
475
496
514
539
560
588
603
624
636
641
652
662
670
667
675
685
682
685
682
685
682
687
685
682
682
680
687
677
675
682
680
685
680
682
680
685
677
672
685
687
680
682
677
682
677
672
675
677
675
672
675
677
680
672
672
680
677
672
672
675
680
672
667
1023
667
682
705
744
800
874
928
966
997
1002
1023
1023
1023
1023
992
902
803
734
677
644
624
601
570
534
526
529
524
526
521
519
516
516
519
506
498
493
491
468
468
457
452
457
437
434
437
429
432
432
432
445
455
462
488
511
531
552
577
598
618
634
644
657
662
672
677
682
672
675
677
672
680
672
670
685
687
677
685
685
685
680
682
690
685
682
685
687
682
680
685
685
685
677
685
682
685
685
685
685
682
680
682
680
677
680
677
680
677
685
649
677
675
675
675
672
675
675
672
667
662
657
662
670
672
672
670
672
662
657
659
662
662
670
664
672
672
667
670
672
1023
667
682
713
762
820
874
915
941
969
982
999
1023
1023
1023
999
930
849
764
705
670
647
618
583
547
529
526
529
526
526
529
529
531
521
516
514
516
508
501
493
488
480
473
465
473
468
465
468
465
470
475
483
493
506
519
547
565
588
606
624
636
649
662
667
670
657
662
662
672
672
664
672
672
672
670
670
672
672
672
672
670
667
672
672
672
662
675
677
672
670
675
667
670
672
672
672
670
670
672
672
670
670
664
670
1023
672
700
751
810
879
930
969
1012
1023
1023
1023
1023
1023
1007
884
759
677
641
613
580
549
539
539
534
539
534
531
531
537
534
529
529
519
516
519
501
506
488
480
473
465
455
452
447
452
447
452
457
468
491
508
526
547
577
590
608
629
639
652
657
662
672
667
667
680
672
672
675
677
682
677
667
682
680
677
685
667
672
672
670
667
672
667
677
657
654
652
649
662
672
667
657
652
667
659
662
662
664
667
664
667
662
662
672
1023
662
672
708
751
808
872
913
959
987
994
1015
1023
1023
1023
961
890
823
746
703
667
639
616
572
539
524
516
514
516
511
506
519
514
508
498
493
491
480
473
465
460
452
455
452
447
445
455
455
455
465
475
488
493
503
521
537
567
588
606
616
636
639
647
654
662
670
664
667
670
672
670
664
664
664
670
662
667
652
672
675
677
670
675
670
667
670
675
672
675
670
670
667
672
672
667
672
672
672
670
672
654
672
659
667
662
664
664
662
657
647
649
654
662
664
662
657
654
649
652
657
662
667
652
667
664
662
662
662
664
654
667
672
657
657
662
664
659
657
657
657
1023
662
670
710
754
803
877
907
946
961
976
997
1023
1023
1023
976
902
815
734
680
644
621
603
557
526
508
521
519
516
511
516
516
514
511
506
501
491
488
480
475
465
462
455
452
450
452
447
452
445
442
473
480
493
506
521
539
557
575
593
608
624
634
644
652
659
662
662
664
662
667
664
657
675
664
654
662
664
662
670
662
667
672
667
662
657
662
662
667
672
675
672
670
664
662
672
670
664
675
675
677
672
672
1023
664
670
703
744
795
859
905
938
966
979
989
1017
1023
1023
1022
946
864
777
708
677
649
629
583
544
531
524
519
516
526
524
521
529
519
514
511
496
501
493
491
470
468
462
460
455
447
450
452
457
455
465
473
488
501
516
531
560
580
603
616
634
647
659
664
670
672
675
675
675
680
677
682
677
682
677
680
672
680
682
682
672
685
687
685
685
682
680
631
690
693
677
675
677
680
675
680
670
662
659
664
672
680
667
675
672
675
654
659
664
670
667
664
672
667
672
670
1023
662
690
731
785
838
895
918
961
969
979
999
1023
1023
1023
961
879
800
723
680
652
629
603
560
529
526
514
529
521
521
519
519
514
511
506
506
496
483
483
478
468
465
462
457
455
452
452
455
460
470
475
488
501
511
534
554
572
590
608
626
636
644
659
667
667
670
672
672
675
672
670
672
672
670
670
670
667
664
670
672
672
675
675
672
677
677
677
626
675
675
675
675
677
675
677
670
659
662
670
672
672
677
672
672
664
659
662
667
672
672
675
670
672
672
667
1023
667
687
721
769
828
895
933
976
997
1005
1023
1023
1023
1023
953
879
808
739
698
664
641
613
580
544
531
529
524
526
529
526
524
519
516
511
506
501
493
485
480
475
465
460
462
457
457
457
462
470
480
488
496
508
526
537
547
580
598
611
629
647
659
670
675
680
677
680
677
682
680
677
680
682
680
677
680
677
680
677
680
675
682
685
682
687
687
685
682
680
685
685
685
682
680
682
680
677
682
685
677
677
682
677
680
675
682
677
682
675
636
677
675
677
667
670
670
667
672
659
649
652
662
667
670
672
667
659
649
659
664
654
672
667
670
672
667
662
662
662
662
667
667
664
662
659
654
659
657
659
649
1023
654
672
713
772
828
890
925
956
982
994
1015
1023
1023
1023
982
897
805
728
667
636
621
590
560
526
519
503
516
519
511
506
508
508
506
501
503
493
485
480
470
468
470
457
452
455
445
452
445
468
468
473
485
493
506
521
542
560
575
598
611
621
636
649
657
662
667
672
670
670
664
664
664
664
652
675
670
662
662
662
662
664
670
672
664
662
657
659
670
672
672
667
672
664
662
664
667
680
675
667
657
672
672
1023
662
675
705
762
810
877
915
948
971
979
994
1023
1023
1023
984
913
826
739
685
659
639
606
554
537
524
519
516
521
524
516
516
514
516
506
503
493
493
483
475
465
457
455
447
450
445
445
450
455
460
462
457
493
501
514
537
557
580
598
618
629
641
659
662
662
667
675
680
675
680
682
677
682
672
672
675
675
680
677
680
664
685
682
685
672
672
682
685
634
672
680
675
672
677
675
672
662
657
662
659
664
667
672
675
664
657
659
662
667
677
667
657
672
670
677
1023
664
672
698
744
797
856
900
930
964
969
979
1007
1023
1023
1007
941
856
767
713
670
636
616
583
547
521
514
519
516
519
514
508
516
514
511
503
493
485
483
480
473
457
462
457
457
447
452
455
460
468
473
485
491
508
524
539
560
570
593
613
624
636
654
659
662
662
672
672
675
667
675
672
675
670
672
672
670
672
672
677
682
675
680
677
675
677
687
693
613
675
680
675
670
675
680
685
667
659
662
670
672
677
677
680
667
667
662
667
670
670
667
672
675
672
675
670
1023
664
703
739
780
851
905
936
969
979
982
1012
1023
1023
1012
956
872
787
716
677
647
629
598
560
534
521
529
526
531
524
516
516
516
511
508
506
498
491
483
478
475
470
465
457
460
457
460
465
468
475
483
488
506
529
539
557
577
593
611
626
641
649
662
662
672
672
677
672
672
672
672
670
672
672
667
672
675
672
675
675
680
682
680
685
677
680
685
598
685
677
675
680
680
677
670
667
672
667
664
675
677
680
677
672
662
664
667
662
672
675
672
672
672
675
672
664
1023
662
693
731
782
849
905
946
987
997
1010
1023
1023
1023
1005
925
866
787
726
693
664
634
606
567
531
529
531
529
529
526
526
516
519
521
514
508
501
493
488
480
478
465
455
465
462
462
468
465
470
478
488
493
508
524
544
557
577
595
616
629
639
654
662
670
677
680
675
677
672
677
680
670
680
685
682
690
682
680
682
685
682
685
687
685
682
685
687
685
687
685
690
680
680
670
685
680
682
677
670
675
677
680
672
672
672
670
672
664
659
654
662
672
675
680
672
670
662
659
649
664
675
672
670
672
670
667
664
670
672
667
667
672
670
670
672
662
662
664
662
1023
654
680
726
774
826
892
928
966
987
999
1015
1023
1023
1023
982
900
815
734
677
644
626
603
562