projects
/
riscv-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Enable LR/SC tests, even for uniprocessors
[riscv-tests.git]
/
benchmarks
/
spmv
/
dataset1.h
1
#define R 500
2
#define C 500
3
#define NNZ 2399
4
const double
val
[
2399
] = {
5
566
,
6
508
,
7
850
,
8
780
,
9
944
,
10
598
,
11
772
,
12
880
,
13
764
,
14
656
,
15
138
,
16
757
,
17
929
,
18
234
,
19
168
,
20
629
,
21
639
,
22
434
,
23
849
,
24
793
,
25
203
,
26
811
,
27
250
,
28
770
,
29
322
,
30
535
,
31
826
,
32
609
,
33
899
,
34
926
,
35
211
,
36
755
,
37
900
,
38
691
,
39
386
,
40
821
,
41
454
,
42
791
,
43
849
,
44
256
,
45
821
,
46
29
,
47
679
,
48
944
,
49
55
,
50
689
,
51
453
,
52
631
,
53
799
,
54
854
,
55
545
,
56
97
,
57
337
,
58
258
,
59
695
,
60
667
,
61
581
,
62
104
,
63
491
,
64
517
,
65
761
,
66
369
,
67
316
,
68
42
,
69
86
,
70
432
,
71
954
,
72
736
,
73
333
,
74
321
,
75
184
,
76
920
,
77
258
,
78
949
,
79
604
,
80
907
,
81
70
,
82
453
,
83
796
,
84
102
,
85
3
,
86
105
,
87
371
,
88
388
,
89
153
,
90
908
,
91
176
,
92
567
,
93
334
,
94
973
,
95
911
,
96
323
,
97
681
,
98
300
,
99
265
,
100
711
,
101
871
,
102
870
,
103
463
,
104
969
,
105
535
,
106
688
,
107
276
,
108
908
,
109
384
,
110
988
,
111
256
,
112
416
,
113
258
,
114
523
,
115
80
,
116
911
,
117
241
,
118
191
,
119
411
,
120
127
,
121
894
,
122
259
,
123
664
,
124
129
,
125
609
,
126
146
,
127
763
,
128
109
,
129
369
,
130
881
,
131
878
,
132
224
,
133
635
,
134
498
,
135
460
,
136
363
,
137
481
,
138
222
,
139
761
,
140
489
,
141
753
,
142
62
,
143
261
,
144
389
,
145
351
,
146
189
,
147
319
,
148
557
,
149
5
,
150
485
,
151
806
,
152
119
,
153
366
,
154
85
,
155
123
,
156
918
,
157
66
,
158
205
,
159
786
,
160
313
,
161
555
,
162
22
,
163
760
,
164
904
,
165
255
,
166
912
,
167
950
,
168
676
,
169
342
,
170
736
,
171
251
,
172
170
,
173
923
,
174
790
,
175
312
,
176
716
,
177
648
,
178
57
,
179
676
,
180
972
,
181
250
,
182
215
,
183
792
,
184
798
,
185
915
,
186
61
,
187
381
,
188
897
,
189
686
,
190
568
,
191
393
,
192
969
,
193
893
,
194
205
,
195
721
,
196
684
,
197
38
,
198
667
,
199
704
,
200
750
,
201
364
,
202
123
,
203
158
,
204
892
,
205
306
,
206
409
,
207
188
,
208
394
,
209
554
,
210
602
,
211
59
,
212
9
,
213
987
,
214
897
,
215
332
,
216
873
,
217
770
,
218
632
,
219
434
,
220
598
,
221
599
,
222
207
,
223
211
,
224
410
,
225
768
,
226
708
,
227
462
,
228
687
,
229
300
,
230
864
,
231
839
,
232
183
,
233
21
,
234
282
,
235
990
,
236
578
,
237
952
,
238
42
,
239
149
,
240
235
,
241
777
,
242
156
,
243
568
,
244
400
,
245
783
,
246
238
,
247
390
,
248
108
,
249
422
,
250
392
,
251
414
,
252
338
,
253
524
,
254
535
,
255
893
,
256
160
,
257
163
,
258
798
,
259
836
,
260
662
,
261
181
,
262
946
,
263
774
,
264
113
,
265
438
,
266
721
,
267
631
,
268
577
,
269
739
,
270
62
,
271
928
,
272
523
,
273
352
,
274
603
,
275
974
,
276
291
,
277
47
,
278
875
,
279
260
,
280
754
,
281
13
,
282
890
,
283
989
,
284
104
,
285
22
,
286
36
,
287
803
,
288
39
,
289
241
,
290
95
,
291
589
,
292
603
,
293
230
,
294
471
,
295
978
,
296
617
,
297
603
,
298
652
,
299
21
,
300
755
,
301
294
,
302
753
,
303
609
,
304
494
,
305
93
,
306
387
,
307
243
,
308
128
,
309
777
,
310
636
,
311
303
,
312
665
,
313
761
,
314
355
,
315
611
,
316
605
,
317
627
,
318
834
,
319
616
,
320
59
,
321
109
,
322
268
,
323
638
,
324
117
,
325
338
,
326
89
,
327
95
,
328
4
,
329
64
,
330
575
,
331
300
,
332
783
,
333
453
,
334
878
,
335
939
,
336
984
,
337
338
,
338
344
,
339
138
,
340
291
,
341
440
,
342
748
,
343
277
,
344
628
,
345
511
,
346
894
,
347
68
,
348
412
,
349
958
,
350
540
,
351
672
,
352
935
,
353
316
,
354
519
,
355
4
,
356
613
,
357
501
,
358
908
,
359
984
,
360
820
,
361
424
,
362
726
,
363
592
,
364
526
,
365
869
,
366
330
,
367
419
,
368
28
,
369
540
,
370
143
,
371
279
,
372
79
,
373
712
,
374
760
,
375
306
,
376
806
,
377
507
,
378
807
,
379
716
,
380
729
,
381
163
,
382
151
,
383
256
,
384
873
,
385
90
,
386
374
,
387
89
,
388
122
,
389
819
,
390
253
,
391
961
,
392
62
,
393
208
,
394
830
,
395
365
,
396
231
,
397
905
,
398
961
,
399
340
,
400
928
,
401
911
,
402
83
,
403
118
,
404
864
,
405
310
,
406
699
,
407
138
,
408
221
,
409
928
,
410
130
,
411
775
,
412
425
,
413
783
,
414
519
,
415
852
,
416
187
,
417
795
,
418
772
,
419
627
,
420
709
,
421
81
,
422
264
,
423
359
,
424
149
,
425
692
,
426
178
,
427
247
,
428
51
,
429
869
,
430
30
,
431
659
,
432
190
,
433
494
,
434
80
,
435
531
,
436
883
,
437
557
,
438
170
,
439
759
,
440
331
,
441
588
,
442
939
,
443
953
,
444
407
,
445
453
,
446
223
,
447
919
,
448
147
,
449
666
,
450
165
,
451
204
,
452
924
,
453
178
,
454
361
,
455
766
,
456
455
,
457
232
,
458
86
,
459
194
,
460
536
,
461
942
,
462
671
,
463
595
,
464
420
,
465
543
,
466
490
,
467
570
,
468
547
,
469
273
,
470
465
,
471
776
,
472
845
,
473
753
,
474
591
,
475
22
,
476
320
,
477
569
,
478
964
,
479
701
,
480
483
,
481
100
,
482
757
,
483
514
,
484
850
,
485
50
,
486
451
,
487
993
,
488
79
,
489
79
,
490
790
,
491
410
,
492
409
,
493
494
,
494
245
,
495
881
,
496
676
,
497
484
,
498
821
,
499
183
,
500
45
,
501
343
,
502
76
,
503
423
,
504
855
,
505
188
,
506
16
,
507
355
,
508
159
,
509
255
,
510
705
,
511
147
,
512
400
,
513
997
,
514
264
,
515
831
,
516
644
,
517
390
,
518
395
,
519
485
,
520
457
,
521
879
,
522
478
,
523
900
,
524
187
,
525
699
,
526
559
,
527
681
,
528
947
,
529
137
,
530
637
,
531
150
,
532
700
,
533
729
,
534
166
,
535
120
,
536
325
,
537
841
,
538
956
,
539
74
,
540
576
,
541
532
,
542
396
,
543
157
,
544
327
,
545
601
,
546
707
,
547
681
,
548
813
,
549
593
,
550
452
,
551
45
,
552
936
,
553
466
,
554
706
,
555
546
,
556
265
,
557
769
,
558
71
,
559
862
,
560
37
,
561
764
,
562
111
,
563
468
,
564
844
,
565
693
,
566
740
,
567
128
,
568
19
,
569
579
,
570
894
,
571
928
,
572
160
,
573
787
,
574
438
,
575
814
,
576
274
,
577
675
,
578
128
,
579
451
,
580
626
,
581
879
,
582
931
,
583
894
,
584
57
,
585
181
,
586
839
,
587
121
,
588
728
,
589
410
,
590
793
,
591
292
,
592
566
,
593
472
,
594
893
,
595
579
,
596
986
,
597
159
,
598
585
,
599
34
,
600
485
,
601
279
,
602
634
,
603
353
,
604
626
,
605
504
,
606
574
,
607
19
,
608
54
,
609
489
,
610
829
,
611
768
,
612
246
,
613
421
,
614
116
,
615
267
,
616
801
,
617
299
,
618
279
,
619
397
,
620
331
,
621
396
,
622
11
,
623
80
,
624
682
,
625
752
,
626
101
,
627
832
,
628
673
,
629
521
,
630
42
,
631
883
,
632
663
,
633
905
,
634
284
,
635
218
,
636
59
,
637
888
,
638
86
,
639
623
,
640
878
,
641
117
,
642
157
,
643
70
,
644
309
,
645
877
,
646
803
,
647
529
,
648
666
,
649
274
,
650
192
,
651
667
,
652
558
,
653
938
,
654
383
,
655
542
,
656
237
,
657
377
,
658
674
,
659
783
,
660
638
,
661
609
,
662
419
,
663
359
,
664
309
,
665
53
,
666
65
,
667
277
,
668
526
,
669
853
,
670
659
,
671
263
,
672
280
,
673
332
,
674
940
,
675
336
,
676
748
,
677
645
,
678
227
,
679
475
,
680
945
,
681
924
,
682
845
,
683
253
,
684
798
,
685
49
,
686
241
,
687
761
,
688
379
,
689
423
,
690
680
,
691
837
,
692
116
,
693
378
,
694
416
,
695
553
,
696
802
,
697
839
,
698
339
,
699
424
,
700
40
,
701
101
,
702
744
,
703
934
,
704
119
,
705
217
,
706
478
,
707
850
,
708
998
,
709
513
,
710
320
,
711
966
,
712
306
,
713
774
,
714
442
,
715
417
,
716
646
,
717
652
,
718
15
,
719
637
,
720
199
,
721
653
,
722
516
,
723
380
,
724
983
,
725
281
,
726
196
,
727
973
,
728
604
,
729
378
,
730
824
,
731
773
,
732
835
,
733
724
,
734
450
,
735
321
,
736
446
,
737
778
,
738
935
,
739
296
,
740
752
,
741
27
,
742
824
,
743
933
,
744
145
,
745
708
,
746
691
,
747
433
,
748
627
,
749
511
,
750
619
,
751
415
,
752
263
,
753
680
,
754
880
,
755
201
,
756
700
,
757
440
,
758
579
,
759
545
,
760
445
,
761
483
,
762
499
,
763
953
,
764
518
,
765
77
,
766
237
,
767
980
,
768
923
,
769
809
,
770
532
,
771
877
,
772
965
,
773
865
,
774
597
,
775
773
,
776
378
,
777
177
,
778
101
,
779
899
,
780
448
,
781
430
,
782
217
,
783
403
,
784
21
,
785
837
,
786
410
,
787
345
,
788
606
,
789
373
,
790
179
,
791
310
,
792
634
,
793
894
,
794
512
,
795
289
,
796
946
,
797
243
,
798
725
,
799
458
,
800
680
,
801
579
,
802
304
,
803
199
,
804
721
,
805
22
,
806
452
,
807
761
,
808
945
,
809
547
,
810
418
,
811
137
,
812
209
,
813
622
,
814
174
,
815
468
,
816
223
,
817
525
,
818
84
,
819
470
,
820
266
,
821
812
,
822
950
,
823
18
,
824
983
,
825
319
,
826
843
,
827
423
,
828
862
,
829
469
,
830
957
,
831
919
,
832
387
,
833
900
,
834
382
,
835
561
,
836
337
,
837
711
,
838
352
,
839
206
,
840
737
,
841
412
,
842
40
,
843
17
,
844
851
,
845
825
,
846
910
,
847
839
,
848
207
,
849
879
,
850
588
,
851
77
,
852
867
,
853
255
,
854
577
,
855
1
,
856
609
,
857
473
,
858
88
,
859
249
,
860
491
,
861
180
,
862
594
,
863
872
,
864
870
,
865
528
,
866
68
,
867
31
,
868
208
,
869
854
,
870
190
,
871
32
,
872
200
,
873
225
,
874
322
,
875
869
,
876
425
,
877
62
,
878
653
,
879
919
,
880
138
,
881
246
,
882
501
,
883
995
,
884
133
,
885
852
,
886
903
,
887
694
,
888
482
,
889
818
,
890
820
,
891
922
,
892
839
,
893
870
,
894
391
,
895
880
,
896
478
,
897
602
,
898
774
,
899
989
,
900
139
,
901
457
,
902
114
,
903
282
,
904
632
,
905
245
,
906
452
,
907
987
,
908
920
,
909
134
,
910
94
,
911
409
,
912
124
,
913
389
,
914
36
,
915
434
,
916
885
,
917
486
,
918
269
,
919
510
,
920
487
,
921
644
,
922
122
,
923
773
,
924
13
,
925
326
,
926
369
,
927
252
,
928
407
,
929
599
,
930
182
,
931
319
,
932
229
,
933
684
,
934
895
,
935
760
,
936
703
,
937
982
,
938
282
,
939
645
,
940
835
,
941
415
,
942
182
,
943
792
,
944
681
,
945
113
,
946
659
,
947
312
,
948
998
,
949
954
,
950
655
,
951
588
,
952
3
,
953
268
,
954
125
,
955
832
,
956
346
,
957
832
,
958
972
,
959
488
,
960
709
,
961
491
,
962
913
,
963
441
,
964
187
,
965
177
,
966
90
,
967
55
,
968
959
,
969
126
,
970
73
,
971
409
,
972
606
,
973
732
,
974
985
,
975
833
,
976
381
,
977
542
,
978
559
,
979
375
,
980
829
,
981
50
,
982
432
,
983
549
,
984
996
,
985
517
,
986
3
,
987
366
,
988
33
,
989
737
,
990
451
,
991
111
,
992
380
,
993
362
,
994
884
,
995
511
,
996
199
,
997
262
,
998
647
,
999
531
,
1000
717
,
1001
810
,
1002
675
,
1003
946
,
1004
614
,
1005
425
,
1006
282
,
1007
31
,
1008
436
,
1009
695
,
1010
701
,
1011
653
,
1012
629
,
1013
284
,
1014
109
,
1015
237
,
1016
909
,
1017
269
,
1018
495
,
1019
386
,
1020
327
,
1021
620
,
1022
947
,
1023
782
,
1024
663
,
1025
471
,
1026
818
,
1027
517
,
1028
768
,
1029
494
,
1030
249
,
1031
815
,
1032
725
,
1033
822
,
1034
614
,
1035
324
,
1036
22
,
1037
675
,
1038
118
,
1039
143
,
1040
929
,
1041
498
,
1042
368
,
1043
469
,
1044
482
,
1045
964
,
1046
554
,
1047
999
,
1048
265
,
1049
686
,
1050
782
,
1051
754
,
1052
247
,
1053
125
,
1054
960
,
1055
808
,
1056
788
,
1057
647
,
1058
623
,
1059
615
,
1060
727
,
1061
573
,
1062
813
,
1063
200
,
1064
371
,
1065
141
,
1066
733
,
1067
450
,
1068
515
,
1069
940
,
1070
304
,
1071
13
,
1072
522
,
1073
489
,
1074
948
,
1075
906
,
1076
529
,
1077
500
,
1078
98
,
1079
719
,
1080
174
,
1081
269
,
1082
170
,
1083
609
,
1084
789
,
1085
169
,
1086
645
,
1087
514
,
1088
438
,
1089
254
,
1090
103
,
1091
938
,
1092
306
,
1093
608
,
1094
367
,
1095
889
,
1096
667
,
1097
621
,
1098
276
,
1099
346
,
1100
736
,
1101
210
,
1102
13
,
1103
356
,
1104
914
,
1105
377
,
1106
613
,
1107
714
,
1108
949
,
1109
386
,
1110
770
,
1111
738
,
1112
310
,
1113
382
,
1114
145
,
1115
163
,
1116
470
,
1117
34
,
1118
855
,
1119
951
,
1120
672
,
1121
192
,
1122
942
,
1123
936
,
1124
429
,
1125
906
,
1126
378
,
1127
159
,
1128
665
,
1129
208
,
1130
223
,
1131
575
,
1132
977
,
1133
937
,
1134
81
,
1135
24
,
1136
484
,
1137
941
,
1138
128
,
1139
544
,
1140
811
,
1141
905
,
1142
110
,
1143
707
,
1144
806
,
1145
996
,
1146
509
,
1147
283
,
1148
493
,
1149
846
,
1150
466
,
1151
356
,
1152
807
,
1153
993
,
1154
616
,
1155
790
,
1156
163
,
1157
7
,
1158
931
,
1159
661
,
1160
353
,
1161
499
,
1162
186
,
1163
309
,
1164
107
,
1165
556
,
1166
104
,
1167
702
,
1168
61
,
1169
963
,
1170
255
,
1171
279
,
1172
454
,
1173
941
,
1174
817
,
1175
447
,
1176
786
,
1177
788
,
1178
372
,
1179
919
,
1180
14
,
1181
113
,
1182
41
,
1183
412
,
1184
744
,
1185
372
,
1186
282
,
1187
648
,
1188
248
,
1189
484
,
1190
830
,
1191
104
,
1192
742
,
1193
425
,
1194
802
,
1195
216
,
1196
561
,
1197
103
,
1198
781
,
1199
602
,
1200
201
,
1201
317
,
1202
408
,
1203
461
,
1204
91
,
1205
691
,
1206
168
,
1207
850
,
1208
935
,
1209
171
,
1210
929
,
1211
482
,
1212
790
,
1213
701
,
1214
81
,
1215
556
,
1216
85
,
1217
342
,
1218
703
,
1219
99
,
1220
937
,
1221
556
,
1222
14
,
1223
203
,
1224
974
,
1225
200
,
1226
145
,
1227
276
,
1228
408
,
1229
174
,
1230
573
,
1231
775
,
1232
893
,
1233
448
,
1234
21
,
1235
389
,
1236
813
,
1237
62
,
1238
134
,
1239
911
,
1240
119
,
1241
138
,
1242
201
,
1243
200
,
1244
105
,
1245
0
,
1246
958
,
1247
439
,
1248
635
,
1249
723
,
1250
930
,
1251
361
,
1252
745
,
1253
251
,
1254
608
,
1255
179
,
1256
19
,
1257
170
,
1258
405
,
1259
461
,
1260
643
,
1261
517
,
1262
379
,
1263
481
,
1264
899
,
1265
896
,
1266
396
,
1267
675
,
1268
536
,
1269
978
,
1270
513
,
1271
459
,
1272
454
,
1273
704
,
1274
398
,
1275
5
,
1276
786
,
1277
45
,
1278
843
,
1279
674
,
1280
758
,
1281
919
,
1282
250
,
1283
655
,
1284
980
,
1285
789
,
1286
55
,
1287
467
,
1288
459
,
1289
284
,
1290
1
,
1291
951
,
1292
447
,
1293
729
,
1294
756
,
1295
581
,
1296
992
,
1297
961
,
1298
744
,
1299
531
,
1300
169
,
1301
484
,
1302
346
,
1303
289
,
1304
18
,
1305
143
,
1306
653
,
1307
221
,
1308
669
,
1309
537
,
1310
565
,
1311
552
,
1312
874
,
1313
502
,
1314
352
,
1315
458
,
1316
183
,
1317
975
,
1318
521
,
1319
272
,
1320
336
,
1321
930
,
1322
129
,
1323
678
,
1324
670
,
1325
821
,
1326
692
,
1327
463
,
1328
175
,
1329
958
,
1330
110
,
1331
393
,
1332
123
,
1333
174
,
1334
768
,
1335
70
,
1336
942
,
1337
237
,
1338
787
,
1339
788
,
1340
462
,
1341
471
,
1342
160
,
1343
526
,
1344
579
,
1345
835
,
1346
889
,
1347
764
,
1348
878
,
1349
532
,
1350
151
,
1351
390
,
1352
607
,
1353
272
,
1354
49
,
1355
166
,
1356
399
,
1357
950
,
1358
566
,
1359
866
,
1360
446
,
1361
188
,
1362
552
,
1363
984
,
1364
530
,
1365
711
,
1366
541
,
1367
357
,
1368
30
,
1369
212
,
1370
675
,
1371
750
,
1372
746
,
1373
67
,
1374
55
,
1375
184
,
1376
788
,
1377
27
,
1378
314
,
1379
650
,
1380
403
,
1381
24
,
1382
72
,
1383
872
,
1384
260
,
1385
313
,
1386
446
,
1387
235
,
1388
275
,
1389
422
,
1390
727
,
1391
779
,
1392
192
,
1393
215
,
1394
92
,
1395
534
,
1396
619
,
1397
192
,
1398
502
,
1399
139
,
1400
125
,
1401
921
,
1402
953
,
1403
463
,
1404
909
,
1405
961
,
1406
191
,
1407
281
,
1408
619
,
1409
978
,
1410
221
,
1411
841
,
1412
540
,
1413
959
,
1414
422
,
1415
610
,
1416
323
,
1417
162
,
1418
642
,
1419
817
,
1420
961
,
1421
699
,
1422
955
,
1423
341
,
1424
480
,
1425
379
,
1426
28
,
1427
150
,
1428
386
,
1429
447
,
1430
871
,
1431
491
,
1432
632
,
1433
759
,
1434
785
,
1435
827
,
1436
50
,
1437
877
,
1438
771
,
1439
397
,
1440
67
,
1441
827
,
1442
448
,
1443
627
,
1444
85
,
1445
830
,
1446
646
,
1447
353
,
1448
304
,
1449
671
,
1450
963
,
1451
764
,
1452
58
,
1453
136
,
1454
838
,
1455
597
,
1456
932
,
1457
212
,
1458
558
,
1459
276
,
1460
73
,
1461
926
,
1462
403
,
1463
946
,
1464
268
,
1465
779
,
1466
559
,
1467
887
,
1468
213
,
1469
436
,
1470
529
,
1471
929
,
1472
295
,
1473
76
,
1474
78
,
1475
982
,
1476
105
,
1477
688
,
1478
420
,
1479
105
,
1480
815
,
1481
572
,
1482
172
,
1483
584
,
1484
412
,
1485
314
,
1486
219
,
1487
182
,
1488
238
,
1489
789
,
1490
877
,
1491
844
,
1492
62
,
1493
124
,
1494
711
,
1495
787
,
1496
315
,
1497
954
,
1498
296
,
1499
453
,
1500
842
,
1501
681
,
1502
282
,
1503
945
,
1504
132
,
1505
695
,
1506
443
,
1507
837
,
1508
92
,
1509
545
,
1510
363
,
1511
253
,
1512
515
,
1513
341
,
1514
409
,
1515
817
,
1516
578
,
1517
868
,
1518
542
,
1519
805
,
1520
508
,
1521
987
,
1522
286
,
1523
451
,
1524
157
,
1525
58
,
1526
126
,
1527
707
,
1528
874
,
1529
501
,
1530
982
,
1531
986
,
1532
382
,
1533
41
,
1534
829
,
1535
616
,
1536
895
,
1537
505
,
1538
627
,
1539
795
,
1540
555
,
1541
774
,
1542
968
,
1543
377
,
1544
762
,
1545
317
,
1546
742
,
1547
635
,
1548
481
,
1549
850
,
1550
989
,
1551
438
,
1552
72
,
1553
210
,
1554
611
,
1555
451
,
1556
521
,
1557
454
,
1558
85
,
1559
277
,
1560
797
,
1561
147
,
1562
31
,
1563
74
,
1564
621
,
1565
119
,
1566
180
,
1567
571
,
1568
234
,
1569
358
,
1570
131
,
1571
70
,
1572
857
,
1573
330
,
1574
438
,
1575
379
,
1576
166
,
1577
33
,
1578
920
,
1579
139
,
1580
316
,
1581
776
,
1582
266
,
1583
284
,
1584
247
,
1585
949
,
1586
689
,
1587
857
,
1588
534
,
1589
355
,
1590
648
,
1591
302
,
1592
840
,
1593
847
,
1594
958
,
1595
2
,
1596
602
,
1597
455
,
1598
372
,
1599
229
,
1600
370
,
1601
417
,
1602
221
,
1603
792
,
1604
91
,
1605
217
,
1606
154
,
1607
508
,
1608
45
,
1609
317
,
1610
33
,
1611
819
,
1612
48
,
1613
243
,
1614
601
,
1615
291
,
1616
613
,
1617
242
,
1618
333
,
1619
505
,
1620
537
,
1621
301
,
1622
299
,
1623
466
,
1624
927
,
1625
92
,
1626
775
,
1627
212
,
1628
985
,
1629
173
,
1630
32
,
1631
595
,
1632
643
,
1633
416
,
1634
911
,
1635
959
,
1636
252
,
1637
832
,
1638
808
,
1639
907
,
1640
761
,
1641
548
,
1642
551
,
1643
664
,
1644
728
,
1645
190
,
1646
280
,
1647
384
,
1648
822
,
1649
715
,
1650
834
,
1651
191
,
1652
437
,
1653
241
,
1654
529
,
1655
268
,
1656
38
,
1657
151
,
1658
14
,
1659
269
,
1660
679
,
1661
357
,
1662
110
,
1663
200
,
1664
393
,
1665
837
,
1666
212
,
1667
46
,
1668
336
,
1669
193
,
1670
291
,
1671
985
,
1672
975
,
1673
524
,
1674
149
,
1675
599
,
1676
424
,
1677
141
,
1678
729
,
1679
703
,
1680
238
,
1681
589
,
1682
660
,
1683
263
,
1684
319
,
1685
946
,
1686
238
,
1687
368
,
1688
728
,
1689
660
,
1690
168
,
1691
66
,
1692
679
,
1693
500
,
1694
359
,
1695
281
,
1696
159
,
1697
189
,
1698
608
,
1699
793
,
1700
204
,
1701
706
,
1702
72
,
1703
77
,
1704
660
,
1705
751
,
1706
38
,
1707
154
,
1708
437
,
1709
76
,
1710
264
,
1711
859
,
1712
216
,
1713
156
,
1714
983
,
1715
886
,
1716
802
,
1717
924
,
1718
144
,
1719
995
,
1720
643
,
1721
614
,
1722
295
,
1723
229
,
1724
125
,
1725
29
,
1726
106
,
1727
625
,
1728
27
,
1729
203
,
1730
327
,
1731
995
,
1732
123
,
1733
975
,
1734
379
,
1735
576
,
1736
258
,
1737
186
,
1738
545
,
1739
719
,
1740
530
,
1741
832
,
1742
867
,
1743
144
,
1744
146
,
1745
619
,
1746
623
,
1747
110
,
1748
218
,
1749
779
,
1750
481
,
1751
281
,
1752
826
,
1753
771
,
1754
569
,
1755
907
,
1756
342
,
1757
317
,
1758
353
,
1759
5
,
1760
360
,
1761
421
,
1762
70
,
1763
130
,
1764
42
,
1765
514
,
1766
648
,
1767
409
,
1768
909
,
1769
401
,
1770
487
,
1771
72
,
1772
580
,
1773
4
,
1774
76
,
1775
515
,
1776
382
,
1777
64
,
1778
193
,
1779
212
,
1780
20
,
1781
604
,
1782
478
,
1783
901
,
1784
784
,
1785
277
,
1786
761
,
1787
681
,
1788
429
,
1789
470
,
1790
57
,
1791
648
,
1792
609
,
1793
997
,
1794
71
,
1795
745
,
1796
876
,
1797
41
,
1798
946
,
1799
522
,
1800
339
,
1801
247
,
1802
221
,
1803
962
,
1804
110
,
1805
844
,
1806
679
,
1807
416
,
1808
522
,
1809
429
,
1810
767
,
1811
5
,
1812
819
,
1813
450
,
1814
66
,
1815
644
,
1816
722
,
1817
937
,
1818
539
,
1819
977
,
1820
727
,
1821
846
,
1822
973
,
1823
391
,
1824
699
,
1825
656
,
1826
496
,
1827
444
,
1828
173
,
1829
415
,
1830
717
,
1831
463
,
1832
935
,
1833
954
,
1834
248
,
1835
450
,
1836
892
,
1837
733
,
1838
537
,
1839
434
,
1840
920
,
1841
671
,
1842
223
,
1843
891
,
1844
252
,
1845
313
,
1846
122
,
1847
393
,
1848
156
,
1849
131
,
1850
595
,
1851
81
,
1852
71
,
1853
936
,
1854
906
,
1855
590
,
1856
187
,
1857
810
,
1858
812
,
1859
639
,
1860
626
,
1861
233
,
1862
335
,
1863
341
,
1864
253
,
1865
956
,
1866
363
,
1867
995
,
1868
971
,
1869
810
,
1870
478
,
1871
206
,
1872
382
,
1873
874
,
1874
580
,
1875
308
,
1876
178
,
1877
734
,
1878
834
,
1879
576
,
1880
938
,
1881
126
,
1882
877
,
1883
939
,
1884
274
,
1885
793
,
1886
364
,
1887
64
,
1888
347
,
1889
470
,
1890
975
,
1891
22
,
1892
14
,
1893
297
,
1894
674
,
1895
400
,
1896
8
,
1897
274
,
1898
842
,
1899
128
,
1900
102
,
1901
183
,
1902
978
,
1903
687
,
1904
614
,
1905
545
,
1906
770
,
1907
18
,
1908
353
,
1909
892
,
1910
301
,
1911
327
,
1912
497
,
1913
271
,
1914
822
,
1915
509
,
1916
154
,
1917
588
,
1918
543
,
1919
561
,
1920
632
,
1921
90
,
1922
413
,
1923
29
,
1924
462
,
1925
925
,
1926
667
,
1927
203
,
1928
846
,
1929
271
,
1930
353
,
1931
647
,
1932
434
,
1933
888
,
1934
392
,
1935
82
,
1936
445
,
1937
865
,
1938
709
,
1939
515
,
1940
382
,
1941
799
,
1942
672
,
1943
975
,
1944
466
,
1945
482
,
1946
168
,
1947
10
,
1948
150
,
1949
317
,
1950
606
,
1951
550
,
1952
166
,
1953
672
,
1954
522
,
1955
968
,
1956
605
,
1957
945
,
1958
949
,
1959
506
,
1960
353
,
1961
905
,
1962
660
,
1963
906
,
1964
490
,
1965
74
,
1966
493
,
1967
82
,
1968
47
,
1969
526
,
1970
850
,
1971
257
,
1972
308
,
1973
227
,
1974
343
,
1975
95
,
1976
260
,
1977
539
,
1978
593
,
1979
197
,
1980
304
,
1981
384
,
1982
589
,
1983
179
,
1984
553
,
1985
389
,
1986
851
,
1987
731
,
1988
831
,
1989
711
,
1990
357
,
1991
554
,
1992
982
,
1993
2
,
1994
351
,
1995
879
,
1996
42
,
1997
400
,
1998
205
,
1999
228
,
2000
328
,
2001
820
,
2002
275
,
2003
850
,
2004
320
,
2005
253
,
2006
621
,
2007
873
,
2008
842
,
2009
846
,
2010
108
,
2011
180
,
2012
300
,
2013
514
,
2014
658
,
2015
211
,
2016
373
,
2017
301
,
2018
202
,
2019
930
,
2020
489
,
2021
581
,
2022
815
,
2023
175
,
2024
738
,
2025
551
,
2026
711
,
2027
609
,
2028
343
,
2029
606
,
2030
123
,
2031
411
,
2032
851
,
2033
207
,
2034
742
,
2035
296
,
2036
741
,
2037
184
,
2038
175
,
2039
497
,
2040
32
,
2041
550
,
2042
37
,
2043
970
,
2044
526
,
2045
430
,
2046
575
,
2047
242
,
2048
934
,
2049
283
,
2050
965
,
2051
561
,
2052
702
,
2053
750
,
2054
902
,
2055
964
,
2056
711
,
2057
92
,
2058
670
,
2059
243
,
2060
188
,
2061
481
,
2062
460
,
2063
556
,
2064
886
,
2065
890
,
2066
502
,
2067
473
,
2068
8
,
2069
288
,
2070
57
,
2071
356
,
2072
721
,
2073
112
,
2074
817
,
2075
282
,
2076
123
,
2077
680
,
2078
344
,
2079
21
,
2080
935
,
2081
60
,
2082
287
,
2083
444
,
2084
267
,
2085
30
,
2086
447
,
2087
310
,
2088
922
,
2089
284
,
2090
442
,
2091
651
,
2092
454
,
2093
924
,
2094
771
,
2095
611
,
2096
852
,
2097
986
,
2098
367
,
2099
399
,
2100
115
,
2101
370
,
2102
326
,
2103
765
,
2104
323
,
2105
640
,
2106
906
,
2107
242
,
2108
526
,
2109
876
,
2110
899
,
2111
624
,
2112
166
,
2113
796
,
2114
252
,
2115
431
,
2116
99
,
2117
626
,
2118
870
,
2119
928
,
2120
935
,
2121
229
,
2122
286
,
2123
20
,
2124
648
,
2125
539
,
2126
533
,
2127
379
,
2128
64
,
2129
179
,
2130
317
,
2131
896
,
2132
293
,
2133
144
,
2134
971
,
2135
401
,
2136
720
,
2137
986
,
2138
286
,
2139
277
,
2140
828
,
2141
671
,
2142
66
,
2143
566
,
2144
461
,
2145
847
,
2146
904
,
2147
318
,
2148
59
,
2149
621
,
2150
958
,
2151
590
,
2152
905
,
2153
849
,
2154
718
,
2155
338
,
2156
342
,
2157
730
,
2158
22
,
2159
944
,
2160
544
,
2161
25
,
2162
348
,
2163
39
,
2164
719
,
2165
705
,
2166
596
,
2167
908
,
2168
805
,
2169
594
,
2170
7
,
2171
47
,
2172
744
,
2173
148
,
2174
177
,
2175
476
,
2176
866
,
2177
849
,
2178
88
,
2179
246
,
2180
438
,
2181
523
,
2182
156
,
2183
886
,
2184
758
,
2185
605
,
2186
39
,
2187
209
,
2188
29
,
2189
678
,
2190
98
,
2191
879
,
2192
286
,
2193
447
,
2194
105
,
2195
832
,
2196
303
,
2197
190
,
2198
164
,
2199
969
,
2200
222
,
2201
995
,
2202
331
,
2203
492
,
2204
399
,
2205
824
,
2206
14
,
2207
405
,
2208
831
,
2209
597
,
2210
670
,
2211
857
,
2212
120
,
2213
873
,
2214
171
,
2215
890
,
2216
905
,
2217
637
,
2218
115
,
2219
605
,
2220
336
,
2221
114
,
2222
828
,
2223
284
,
2224
303
,
2225
883
,
2226
158
,
2227
494
,
2228
153
,
2229
549
,
2230
232
,
2231
556
,
2232
695
,
2233
58
,
2234
29
,
2235
504
,
2236
252
,
2237
77
,
2238
35
,
2239
646
,
2240
137
,
2241
448
,
2242
400
,
2243
468
,
2244
237
,
2245
258
,
2246
857
,
2247
150
,
2248
981
,
2249
756
,
2250
616
,
2251
138
,
2252
188
,
2253
386
,
2254
721
,
2255
370
,
2256
71
,
2257
911
,
2258
73
,
2259
967
,
2260
568
,
2261
504
,
2262
164
,
2263
770
,
2264
100
,
2265
179
,
2266
753
,
2267
551
,
2268
67
,
2269
657
,
2270
652
,
2271
243
,
2272
444
,
2273
398
,
2274
865
,
2275
772
,
2276
427
,
2277
338
,
2278
592
,
2279
63
,
2280
536
,
2281
519
,
2282
721
,
2283
83
,
2284
212
,
2285
451
,
2286
148
,
2287
117
,
2288
98
,
2289
888
,
2290
61
,
2291
734
,
2292
672
,
2293
502
,
2294
723
,
2295
783
,
2296
345
,
2297
338
,
2298
740
,
2299
909
,
2300
505
,
2301
839
,
2302
975
,
2303
654
,
2304
804
,
2305
611
,
2306
69
,
2307
11
,
2308
523
,
2309
629
,
2310
404
,
2311
856
,
2312
620
,
2313
442
,
2314
578
,
2315
574
,
2316
149
,
2317
135
,
2318
970
,
2319
938
,
2320
492
,
2321
713
,
2322
886
,
2323
639
,
2324
454
,
2325
376
,
2326
594
,
2327
374
,
2328
530
,
2329
634
,
2330
168
,
2331
566
,
2332
809
,
2333
268
,
2334
110
,
2335
766
,
2336
381
,
2337
754
,
2338
592
,
2339
582
,
2340
283
,
2341
0
,
2342
298
,
2343
246
,
2344
854
,
2345
1
,
2346
663
,
2347
430
,
2348
801
,
2349
700
,
2350
519
,
2351
357
,
2352
169
,
2353
8
,
2354
136
,
2355
246
,
2356
613
,
2357
300
,
2358
148
,
2359
884
,
2360
563
,
2361
392
,
2362
99
,
2363
846
,
2364
824
,
2365
322
,
2366
293
,
2367
341
,
2368
555
,
2369
193
,
2370
718
,
2371
570
,
2372
822
,
2373
222
,
2374
854
,
2375
12
,
2376
226
,
2377
16
,
2378
516
,
2379
920
,
2380
639
,
2381
838
,
2382
670
,
2383
529
,
2384
485
,
2385
959
,
2386
912
,
2387
543
,
2388
706
,
2389
877
,
2390
863
,
2391
852
,
2392
351
,
2393
912
,
2394
640
,
2395
705
,
2396
697
,
2397
687
,
2398
241
,
2399
287
,
2400
290
,
2401
930
,
2402
964
,
2403
1
2404
};
2405
const int
idx
[
2399
] = {
2406
220
,
2407
336
,
2408
347
,
2409
422
,
2410
44
,
2411
128
,
2412
145
,
2413
234
,
2414
259
,
2415
315
,
2416
64
,
2417
103
,
2418
378
,
2419
469
,
2420
477
,
2421
33
,
2422
108
,
2423
126
,
2424
173
,
2425
196
,
2426
328
,
2427
331
,
2428
52
,
2429
55
,
2430
109
,
2431
306
,
2432
337
,
2433
412
,
2434
443
,
2435
364
,
2436
456
,
2437
487
,
2438
496
,
2439
299
,
2440
23
,
2441
259
,
2442
67
,
2443
196
,
2444
409
,
2445
51
,
2446
77
,
2447
147
,
2448
301
,
2449
362
,
2450
26
,
2451
106
,
2452
239
,
2453
39
,
2454
81
,
2455
118
,
2456
187
,
2457
290
,
2458
339
,
2459
395
,
2460
443
,
2461
36
,
2462
45
,
2463
195
,
2464
210
,
2465
244
,
2466
273
,
2467
22
,
2468
92
,
2469
215
,
2470
306
,
2471
364
,
2472
66
,
2473
216
,
2474
5
,
2475
25
,
2476
145
,
2477
171
,
2478
330
,
2479
401
,
2480
412
,
2481
75
,
2482
148
,
2483
180
,
2484
204
,
2485
231
,
2486
432
,
2487
443
,
2488
100
,
2489
232
,
2490
400
,
2491
467
,
2492
114
,
2493
284
,
2494
300
,
2495
330
,
2496
370
,
2497
49
,
2498
135
,
2499
183
,
2500
191
,
2501
268
,
2502
423
,
2503
491
,
2504
104
,
2505
280
,
2506
393
,
2507
442
,
2508
443
,
2509
461
,
2510
136
,
2511
175
,
2512
205
,
2513
216
,
2514
466
,
2515
5
,
2516
85
,
2517
429
,
2518
491
,
2519
0
,
2520
36
,
2521
78
,
2522
95
,
2523
161
,
2524
169
,
2525
219
,
2526
231
,
2527
250
,
2528
336
,
2529
341
,
2530
360
,
2531
495
,
2532
59
,
2533
134
,
2534
213
,
2535
319
,
2536
409
,
2537
93
,
2538
104
,
2539
256
,
2540
223
,
2541
226
,
2542
8
,
2543
115
,
2544
185
,
2545
216
,
2546
320
,
2547
399
,
2548
461
,
2549
14
,
2550
60
,
2551
87
,
2552
93
,
2553
134
,
2554
170
,
2555
391
,
2556
399
,
2557
416
,
2558
455
,
2559
3
,
2560
86
,
2561
99
,
2562
304
,
2563
471
,
2564
488
,
2565
0
,
2566
102
,
2567
132
,
2568
179
,
2569
303
,
2570
312
,
2571
313
,
2572
320
,
2573
389
,
2574
279
,
2575
473
,
2576
180
,
2577
303
,
2578
310
,
2579
326
,
2580
7
,
2581
136
,
2582
239
,
2583
256
,
2584
276
,
2585
350
,
2586
21
,
2587
32
,
2588
79
,
2589
209
,
2590
270
,
2591
314
,
2592
463
,
2593
87
,
2594
134
,
2595
188
,
2596
212
,
2597
418
,
2598
13
,
2599
76
,
2600
124
,
2601
179
,
2602
409
,
2603
411
,
2604
19
,
2605
299
,
2606
207
,
2607
266
,
2608
329
,
2609
468
,
2610
29
,
2611
45
,
2612
265
,
2613
310
,
2614
384
,
2615
429
,
2616
480
,
2617
191
,
2618
347
,
2619
61
,
2620
66
,
2621
219
,
2622
228
,
2623
277
,
2624
289
,
2625
308
,
2626
402
,
2627
409
,
2628
133
,
2629
382
,
2630
488
,
2631
18
,
2632
310
,
2633
439
,
2634
206
,
2635
257
,
2636
290
,
2637
356
,
2638
443
,
2639
43
,
2640
140
,
2641
184
,
2642
187
,
2643
278
,
2644
286
,
2645
341
,
2646
354
,
2647
126
,
2648
201
,
2649
208
,
2650
239
,
2651
454
,
2652
485
,
2653
40
,
2654
87
,
2655
222
,
2656
367
,
2657
398
,
2658
457
,
2659
299
,
2660
423
,
2661
440
,
2662
44
,
2663
115
,
2664
126
,
2665
147
,
2666
291
,
2667
411
,
2668
64
,
2669
480
,
2670
1
,
2671
67
,
2672
80
,
2673
91
,
2674
163
,
2675
239
,
2676
42
,
2677
350
,
2678
361
,
2679
427
,
2680
67
,
2681
169
,
2682
270
,
2683
15
,
2684
44
,
2685
223
,
2686
378
,
2687
452
,
2688
471
,
2689
31
,
2690
67
,
2691
274
,
2692
292
,
2693
457
,
2694
58
,
2695
107
,
2696
183
,
2697
222
,
2698
347
,
2699
407
,
2700
27
,
2701
65
,
2702
84
,
2703
208
,
2704
273
,
2705
385
,
2706
441
,
2707
43
,
2708
97
,
2709
226
,
2710
305
,
2711
360
,
2712
492
,
2713
26
,
2714
88
,
2715
284
,
2716
369
,
2717
476
,
2718
21
,
2719
48
,
2720
478
,
2721
230
,
2722
312
,
2723
409
,
2724
475
,
2725
42
,
2726
53
,
2727
78
,
2728
259
,
2729
268
,
2730
489
,
2731
3
,
2732
37
,
2733
60
,
2734
141
,
2735
132
,
2736
150
,
2737
157
,
2738
328
,
2739
353
,
2740
357
,
2741
422
,
2742
466
,
2743
480
,
2744
154
,
2745
455
,
2746
295
,
2747
411
,
2748
249
,
2749
320
,
2750
359
,
2751
381
,
2752
401
,
2753
451
,
2754
210
,
2755
231
,
2756
253
,
2757
323
,
2758
330
,
2759
5
,
2760
55
,
2761
79
,
2762
105
,
2763
298
,
2764
496
,
2765
160
,
2766
229
,
2767
425
,
2768
30
,
2769
63
,
2770
115
,
2771
129
,
2772
280
,
2773
458
,
2774
31
,
2775
68
,
2776
254
,
2777
360
,
2778
420
,
2779
490
,
2780
2
,
2781
172
,
2782
180
,
2783
209
,
2784
223
,
2785
228
,
2786
265
,
2787
357
,
2788
369
,
2789
380
,
2790
443
,
2791
453
,
2792
483
,
2793
36
,
2794
110
,
2795
129
,
2796
135
,
2797
246
,
2798
305
,
2799
36
,
2800
211
,
2801
239
,
2802
254
,
2803
392
,
2804
403
,
2805
494
,
2806
255
,
2807
332
,
2808
485
,
2809
110
,
2810
360
,
2811
498
,
2812
0
,
2813
11
,
2814
37
,
2815
106
,
2816
182
,
2817
308
,
2818
14
,
2819
41
,
2820
75
,
2821
218
,
2822
256
,
2823
259
,
2824
294
,
2825
462
,
2826
218
,
2827
231
,
2828
248
,
2829
392
,
2830
427
,
2831
21
,
2832
234
,
2833
406
,
2834
29
,
2835
171
,
2836
248
,
2837
255
,
2838
352
,
2839
34
,
2840
57
,
2841
122
,
2842
173
,
2843
254
,
2844
308
,
2845
380
,
2846
393
,
2847
278
,
2848
28
,
2849
62
,
2850
129
,
2851
296
,
2852
455
,
2853
474
,
2854
15
,
2855
47
,
2856
128
,
2857
133
,
2858
300
,
2859
390
,
2860
459
,
2861
468
,
2862
35
,
2863
48
,
2864
70
,
2865
287
,
2866
299
,
2867
318
,
2868
22
,
2869
108
,
2870
171
,
2871
195
,
2872
460
,
2873
496
,
2874
188
,
2875
21
,
2876
31
,
2877
86
,
2878
338
,
2879
420
,
2880
422
,
2881
486
,
2882
495
,
2883
245
,
2884
445
,
2885
22
,
2886
85
,
2887
92
,
2888
337
,
2889
381
,
2890
387
,
2891
7
,
2892
9
,
2893
231
,
2894
425
,
2895
430
,
2896
56
,
2897
196
,
2898
344
,
2899
354
,
2900
377
,
2901
91
,
2902
107
,
2903
177
,
2904
221
,
2905
295
,
2906
321
,
2907
5
,
2908
35
,
2909
48
,
2910
90
,
2911
290
,
2912
432
,
2913
447
,
2914
51
,
2915
322
,
2916
324
,
2917
364
,
2918
482
,
2919
59
,
2920
303
,
2921
334
,
2922
444
,
2923
450
,
2924
55
,
2925
125
,
2926
319
,
2927
380
,
2928
394
,
2929
431
,
2930
82
,
2931
112
,
2932
157
,
2933
187
,
2934
261
,
2935
326
,
2936
347
,
2937
366
,
2938
18
,
2939
124
,
2940
490
,
2941
8
,
2942
218
,
2943
291
,
2944
35
,
2945
132
,
2946
322
,
2947
425
,
2948
147
,
2949
150
,
2950
242
,
2951
472
,
2952
186
,
2953
195
,
2954
201
,
2955
216
,
2956
251
,
2957
458
,
2958
33
,
2959
46
,
2960
153
,
2961
297
,
2962
298
,
2963
311
,
2964
322
,
2965
399
,
2966
426
,
2967
65
,
2968
230
,
2969
9
,
2970
32
,
2971
69
,
2972
391
,
2973
70
,
2974
126
,
2975
147
,
2976
222
,
2977
86
,
2978
261
,
2979
412
,
2980
183
,
2981
474
,
2982
110
,
2983
125
,
2984
172
,
2985
185
,
2986
402
,
2987
363
,
2988
403
,
2989
462
,
2990
40
,
2991
274
,
2992
386
,
2993
449
,
2994
333
,
2995
340
,
2996
421
,
2997
424
,
2998
410
,
2999
30
,
3000
86
,
3001
262
,
3002
374
,
3003
23
,
3004
72
,
3005
9
,
3006
47
,
3007
86
,
3008
93
,
3009
286
,
3010
304
,
3011
402
,
3012
420
,
3013
118
,
3014
265
,
3015
276
,
3016
283
,
3017
455
,
3018
20
,
3019
36
,
3020
391
,
3021
115
,
3022
137
,
3023
305
,
3024
334
,
3025
10
,
3026
188
,
3027
237
,
3028
271
,
3029
393
,
3030
422
,
3031
497
,
3032
21
,
3033
30
,
3034
99
,
3035
109
,
3036
175
,
3037
198
,
3038
467
,
3039
3
,
3040
19
,
3041
63
,
3042
82
,
3043
115
,
3044
149
,
3045
265
,
3046
24
,
3047
151
,
3048
217
,
3049
252
,
3050
307
,
3051
421
,
3052
146
,
3053
333
,
3054
381
,
3055
434
,
3056
32
,
3057
311
,
3058
361
,
3059
93
,
3060
142
,
3061
152
,
3062
395
,
3063
422
,
3064
467
,
3065
91
,
3066
181
,
3067
244
,
3068
294
,
3069
332
,
3070
390
,
3071
97
,
3072
177
,
3073
296
,
3074
323
,
3075
428
,
3076
27
,
3077
215
,
3078
318
,
3079
66
,
3080
193
,
3081
216
,
3082
333
,
3083
416
,
3084
127
,
3085
171
,
3086
209
,
3087
219
,
3088
333
,
3089
377
,
3090
401
,
3091
9
,
3092
103
,
3093
129
,
3094
135
,
3095
290
,
3096
438
,
3097
33
,
3098
107
,
3099
221
,
3100
351
,
3101
392
,
3102
406
,
3103
91
,
3104
170
,
3105
182
,
3106
313
,
3107
419
,
3108
465
,
3109
28
,
3110
74
,
3111
175
,
3112
231
,
3113
270
,
3114
30
,
3115
34
,
3116
240
,
3117
253
,
3118
63
,
3119
133
,
3120
337
,
3121
369
,
3122
416
,
3123
255
,
3124
445
,
3125
145
,
3126
350
,
3127
416
,
3128
183
,
3129
257
,
3130
414
,
3131
136
,
3132
164
,
3133
255
,
3134
300
,
3135
434
,
3136
438
,
3137
447
,
3138
60
,
3139
157
,
3140
396
,
3141
412
,
3142
25
,
3143
343
,
3144
42
,
3145
105
,
3146
361
,
3147
472
,
3148
34
,
3149
74
,
3150
136
,
3151
436
,
3152
474
,
3153
94
,
3154
177
,
3155
205
,
3156
225
,
3157
227
,
3158
319
,
3159
23
,
3160
245
,
3161
383
,
3162
426
,
3163
31
,
3164
190
,
3165
215
,
3166
228
,
3167
324
,
3168
416
,
3169
7
,
3170
12
,
3171
260
,
3172
470
,
3173
13
,
3174
290
,
3175
9
,
3176
44
,
3177
117
,
3178
166
,
3179
186
,
3180
260
,
3181
361
,
3182
372
,
3183
224
,
3184
241
,
3185
369
,
3186
1
,
3187
87
,
3188
297
,
3189
457
,
3190
29
,
3191
98
,
3192
118
,
3193
158
,
3194
226
,
3195
286
,
3196
74
,
3197
167
,
3198
241
,
3199
328
,
3200
370
,
3201
412
,
3202
454
,
3203
1
,
3204
37
,
3205
183
,
3206
228
,
3207
311
,
3208
336
,
3209
345
,
3210
413
,
3211
430
,
3212
446
,
3213
211
,
3214
327
,
3215
375
,
3216
84
,
3217
195
,
3218
219
,
3219
430
,
3220
447
,
3221
195
,
3222
384
,
3223
50
,
3224
93
,
3225
224
,
3226
349
,
3227
479
,
3228
6
,
3229
56
,
3230
105
,
3231
118
,
3232
170
,
3233
286
,
3234
468
,
3235
466
,
3236
153
,
3237
224
,
3238
240
,
3239
400
,
3240
444
,
3241
63
,
3242
158
,
3243
196
,
3244
237
,
3245
284
,
3246
296
,
3247
405
,
3248
407
,
3249
480
,
3250
26
,
3251
56
,
3252
233
,
3253
428
,
3254
370
,
3255
398
,
3256
491
,
3257
159
,
3258
184
,
3259
488
,
3260
131
,
3261
134
,
3262
138
,
3263
276
,
3264
344
,
3265
372
,
3266
428
,
3267
494
,
3268
269
,
3269
486
,
3270
136
,
3271
139
,
3272
163
,
3273
201
,
3274
253
,
3275
272
,
3276
374
,
3277
398
,
3278
487
,
3279
307
,
3280
375
,
3281
487
,
3282
168
,
3283
284
,
3284
346
,
3285
420
,
3286
451
,
3287
134
,
3288
175
,
3289
284
,
3290
88
,
3291
105
,
3292
286
,
3293
448
,
3294
96
,
3295
117
,
3296
177
,
3297
240
,
3298
285
,
3299
325
,
3300
455
,
3301
51
,
3302
228
,
3303
298
,
3304
421
,
3305
150
,
3306
433
,
3307
182
,
3308
362
,
3309
410
,
3310
58
,
3311
262
,
3312
352
,
3313
439
,
3314
43
,
3315
70
,
3316
134
,
3317
278
,
3318
152
,
3319
210
,
3320
283
,
3321
310
,
3322
333
,
3323
334
,
3324
469
,
3325
20
,
3326
42
,
3327
69
,
3328
222
,
3329
283
,
3330
320
,
3331
330
,
3332
376
,
3333
218
,
3334
285
,
3335
413
,
3336
434
,
3337
5
,
3338
175
,
3339
180
,
3340
265
,
3341
440
,
3342
474
,
3343
241
,
3344
255
,
3345
377
,
3346
479
,
3347
307
,
3348
317
,
3349
457
,
3350
0
,
3351
232
,
3352
342
,
3353
496
,
3354
25
,
3355
292
,
3356
105
,
3357
169
,
3358
208
,
3359
300
,
3360
439
,
3361
21
,
3362
65
,
3363
120
,
3364
249
,
3365
273
,
3366
191
,
3367
302
,
3368
376
,
3369
56
,
3370
92
,
3371
240
,
3372
371
,
3373
391
,
3374
446
,
3375
489
,
3376
84
,
3377
241
,
3378
322
,
3379
473
,
3380
475
,
3381
16
,
3382
92
,
3383
214
,
3384
239
,
3385
50
,
3386
158
,
3387
175
,
3388
452
,
3389
51
,
3390
360
,
3391
25
,
3392
39
,
3393
90
,
3394
99
,
3395
133
,
3396
408
,
3397
491
,
3398
430
,
3399
12
,
3400
64
,
3401
76
,
3402
189
,
3403
481
,
3404
128
,
3405
306
,
3406
442
,
3407
77
,
3408
276
,
3409
337
,
3410
356
,
3411
380
,
3412
389
,
3413
445
,
3414
61
,
3415
158
,
3416
194
,
3417
445
,
3418
303
,
3419
398
,
3420
143
,
3421
163
,
3422
199
,
3423
343
,
3424
236
,
3425
246
,
3426
340
,
3427
382
,
3428
446
,
3429
38
,
3430
154
,
3431
196
,
3432
202
,
3433
266
,
3434
367
,
3435
369
,
3436
117
,
3437
136
,
3438
250
,
3439
272
,
3440
413
,
3441
481
,
3442
0
,
3443
199
,
3444
205
,
3445
412
,
3446
39
,
3447
177
,
3448
198
,
3449
369
,
3450
448
,
3451
91
,
3452
153
,
3453
167
,
3454
187
,
3455
203
,
3456
265
,
3457
328
,
3458
218
,
3459
222
,
3460
261
,
3461
413
,
3462
419
,
3463
447
,
3464
128
,
3465
228
,
3466
498
,
3467
0
,
3468
148
,
3469
198
,
3470
486
,
3471
497
,
3472
50
,
3473
398
,
3474
457
,
3475
283
,
3476
460
,
3477
43
,
3478
116
,
3479
246
,
3480
248
,
3481
305
,
3482
447
,
3483
106
,
3484
131
,
3485
317
,
3486
126
,
3487
199
,
3488
235
,
3489
293
,
3490
34
,
3491
108
,
3492
226
,
3493
3
,
3494
108
,
3495
129
,
3496
155
,
3497
174
,
3498
162
,
3499
239
,
3500
490
,
3501
124
,
3502
214
,
3503
346
,
3504
469
,
3505
497
,
3506
274
,
3507
316
,
3508
122
,
3509
144
,
3510
149
,
3511
290
,
3512
337
,
3513
362
,
3514
371
,
3515
466
,
3516
67
,
3517
248
,
3518
276
,
3519
332
,
3520
360
,
3521
387
,
3522
405
,
3523
31
,
3524
56
,
3525
65
,
3526
90
,
3527
200
,
3528
64
,
3529
176
,
3530
203
,
3531
215
,
3532
236
,
3533
240
,
3534
337
,
3535
383
,
3536
198
,
3537
411
,
3538
431
,
3539
36
,
3540
90
,
3541
350
,
3542
356
,
3543
497
,
3544
33
,
3545
120
,
3546
130
,
3547
183
,
3548
409
,
3549
493
,
3550
8
,
3551
35
,
3552
254
,
3553
277
,
3554
321
,
3555
341
,
3556
388
,
3557
423
,
3558
497
,
3559
143
,
3560
163
,
3561
391
,
3562
446
,
3563
492
,
3564
9
,
3565
270
,
3566
42
,
3567
52
,
3568
116
,
3569
396
,
3570
456
,
3571
478
,
3572
491
,
3573
143
,
3574
148
,
3575
286
,
3576
328
,
3577
384
,
3578
35
,
3579
127
,
3580
351
,
3581
452
,
3582
7
,
3583
46
,
3584
259
,
3585
35
,
3586
290
,
3587
370
,
3588
420
,
3589
104
,
3590
258
,
3591
278
,
3592
340
,
3593
481
,
3594
169
,
3595
264
,
3596
368
,
3597
232
,
3598
471
,
3599
1
,
3600
135
,
3601
211
,
3602
152
,
3603
174
,
3604
177
,
3605
187
,
3606
292
,
3607
411
,
3608
430
,
3609
461
,
3610
4
,
3611
92
,
3612
205
,
3613
237
,
3614
247
,
3615
333
,
3616
53
,
3617
91
,
3618
289
,
3619
334
,
3620
425
,
3621
491
,
3622
118
,
3623
175
,
3624
490
,
3625
36
,
3626
361
,
3627
33
,
3628
186
,
3629
213
,
3630
471
,
3631
3
,
3632
73
,
3633
163
,
3634
409
,
3635
235
,
3636
384
,
3637
410
,
3638
470
,
3639
480
,
3640
59
,
3641
469
,
3642
97
,
3643
344
,
3644
372
,
3645
33
,
3646
107
,
3647
179
,
3648
397
,
3649
470
,
3650
291
,
3651
340
,
3652
361
,
3653
385
,
3654
25
,
3655
111
,
3656
158
,
3657
331
,
3658
471
,
3659
28
,
3660
87
,
3661
307
,
3662
69
,
3663
105
,
3664
159
,
3665
284
,
3666
311
,
3667
312
,
3668
359
,
3669
465
,
3670
17
,
3671
133
,
3672
302
,
3673
324
,
3674
274
,
3675
325
,
3676
421
,
3677
252
,
3678
4
,
3679
96
,
3680
409
,
3681
206
,
3682
246
,
3683
288
,
3684
58
,
3685
81
,
3686
150
,
3687
226
,
3688
232
,
3689
380
,
3690
168
,
3691
229
,
3692
367
,
3693
210
,
3694
248
,
3695
405
,
3696
420
,
3697
163
,
3698
212
,
3699
320
,
3700
340
,
3701
448
,
3702
68
,
3703
222
,
3704
439
,
3705
494
,
3706
70
,
3707
94
,
3708
116
,
3709
471
,
3710
284
,
3711
380
,
3712
13
,
3713
26
,
3714
120
,
3715
276
,
3716
394
,
3717
432
,
3718
492
,
3719
281
,
3720
297
,
3721
300
,
3722
355
,
3723
29
,
3724
32
,
3725
156
,
3726
182
,
3727
467
,
3728
203
,
3729
234
,
3730
420
,
3731
429
,
3732
210
,
3733
224
,
3734
248
,
3735
273
,
3736
326
,
3737
349
,
3738
37
,
3739
202
,
3740
377
,
3741
380
,
3742
43
,
3743
55
,
3744
139
,
3745
141
,
3746
170
,
3747
232
,
3748
292
,
3749
322
,
3750
77
,
3751
214
,
3752
241
,
3753
279
,
3754
326
,
3755
18
,
3756
46
,
3757
55
,
3758
107
,
3759
227
,
3760
238
,
3761
250
,
3762
146
,
3763
168
,
3764
402
,
3765
444
,
3766
459
,
3767
487
,
3768
495
,
3769
6
,
3770
121
,
3771
256
,
3772
303
,
3773
457
,
3774
461
,
3775
69
,
3776
122
,
3777
193
,
3778
204
,
3779
240
,
3780
347
,
3781
412
,
3782
418
,
3783
476
,
3784
169
,
3785
187
,
3786
400
,
3787
97
,
3788
290
,
3789
364
,
3790
394
,
3791
153
,
3792
184
,
3793
187
,
3794
9
,
3795
13
,
3796
65
,
3797
89
,
3798
120
,
3799
221
,
3800
484
,
3801
6
,
3802
120
,
3803
180
,
3804
419
,
3805
15
,
3806
86
,
3807
104
,
3808
193
,
3809
276
,
3810
324
,
3811
437
,
3812
443
,
3813
62
,
3814
97
,
3815
193
,
3816
288
,
3817
315
,
3818
318
,
3819
414
,
3820
24
,
3821
170
,
3822
189
,
3823
196
,
3824
216
,
3825
228
,
3826
270
,
3827
420
,
3828
214
,
3829
407
,
3830
466
,
3831
2
,
3832
77
,
3833
127
,
3834
188
,
3835
230
,
3836
310
,
3837
464
,
3838
469
,
3839
80
,
3840
204
,
3841
138
,
3842
171
,
3843
252
,
3844
424
,
3845
0
,
3846
95
,
3847
363
,
3848
395
,
3849
408
,
3850
430
,
3851
96
,
3852
143
,
3853
289
,
3854
97
,
3855
183
,
3856
341
,
3857
399
,
3858
460
,
3859
84
,
3860
243
,
3861
498
,
3862
28
,
3863
65
,
3864
77
,
3865
84
,
3866
139
,
3867
147
,
3868
171
,
3869
214
,
3870
256
,
3871
348
,
3872
408
,
3873
444
,
3874
449
,
3875
457
,
3876
120
,
3877
342
,
3878
38
,
3879
217
,
3880
465
,
3881
8
,
3882
212
,
3883
268
,
3884
346
,
3885
486
,
3886
491
,
3887
49
,
3888
77
,
3889
90
,
3890
222
,
3891
291
,
3892
383
,
3893
130
,
3894
405
,
3895
431
,
3896
473
,
3897
78
,
3898
290
,
3899
351
,
3900
189
,
3901
304
,
3902
498
,
3903
336
,
3904
10
,
3905
219
,
3906
257
,
3907
402
,
3908
437
,
3909
65
,
3910
69
,
3911
168
,
3912
198
,
3913
65
,
3914
241
,
3915
242
,
3916
290
,
3917
360
,
3918
402
,
3919
254
,
3920
256
,
3921
398
,
3922
407
,
3923
66
,
3924
97
,
3925
164
,
3926
222
,
3927
316
,
3928
390
,
3929
429
,
3930
24
,
3931
81
,
3932
133
,
3933
207
,
3934
313
,
3935
67
,
3936
108
,
3937
204
,
3938
303
,
3939
494
,
3940
43
,
3941
194
,
3942
198
,
3943
285
,
3944
294
,
3945
347
,
3946
356
,
3947
394
,
3948
83
,
3949
92
,
3950
147
,
3951
167
,
3952
386
,
3953
20
,
3954
225
,
3955
400
,
3956
172
,
3957
363
,
3958
99
,
3959
64
,
3960
373
,
3961
377
,
3962
6
,
3963
63
,
3964
206
,
3965
107
,
3966
149
,
3967
230
,
3968
428
,
3969
41
,
3970
56
,
3971
77
,
3972
78
,
3973
311
,
3974
413
,
3975
476
,
3976
477
,
3977
81
,
3978
130
,
3979
145
,
3980
167
,
3981
247
,
3982
416
,
3983
56
,
3984
289
,
3985
339
,
3986
27
,
3987
47
,
3988
132
,
3989
309
,
3990
392
,
3991
36
,
3992
55
,
3993
73
,
3994
352
,
3995
358
,
3996
25
,
3997
58
,
3998
352
,
3999
430
,
4000
58
,
4001
171
,
4002
221
,
4003
334
,
4004
379
,
4005
453
,
4006
288
,
4007
479
,
4008
109
,
4009
134
,
4010
143
,
4011
174
,
4012
285
,
4013
313
,
4014
468
,
4015
495
,
4016
258
,
4017
289
,
4018
334
,
4019
382
,
4020
483
,
4021
46
,
4022
136
,
4023
264
,
4024
417
,
4025
458
,
4026
36
,
4027
59
,
4028
88
,
4029
173
,
4030
310
,
4031
316
,
4032
354
,
4033
471
,
4034
46
,
4035
225
,
4036
262
,
4037
335
,
4038
364
,
4039
468
,
4040
121
,
4041
341
,
4042
349
,
4043
7
,
4044
14
,
4045
21
,
4046
99
,
4047
135
,
4048
142
,
4049
207
,
4050
209
,
4051
272
,
4052
294
,
4053
456
,
4054
491
,
4055
208
,
4056
248
,
4057
321
,
4058
43
,
4059
129
,
4060
188
,
4061
362
,
4062
191
,
4063
279
,
4064
294
,
4065
307
,
4066
324
,
4067
362
,
4068
140
,
4069
422
,
4070
56
,
4071
169
,
4072
188
,
4073
232
,
4074
328
,
4075
449
,
4076
14
,
4077
134
,
4078
369
,
4079
375
,
4080
48
,
4081
164
,
4082
224
,
4083
260
,
4084
20
,
4085
93
,
4086
157
,
4087
219
,
4088
262
,
4089
274
,
4090
362
,
4091
473
,
4092
484
,
4093
103
,
4094
125
,
4095
140
,
4096
174
,
4097
175
,
4098
191
,
4099
226
,
4100
358
,
4101
408
,
4102
450
,
4103
20
,
4104
94
,
4105
289
,
4106
310
,
4107
311
,
4108
448
,
4109
478
,
4110
36
,
4111
175
,
4112
185
,
4113
337
,
4114
391
,
4115
48
,
4116
72
,
4117
184
,
4118
233
,
4119
345
,
4120
485
,
4121
231
,
4122
242
,
4123
339
,
4124
451
,
4125
456
,
4126
152
,
4127
158
,
4128
398
,
4129
458
,
4130
488
,
4131
151
,
4132
240
,
4133
357
,
4134
1
,
4135
33
,
4136
139
,
4137
141
,
4138
177
,
4139
223
,
4140
289
,
4141
479
,
4142
90
,
4143
115
,
4144
461
,
4145
480
,
4146
24
,
4147
26
,
4148
44
,
4149
72
,
4150
213
,
4151
361
,
4152
445
,
4153
34
,
4154
119
,
4155
470
,
4156
19
,
4157
56
,
4158
405
,
4159
464
,
4160
47
,
4161
112
,
4162
163
,
4163
235
,
4164
342
,
4165
462
,
4166
103
,
4167
192
,
4168
225
,
4169
23
,
4170
458
,
4171
68
,
4172
270
,
4173
363
,
4174
422
,
4175
427
,
4176
449
,
4177
450
,
4178
477
,
4179
105
,
4180
131
,
4181
139
,
4182
198
,
4183
212
,
4184
413
,
4185
429
,
4186
435
,
4187
43
,
4188
278
,
4189
19
,
4190
113
,
4191
192
,
4192
327
,
4193
347
,
4194
44
,
4195
67
,
4196
160
,
4197
225
,
4198
263
,
4199
330
,
4200
344
,
4201
158
,
4202
274
,
4203
303
,
4204
317
,
4205
350
,
4206
379
,
4207
409
,
4208
33
,
4209
53
,
4210
217
,
4211
273
,
4212
304
,
4213
352
,
4214
461
,
4215
495
,
4216
101
,
4217
168
,
4218
370
,
4219
395
,
4220
458
,
4221
156
,
4222
301
,
4223
319
,
4224
324
,
4225
347
,
4226
73
,
4227
127
,
4228
253
,
4229
272
,
4230
128
,
4231
212
,
4232
237
,
4233
257
,
4234
351
,
4235
77
,
4236
106
,
4237
216
,
4238
270
,
4239
368
,
4240
371
,
4241
400
,
4242
223
,
4243
355
,
4244
384
,
4245
30
,
4246
268
,
4247
307
,
4248
368
,
4249
79
,
4250
300
,
4251
317
,
4252
327
,
4253
15
,
4254
376
,
4255
31
,
4256
80
,
4257
160
,
4258
206
,
4259
227
,
4260
103
,
4261
231
,
4262
435
,
4263
481
,
4264
499
,
4265
182
,
4266
186
,
4267
189
,
4268
442
,
4269
7
,
4270
59
,
4271
65
,
4272
117
,
4273
225
,
4274
298
,
4275
304
,
4276
364
,
4277
457
,
4278
489
,
4279
186
,
4280
198
,
4281
265
,
4282
309
,
4283
336
,
4284
391
,
4285
457
,
4286
314
,
4287
418
,
4288
81
,
4289
133
,
4290
186
,
4291
190
,
4292
227
,
4293
258
,
4294
277
,
4295
419
,
4296
492
,
4297
82
,
4298
222
,
4299
239
,
4300
315
,
4301
71
,
4302
92
,
4303
122
,
4304
220
,
4305
252
,
4306
272
,
4307
311
,
4308
391
,
4309
433
,
4310
97
,
4311
137
,
4312
244
,
4313
267
,
4314
426
,
4315
34
,
4316
202
,
4317
234
,
4318
426
,
4319
428
,
4320
51
,
4321
109
,
4322
267
,
4323
377
,
4324
382
,
4325
107
,
4326
166
,
4327
203
,
4328
337
,
4329
0
,
4330
127
,
4331
247
,
4332
404
,
4333
64
,
4334
94
,
4335
373
,
4336
430
,
4337
448
,
4338
17
,
4339
37
,
4340
57
,
4341
102
,
4342
352
,
4343
354
,
4344
114
,
4345
174
,
4346
193
,
4347
241
,
4348
284
,
4349
74
,
4350
94
,
4351
213
,
4352
238
,
4353
475
,
4354
476
,
4355
140
,
4356
247
,
4357
280
,
4358
302
,
4359
328
,
4360
49
,
4361
197
,
4362
201
,
4363
222
,
4364
280
,
4365
457
,
4366
167
,
4367
445
,
4368
465
,
4369
478
,
4370
499
,
4371
25
,
4372
215
,
4373
438
,
4374
8
,
4375
129
,
4376
153
,
4377
171
,
4378
316
,
4379
328
,
4380
158
,
4381
215
,
4382
303
,
4383
328
,
4384
353
,
4385
479
,
4386
62
,
4387
251
,
4388
271
,
4389
4
,
4390
119
,
4391
262
,
4392
303
,
4393
311
,
4394
405
,
4395
419
,
4396
277
,
4397
461
,
4398
236
,
4399
248
,
4400
445
,
4401
15
,
4402
108
,
4403
227
,
4404
309
,
4405
362
,
4406
378
,
4407
424
,
4408
78
,
4409
94
,
4410
109
,
4411
118
,
4412
124
,
4413
247
,
4414
253
,
4415
315
,
4416
478
,
4417
13
,
4418
154
,
4419
170
,
4420
331
,
4421
365
,
4422
386
,
4423
264
,
4424
268
,
4425
300
,
4426
305
,
4427
429
,
4428
463
,
4429
499
,
4430
52
,
4431
105
,
4432
135
,
4433
181
,
4434
111
,
4435
156
,
4436
183
,
4437
231
,
4438
350
,
4439
388
,
4440
461
,
4441
291
,
4442
360
,
4443
80
,
4444
106
,
4445
138
,
4446
197
,
4447
242
,
4448
255
,
4449
260
,
4450
381
,
4451
415
,
4452
447
,
4453
499
,
4454
41
,
4455
266
,
4456
341
,
4457
391
,
4458
410
,
4459
448
,
4460
495
,
4461
58
,
4462
146
,
4463
286
,
4464
351
,
4465
419
,
4466
436
,
4467
464
,
4468
483
,
4469
251
,
4470
252
,
4471
444
,
4472
492
,
4473
184
,
4474
200
,
4475
57
,
4476
75
,
4477
170
,
4478
186
,
4479
187
,
4480
275
,
4481
314
,
4482
364
,
4483
407
,
4484
162
,
4485
173
,
4486
232
,
4487
211
,
4488
355
,
4489
445
,
4490
448
,
4491
308
,
4492
98
,
4493
280
,
4494
397
,
4495
431
,
4496
112
,
4497
122
,
4498
157
,
4499
209
,
4500
338
,
4501
388
,
4502
429
,
4503
112
,
4504
213
,
4505
349
,
4506
470
,
4507
69
,
4508
70
,
4509
119
,
4510
222
,
4511
251
,
4512
453
,
4513
81
,
4514
173
,
4515
482
,
4516
105
,
4517
147
,
4518
10
,
4519
229
,
4520
462
,
4521
467
,
4522
98
,
4523
421
,
4524
479
,
4525
203
,
4526
498
,
4527
499
,
4528
93
,
4529
130
,
4530
142
,
4531
270
,
4532
278
,
4533
336
,
4534
419
,
4535
73
,
4536
134
,
4537
142
,
4538
177
,
4539
192
,
4540
335
,
4541
490
,
4542
45
,
4543
140
,
4544
143
,
4545
195
,
4546
274
,
4547
284
,
4548
324
,
4549
56
,
4550
94
,
4551
171
,
4552
28
,
4553
135
,
4554
258
,
4555
277
,
4556
284
,
4557
333
,
4558
370
,
4559
421
,
4560
432
,
4561
465
,
4562
31
,
4563
46
,
4564
222
,
4565
331
,
4566
387
,
4567
432
,
4568
18
,
4569
56
,
4570
82
,
4571
95
,
4572
258
,
4573
261
,
4574
356
,
4575
378
,
4576
484
,
4577
60
,
4578
285
,
4579
298
,
4580
347
,
4581
0
,
4582
200
,
4583
307
,
4584
372
,
4585
2
,
4586
89
,
4587
201
,
4588
291
,
4589
298
,
4590
382
,
4591
455
,
4592
121
,
4593
145
,
4594
155
,
4595
47
,
4596
226
,
4597
236
,
4598
396
,
4599
398
,
4600
137
,
4601
311
,
4602
381
,
4603
429
,
4604
45
,
4605
109
,
4606
141
,
4607
173
,
4608
207
,
4609
464
,
4610
471
,
4611
499
,
4612
37
,
4613
45
,
4614
268
,
4615
447
,
4616
496
,
4617
41
,
4618
163
,
4619
387
,
4620
484
,
4621
30
,
4622
48
,
4623
91
,
4624
146
,
4625
261
,
4626
313
,
4627
401
,
4628
11
,
4629
78
,
4630
122
,
4631
144
,
4632
450
,
4633
499
,
4634
75
,
4635
82
,
4636
131
,
4637
218
,
4638
257
,
4639
285
,
4640
294
,
4641
362
,
4642
442
,
4643
213
,
4644
255
,
4645
291
,
4646
492
,
4647
63
,
4648
80
,
4649
282
,
4650
418
,
4651
1
,
4652
60
,
4653
87
,
4654
102
,
4655
111
,
4656
180
,
4657
272
,
4658
281
,
4659
324
,
4660
380
,
4661
458
,
4662
185
,
4663
216
,
4664
475
,
4665
12
,
4666
62
,
4667
109
,
4668
143
,
4669
195
,
4670
257
,
4671
271
,
4672
324
,
4673
385
,
4674
410
,
4675
226
,
4676
330
,
4677
404
,
4678
54
,
4679
158
,
4680
374
,
4681
221
,
4682
320
,
4683
340
,
4684
86
,
4685
93
,
4686
236
,
4687
94
,
4688
159
,
4689
238
,
4690
242
,
4691
318
,
4692
356
,
4693
40
,
4694
75
,
4695
168
,
4696
211
,
4697
294
,
4698
32
,
4699
164
,
4700
174
,
4701
198
,
4702
421
,
4703
13
,
4704
102
,
4705
314
,
4706
379
,
4707
418
,
4708
439
,
4709
485
,
4710
6
,
4711
53
,
4712
104
,
4713
123
,
4714
208
,
4715
436
,
4716
452
,
4717
59
,
4718
141
,
4719
204
,
4720
402
,
4721
498
,
4722
134
,
4723
335
,
4724
429
,
4725
240
,
4726
391
,
4727
461
,
4728
14
,
4729
16
,
4730
46
,
4731
371
,
4732
376
,
4733
37
,
4734
172
,
4735
227
,
4736
343
,
4737
397
,
4738
435
,
4739
39
,
4740
136
,
4741
202
,
4742
262
,
4743
339
,
4744
445
,
4745
474
,
4746
145
,
4747
272
,
4748
342
,
4749
121
,
4750
127
,
4751
12
,
4752
125
,
4753
155
,
4754
186
,
4755
234
,
4756
64
,
4757
96
,
4758
97
,
4759
108
,
4760
213
,
4761
350
,
4762
410
,
4763
485
,
4764
35
,
4765
56
,
4766
57
,
4767
167
,
4768
169
,
4769
399
,
4770
478
,
4771
60
,
4772
103
,
4773
307
,
4774
92
,
4775
104
,
4776
150
,
4777
211
,
4778
260
,
4779
8
,
4780
64
,
4781
73
,
4782
222
,
4783
273
,
4784
423
,
4785
179
,
4786
184
,
4787
190
,
4788
193
,
4789
265
,
4790
271
,
4791
305
,
4792
318
,
4793
344
,
4794
14
,
4795
75
,
4796
124
,
4797
317
,
4798
343
,
4799
404
,
4800
4
,
4801
141
,
4802
167
,
4803
212
,
4804
496
4805
};
4806
const double
x
[
500
] = {
4807
737
,
4808
519
,
4809
538
,
4810
486
,
4811
557
,
4812
31
,
4813
651
,
4814
101
,
4815
310
,
4816
729
,
4817
721
,
4818
164
,
4819
577
,
4820
411
,
4821
104
,
4822
891
,
4823
988
,
4824
370
,
4825
788
,
4826
898
,
4827
576
,
4828
674
,
4829
7
,
4830
10
,
4831
91
,
4832
253
,
4833
9
,
4834
54
,
4835
105
,
4836
36
,
4837
799
,
4838
188
,
4839
651
,
4840
92
,
4841
766
,
4842
394
,
4843
8
,
4844
823
,
4845
242
,
4846
334
,
4847
639
,
4848
462
,
4849
111
,
4850
847
,
4851
919
,
4852
681
,
4853
392
,
4854
657
,
4855
358
,
4856
203
,
4857
453
,
4858
897
,
4859
965
,
4860
316
,
4861
759
,
4862
894
,
4863
893
,
4864
44
,
4865
743
,
4866
736
,
4867
970
,
4868
473
,
4869
229
,
4870
120
,
4871
485
,
4872
174
,
4873
405
,
4874
514
,
4875
984
,
4876
200
,
4877
723
,
4878
867
,
4879
259
,
4880
997
,
4881
191
,
4882
340
,
4883
75
,
4884
763
,
4885
579
,
4886
216
,
4887
154
,
4888
331
,
4889
338
,
4890
184
,
4891
786
,
4892
56
,
4893
235
,
4894
880
,
4895
810
,
4896
544
,
4897
522
,
4898
358
,
4899
219
,
4900
566
,
4901
632
,
4902
422
,
4903
636
,
4904
760
,
4905
657
,
4906
117
,
4907
138
,
4908
228
,
4909
163
,
4910
336
,
4911
572
,
4912
722
,
4913
438
,
4914
280
,
4915
234
,
4916
454
,
4917
967
,
4918
148
,
4919
325
,
4920
142
,
4921
790
,
4922
3
,
4923
497
,
4924
770
,
4925
936
,
4926
101
,
4927
696
,
4928
108
,
4929
255
,
4930
140
,
4931
320
,
4932
29
,
4933
36
,
4934
228
,
4935
468
,
4936
24
,
4937
183
,
4938
844
,
4939
513
,
4940
856
,
4941
102
,
4942
9
,
4943
526
,
4944
50
,
4945
73
,
4946
366
,
4947
599
,
4948
246
,
4949
662
,
4950
473
,
4951
651
,
4952
568
,
4953
575
,
4954
972
,
4955
352
,
4956
341
,
4957
897
,
4958
15
,
4959
73
,
4960
764
,
4961
768
,
4962
879
,
4963
886
,
4964
906
,
4965
718
,
4966
621
,
4967
529
,
4968
282
,
4969
339
,
4970
165
,
4971
137
,
4972
999
,
4973
215
,
4974
33
,
4975
639
,
4976
999
,
4977
906
,
4978
210
,
4979
62
,
4980
655
,
4981
996
,
4982
675
,
4983
552
,
4984
333
,
4985
176
,
4986
426
,
4987
891
,
4988
638
,
4989
571
,
4990
715
,
4991
18
,
4992
708
,
4993
795
,
4994
26
,
4995
31
,
4996
250
,
4997
18
,
4998
949
,
4999
183
,
5000
968
,
5001
394
,
5002
580
,
5003
766
,
5004
686
,
5005
162
,
5006
134
,
5007
185
,
5008
943
,
5009
919
,
5010
577
,
5011
539
,
5012
180
,
5013
750
,
5014
285
,
5015
591
,
5016
881
,
5017
381
,
5018
118
,
5019
852
,
5020
696
,
5021
617
,
5022
941
,
5023
767
,
5024
592
,
5025
650
,
5026
74
,
5027
961
,
5028
881
,
5029
891
,
5030
71
,
5031
905
,
5032
575
,
5033
598
,
5034
523
,
5035
477
,
5036
561
,
5037
948
,
5038
762
,
5039
570
,
5040
773
,
5041
146
,
5042
894
,
5043
203
,
5044
610
,
5045
471
,
5046
669
,
5047
189
,
5048
473
,
5049
650
,
5050
606
,
5051
385
,
5052
288
,
5053
360
,
5054
648
,
5055
115
,
5056
836
,
5057
139
,
5058
530
,
5059
248
,
5060
331
,
5061
286
,
5062
849
,
5063
812
,
5064
356
,
5065
884
,
5066
33
,
5067
57
,
5068
147
,
5069
297
,
5070
826
,
5071
916
,
5072
581
,
5073
0
,
5074
918
,
5075
81
,
5076
12
,
5077
956
,
5078
309
,
5079
550
,
5080
15
,
5081
243
,
5082
294
,
5083
893
,
5084
290
,
5085
227
,
5086
826
,
5087
843
,
5088
789
,
5089
744
,
5090
494
,
5091
742
,
5092
643
,
5093
126
,
5094
861
,
5095
444
,
5096
506
,
5097
417
,
5098
215
,
5099
246
,
5100
9
,
5101
244
,
5102
283
,
5103
595
,
5104
635
,
5105
494
,
5106
612
,
5107
737
,
5108
311
,
5109
896
,
5110
834
,
5111
222
,
5112
121
,
5113
595
,
5114
680
,
5115
309
,
5116
729
,
5117
263
,
5118
142
,
5119
804
,
5120
262
,
5121
343
,
5122
179
,
5123
649
,
5124
118
,
5125
360
,
5126
536
,
5127
669
,
5128
429
,
5129
359
,
5130
667
,
5131
313
,
5132
671
,
5133
506
,
5134
951
,
5135
461
,
5136
291
,
5137
359
,
5138
237
,
5139
727
,
5140
143
,
5141
968
,
5142
769
,
5143
97
,
5144
842
,
5145
752
,
5146
803
,
5147
299
,
5148
154
,
5149
384
,
5150
23
,
5151
567
,
5152
339
,
5153
778
,
5154
492
,
5155
116
,
5156
320
,
5157
967
,
5158
526
,
5159
66
,
5160
761
,
5161
908
,
5162
345
,
5163
885
,
5164
193
,
5165
894
,
5166
547
,
5167
124
,
5168
18
,
5169
254
,
5170
947
,
5171
192
,
5172
111
,
5173
384
,
5174
204
,
5175
338
,
5176
574
,
5177
749
,
5178
816
,
5179
717
,
5180
457
,
5181
353
,
5182
163
,
5183
979
,
5184
896
,
5185
679
,
5186
342
,
5187
932
,
5188
100
,
5189
216
,
5190
531
,
5191
320
,
5192
122
,
5193
594
,
5194
956
,
5195
638
,
5196
450
,
5197
733
,
5198
643
,
5199
293
,
5200
891
,
5201
633
,
5202
901
,
5203
815
,
5204
676
,
5205
307
,
5206
144
,
5207
286
,
5208
106
,
5209
182
,
5210
605
,
5211
575
,
5212
129
,
5213
390
,
5214
212
,
5215
843
,
5216
225
,
5217
544
,
5218
468
,
5219
203
,
5220
223
,
5221
862
,
5222
795
,
5223
36
,
5224
348
,
5225
743
,
5226
528
,
5227
904
,
5228
126
,
5229
802
,
5230
82
,
5231
156
,
5232
369
,
5233
986
,
5234
332
,
5235
977
,
5236
570
,
5237
421
,
5238
345
,
5239
401
,
5240
480
,
5241
63
,
5242
518
,
5243
667
,
5244
31
,
5245
909
,
5246
552
,
5247
994
,
5248
314
,
5249
891
,
5250
642
,
5251
439
,
5252
132
,
5253
670
,
5254
402
,
5255
263
,
5256
140
,
5257
549
,
5258
905
,
5259
712
,
5260
299
,
5261
986
,
5262
86
,
5263
709
,
5264
786
,
5265
47
,
5266
679
,
5267
864
,
5268
13
,
5269
140
,
5270
659
,
5271
479
,
5272
838
,
5273
988
,
5274
846
,
5275
855
,
5276
367
,
5277
935
,
5278
657
,
5279
453
,
5280
400
,
5281
851
,
5282
749
,
5283
500
,
5284
673
,
5285
523
,
5286
708
,
5287
568
,
5288
76
,
5289
18
,
5290
589
,
5291
689
,
5292
195
,
5293
504
,
5294
402
,
5295
835
,
5296
705
,
5297
187
,
5298
615
,
5299
482
,
5300
160
,
5301
609
,
5302
761
,
5303
907
,
5304
294
,
5305
538
,
5306
545
5307
};
5308
const int
ptr
[
501
] = {
5309
0
,
5310
4
,
5311
8
,
5312
10
,
5313
15
,
5314
22
,
5315
29
,
5316
33
,
5317
34
,
5318
36
,
5319
39
,
5320
44
,
5321
44
,
5322
47
,
5323
55
,
5324
61
,
5325
66
,
5326
68
,
5327
75
,
5328
82
,
5329
86
,
5330
91
,
5331
98
,
5332
104
,
5333
109
,
5334
113
,
5335
126
,
5336
131
,
5337
134
,
5338
136
,
5339
143
,
5340
153
,
5341
159
,
5342
168
,
5343
170
,
5344
174
,
5345
176
,
5346
180
,
5347
187
,
5348
192
,
5349
198
,
5350
200
,
5351
204
,
5352
211
,
5353
213
,
5354
222
,
5355
225
,
5356
228
,
5357
233
,
5358
241
,
5359
247
,
5360
253
,
5361
256
,
5362
262
,
5363
264
,
5364
270
,
5365
274
,
5366
277
,
5367
283
,
5368
288
,
5369
294
,
5370
301
,
5371
307
,
5372
312
,
5373
315
,
5374
319
,
5375
325
,
5376
329
,
5377
332
,
5378
338
,
5379
340
,
5380
342
,
5381
348
,
5382
353
,
5383
359
,
5384
362
,
5385
366
,
5386
368
,
5387
374
,
5388
387
,
5389
393
,
5390
400
,
5391
403
,
5392
406
,
5393
412
,
5394
420
,
5395
425
,
5396
428
,
5397
433
,
5398
441
,
5399
442
,
5400
448
,
5401
456
,
5402
462
,
5403
468
,
5404
469
,
5405
477
,
5406
479
,
5407
485
,
5408
490
,
5409
495
,
5410
501
,
5411
508
,
5412
513
,
5413
518
,
5414
524
,
5415
532
,
5416
535
,
5417
538
,
5418
542
,
5419
546
,
5420
552
,
5421
561
,
5422
563
,
5423
567
,
5424
571
,
5425
574
,
5426
576
,
5427
581
,
5428
584
,
5429
588
,
5430
592
,
5431
593
,
5432
597
,
5433
599
,
5434
607
,
5435
612
,
5436
615
,
5437
619
,
5438
626
,
5439
633
,
5440
640
,
5441
646
,
5442
650
,
5443
653
,
5444
659
,
5445
665
,
5446
670
,
5447
673
,
5448
678
,
5449
685
,
5450
691
,
5451
697
,
5452
703
,
5453
708
,
5454
712
,
5455
717
,
5456
719
,
5457
722
,
5458
725
,
5459
732
,
5460
736
,
5461
738
,
5462
742
,
5463
747
,
5464
753
,
5465
757
,
5466
763
,
5467
767
,
5468
769
,
5469
769
,
5470
777
,
5471
780
,
5472
784
,
5473
790
,
5474
797
,
5475
807
,
5476
810
,
5477
813
,
5478
815
,
5479
817
,
5480
822
,
5481
829
,
5482
830
,
5483
835
,
5484
844
,
5485
848
,
5486
851
,
5487
854
,
5488
862
,
5489
864
,
5490
873
,
5491
876
,
5492
881
,
5493
884
,
5494
888
,
5495
895
,
5496
899
,
5497
901
,
5498
904
,
5499
908
,
5500
912
,
5501
919
,
5502
927
,
5503
931
,
5504
937
,
5505
941
,
5506
944
,
5507
948
,
5508
950
,
5509
955
,
5510
960
,
5511
963
,
5512
970
,
5513
975
,
5514
979
,
5515
983
,
5516
985
,
5517
992
,
5518
993
,
5519
998
,
5520
1001
,
5521
1008
,
5522
1012
,
5523
1014
,
5524
1018
,
5525
1023
,
5526
1030
,
5527
1036
,
5528
1040
,
5529
1045
,
5530
1052
,
5531
1058
,
5532
1061
,
5533
1066
,
5534
1069
,
5535
1071
,
5536
1077
,
5537
1080
,
5538
1084
,
5539
1087
,
5540
1090
,
5541
1092
,
5542
1095
,
5543
1100
,
5544
1102
,
5545
1110
,
5546
1117
,
5547
1122
,
5548
1130
,
5549
1133
,
5550
1138
,
5551
1142
,
5552
1144
,
5553
1146
,
5554
1153
,
5555
1158
,
5556
1160
,
5557
1167
,
5558
1172
,
5559
1176
,
5560
1179
,
5561
1183
,
5562
1188
,
5563
1191
,
5564
1193
,
5565
1196
,
5566
1204
,
5567
1210
,
5568
1216
,
5569
1219
,
5570
1221
,
5571
1225
,
5572
1229
,
5573
1234
,
5574
1236
,
5575
1239
,
5576
1244
,
5577
1248
,
5578
1253
,
5579
1256
,
5580
1264
,
5581
1268
,
5582
1271
,
5583
1272
,
5584
1275
,
5585
1278
,
5586
1284
,
5587
1287
,
5588
1291
,
5589
1296
,
5590
1300
,
5591
1304
,
5592
1306
,
5593
1313
,
5594
1317
,
5595
1322
,
5596
1326
,
5597
1332
,
5598
1336
,
5599
1344
,
5600
1349
,
5601
1356
,
5602
1363
,
5603
1368
,
5604
1369
,
5605
1378
,
5606
1381
,
5607
1385
,
5608
1388
,
5609
1395
,
5610
1399
,
5611
1407
,
5612
1414
,
5613
1422
,
5614
1425
,
5615
1433
,
5616
1435
,
5617
1438
,
5618
1439
,
5619
1445
,
5620
1448
,
5621
1450
,
5622
1453
,
5623
1456
,
5624
1470
,
5625
1472
,
5626
1475
,
5627
1481
,
5628
1487
,
5629
1491
,
5630
1494
,
5631
1497
,
5632
1498
,
5633
1503
,
5634
1507
,
5635
1513
,
5636
1517
,
5637
1524
,
5638
1529
,
5639
1534
,
5640
1542
,
5641
1547
,
5642
1550
,
5643
1550
,
5644
1552
,
5645
1553
,
5646
1556
,
5647
1559
,
5648
1563
,
5649
1571
,
5650
1577
,
5651
1580
,
5652
1585
,
5653
1590
,
5654
1594
,
5655
1598
,
5656
1600
,
5657
1602
,
5658
1610
,
5659
1615
,
5660
1620
,
5661
1628
,
5662
1634
,
5663
1637
,
5664
1649
,
5665
1652
,
5666
1656
,
5667
1662
,
5668
1664
,
5669
1670
,
5670
1674
,
5671
1678
,
5672
1687
,
5673
1697
,
5674
1704
,
5675
1709
,
5676
1715
,
5677
1720
,
5678
1725
,
5679
1728
,
5680
1736
,
5681
1740
,
5682
1747
,
5683
1750
,
5684
1754
,
5685
1760
,
5686
1763
,
5687
1765
,
5688
1773
,
5689
1781
,
5690
1783
,
5691
1788
,
5692
1795
,
5693
1802
,
5694
1810
,
5695
1815
,
5696
1820
,
5697
1824
,
5698
1829
,
5699
1836
,
5700
1839
,
5701
1843
,
5702
1847
,
5703
1849
,
5704
1854
,
5705
1859
,
5706
1863
,
5707
1873
,
5708
1880
,
5709
1882
,
5710
1891
,
5711
1895
,
5712
1899
,
5713
1904
,
5714
1909
,
5715
1914
,
5716
1919
,
5717
1923
,
5718
1927
,
5719
1932
,
5720
1938
,
5721
1943
,
5722
1949
,
5723
1954
,
5724
1960
,
5725
1965
,
5726
1968
,
5727
1974
,
5728
1980
,
5729
1983
,
5730
1990
,
5731
1992
,
5732
1995
,
5733
2002
,
5734
2011
,
5735
2017
,
5736
2024
,
5737
2028
,
5738
2035
,
5739
2037
,
5740
2048
,
5741
2055
,
5742
2063
,
5743
2067
,
5744
2069
,
5745
2078
,
5746
2081
,
5747
2085
,
5748
2086
,
5749
2090
,
5750
2097
,
5751
2101
,
5752
2107
,
5753
2110
,
5754
2112
,
5755
2116
,
5756
2119
,
5757
2122
,
5758
2129
,
5759
2136
,
5760
2143
,
5761
2146
,
5762
2156
,
5763
2162
,
5764
2171
,
5765
2175
,
5766
2179
,
5767
2186
,
5768
2189
,
5769
2194
,
5770
2198
,
5771
2206
,
5772
2211
,
5773
2215
,
5774
2222
,
5775
2228
,
5776
2237
,
5777
2241
,
5778
2245
,
5779
2256
,
5780
2259
,
5781
2269
,
5782
2272
,
5783
2275
,
5784
2278
,
5785
2279
,
5786
2281
,
5787
2287
,
5788
2292
,
5789
2297
,
5790
2304
,
5791
2311
,
5792
2316
,
5793
2319
,
5794
2322
,
5795
2327
,
5796
2333
,
5797
2340
,
5798
2343
,
5799
2345
,
5800
2350
,
5801
2358
,
5802
2365
,
5803
2365
,
5804
2368
,
5805
2373
,
5806
2379
,
5807
2388
,
5808
2394
,
5809
2399
5810
};
5811
const double
verify_data
[
500
] = {
5812
1636962
,
5813
1714376
,
5814
142636
,
5815
1151015
,
5816
1672341
,
5817
2790420
,
5818
1447201
,
5819
422892
,
5820
30953
,
5821
1030287
,
5822
1335188
,
5823
0
,
5824
605334
,
5825
2278445
,
5826
858848
,
5827
245423
,
5828
950882
,
5829
705076
,
5830
1312024
,
5831
1084284
,
5832
1837558
,
5833
1201746
,
5834
2360392
,
5835
1488940
,
5836
688178
,
5837
2632122
,
5838
1481444
,
5839
660854
,
5840
346453
,
5841
982949
,
5842
1400599
,
5843
1093225
,
5844
2856372
,
5845
1078398
,
5846
1074402
,
5847
579548
,
5848
1820752
,
5849
2638601
,
5850
2072665
,
5851
749887
,
5852
687788
,
5853
478788
,
5854
1482258
,
5855
1207317
,
5856
1397243
,
5857
794364
,
5858
1002505
,
5859
1651686
,
5860
1028801
,
5861
1189726
,
5862
1513197
,
5863
1214956
,
5864
738475
,
5865
633771
,
5866
1207042
,
5867
680857
,
5868
899314
,
5869
2277406
,
5870
773143
,
5871
1986687
,
5872
907216
,
5873
907940
,
5874
1539019
,
5875
1043338
,
5876
681730
,
5877
219905
,
5878
1397298
,
5879
2184201
,
5880
1537202
,
5881
266744
,
5882
563005
,
5883
1827909
,
5884
1105928
,
5885
2286680
,
5886
887533
,
5887
343193
,
5888
238910
,
5889
1678393
,
5890
2600003
,
5891
417502
,
5892
1551071
,
5893
798273
,
5894
398719
,
5895
2056881
,
5896
1296314
,
5897
917292
,
5898
190534
,
5899
882078
,
5900
1979139
,
5901
50621
,
5902
1048185
,
5903
1967771
,
5904
1911887
,
5905
1895897
,
5906
23343
,
5907
2658748
,
5908
285864
,
5909
1027049
,
5910
975769
,
5911
2488413
,
5912
832738
,
5913
844130
,
5914
1379856
,
5915
1785889
,
5916
2463463
,
5917
782430
,
5918
982466
,
5919
609500
,
5920
706251
,
5921
1981399
,
5922
1861430
,
5923
2146667
,
5924
250104
,
5925
1166284
,
5926
1295022
,
5927
189599
,
5928
855191
,
5929
1005718
,
5930
969658
,
5931
707377
,
5932
561273
,
5933
86496
,
5934
717937
,
5935
97767
,
5936
1893638
,
5937
779229
,
5938
429727
,
5939
99564
,
5940
1863565
,
5941
2267656
,
5942
950026
,
5943
780700
,
5944
581248
,
5945
393282
,
5946
2134865
,
5947
1244700
,
5948
1894843
,
5949
954212
,
5950
1439102
,
5951
779512
,
5952
1459287
,
5953
881497
,
5954
2202043
,
5955
1447401
,
5956
1249637
,
5957
765168
,
5958
488244
,
5959
837127
,
5960
1236555
,
5961
2281259
,
5962
1995666
,
5963
25783
,
5964
534020
,
5965
1486259
,
5966
1268571
,
5967
875283
,
5968
744594
,
5969
1410335
,
5970
757320
,
5971
0
,
5972
1922627
,
5973
399058
,
5974
1490594
,
5975
1475527
,
5976
1587557
,
5977
1695667
,
5978
644546
,
5979
536038
,
5980
224304
,
5981
414120
,
5982
2029077
,
5983
3930385
,
5984
377416
,
5985
1059074
,
5986
1960417
,
5987
1439575
,
5988
368749
,
5989
460183
,
5990
2479302
,
5991
105204
,
5992
1426355
,
5993
649313
,
5994
2194338
,
5995
918200
,
5996
1591449
,
5997
2229266
,
5998
434520
,
5999
684504
,
6000
1009270
,
6001
222922
,
6002
600674
,
6003
1011867
,
6004
1321434
,
6005
836127
,
6006
2493805
,
6007
1448674
,
6008
1269364
,
6009
1304961
,
6010
98554
,
6011
2423810
,
6012
1570229
,
6013
302458
,
6014
2806045
,
6015
1534004
,
6016
1463827
,
6017
1085011
,
6018
120989
,
6019
1701753
,
6020
110302
,
6021
938429
,
6022
1186733
,
6023
2255246
,
6024
425960
,
6025
376311
,
6026
341394
,
6027
1061333
,
6028
2025091
,
6029
522270
,
6030
598604
,
6031
1000824
,
6032
2254049
,
6033
1857539
,
6034
346425
,
6035
1345187
,
6036
550497
,
6037
1251096
,
6038
943720
,
6039
681558
,
6040
555972
,
6041
779590
,
6042
299796
,
6043
1445763
,
6044
459865
,
6045
774572
,
6046
489448
,
6047
2407693
,
6048
1574903
,
6049
1630452
,
6050
1907397
,
6051
555045
,
6052
1902494
,
6053
1172223
,
6054
142555
,
6055
445864
,
6056
1376151
,
6057
1200389
,
6058
327553
,
6059
1548402
,
6060
1106503
,
6061
888650
,
6062
41081
,
6063
1245270
,
6064
845610
,
6065
1232215
,
6066
387441
,
6067
434475
,
6068
1204003
,
6069
1333189
,
6070
1672468
,
6071
567827
,
6072
11392
,
6073
631046
,
6074
1299298
,
6075
719608
,
6076
714169
,
6077
362247
,
6078
1308257
,
6079
530903
,
6080
398202
,
6081
885445
,
6082
2606806
,
6083
1354354
,
6084
438760
,
6085
194928
,
6086
712863
,
6087
1010340
,
6088
2245646
,
6089
376041
,
6090
876890
,
6091
1683404
,
6092
955032
,
6093
1065455
,
6094
925034
,
6095
1731713
,
6096
1152271
,
6097
2093865
,
6098
1221433
,
6099
629438
,
6100
2054936
,
6101
2643313
,
6102
1322567
,
6103
1492288
,
6104
1844514
,
6105
1802382
,
6106
871
,
6107
1350044
,
6108
967406
,
6109
756881
,
6110
574442
,
6111
1295864
,
6112
1815978
,
6113
2822668
,
6114
2201377
,
6115
2729436
,
6116
616018
,
6117
2318346
,
6118
332717
,
6119
289665
,
6120
97812
,
6121
1881483
,
6122
1003188
,
6123
702530
,
6124
409314
,
6125
645118
,
6126
3645947
,
6127
723792
,
6128
503126
,
6129
1609036
,
6130
1647277
,
6131
587437
,
6132
735899
,
6133
666552
,
6134
27354
,
6135
1045106
,
6136
397951
,
6137
1087090
,
6138
1173872
,
6139
1629962
,
6140
1334261
,
6141
1855668
,
6142
2856970
,
6143
1341188
,
6144
336968
,
6145
0
,
6146
521349
,
6147
53118
,
6148
881926
,
6149
154917
,
6150
942966
,
6151
1237636
,
6152
820836
,
6153
579583
,
6154
1436861
,
6155
2025006
,
6156
634434
,
6157
829152
,
6158
298073
,
6159
205380
,
6160
1622350
,
6161
1171051
,
6162
848451
,
6163
2417009
,
6164
2016092
,
6165
390510
,
6166
2721874
,
6167
359761
,
6168
309038
,
6169
1061522
,
6170
297026
,
6171
1311767
,
6172
305305
,
6173
854945
,
6174
1773244
,
6175
2656339
,
6176
896058
,
6177
1069160
,
6178
1552917
,
6179
1421821
,
6180
440874
,
6181
216699
,
6182
1654864
,
6183
521705
,
6184
807422
,
6185
1242602
,
6186
1329872
,
6187
308130
,
6188
526463
,
6189
27937
,
6190
1450630
,
6191
1621987
,
6192
799154
,
6193
1378289
,
6194
2519996
,
6195
1149046
,
6196
579937
,
6197
1841561
,
6198
1895047
,
6199
1009234
,
6200
1922198
,
6201
2570006
,
6202
409696
,
6203
442495
,
6204
277484
,
6205
979605
,
6206
1392287
,
6207
1023715
,
6208
1881778
,
6209
2432703
,
6210
2297384
,
6211
542451
,
6212
1368100
,
6213
833048
,
6214
1038108
,
6215
742376
,
6216
1542317
,
6217
2230186
,
6218
1249077
,
6219
884020
,
6220
1286059
,
6221
1102407
,
6222
1651393
,
6223
1787846
,
6224
1370154
,
6225
2734166
,
6226
2935249
,
6227
447485
,
6228
736859
,
6229
828966
,
6230
1547038
,
6231
765990
,
6232
1427773
,
6233
255456
,
6234
134871
,
6235
1597546
,
6236
2173052
,
6237
1187286
,
6238
2364828
,
6239
1220233
,
6240
1760369
,
6241
75080
,
6242
2799969
,
6243
1363310
,
6244
2347168
,
6245
272279
,
6246
33698
,
6247
1192053
,
6248
342501
,
6249
356092
,
6250
136578
,
6251
1701048
,
6252
2216796
,
6253
1340150
,
6254
1852854
,
6255
580862
,
6256
407410
,
6257
1860346
,
6258
200649
,
6259
954363
,
6260
955621
,
6261
2234154
,
6262
2007706
,
6263
646339
,
6264
2712491
,
6265
1259244
,
6266
2368138
,
6267
1550431
,
6268
1160903
,
6269
987838
,
6270
650293
,
6271
833228
,
6272
368144
,
6273
1998925
,
6274
1733716
,
6275
1050000
,
6276
1061635
,
6277
1144649
,
6278
1260205
,
6279
851043
,
6280
1417512
,
6281
2826918
,
6282
1059350
,
6283
1522135
,
6284
1039943
,
6285
703837
,
6286
1035006
,
6287
19505
,
6288
211545
,
6289
1461101
,
6290
1238659
,
6291
1414306
,
6292
1151385
,
6293
2169011
,
6294
1101116
,
6295
1118290
,
6296
335296
,
6297
1502266
,
6298
1405699
,
6299
1762457
,
6300
530338
,
6301
246108
,
6302
484583
,
6303
2164048
,
6304
1614511
,
6305
0
,
6306
1446940
,
6307
575450
,
6308
2043329
,
6309
2057251
,
6310
774670
,
6311
1084124
6312
};