projects
/
riscv-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
de430e03394b9f985491d8d21b816c65c4823123
[riscv-tests.git]
/
benchmarks
/
spmv
/
dataset1.h
1
// See LICENSE for license details.
2
3
#define R 1000
4
#define C 1000
5
#define NNZ 10004
6
const double
val
[
10004
] = {
7
658
,
8
279
,
9
587
,
10
255
,
11
359
,
12
844
,
13
905
,
14
456
,
15
897
,
16
837
,
17
652
,
18
398
,
19
885
,
20
21
,
21
669
,
22
738
,
23
365
,
24
928
,
25
713
,
26
771
,
27
536
,
28
987
,
29
917
,
30
823
,
31
544
,
32
40
,
33
80
,
34
636
,
35
263
,
36
929
,
37
757
,
38
677
,
39
151
,
40
500
,
41
875
,
42
720
,
43
205
,
44
292
,
45
859
,
46
980
,
47
97
,
48
608
,
49
813
,
50
840
,
51
397
,
52
765
,
53
294
,
54
718
,
55
751
,
56
7
,
57
482
,
58
166
,
59
653
,
60
172
,
61
187
,
62
79
,
63
228
,
64
857
,
65
540
,
66
760
,
67
509
,
68
190
,
69
396
,
70
765
,
71
37
,
72
85
,
73
866
,
74
981
,
75
999
,
76
793
,
77
921
,
78
664
,
79
208
,
80
856
,
81
528
,
82
782
,
83
318
,
84
170
,
85
521
,
86
691
,
87
726
,
88
996
,
89
947
,
90
326
,
91
825
,
92
77
,
93
823
,
94
752
,
95
266
,
96
834
,
97
196
,
98
58
,
99
430
,
100
764
,
101
807
,
102
568
,
103
665
,
104
583
,
105
178
,
106
250
,
107
273
,
108
654
,
109
487
,
110
504
,
111
729
,
112
338
,
113
866
,
114
981
,
115
852
,
116
842
,
117
785
,
118
13
,
119
588
,
120
44
,
121
432
,
122
408
,
123
374
,
124
761
,
125
653
,
126
752
,
127
684
,
128
6
,
129
357
,
130
703
,
131
447
,
132
966
,
133
457
,
134
738
,
135
646
,
136
646
,
137
217
,
138
522
,
139
839
,
140
417
,
141
506
,
142
801
,
143
233
,
144
929
,
145
487
,
146
353
,
147
660
,
148
751
,
149
738
,
150
512
,
151
566
,
152
130
,
153
61
,
154
128
,
155
698
,
156
467
,
157
362
,
158
867
,
159
639
,
160
289
,
161
371
,
162
427
,
163
650
,
164
16
,
165
878
,
166
967
,
167
369
,
168
517
,
169
161
,
170
330
,
171
294
,
172
396
,
173
606
,
174
638
,
175
171
,
176
602
,
177
531
,
178
14
,
179
968
,
180
15
,
181
193
,
182
225
,
183
863
,
184
171
,
185
254
,
186
714
,
187
256
,
188
873
,
189
353
,
190
35
,
191
910
,
192
849
,
193
658
,
194
546
,
195
389
,
196
239
,
197
355
,
198
540
,
199
494
,
200
968
,
201
319
,
202
590
,
203
608
,
204
445
,
205
806
,
206
51
,
207
117
,
208
401
,
209
314
,
210
280
,
211
334
,
212
44
,
213
17
,
214
107
,
215
108
,
216
650
,
217
807
,
218
385
,
219
748
,
220
942
,
221
719
,
222
110
,
223
630
,
224
559
,
225
717
,
226
375
,
227
963
,
228
45
,
229
403
,
230
476
,
231
408
,
232
732
,
233
87
,
234
874
,
235
635
,
236
119
,
237
190
,
238
949
,
239
777
,
240
201
,
241
503
,
242
658
,
243
777
,
244
564
,
245
830
,
246
122
,
247
929
,
248
68
,
249
11
,
250
354
,
251
395
,
252
213
,
253
766
,
254
40
,
255
995
,
256
577
,
257
514
,
258
568
,
259
56
,
260
439
,
261
91
,
262
148
,
263
612
,
264
717
,
265
157
,
266
538
,
267
682
,
268
190
,
269
571
,
270
847
,
271
275
,
272
190
,
273
824
,
274
985
,
275
29
,
276
426
,
277
173
,
278
898
,
279
297
,
280
156
,
281
936
,
282
1
,
283
455
,
284
812
,
285
173
,
286
131
,
287
376
,
288
947
,
289
596
,
290
783
,
291
800
,
292
361
,
293
798
,
294
598
,
295
710
,
296
86
,
297
149
,
298
457
,
299
129
,
300
437
,
301
352
,
302
933
,
303
320
,
304
709
,
305
167
,
306
793
,
307
46
,
308
49
,
309
305
,
310
704
,
311
577
,
312
855
,
313
336
,
314
978
,
315
206
,
316
662
,
317
230
,
318
93
,
319
898
,
320
368
,
321
422
,
322
689
,
323
351
,
324
87
,
325
465
,
326
576
,
327
33
,
328
884
,
329
675
,
330
548
,
331
116
,
332
730
,
333
385
,
334
483
,
335
340
,
336
809
,
337
938
,
338
342
,
339
576
,
340
887
,
341
479
,
342
455
,
343
820
,
344
521
,
345
320
,
346
488
,
347
506
,
348
591
,
349
901
,
350
505
,
351
525
,
352
5
,
353
133
,
354
705
,
355
561
,
356
285
,
357
95
,
358
918
,
359
410
,
360
578
,
361
347
,
362
375
,
363
735
,
364
624
,
365
491
,
366
494
,
367
931
,
368
655
,
369
819
,
370
883
,
371
328
,
372
527
,
373
194
,
374
580
,
375
584
,
376
837
,
377
700
,
378
681
,
379
249
,
380
643
,
381
958
,
382
363
,
383
316
,
384
397
,
385
638
,
386
261
,
387
459
,
388
960
,
389
636
,
390
458
,
391
84
,
392
797
,
393
696
,
394
782
,
395
831
,
396
419
,
397
393
,
398
649
,
399
312
,
400
811
,
401
703
,
402
70
,
403
688
,
404
285
,
405
39
,
406
617
,
407
935
,
408
495
,
409
392
,
410
143
,
411
734
,
412
166
,
413
406
,
414
464
,
415
732
,
416
709
,
417
379
,
418
143
,
419
527
,
420
514
,
421
709
,
422
130
,
423
965
,
424
632
,
425
448
,
426
836
,
427
62
,
428
567
,
429
600
,
430
520
,
431
519
,
432
16
,
433
394
,
434
705
,
435
438
,
436
548
,
437
696
,
438
140
,
439
573
,
440
509
,
441
968
,
442
935
,
443
165
,
444
868
,
445
577
,
446
451
,
447
865
,
448
304
,
449
777
,
450
828
,
451
147
,
452
704
,
453
821
,
454
641
,
455
783
,
456
376
,
457
757
,
458
391
,
459
170
,
460
592
,
461
235
,
462
920
,
463
846
,
464
683
,
465
249
,
466
697
,
467
253
,
468
386
,
469
244
,
470
889
,
471
607
,
472
768
,
473
88
,
474
836
,
475
259
,
476
945
,
477
33
,
478
352
,
479
70
,
480
83
,
481
996
,
482
791
,
483
18
,
484
599
,
485
488
,
486
43
,
487
582
,
488
993
,
489
692
,
490
841
,
491
558
,
492
530
,
493
350
,
494
187
,
495
295
,
496
215
,
497
869
,
498
593
,
499
385
,
500
722
,
501
724
,
502
282
,
503
681
,
504
534
,
505
788
,
506
836
,
507
378
,
508
825
,
509
93
,
510
539
,
511
120
,
512
794
,
513
384
,
514
798
,
515
505
,
516
833
,
517
27
,
518
181
,
519
951
,
520
966
,
521
498
,
522
375
,
523
22
,
524
545
,
525
62
,
526
816
,
527
119
,
528
712
,
529
813
,
530
783
,
531
655
,
532
832
,
533
143
,
534
501
,
535
519
,
536
43
,
537
760
,
538
17
,
539
896
,
540
96
,
541
390
,
542
121
,
543
458
,
544
736
,
545
649
,
546
227
,
547
778
,
548
283
,
549
657
,
550
434
,
551
214
,
552
123
,
553
929
,
554
548
,
555
206
,
556
993
,
557
463
,
558
824
,
559
369
,
560
260
,
561
868
,
562
645
,
563
857
,
564
184
,
565
198
,
566
349
,
567
652
,
568
522
,
569
23
,
570
208
,
571
968
,
572
290
,
573
770
,
574
109
,
575
978
,
576
513
,
577
298
,
578
675
,
579
306
,
580
866
,
581
927
,
582
822
,
583
495
,
584
653
,
585
134
,
586
702
,
587
147
,
588
366
,
589
947
,
590
65
,
591
586
,
592
412
,
593
638
,
594
760
,
595
541
,
596
118
,
597
551
,
598
574
,
599
85
,
600
736
,
601
999
,
602
917
,
603
478
,
604
35
,
605
629
,
606
963
,
607
898
,
608
826
,
609
113
,
610
298
,
611
606
,
612
568
,
613
152
,
614
926
,
615
277
,
616
984
,
617
549
,
618
279
,
619
839
,
620
348
,
621
672
,
622
278
,
623
94
,
624
455
,
625
590
,
626
843
,
627
85
,
628
222
,
629
901
,
630
621
,
631
30
,
632
880
,
633
914
,
634
27
,
635
974
,
636
399
,
637
873
,
638
968
,
639
870
,
640
479
,
641
696
,
642
964
,
643
929
,
644
499
,
645
121
,
646
812
,
647
933
,
648
799
,
649
506
,
650
412
,
651
712
,
652
791
,
653
426
,
654
835
,
655
488
,
656
910
,
657
522
,
658
332
,
659
967
,
660
380
,
661
61
,
662
5
,
663
282
,
664
119
,
665
22
,
666
136
,
667
436
,
668
730
,
669
341
,
670
687
,
671
371
,
672
19
,
673
893
,
674
20
,
675
327
,
676
221
,
677
221
,
678
966
,
679
354
,
680
198
,
681
985
,
682
56
,
683
305
,
684
691
,
685
980
,
686
12
,
687
790
,
688
64
,
689
484
,
690
621
,
691
214
,
692
332
,
693
898
,
694
898
,
695
318
,
696
416
,
697
445
,
698
350
,
699
317
,
700
336
,
701
714
,
702
788
,
703
541
,
704
890
,
705
42
,
706
111
,
707
596
,
708
164
,
709
424
,
710
448
,
711
666
,
712
362
,
713
429
,
714
617
,
715
910
,
716
917
,
717
970
,
718
526
,
719
321
,
720
551
,
721
481
,
722
83
,
723
46
,
724
146
,
725
569
,
726
856
,
727
85
,
728
192
,
729
724
,
730
378
,
731
299
,
732
13
,
733
422
,
734
411
,
735
552
,
736
569
,
737
100
,
738
849
,
739
484
,
740
906
,
741
47
,
742
532
,
743
742
,
744
415
,
745
228
,
746
897
,
747
715
,
748
807
,
749
329
,
750
244
,
751
312
,
752
903
,
753
758
,
754
34
,
755
172
,
756
18
,
757
917
,
758
700
,
759
108
,
760
611
,
761
567
,
762
616
,
763
572
,
764
174
,
765
925
,
766
553
,
767
903
,
768
268
,
769
544
,
770
998
,
771
708
,
772
133
,
773
717
,
774
584
,
775
517
,
776
608
,
777
680
,
778
597
,
779
316
,
780
470
,
781
764
,
782
530
,
783
221
,
784
405
,
785
133
,
786
406
,
787
506
,
788
56
,
789
458
,
790
721
,
791
935
,
792
356
,
793
130
,
794
99
,
795
395
,
796
117
,
797
34
,
798
881
,
799
231
,
800
214
,
801
248
,
802
458
,
803
246
,
804
632
,
805
471
,
806
279
,
807
385
,
808
594
,
809
855
,
810
305
,
811
30
,
812
542
,
813
144
,
814
509
,
815
548
,
816
364
,
817
171
,
818
386
,
819
382
,
820
616
,
821
997
,
822
28
,
823
361
,
824
855
,
825
449
,
826
992
,
827
956
,
828
439
,
829
569
,
830
383
,
831
523
,
832
852
,
833
337
,
834
112
,
835
24
,
836
902
,
837
352
,
838
542
,
839
231
,
840
664
,
841
411
,
842
457
,
843
572
,
844
52
,
845
760
,
846
88
,
847
907
,
848
345
,
849
284
,
850
636
,
851
219
,
852
975
,
853
713
,
854
231
,
855
888
,
856
49
,
857
624
,
858
179
,
859
579
,
860
401
,
861
694
,
862
984
,
863
905
,
864
673
,
865
414
,
866
773
,
867
165
,
868
349
,
869
436
,
870
128
,
871
186
,
872
487
,
873
17
,
874
552
,
875
833
,
876
98
,
877
424
,
878
791
,
879
220
,
880
352
,
881
75
,
882
470
,
883
405
,
884
679
,
885
939
,
886
792
,
887
653
,
888
142
,
889
226
,
890
208
,
891
629
,
892
429
,
893
55
,
894
455
,
895
362
,
896
210
,
897
765
,
898
693
,
899
113
,
900
656
,
901
824
,
902
441
,
903
191
,
904
50
,
905
957
,
906
99
,
907
27
,
908
582
,
909
461
,
910
279
,
911
299
,
912
492
,
913
678
,
914
452
,
915
640
,
916
349
,
917
758
,
918
298
,
919
903
,
920
361
,
921
333
,
922
339
,
923
60
,
924
824
,
925
773
,
926
184
,
927
621
,
928
66
,
929
49
,
930
228
,
931
608
,
932
523
,
933
591
,
934
533
,
935
234
,
936
566
,
937
291
,
938
646
,
939
93
,
940
42
,
941
810
,
942
154
,
943
846
,
944
426
,
945
32
,
946
828
,
947
360
,
948
917
,
949
182
,
950
50
,
951
40
,
952
182
,
953
19
,
954
127
,
955
614
,
956
951
,
957
662
,
958
591
,
959
140
,
960
110
,
961
685
,
962
549
,
963
6
,
964
346
,
965
766
,
966
689
,
967
743
,
968
414
,
969
135
,
970
61
,
971
548
,
972
363
,
973
915
,
974
462
,
975
526
,
976
405
,
977
524
,
978
192
,
979
754
,
980
796
,
981
616
,
982
98
,
983
341
,
984
786
,
985
778
,
986
929
,
987
6
,
988
388
,
989
293
,
990
513
,
991
148
,
992
298
,
993
311
,
994
29
,
995
456
,
996
960
,
997
560
,
998
895
,
999
121
,
1000
511
,
1001
141
,
1002
732
,
1003
762
,
1004
774
,
1005
261
,
1006
287
,
1007
314
,
1008
801
,
1009
320
,
1010
173
,
1011
616
,
1012
356
,
1013
783
,
1014
256
,
1015
129
,
1016
513
,
1017
212
,
1018
293
,
1019
168
,
1020
813
,
1021
279
,
1022
65
,
1023
784
,
1024
360
,
1025
921
,
1026
320
,
1027
177
,
1028
923
,
1029
385
,
1030
142
,
1031
380
,
1032
772
,
1033
929
,
1034
718
,
1035
277
,
1036
61
,
1037
620
,
1038
575
,
1039
772
,
1040
356
,
1041
414
,
1042
775
,
1043
392
,
1044
523
,
1045
760
,
1046
192
,
1047
905
,
1048
606
,
1049
134
,
1050
695
,
1051
784
,
1052
540
,
1053
63
,
1054
939
,
1055
941
,
1056
887
,
1057
217
,
1058
290
,
1059
893
,
1060
206
,
1061
662
,
1062
63
,
1063
102
,
1064
74
,
1065
943
,
1066
288
,
1067
8
,
1068
254
,
1069
131
,
1070
420
,
1071
841
,
1072
79
,
1073
139
,
1074
362
,
1075
221
,
1076
915
,
1077
6
,
1078
28
,
1079
417
,
1080
846
,
1081
996
,
1082
794
,
1083
522
,
1084
391
,
1085
513
,
1086
715
,
1087
87
,
1088
449
,
1089
801
,
1090
823
,
1091
16
,
1092
485
,
1093
874
,
1094
8
,
1095
601
,
1096
885
,
1097
146
,
1098
886
,
1099
318
,
1100
235
,
1101
390
,
1102
561
,
1103
869
,
1104
640
,
1105
860
,
1106
433
,
1107
651
,
1108
145
,
1109
149
,
1110
682
,
1111
612
,
1112
580
,
1113
946
,
1114
572
,
1115
155
,
1116
736
,
1117
898
,
1118
774
,
1119
81
,
1120
882
,
1121
286
,
1122
362
,
1123
982
,
1124
788
,
1125
658
,
1126
452
,
1127
889
,
1128
688
,
1129
384
,
1130
948
,
1131
342
,
1132
402
,
1133
777
,
1134
403
,
1135
547
,
1136
123
,
1137
187
,
1138
394
,
1139
470
,
1140
978
,
1141
234
,
1142
461
,
1143
127
,
1144
349
,
1145
476
,
1146
927
,
1147
837
,
1148
997
,
1149
494
,
1150
167
,
1151
920
,
1152
911
,
1153
84
,
1154
432
,
1155
339
,
1156
87
,
1157
841
,
1158
535
,
1159
972
,
1160
671
,
1161
395
,
1162
445
,
1163
681
,
1164
494
,
1165
737
,
1166
492
,
1167
96
,
1168
84
,
1169
261
,
1170
871
,
1171
91
,
1172
696
,
1173
960
,
1174
346
,
1175
430
,
1176
796
,
1177
326
,
1178
272
,
1179
982
,
1180
25
,
1181
927
,
1182
923
,
1183
528
,
1184
924
,
1185
215
,
1186
789
,
1187
691
,
1188
898
,
1189
811
,
1190
189
,
1191
284
,
1192
856
,
1193
200
,
1194
278
,
1195
436
,
1196
354
,
1197
114
,
1198
978
,
1199
648
,
1200
797
,
1201
437
,
1202
916
,
1203
220
,
1204
449
,
1205
740
,
1206
179
,
1207
484
,
1208
470
,
1209
332
,
1210
178
,
1211
65
,
1212
807
,
1213
860
,
1214
180
,
1215
421
,
1216
148
,
1217
563
,
1218
253
,
1219
691
,
1220
121
,
1221
837
,
1222
851
,
1223
341
,
1224
948
,
1225
563
,
1226
635
,
1227
780
,
1228
148
,
1229
567
,
1230
713
,
1231
118
,
1232
877
,
1233
505
,
1234
519
,
1235
975
,
1236
504
,
1237
745
,
1238
190
,
1239
958
,
1240
134
,
1241
898
,
1242
723
,
1243
546
,
1244
781
,
1245
46
,
1246
760
,
1247
530
,
1248
572
,
1249
163
,
1250
227
,
1251
886
,
1252
408
,
1253
586
,
1254
4
,
1255
901
,
1256
233
,
1257
753
,
1258
720
,
1259
203
,
1260
575
,
1261
748
,
1262
443
,
1263
207
,
1264
838
,
1265
492
,
1266
290
,
1267
223
,
1268
256
,
1269
715
,
1270
830
,
1271
432
,
1272
97
,
1273
99
,
1274
477
,
1275
725
,
1276
574
,
1277
91
,
1278
746
,
1279
731
,
1280
615
,
1281
629
,
1282
437
,
1283
320
,
1284
843
,
1285
559
,
1286
13
,
1287
902
,
1288
779
,
1289
564
,
1290
689
,
1291
207
,
1292
599
,
1293
726
,
1294
598
,
1295
606
,
1296
148
,
1297
58
,
1298
115
,
1299
536
,
1300
319
,
1301
279
,
1302
944
,
1303
485
,
1304
699
,
1305
948
,
1306
13
,
1307
895
,
1308
766
,
1309
582
,
1310
559
,
1311
998
,
1312
250
,
1313
788
,
1314
869
,
1315
877
,
1316
23
,
1317
647
,
1318
488
,
1319
164
,
1320
845
,
1321
344
,
1322
545
,
1323
307
,
1324
991
,
1325
0
,
1326
805
,
1327
152
,
1328
412
,
1329
534
,
1330
323
,
1331
614
,
1332
415
,
1333
865
,
1334
847
,
1335
210
,
1336
743
,
1337
122
,
1338
943
,
1339
594
,
1340
320
,
1341
268
,
1342
154
,
1343
253
,
1344
816
,
1345
347
,
1346
768
,
1347
953
,
1348
982
,
1349
606
,
1350
131
,
1351
813
,
1352
92
,
1353
339
,
1354
5
,
1355
707
,
1356
517
,
1357
526
,
1358
469
,
1359
537
,
1360
89
,
1361
141
,
1362
537
,
1363
557
,
1364
190
,
1365
659
,
1366
87
,
1367
659
,
1368
401
,
1369
367
,
1370
414
,
1371
460
,
1372
34
,
1373
96
,
1374
895
,
1375
740
,
1376
694
,
1377
352
,
1378
537
,
1379
592
,
1380
877
,
1381
137
,
1382
922
,
1383
915
,
1384
99
,
1385
216
,
1386
969
,
1387
716
,
1388
44
,
1389
869
,
1390
856
,
1391
853
,
1392
352
,
1393
556
,
1394
216
,
1395
426
,
1396
231
,
1397
259
,
1398
172
,
1399
67
,
1400
694
,
1401
488
,
1402
311
,
1403
712
,
1404
767
,
1405
279
,
1406
962
,
1407
265
,
1408
615
,
1409
141
,
1410
454
,
1411
711
,
1412
384
,
1413
452
,
1414
135
,
1415
90
,
1416
391
,
1417
787
,
1418
665
,
1419
528
,
1420
296
,
1421
824
,
1422
820
,
1423
455
,
1424
885
,
1425
301
,
1426
155
,
1427
647
,
1428
6
,
1429
973
,
1430
627
,
1431
663
,
1432
922
,
1433
969
,
1434
799
,
1435
698
,
1436
523
,
1437
404
,
1438
784
,
1439
422
,
1440
128
,
1441
103
,
1442
233
,
1443
601
,
1444
812
,
1445
281
,
1446
600
,
1447
336
,
1448
11
,
1449
743
,
1450
288
,
1451
925
,
1452
181
,
1453
228
,
1454
508
,
1455
308
,
1456
3
,
1457
141
,
1458
711
,
1459
602
,
1460
71
,
1461
868
,
1462
255
,
1463
307
,
1464
24
,
1465
862
,
1466
567
,
1467
134
,
1468
74
,
1469
755
,
1470
947
,
1471
111
,
1472
812
,
1473
42
,
1474
295
,
1475
650
,
1476
859
,
1477
78
,
1478
128
,
1479
462
,
1480
308
,
1481
290
,
1482
372
,
1483
166
,
1484
111
,
1485
364
,
1486
469
,
1487
591
,
1488
127
,
1489
56
,
1490
840
,
1491
758
,
1492
781
,
1493
756
,
1494
548
,
1495
658
,
1496
412
,
1497
851
,
1498
134
,
1499
233
,
1500
432
,
1501
257
,
1502
138
,
1503
210
,
1504
184
,
1505
986
,
1506
51
,
1507
806
,
1508
442
,
1509
711
,
1510
243
,
1511
571
,
1512
861
,
1513
550
,
1514
111
,
1515
798
,
1516
138
,
1517
316
,
1518
746
,
1519
549
,
1520
276
,
1521
458
,
1522
866
,
1523
335
,
1524
334
,
1525
178
,
1526
191
,
1527
473
,
1528
452
,
1529
764
,
1530
487
,
1531
525
,
1532
273
,
1533
457
,
1534
902
,
1535
888
,
1536
519
,
1537
203
,
1538
891
,
1539
497
,
1540
998
,
1541
535
,
1542
382
,
1543
673
,
1544
787
,
1545
112
,
1546
846
,
1547
836
,
1548
898
,
1549
681
,
1550
607
,
1551
546
,
1552
863
,
1553
639
,
1554
896
,
1555
281
,
1556
845
,
1557
305
,
1558
410
,
1559
835
,
1560
985
,
1561
245
,
1562
781
,
1563
208
,
1564
337
,
1565
248
,
1566
205
,
1567
264
,
1568
198
,
1569
305
,
1570
665
,
1571
351
,
1572
609
,
1573
186
,
1574
444
,
1575
589
,
1576
130
,
1577
292
,
1578
668
,
1579
617
,
1580
611
,
1581
111
,
1582
80
,
1583
9
,
1584
267
,
1585
275
,
1586
135
,
1587
201
,
1588
926
,
1589
789
,
1590
835
,
1591
221
,
1592
290
,
1593
297
,
1594
93
,
1595
437
,
1596
892
,
1597
921
,
1598
994
,
1599
748
,
1600
321
,
1601
23
,
1602
394
,
1603
725
,
1604
377
,
1605
581
,
1606
57
,
1607
219
,
1608
461
,
1609
54
,
1610
183
,
1611
506
,
1612
889
,
1613
920
,
1614
714
,
1615
639
,
1616
836
,
1617
585
,
1618
787
,
1619
929
,
1620
597
,
1621
307
,
1622
678
,
1623
35
,
1624
296
,
1625
46
,
1626
459
,
1627
368
,
1628
342
,
1629
200
,
1630
609
,
1631
265
,
1632
11
,
1633
315
,
1634
10
,
1635
29
,
1636
32
,
1637
339
,
1638
250
,
1639
974
,
1640
736
,
1641
834
,
1642
281
,
1643
332
,
1644
656
,
1645
530
,
1646
384
,
1647
96
,
1648
544
,
1649
775
,
1650
208
,
1651
375
,
1652
230
,
1653
31
,
1654
589
,
1655
385
,
1656
130
,
1657
718
,
1658
82
,
1659
909
,
1660
267
,
1661
482
,
1662
503
,
1663
875
,
1664
824
,
1665
488
,
1666
837
,
1667
757
,
1668
19
,
1669
121
,
1670
129
,
1671
531
,
1672
712
,
1673
76
,
1674
183
,
1675
137
,
1676
764
,
1677
617
,
1678
846
,
1679
64
,
1680
65
,
1681
775
,
1682
593
,
1683
526
,
1684
53
,
1685
923
,
1686
142
,
1687
330
,
1688
153
,
1689
199
,
1690
71
,
1691
584
,
1692
423
,
1693
770
,
1694
318
,
1695
965
,
1696
493
,
1697
953
,
1698
238
,
1699
416
,
1700
471
,
1701
978
,
1702
436
,
1703
501
,
1704
505
,
1705
264
,
1706
789
,
1707
199
,
1708
241
,
1709
800
,
1710
168
,
1711
34
,
1712
291
,
1713
399
,
1714
972
,
1715
890
,
1716
462
,
1717
670
,
1718
628
,
1719
19
,
1720
204
,
1721
99
,
1722
751
,
1723
742
,
1724
231
,
1725
397
,
1726
5
,
1727
204
,
1728
886
,
1729
763
,
1730
706
,
1731
218
,
1732
775
,
1733
730
,
1734
231
,
1735
425
,
1736
118
,
1737
778
,
1738
886
,
1739
537
,
1740
364
,
1741
691
,
1742
19
,
1743
114
,
1744
195
,
1745
665
,
1746
675
,
1747
359
,
1748
653
,
1749
185
,
1750
76
,
1751
351
,
1752
221
,
1753
695
,
1754
147
,
1755
1
,
1756
109
,
1757
790
,
1758
749
,
1759
299
,
1760
358
,
1761
11
,
1762
581
,
1763
511
,
1764
614
,
1765
950
,
1766
916
,
1767
923
,
1768
764
,
1769
245
,
1770
487
,
1771
508
,
1772
471
,
1773
71
,
1774
482
,
1775
614
,
1776
660
,
1777
834
,
1778
875
,
1779
433
,
1780
470
,
1781
650
,
1782
753
,
1783
828
,
1784
360
,
1785
551
,
1786
946
,
1787
215
,
1788
358
,
1789
689
,
1790
468
,
1791
280
,
1792
98
,
1793
363
,
1794
451
,
1795
20
,
1796
842
,
1797
913
,
1798
105
,
1799
575
,
1800
798
,
1801
199
,
1802
612
,
1803
778
,
1804
959
,
1805
295
,
1806
322
,
1807
760
,
1808
963
,
1809
854
,
1810
191
,
1811
629
,
1812
165
,
1813
420
,
1814
127
,
1815
515
,
1816
858
,
1817
783
,
1818
487
,
1819
499
,
1820
534
,
1821
451
,
1822
373
,
1823
116
,
1824
973
,
1825
576
,
1826
184
,
1827
587
,
1828
765
,
1829
975
,
1830
945
,
1831
960
,
1832
801
,
1833
802
,
1834
793
,
1835
32
,
1836
608
,
1837
312
,
1838
533
,
1839
916
,
1840
92
,
1841
625
,
1842
661
,
1843
374
,
1844
967
,
1845
332
,
1846
554
,
1847
259
,
1848
838
,
1849
475
,
1850
765
,
1851
833
,
1852
74
,
1853
39
,
1854
780
,
1855
446
,
1856
132
,
1857
270
,
1858
583
,
1859
378
,
1860
677
,
1861
805
,
1862
921
,
1863
723
,
1864
624
,
1865
67
,
1866
434
,
1867
875
,
1868
847
,
1869
149
,
1870
881
,
1871
104
,
1872
729
,
1873
327
,
1874
239
,
1875
791
,
1876
22
,
1877
717
,
1878
647
,
1879
118
,
1880
353
,
1881
791
,
1882
129
,
1883
253
,
1884
60
,
1885
938
,
1886
533
,
1887
408
,
1888
994
,
1889
849
,
1890
789
,
1891
764
,
1892
797
,
1893
687
,
1894
892
,
1895
203
,
1896
880
,
1897
903
,
1898
946
,
1899
294
,
1900
830
,
1901
698
,
1902
297
,
1903
478
,
1904
305
,
1905
452
,
1906
258
,
1907
30
,
1908
799
,
1909
756
,
1910
793
,
1911
937
,
1912
775
,
1913
14
,
1914
383
,
1915
276
,
1916
481
,
1917
215
,
1918
317
,
1919
879
,
1920
52
,
1921
628
,
1922
654
,
1923
429
,
1924
753
,
1925
848
,
1926
606
,
1927
629
,
1928
748
,
1929
832
,
1930
335
,
1931
733
,
1932
90
,
1933
396
,
1934
690
,
1935
482
,
1936
54
,
1937
12
,
1938
306
,
1939
535
,
1940
750
,
1941
116
,
1942
524
,
1943
383
,
1944
475
,
1945
214
,
1946
178
,
1947
784
,
1948
798
,
1949
563
,
1950
935
,
1951
806
,
1952
949
,
1953
53
,
1954
694
,
1955
273
,
1956
124
,
1957
284
,
1958
619
,
1959
45
,
1960
521
,
1961
715
,
1962
851
,
1963
132
,
1964
424
,
1965
438
,
1966
319
,
1967
538
,
1968
981
,
1969
802
,
1970
986
,
1971
340
,
1972
600
,
1973
353
,
1974
980
,
1975
637
,
1976
505
,
1977
17
,
1978
280
,
1979
855
,
1980
237
,
1981
432
,
1982
184
,
1983
955
,
1984
538
,
1985
935
,
1986
480
,
1987
421
,
1988
580
,
1989
423
,
1990
928
,
1991
926
,
1992
930
,
1993
732
,
1994
210
,
1995
351
,
1996
346
,
1997
469
,
1998
100
,
1999
288
,
2000
353
,
2001
788
,
2002
232
,
2003
130
,
2004
79
,
2005
360
,
2006
870
,
2007
439
,
2008
47
,
2009
661
,
2010
595
,
2011
636
,
2012
52
,
2013
389
,
2014
986
,
2015
159
,
2016
454
,
2017
317
,
2018
961
,
2019
915
,
2020
76
,
2021
342
,
2022
895
,
2023
53
,
2024
396
,
2025
15
,
2026
66
,
2027
139
,
2028
310
,
2029
636
,
2030
549
,
2031
440
,
2032
926
,
2033
132
,
2034
734
,
2035
726
,
2036
696
,
2037
332
,
2038
229
,
2039
896
,
2040
486
,
2041
316
,
2042
840
,
2043
403
,
2044
557
,
2045
963
,
2046
67
,
2047
401
,
2048
318
,
2049
13
,
2050
109
,
2051
745
,
2052
296
,
2053
653
,
2054
711
,
2055
718
,
2056
2
,
2057
951
,
2058
853
,
2059
130
,
2060
22
,
2061
879
,
2062
878
,
2063
759
,
2064
466
,
2065
520
,
2066
25
,
2067
403
,
2068
952
,
2069
914
,
2070
29
,
2071
133
,
2072
156
,
2073
467
,
2074
435
,
2075
896
,
2076
78
,
2077
488
,
2078
55
,
2079
739
,
2080
861
,
2081
521
,
2082
904
,
2083
498
,
2084
748
,
2085
703
,
2086
489
,
2087
21
,
2088
377
,
2089
322
,
2090
248
,
2091
818
,
2092
176
,
2093
531
,
2094
564
,
2095
1
,
2096
694
,
2097
362
,
2098
876
,
2099
165
,
2100
881
,
2101
325
,
2102
475
,
2103
810
,
2104
181
,
2105
30
,
2106
455
,
2107
255
,
2108
673
,
2109
320
,
2110
600
,
2111
602
,
2112
568
,
2113
974
,
2114
350
,
2115
826
,
2116
212
,
2117
504
,
2118
91
,
2119
21
,
2120
317
,
2121
275
,
2122
775
,
2123
422
,
2124
278
,
2125
795
,
2126
826
,
2127
818
,
2128
377
,
2129
295
,
2130
165
,
2131
496
,
2132
753
,
2133
425
,
2134
554
,
2135
243
,
2136
964
,
2137
169
,
2138
281
,
2139
109
,
2140
884
,
2141
334
,
2142
692
,
2143
641
,
2144
411
,
2145
352
,
2146
66
,
2147
765
,
2148
196
,
2149
508
,
2150
696
,
2151
866
,
2152
369
,
2153
725
,
2154
838
,
2155
82
,
2156
62
,
2157
300
,
2158
637
,
2159
29
,
2160
108
,
2161
859
,
2162
222
,
2163
768
,
2164
442
,
2165
891
,
2166
38
,
2167
523
,
2168
158
,
2169
856
,
2170
949
,
2171
852
,
2172
145
,
2173
630
,
2174
686
,
2175
109
,
2176
577
,
2177
371
,
2178
673
,
2179
807
,
2180
224
,
2181
169
,
2182
148
,
2183
890
,
2184
329
,
2185
653
,
2186
720
,
2187
898
,
2188
771
,
2189
65
,
2190
712
,
2191
735
,
2192
606
,
2193
578
,
2194
836
,
2195
17
,
2196
498
,
2197
31
,
2198
275
,
2199
54
,
2200
494
,
2201
831
,
2202
255
,
2203
266
,
2204
574
,
2205
693
,
2206
418
,
2207
226
,
2208
351
,
2209
867
,
2210
287
,
2211
717
,
2212
708
,
2213
104
,
2214
131
,
2215
863
,
2216
474
,
2217
600
,
2218
323
,
2219
235
,
2220
80
,
2221
710
,
2222
719
,
2223
924
,
2224
168
,
2225
168
,
2226
979
,
2227
24
,
2228
755
,
2229
935
,
2230
78
,
2231
386
,
2232
41
,
2233
546
,
2234
155
,
2235
306
,
2236
366
,
2237
814
,
2238
445
,
2239
883
,
2240
504
,
2241
332
,
2242
920
,
2243
265
,
2244
484
,
2245
591
,
2246
98
,
2247
981
,
2248
576
,
2249
392
,
2250
905
,
2251
927
,
2252
715
,
2253
264
,
2254
598
,
2255
847
,
2256
753
,
2257
329
,
2258
350
,
2259
983
,
2260
179
,
2261
993
,
2262
810
,
2263
809
,
2264
155
,
2265
508
,
2266
564
,
2267
896
,
2268
733
,
2269
734
,
2270
714
,
2271
637
,
2272
560
,
2273
186
,
2274
751
,
2275
601
,
2276
636
,
2277
361
,
2278
916
,
2279
10
,
2280
542
,
2281
258
,
2282
286
,
2283
756
,
2284
471
,
2285
858
,
2286
97
,
2287
373
,
2288
699
,
2289
1
,
2290
707
,
2291
260
,
2292
900
,
2293
145
,
2294
979
,
2295
143
,
2296
487
,
2297
427
,
2298
863
,
2299
472
,
2300
638
,
2301
672
,
2302
309
,
2303
980
,
2304
332
,
2305
480
,
2306
26
,
2307
184
,
2308
40
,
2309
723
,
2310
102
,
2311
856
,
2312
785
,
2313
298
,
2314
816
,
2315
525
,
2316
160
,
2317
897
,
2318
421
,
2319
697
,
2320
122
,
2321
571
,
2322
372
,
2323
138
,
2324
892
,
2325
370
,
2326
805
,
2327
754
,
2328
113
,
2329
993
,
2330
448
,
2331
471
,
2332
423
,
2333
96
,
2334
331
,
2335
419
,
2336
144
,
2337
172
,
2338
987
,
2339
170
,
2340
788
,
2341
400
,
2342
346
,
2343
139
,
2344
676
,
2345
380
,
2346
257
,
2347
350
,
2348
89
,
2349
592
,
2350
501
,
2351
664
,
2352
19
,
2353
957
,
2354
462
,
2355
302
,
2356
430
,
2357
880
,
2358
869
,
2359
99
,
2360
70
,
2361
356
,
2362
931
,
2363
751
,
2364
43
,
2365
531
,
2366
790
,
2367
559
,
2368
455
,
2369
64
,
2370
846
,
2371
139
,
2372
685
,
2373
876
,
2374
166
,
2375
361
,
2376
28
,
2377
876
,
2378
223
,
2379
147
,
2380
928
,
2381
619
,
2382
734
,
2383
870
,
2384
738
,
2385
393
,
2386
293
,
2387
722
,
2388
301
,
2389
936
,
2390
566
,
2391
57
,
2392
881
,
2393
398
,
2394
796
,
2395
134
,
2396
566
,
2397
932
,
2398
756
,
2399
860
,
2400
638
,
2401
546
,
2402
33
,
2403
144
,
2404
29
,
2405
628
,
2406
254
,
2407
764
,
2408
604
,
2409
357
,
2410
987
,
2411
552
,
2412
400
,
2413
663
,
2414
874
,
2415
727
,
2416
586
,
2417
988
,
2418
684
,
2419
867
,
2420
343
,
2421
733
,
2422
349
,
2423
534
,
2424
976
,
2425
708
,
2426
998
,
2427
871
,
2428
564
,
2429
271
,
2430
105
,
2431
397
,
2432
40
,
2433
884
,
2434
62
,
2435
43
,
2436
361
,
2437
451
,
2438
188
,
2439
520
,
2440
953
,
2441
709
,
2442
796
,
2443
522
,
2444
365
,
2445
263
,
2446
807
,
2447
14
,
2448
439
,
2449
395
,
2450
800
,
2451
614
,
2452
831
,
2453
675
,
2454
532
,
2455
95
,
2456
332
,
2457
538
,
2458
318
,
2459
526
,
2460
1
,
2461
689
,
2462
111
,
2463
487
,
2464
370
,
2465
203
,
2466
211
,
2467
642
,
2468
549
,
2469
158
,
2470
206
,
2471
298
,
2472
846
,
2473
87
,
2474
717
,
2475
363
,
2476
83
,
2477
200
,
2478
769
,
2479
504
,
2480
670
,
2481
536
,
2482
349
,
2483
294
,
2484
441
,
2485
239
,
2486
721
,
2487
400
,
2488
355
,
2489
212
,
2490
120
,
2491
623
,
2492
664
,
2493
94
,
2494
116
,
2495
126
,
2496
904
,
2497
947
,
2498
938
,
2499
152
,
2500
542
,
2501
464
,
2502
735
,
2503
926
,
2504
112
,
2505
590
,
2506
1
,
2507
209
,
2508
102
,
2509
237
,
2510
258
,
2511
552
,
2512
427
,
2513
808
,
2514
319
,
2515
631
,
2516
769
,
2517
884
,
2518
24
,
2519
132
,
2520
697
,
2521
878
,
2522
344
,
2523
335
,
2524
391
,
2525
384
,
2526
27
,
2527
533
,
2528
900
,
2529
96
,
2530
279
,
2531
121
,
2532
998
,
2533
558
,
2534
987
,
2535
848
,
2536
426
,
2537
191
,
2538
925
,
2539
623
,
2540
850
,
2541
163
,
2542
184
,
2543
819
,
2544
881
,
2545
279
,
2546
850
,
2547
517
,
2548
178
,
2549
727
,
2550
603
,
2551
152
,
2552
657
,
2553
412
,
2554
17
,
2555
120
,
2556
241
,
2557
718
,
2558
785
,
2559
921
,
2560
237
,
2561
982
,
2562
936
,
2563
745
,
2564
810
,
2565
507
,
2566
207
,
2567
267
,
2568
17
,
2569
967
,
2570
133
,
2571
73
,
2572
627
,
2573
20
,
2574
158
,
2575
69
,
2576
829
,
2577
769
,
2578
457
,
2579
436
,
2580
986
,
2581
723
,
2582
248
,
2583
784
,
2584
704
,
2585
146
,
2586
408
,
2587
0
,
2588
170
,
2589
209
,
2590
720
,
2591
958
,
2592
149
,
2593
321
,
2594
919
,
2595
924
,
2596
223
,
2597
35
,
2598
326
,
2599
196
,
2600
513
,
2601
992
,
2602
884
,
2603
467
,
2604
877
,
2605
695
,
2606
432
,
2607
281
,
2608
722
,
2609
633
,
2610
209
,
2611
616
,
2612
140
,
2613
93
,
2614
274
,
2615
31
,
2616
401
,
2617
971
,
2618
177
,
2619
946
,
2620
782
,
2621
271
,
2622
934
,
2623
159
,
2624
416
,
2625
861
,
2626
9
,
2627
607
,
2628
415
,
2629
747
,
2630
444
,
2631
487
,
2632
701
,
2633
191
,
2634
88
,
2635
850
,
2636
580
,
2637
93
,
2638
59
,
2639
309
,
2640
477
,
2641
613
,
2642
974
,
2643
126
,
2644
348
,
2645
256
,
2646
573
,
2647
578
,
2648
865
,
2649
805
,
2650
280
,
2651
90
,
2652
858
,
2653
924
,
2654
455
,
2655
681
,
2656
307
,
2657
581
,
2658
714
,
2659
156
,
2660
224
,
2661
534
,
2662
198
,
2663
63
,
2664
489
,
2665
144
,
2666
123
,
2667
288
,
2668
500
,
2669
221
,
2670
618
,
2671
674
,
2672
233
,
2673
440
,
2674
788
,
2675
569
,
2676
70
,
2677
472
,
2678
166
,
2679
12
,
2680
979
,
2681
722
,
2682
929
,
2683
108
,
2684
736
,
2685
666
,
2686
525
,
2687
631
,
2688
554
,
2689
287
,
2690
742
,
2691
65
,
2692
324
,
2693
248
,
2694
710
,
2695
489
,
2696
834
,
2697
199
,
2698
338
,
2699
851
,
2700
793
,
2701
960
,
2702
761
,
2703
383
,
2704
891
,
2705
973
,
2706
943
,
2707
853
,
2708
422
,
2709
178
,
2710
600
,
2711
890
,
2712
732
,
2713
384
,
2714
431
,
2715
476
,
2716
237
,
2717
104
,
2718
622
,
2719
839
,
2720
904
,
2721
805
,
2722
512
,
2723
57
,
2724
17
,
2725
630
,
2726
378
,
2727
32
,
2728
996
,
2729
247
,
2730
209
,
2731
254
,
2732
119
,
2733
396
,
2734
565
,
2735
630
,
2736
782
,
2737
633
,
2738
138
,
2739
318
,
2740
112
,
2741
545
,
2742
743
,
2743
616
,
2744
663
,
2745
89
,
2746
367
,
2747
495
,
2748
845
,
2749
127
,
2750
597
,
2751
434
,
2752
129
,
2753
692
,
2754
109
,
2755
168
,
2756
953
,
2757
668
,
2758
590
,
2759
177
,
2760
578
,
2761
46
,
2762
707
,
2763
413
,
2764
115
,
2765
788
,
2766
513
,
2767
243
,
2768
935
,
2769
953
,
2770
58
,
2771
584
,
2772
64
,
2773
569
,
2774
367
,
2775
978
,
2776
249
,
2777
290
,
2778
125
,
2779
183
,
2780
852
,
2781
485
,
2782
847
,
2783
895
,
2784
835
,
2785
25
,
2786
289
,
2787
995
,
2788
226
,
2789
156
,
2790
980
,
2791
520
,
2792
656
,
2793
255
,
2794
37
,
2795
852
,
2796
719
,
2797
493
,
2798
473
,
2799
900
,
2800
417
,
2801
647
,
2802
363
,
2803
759
,
2804
778
,
2805
735
,
2806
349
,
2807
627
,
2808
525
,
2809
255
,
2810
13
,
2811
58
,
2812
399
,
2813
222
,
2814
70
,
2815
304
,
2816
663
,
2817
158
,
2818
152
,
2819
788
,
2820
103
,
2821
693
,
2822
274
,
2823
873
,
2824
116
,
2825
837
,
2826
876
,
2827
367
,
2828
272
,
2829
778
,
2830
65
,
2831
363
,
2832
625
,
2833
696
,
2834
809
,
2835
16
,
2836
491
,
2837
615
,
2838
196
,
2839
88
,
2840
0
,
2841
204
,
2842
418
,
2843
203
,
2844
952
,
2845
205
,
2846
240
,
2847
962
,
2848
899
,
2849
872
,
2850
222
,
2851
961
,
2852
363
,
2853
920
,
2854
659
,
2855
935
,
2856
943
,
2857
198
,
2858
385
,
2859
475
,
2860
298
,
2861
936
,
2862
22
,
2863
204
,
2864
947
,
2865
776
,
2866
911
,
2867
581
,
2868
661
,
2869
340
,
2870
433
,
2871
188
,
2872
622
,
2873
117
,
2874
154
,
2875
150
,
2876
388
,
2877
214
,
2878
513
,
2879
625
,
2880
875
,
2881
779
,
2882
262
,
2883
972
,
2884
396
,
2885
803
,
2886
396
,
2887
991
,
2888
976
,
2889
900
,
2890
387
,
2891
371
,
2892
522
,
2893
162
,
2894
234
,
2895
733
,
2896
314
,
2897
331
,
2898
666
,
2899
44
,
2900
205
,
2901
66
,
2902
422
,
2903
780
,
2904
978
,
2905
661
,
2906
775
,
2907
647
,
2908
511
,
2909
670
,
2910
515
,
2911
88
,
2912
714
,
2913
579
,
2914
133
,
2915
499
,
2916
837
,
2917
506
,
2918
904
,
2919
172
,
2920
248
,
2921
476
,
2922
836
,
2923
898
,
2924
514
,
2925
396
,
2926
852
,
2927
568
,
2928
706
,
2929
533
,
2930
54
,
2931
72
,
2932
167
,
2933
493
,
2934
809
,
2935
588
,
2936
792
,
2937
34
,
2938
325
,
2939
827
,
2940
878
,
2941
440
,
2942
708
,
2943
348
,
2944
589
,
2945
708
,
2946
271
,
2947
577
,
2948
857
,
2949
999
,
2950
547
,
2951
579
,
2952
502
,
2953
298
,
2954
330
,
2955
790
,
2956
687
,
2957
99
,
2958
245
,
2959
721
,
2960
264
,
2961
826
,
2962
487
,
2963
501
,
2964
783
,
2965
194
,
2966
469
,
2967
991
,
2968
653
,
2969
87
,
2970
946
,
2971
556
,
2972
707
,
2973
104
,
2974
879
,
2975
160
,
2976
15
,
2977
1
,
2978
95
,
2979
323
,
2980
870
,
2981
521
,
2982
897
,
2983
840
,
2984
699
,
2985
410
,
2986
751
,
2987
42
,
2988
342
,
2989
802
,
2990
547
,
2991
862
,
2992
168
,
2993
5
,
2994
561
,
2995
488
,
2996
170
,
2997
237
,
2998
655
,
2999
179
,
3000
909
,
3001
847
,
3002
536
,
3003
360
,
3004
44
,
3005
371
,
3006
9
,
3007
473
,
3008
253
,
3009
400
,
3010
563
,
3011
683
,
3012
471
,
3013
625
,
3014
823
,
3015
414
,
3016
590
,
3017
312
,
3018
407
,
3019
971
,
3020
929
,
3021
614
,
3022
705
,
3023
249
,
3024
69
,
3025
348
,
3026
527
,
3027
915
,
3028
978
,
3029
728
,
3030
593
,
3031
641
,
3032
627
,
3033
144
,
3034
653
,
3035
818
,
3036
763
,
3037
116
,
3038
676
,
3039
611
,
3040
451
,
3041
203
,
3042
589
,
3043
62
,
3044
984
,
3045
165
,
3046
631
,
3047
42
,
3048
873
,
3049
56
,
3050
256
,
3051
459
,
3052
134
,
3053
722
,
3054
235
,
3055
798
,
3056
291
,
3057
977
,
3058
646
,
3059
36
,
3060
156
,
3061
546
,
3062
113
,
3063
96
,
3064
964
,
3065
156
,
3066
570
,
3067
366
,
3068
718
,
3069
816
,
3070
726
,
3071
385
,
3072
188
,
3073
184
,
3074
154
,
3075
921
,
3076
821
,
3077
329
,
3078
928
,
3079
176
,
3080
688
,
3081
942
,
3082
204
,
3083
240
,
3084
423
,
3085
498
,
3086
422
,
3087
115
,
3088
696
,
3089
1
,
3090
850
,
3091
309
,
3092
733
,
3093
628
,
3094
595
,
3095
930
,
3096
467
,
3097
888
,
3098
638
,
3099
448
,
3100
895
,
3101
10
,
3102
938
,
3103
848
,
3104
116
,
3105
193
,
3106
390
,
3107
415
,
3108
330
,
3109
359
,
3110
115
,
3111
371
,
3112
432
,
3113
229
,
3114
264
,
3115
141
,
3116
162
,
3117
491
,
3118
397
,
3119
2
,
3120
141
,
3121
761
,
3122
471
,
3123
68
,
3124
55
,
3125
628
,
3126
593
,
3127
891
,
3128
84
,
3129
808
,
3130
740
,
3131
196
,
3132
196
,
3133
511
,
3134
901
,
3135
324
,
3136
464
,
3137
627
,
3138
461
,
3139
900
,
3140
995
,
3141
118
,
3142
486
,
3143
960
,
3144
709
,
3145
451
,
3146
432
,
3147
997
,
3148
785
,
3149
480
,
3150
20
,
3151
351
,
3152
25
,
3153
955
,
3154
40
,
3155
788
,
3156
56
,
3157
254
,
3158
329
,
3159
601
,
3160
293
,
3161
704
,
3162
639
,
3163
743
,
3164
983
,
3165
177
,
3166
722
,
3167
193
,
3168
708
,
3169
34
,
3170
202
,
3171
364
,
3172
404
,
3173
487
,
3174
436
,
3175
867
,
3176
906
,
3177
442
,
3178
472
,
3179
718
,
3180
610
,
3181
366
,
3182
991
,
3183
639
,
3184
821
,
3185
604
,
3186
618
,
3187
538
,
3188
266
,
3189
781
,
3190
958
,
3191
542
,
3192
744
,
3193
116
,
3194
604
,
3195
835
,
3196
310
,
3197
847
,
3198
277
,
3199
138
,
3200
979
,
3201
930
,
3202
962
,
3203
3
,
3204
641
,
3205
976
,
3206
673
,
3207
928
,
3208
851
,
3209
456
,
3210
963
,
3211
604
,
3212
336
,
3213
360
,
3214
467
,
3215
374
,
3216
536
,
3217
56
,
3218
729
,
3219
272
,
3220
563
,
3221
205
,
3222
301
,
3223
583
,
3224
329
,
3225
632
,
3226
151
,
3227
678
,
3228
100
,
3229
234
,
3230
74
,
3231
315
,
3232
289
,
3233
759
,
3234
313
,
3235
854
,
3236
558
,
3237
997
,
3238
905
,
3239
186
,
3240
261
,
3241
863
,
3242
607
,
3243
41
,
3244
70
,
3245
234
,
3246
147
,
3247
448
,
3248
619
,
3249
179
,
3250
65
,
3251
716
,
3252
309
,
3253
858
,
3254
408
,
3255
143
,
3256
61
,
3257
760
,
3258
308
,
3259
115
,
3260
116
,
3261
233
,
3262
598
,
3263
170
,
3264
675
,
3265
117
,
3266
147
,
3267
511
,
3268
935
,
3269
857
,
3270
761
,
3271
397
,
3272
692
,
3273
940
,
3274
606
,
3275
235
,
3276
50
,
3277
297
,
3278
219
,
3279
216
,
3280
501
,
3281
489
,
3282
22
,
3283
792
,
3284
878
,
3285
722
,
3286
293
,
3287
667
,
3288
71
,
3289
663
,
3290
870
,
3291
294
,
3292
596
,
3293
885
,
3294
140
,
3295
169
,
3296
325
,
3297
8
,
3298
107
,
3299
780
,
3300
536
,
3301
320
,
3302
652
,
3303
975
,
3304
155
,
3305
371
,
3306
901
,
3307
716
,
3308
175
,
3309
240
,
3310
296
,
3311
355
,
3312
416
,
3313
277
,
3314
187
,
3315
178
,
3316
977
,
3317
254
,
3318
679
,
3319
799
,
3320
428
,
3321
123
,
3322
66
,
3323
195
,
3324
143
,
3325
700
,
3326
648
,
3327
653
,
3328
570
,
3329
363
,
3330
942
,
3331
352
,
3332
981
,
3333
175
,
3334
815
,
3335
618
,
3336
479
,
3337
760
,
3338
663
,
3339
298
,
3340
944
,
3341
716
,
3342
925
,
3343
796
,
3344
312
,
3345
509
,
3346
365
,
3347
165
,
3348
945
,
3349
52
,
3350
787
,
3351
270
,
3352
663
,
3353
358
,
3354
452
,
3355
103
,
3356
809
,
3357
345
,
3358
62
,
3359
545
,
3360
863
,
3361
116
,
3362
952
,
3363
951
,
3364
810
,
3365
297
,
3366
884
,
3367
386
,
3368
683
,
3369
991
,
3370
161
,
3371
48
,
3372
267
,
3373
672
,
3374
558
,
3375
977
,
3376
2
,
3377
827
,
3378
848
,
3379
293
,
3380
860
,
3381
247
,
3382
564
,
3383
141
,
3384
285
,
3385
134
,
3386
736
,
3387
604
,
3388
789
,
3389
441
,
3390
723
,
3391
714
,
3392
911
,
3393
957
,
3394
597
,
3395
510
,
3396
547
,
3397
274
,
3398
761
,
3399
684
,
3400
747
,
3401
652
,
3402
536
,
3403
114
,
3404
555
,
3405
176
,
3406
743
,
3407
923
,
3408
442
,
3409
629
,
3410
984
,
3411
703
,
3412
957
,
3413
620
,
3414
822
,
3415
47
,
3416
186
,
3417
669
,
3418
17
,
3419
168
,
3420
377
,
3421
271
,
3422
562
,
3423
420
,
3424
799
,
3425
820
,
3426
73
,
3427
439
,
3428
884
,
3429
919
,
3430
306
,
3431
164
,
3432
749
,
3433
123
,
3434
830
,
3435
461
,
3436
452
,
3437
353
,
3438
589
,
3439
305
,
3440
907
,
3441
949
,
3442
288
,
3443
733
,
3444
975
,
3445
454
,
3446
821
,
3447
394
,
3448
329
,
3449
776
,
3450
69
,
3451
134
,
3452
808
,
3453
888
,
3454
663
,
3455
594
,
3456
378
,
3457
691
,
3458
175
,
3459
951
,
3460
234
,
3461
635
,
3462
969
,
3463
838
,
3464
443
,
3465
447
,
3466
399
,
3467
563
,
3468
442
,
3469
750
,
3470
523
,
3471
909
,
3472
889
,
3473
768
,
3474
390
,
3475
61
,
3476
896
,
3477
865
,
3478
534
,
3479
72
,
3480
558
,
3481
267
,
3482
678
,
3483
930
,
3484
662
,
3485
655
,
3486
15
,
3487
153
,
3488
885
,
3489
631
,
3490
724
,
3491
475
,
3492
919
,
3493
691
,
3494
260
,
3495
925
,
3496
49
,
3497
798
,
3498
761
,
3499
314
,
3500
497
,
3501
116
,
3502
789
,
3503
548
,
3504
1
,
3505
258
,
3506
388
,
3507
137
,
3508
467
,
3509
706
,
3510
580
,
3511
717
,
3512
110
,
3513
290
,
3514
513
,
3515
408
,
3516
639
,
3517
72
,
3518
629
,
3519
772
,
3520
67
,
3521
460
,
3522
612
,
3523
46
,
3524
88
,
3525
330
,
3526
790
,
3527
854
,
3528
708
,
3529
610
,
3530
334
,
3531
180
,
3532
901
,
3533
718
,
3534
647
,
3535
281
,
3536
135
,
3537
80
,
3538
583
,
3539
591
,
3540
828
,
3541
405
,
3542
843
,
3543
30
,
3544
709
,
3545
657
,
3546
329
,
3547
53
,
3548
351
,
3549
336
,
3550
445
,
3551
249
,
3552
761
,
3553
14
,
3554
187
,
3555
628
,
3556
154
,
3557
381
,
3558
915
,
3559
589
,
3560
911
,
3561
849
,
3562
515
,
3563
39
,
3564
58
,
3565
17
,
3566
790
,
3567
825
,
3568
446
,
3569
99
,
3570
674
,
3571
155
,
3572
407
,
3573
324
,
3574
888
,
3575
447
,
3576
662
,
3577
324
,
3578
588
,
3579
659
,
3580
898
,
3581
234
,
3582
12
,
3583
418
,
3584
514
,
3585
833
,
3586
149
,
3587
241
,
3588
655
,
3589
350
,
3590
256
,
3591
869
,
3592
127
,
3593
629
,
3594
236
,
3595
334
,
3596
940
,
3597
175
,
3598
685
,
3599
224
,
3600
243
,
3601
866
,
3602
979
,
3603
495
,
3604
375
,
3605
525
,
3606
869
,
3607
524
,
3608
894
,
3609
919
,
3610
4
,
3611
184
,
3612
348
,
3613
75
,
3614
892
,
3615
379
,
3616
899
,
3617
177
,
3618
709
,
3619
762
,
3620
356
,
3621
612
,
3622
992
,
3623
723
,
3624
47
,
3625
227
,
3626
317
,
3627
542
,
3628
703
,
3629
279
,
3630
969
,
3631
946
,
3632
473
,
3633
208
,
3634
60
,
3635
872
,
3636
674
,
3637
116
,
3638
360
,
3639
616
,
3640
976
,
3641
253
,
3642
862
,
3643
119
,
3644
649
,
3645
710
,
3646
851
,
3647
690
,
3648
448
,
3649
714
,
3650
152
,
3651
489
,
3652
62
,
3653
833
,
3654
207
,
3655
594
,
3656
100
,
3657
375
,
3658
9
,
3659
497
,
3660
111
,
3661
442
,
3662
116
,
3663
818
,
3664
749
,
3665
177
,
3666
898
,
3667
403
,
3668
243
,
3669
228
,
3670
741
,
3671
680
,
3672
393
,
3673
292
,
3674
726
,
3675
628
,
3676
149
,
3677
127
,
3678
525
,
3679
320
,
3680
404
,
3681
831
,
3682
842
,
3683
852
,
3684
367
,
3685
849
,
3686
66
,
3687
448
,
3688
978
,
3689
941
,
3690
165
,
3691
565
,
3692
960
,
3693
631
,
3694
220
,
3695
220
,
3696
154
,
3697
584
,
3698
841
,
3699
386
,
3700
582
,
3701
233
,
3702
22
,
3703
608
,
3704
508
,
3705
454
,
3706
503
,
3707
267
,
3708
660
,
3709
899
,
3710
404
,
3711
660
,
3712
451
,
3713
86
,
3714
966
,
3715
694
,
3716
133
,
3717
320
,
3718
811
,
3719
966
,
3720
556
,
3721
377
,
3722
653
,
3723
244
,
3724
718
,
3725
255
,
3726
748
,
3727
6
,
3728
237
,
3729
11
,
3730
668
,
3731
411
,
3732
351
,
3733
360
,
3734
833
,
3735
91
,
3736
414
,
3737
264
,
3738
447
,
3739
816
,
3740
962
,
3741
197
,
3742
774
,