Santa's behaviometer
Statement
Goal
Calvin is a good kid... At least that's what he likes to think.This Christmas, like many other children around the world, Calvin is expecting an amazing present from Santa Claus.
However, this year Santa is kind of on a budget and can only afford to give presents to the G most deserving kids.
To select those Chosen Ones, Santa uses a device called the "Behaviometer". Given the name of a child, this device outputs a value based on how well they behaved this year.
Given the values outputted by the behaviometer for Calvin and other kids, print whether Calvin will or will not receive a gift this Christmas.
Note that since Santa has an overall positive image of Calvin, whenever there is a draw in the scores between Calvin and another kid, Calvin will be ranked higher.
Input
Line 1: Two space-separated integers: the number of kids N (excluding Calvin) and the number of gifts G that Santa can afford to give this Christmas.
Line 2: An integer M, the mark given to Calvin by the behaviometer.
Lines 3 to 3+N: An integer Mi, the mark given to the i-th kid by the behaviometer.
Line 2: An integer M, the mark given to Calvin by the behaviometer.
Lines 3 to 3+N: An integer Mi, the mark given to the i-th kid by the behaviometer.
Output
Constraints
0 ≤ N ≤ 2500
0 ≤ G ≤ N + 1
0 ≤ M ≤ 2147483647
0 ≤ Mi ≤ 2147483647
0 ≤ G ≤ N + 1
0 ≤ M ≤ 2147483647
0 ≤ Mi ≤ 2147483647
Example
Input
4 2 3 2 0 1 4
Output
true
Game modes
Fastest, Shortest
Test cases
Example Test
Input
4 2
3
2
0
1
4
Output
true
Example* Validator
Input
3 2
2
3
0
1
Output
true
No gift Test
Input
5 3
4
1
2
32
8
16
Output
false
No gift* Validator
Input
4 3
4
32
8
16
2
Output
false
Unfortunate Test
Input
10 9
1
11
7
4
2
9
6
3
5
10
8
Output
false
Unfortunate* Validator
Input
11 10
15
60
713
82
59
100
22
16
121
46
143
16
Output
false
Best kid Test
Input
10 9
128
31
24
76
36
90
104
57
8
62
120
Output
true
Best kid* Validator
Input
9 8
64
11
30
58
30
16
29
47
2
61
Output
true
Draw 1 Test
Input
100 12
86
37
15
79
1
77
46
55
92
1
28
19
59
43
77
96
40
86
23
37
2
8
81
29
74
74
15
98
67
80
34
96
91
40
57
23
69
58
89
98
67
68
44
33
25
52
8
31
28
1
70
67
65
55
31
55
44
16
53
86
51
4
22
10
84
52
63
62
4
28
77
73
82
30
77
36
82
47
38
54
6
81
19
21
90
72
91
12
86
97
98
44
83
10
59
33
62
14
74
86
27
Output
true
Draw 1* Validator
Input
100 3
97
14
0
17
86
63
13
40
81
28
88
91
60
97
8
85
72
61
12
67
22
18
75
98
78
51
83
15
21
17
77
37
5
27
49
92
73
24
57
26
16
61
54
58
80
66
17
62
42
57
65
79
47
87
46
65
23
20
77
18
82
13
29
94
26
97
95
91
67
64
38
24
46
18
79
36
46
45
53
86
17
37
74
99
38
13
49
42
97
56
81
19
40
55
4
76
51
30
53
45
22
Output
true
Draw 0 Test
Input
100 20
79
71
40
47
11
87
67
31
47
74
13
4
43
81
74
37
39
99
26
53
16
88
5
22
90
86
78
8
33
79
56
85
30
78
44
9
88
30
8
50
56
17
61
61
10
43
37
53
12
82
28
50
18
14
80
57
47
52
12
8
17
61
37
31
94
96
23
73
59
83
34
28
90
94
40
92
74
51
23
14
81
77
48
40
98
36
4
99
50
53
88
50
32
24
79
79
23
51
38
21
60
Output
false
Draw 0* Validator
Input
100 35
63
25
26
43
79
12
9
13
63
33
66
57
8
29
81
25
57
39
56
74
24
47
75
22
47
64
91
40
83
55
60
33
84
71
16
99
95
2
70
2
29
41
74
99
22
41
46
40
39
46
93
8
56
44
20
96
15
84
31
65
39
50
85
76
43
95
22
8
6
65
64
93
77
83
63
65
38
9
10
83
86
67
23
62
20
80
63
82
81
6
32
48
56
60
55
43
68
27
1
63
28
Output
false
Many kids Test
Input
2500 522
789
792
609
814
156
812
150
781
934
761
334
95
392
185
523
923
273
846
702
377
551
174
17
70
300
339
191
443
110
493
53
55
669
245
994
952
69
168
381
425
980
403
849
743
963
746
364
827
643
493
638
813
785
954
736
588
904
657
847
608
429
705
288
24
812
844
395
524
478
483
304
713
389
170
252
587
648
252
843
253
968
345
370
704
50
925
165
240
884
784
179
797
286
584
824
164
588
459
615
54
911
837
81
731
903
277
720
203
558
9
183
632
681
957
717
235
145
308
510
207
57
193
195
308
149
587
445
464
849
962
94
661
317
53
620
587
885
348
671
768
646
143
430
650
325
559
455
965
195
37
681
481
437
615
661
597
545
284
562
76
14
674
357
436
370
723
487
612
67
845
907
199
393
95
268
262
175
80
778
517
162
111
288
529
700
377
751
139
437
18
380
12
413
590
189
821
643
793
957
338
533
975
753
148
939
21
788
946
736
554
912
70
135
874
568
497
207
538
496
120
431
400
816
418
202
895
311
713
653
276
568
709
811
17
623
288
448
772
583
32
666
967
42
421
191
363
788
175
3
691
181
462
913
97
285
674
178
660
3
641
411
639
154
605
191
328
288
646
50
256
315
354
33
516
80
672
681
513
443
586
324
903
898
212
964
859
412
23
506
863
580
307
466
218
911
224
281
615
149
502
153
467
402
605
754
612
691
660
948
589
847
407
400
550
956
76
500
228
416
486
590
871
814
34
163
541
237
166
528
651
572
722
937
387
265
441
278
17
670
718
708
516
570
54
677
549
776
415
371
430
827
737
913
889
924
589
538
182
181
801
846
808
824
575
594
97
665
485
464
495
528
206
603
967
165
137
882
121
855
501
454
666
496
327
574
215
333
219
68
240
983
457
894
91
959
109
56
965
818
273
556
583
923
727
381
373
713
610
457
439
60
372
662
560
366
142
878
326
764
412
986
417
561
227
158
738
558
543
70
787
56
975
813
969
23
502
259
637
250
900
42
48
249
489
205
333
153
616
773
154
237
230
307
994
861
571
167
120
445
602
423
579
868
273
534
936
47
413
838
780
294
168
571
646
744
564
452
780
120
753
694
871
316
734
33
322
402
629
988
0
252
379
729
723
458
277
415
690
656
214
91
146
24
94
419
412
713
349
351
486
753
822
713
384
724
636
989
800
74
646
838
797
114
945
426
153
520
614
989
263
56
417
724
249
965
630
856
240
673
754
801
952
417
637
60
992
886
621
653
320
523
528
610
905
58
527
227
53
44
675
132
332
263
77
99
256
955
261
69
238
624
952
175
968
229
222
115
581
26
780
80
621
54
178
377
627
708
35
31
338
699
827
433
162
32
8
705
90
351
110
22
369
116
764
646
833
251
820
566
465
873
255
873
487
352
526
891
261
557
24
813
374
279
827
564
495
605
755
794
749
628
731
816
166
353
568
830
761
680
24
848
866
477
18
627
999
810
269
47
391
432
637
97
191
132
309
120
678
746
868
620
637
851
396
23
747
955
38
725
510
158
632
31
434
311
566
663
170
319
672
87
67
460
549
402
286
707
756
561
175
849
869
953
199
163
698
60
458
967
438
1
206
349
827
403
547
82
14
690
919
981
80
31
726
631
794
399
837
983
360
78
98
999
279
704
555
744
161
39
189
583
1
571
906
169
655
805
789
241
396
480
986
532
169
860
968
283
654
67
538
243
13
394
386
452
774
39
49
600
596
367
52
898
348
617
541
812
373
726
627
530
108
634
789
524
735
45
917
405
288
736
564
390
494
932
917
391
830
573
5
502
97
410
962
913
756
737
945
246
196
185
873
925
701
828
974
698
538
31
651
772
822
174
898
179
50
864
933
431
517
753
755
892
54
368
99
282
817
887
815
323
828
13
515
812
858
454
112
770
68
646
525
731
617
856
303
861
283
657
593
88
753
80
810
646
950
141
199
163
327
445
450
766
610
185
455
846
793
315
944
859
659
893
864
630
535
501
976
256
940
366
854
357
626
82
703
391
843
405
703
864
480
430
354
761
920
317
81
564
359
948
874
856
96
757
343
132
624
963
193
74
311
892
963
73
57
378
128
791
315
594
503
102
373
996
292
370
104
591
137
370
854
667
311
380
674
315
288
483
903
756
65
85
541
407
344
883
784
547
973
829
517
510
694
742
575
194
994
16
57
468
286
614
430
706
912
943
81
718
885
268
203
834
891
313
477
923
387
735
916
264
851
674
673
416
381
186
557
506
101
268
147
762
660
89
696
412
698
940
164
565
51
468
605
787
24
257
908
593
633
359
580
498
371
969
878
584
958
66
216
434
466
412
411
135
182
56
310
162
877
648
75
591
958
698
594
867
182
312
419
451
156
119
362
888
231
863
661
565
334
126
811
86
124
310
890
880
3
788
575
774
661
426
404
226
860
416
271
131
941
877
882
511
614
61
650
553
129
945
991
145
166
120
7
108
197
786
573
757
35
46
652
318
641
29
253
727
867
64
361
527
252
657
344
9
454
745
881
367
209
286
852
867
306
271
982
643
314
714
871
21
801
258
928
435
722
607
691
994
591
291
136
740
125
671
594
217
40
490
477
530
955
804
705
87
737
610
810
635
295
955
100
541
681
365
326
433
860
858
298
63
158
517
653
438
860
941
904
469
701
314
253
478
377
516
435
398
826
307
322
493
386
291
316
349
862
208
419
711
157
337
809
179
230
531
983
192
125
950
551
625
20
135
789
5
723
882
773
247
656
382
372
963
383
444
690
565
739
594
696
891
795
244
371
119
346
961
149
472
70
814
101
274
8
906
665
725
605
406
508
625
858
85
92
571
504
620
86
267
340
192
165
55
195
200
441
164
765
402
855
912
746
23
464
833
946
995
686
791
90
319
106
291
331
307
848
600
299
703
670
290
415
349
80
601
790
436
720
868
187
970
614
451
938
424
764
367
526
625
537
141
728
761
189
181
514
853
674
574
514
236
411
950
34
864
499
870
572
591
70
661
269
542
534
323
120
185
524
617
359
241
72
285
120
371
936
80
799
350
749
164
580
782
411
897
204
155
613
906
92
910
540
771
507
187
534
263
386
414
893
665
708
519
10
436
363
187
461
309
190
506
620
766
47
328
221
676
598
647
638
723
822
268
403
130
469
710
159
120
566
759
681
417
768
63
109
488
406
669
528
815
282
499
142
781
976
848
22
393
853
799
295
133
520
154
859
58
55
209
979
554
953
67
34
260
691
817
594
604
616
830
181
476
60
936
637
460
178
181
441
399
276
698
538
931
799
941
553
934
935
345
541
801
556
747
881
21
223
533
261
348
168
663
956
78
778
400
757
518
642
967
992
110
874
745
299
607
57
545
244
122
448
785
75
686
210
5
807
248
240
551
728
204
772
52
688
769
451
585
470
839
223
484
278
292
759
555
895
741
738
820
899
713
100
349
850
195
460
500
153
343
561
607
26
40
882
639
581
715
276
0
881
403
893
97
526
525
170
585
813
983
935
728
949
380
695
870
539
839
382
693
897
37
611
689
577
316
530
814
514
172
170
710
539
162
681
224
22
826
668
712
854
68
854
238
483
794
334
552
960
465
452
368
979
138
265
484
404
421
850
399
701
574
766
345
475
844
928
543
469
53
62
443
729
243
810
252
53
375
504
352
461
650
697
766
698
231
150
681
970
867
575
746
288
30
227
210
60
312
42
983
910
394
375
819
167
955
49
402
665
85
550
478
311
375
477
165
892
560
663
693
371
678
402
395
61
353
523
505
268
755
173
180
840
324
248
154
675
182
792
419
923
860
659
922
406
385
858
78
293
955
258
695
999
124
281
851
744
434
332
91
401
201
988
343
587
673
822
978
778
631
45
669
608
775
889
713
728
355
736
898
595
769
217
4
290
26
841
61
552
556
673
415
653
334
34
2
268
467
450
563
937
397
738
407
411
490
220
73
561
348
123
661
586
723
348
302
548
393
949
19
346
909
262
324
230
91
213
344
693
261
50
226
140
888
533
207
984
787
134
9
808
177
384
743
778
4
579
964
914
853
255
686
291
668
692
362
821
71
81
845
908
103
621
458
228
846
908
938
633
884
344
102
348
510
507
610
972
770
825
913
864
774
572
15
97
981
806
89
989
858
431
531
419
843
765
963
212
47
916
610
943
6
835
252
200
861
26
491
125
907
100
930
94
499
676
214
422
114
906
276
453
240
773
241
142
502
421
808
482
603
147
82
237
587
309
646
211
832
625
598
296
806
130
776
902
807
673
465
893
11
210
675
520
684
602
82
705
567
641
93
822
68
331
482
327
341
730
2
997
205
768
220
921
564
884
117
657
724
207
977
42
727
859
750
765
398
891
921
281
123
931
321
287
589
988
194
743
524
500
250
881
427
839
18
611
399
476
723
405
725
474
388
190
938
920
235
380
342
290
77
634
375
628
306
777
780
605
885
761
780
204
16
174
436
808
533
746
291
531
726
351
90
773
304
905
158
12
682
562
704
998
959
940
220
672
631
833
317
827
2
454
479
503
744
941
852
785
848
167
350
680
836
725
692
322
52
245
569
72
682
749
269
763
19
435
97
466
53
163
7
185
778
200
671
872
779
1
844
538
423
810
545
139
412
861
596
489
332
831
958
834
855
951
738
644
903
881
971
310
59
373
281
352
74
787
986
315
115
432
418
957
564
937
663
560
602
737
406
425
125
967
292
648
178
593
459
789
187
708
197
338
550
430
983
784
601
180
12
475
792
954
779
803
34
390
733
530
159
11
413
550
865
252
886
591
543
718
997
615
454
874
280
541
895
144
210
998
705
441
731
998
73
578
841
351
48
81
514
349
211
845
353
282
655
136
370
754
842
161
251
589
574
779
723
299
993
397
42
782
610
977
322
179
816
112
503
391
707
343
185
575
32
416
951
335
344
216
919
435
261
998
677
655
407
433
964
720
812
80
621
413
409
915
192
792
389
749
627
396
350
250
29
94
396
660
923
376
800
272
648
475
613
997
216
10
350
466
110
726
248
69
970
180
346
823
264
837
757
274
15
427
993
992
831
847
286
881
873
32
696
987
927
676
730
997
424
755
625
6
447
509
200
536
549
930
50
701
125
387
297
83
76
476
828
78
473
321
556
863
588
902
108
77
760
767
131
888
631
354
285
116
541
294
598
179
871
493
626
37
246
383
413
213
51
609
603
81
382
963
481
543
984
522
439
795
212
858
222
581
183
425
396
737
76
770
949
682
907
805
860
55
415
152
3
555
382
904
371
962
183
138
586
184
345
305
951
54
857
851
527
124
515
296
623
222
968
66
380
394
393
970
671
544
173
829
472
670
171
999
171
522
546
522
47
228
391
72
818
298
777
389
774
168
880
665
405
602
552
850
472
269
769
459
20
786
907
292
277
145
0
662
310
785
317
967
183
741
737
124
600
489
759
492
455
875
725
6
537
727
943
176
569
708
901
981
326
61
434
703
83
734
502
830
142
853
800
504
183
735
282
307
233
885
921
834
285
181
45
723
159
408
78
867
519
997
419
324
509
836
913
189
925
536
905
407
53
22
412
431
935
895
487
393
471
450
530
378
488
448
625
741
372
55
511
705
285
930
214
493
926
528
427
67
385
888
333
68
837
711
775
740
787
164
268
98
868
805
397
527
989
147
357
640
192
926
898
723
352
247
252
Output
true
Many kids* Validator
Input
2500 262
900
482
207
145
662
538
900
744
199
601
411
876
970
446
307
505
87
645
918
446
434
898
705
404
914
920
904
737
951
643
436
978
394
613
749
43
209
790
12
207
63
545
224
69
337
803
487
976
538
492
46
116
900
969
359
736
593
206
662
462
201
420
909
198
711
425
460
897
658
986
135
399
949
148
395
851
314
98
329
471
93
368
959
766
690
460
619
100
744
685
461
392
947
883
57
830
808
137
248
413
161
866
830
395
675
707
376
924
639
672
769
81
539
800
622
154
972
221
934
306
483
324
911
452
559
350
15
387
616
529
948
410
857
562
943
326
26
792
400
50
330
922
733
356
684
974
892
488
719
580
488
93
571
91
238
26
418
414
380
858
310
922
75
629
251
531
939
770
858
905
602
170
700
98
160
207
136
667
929
912
693
6
149
322
932
57
718
368
526
424
909
983
759
118
412
20
295
356
337
571
107
687
89
414
819
619
684
65
574
890
989
96
32
687
492
110
448
562
465
474
711
504
138
474
74
500
796
233
439
917
86
233
847
917
898
713
696
709
457
367
135
491
539
218
192
292
684
165
624
475
230
922
267
691
334
165
797
173
555
537
999
477
798
292
854
904
139
811
855
311
205
892
893
153
108
251
214
935
447
466
794
889
782
658
822
469
341
354
335
49
655
761
763
616
154
754
27
531
524
71
289
347
960
729
786
987
278
5
893
70
803
421
913
720
372
815
953
620
688
464
8
161
175
295
419
0
228
375
609
663
553
767
663
491
795
466
378
162
159
213
184
421
658
762
973
592
800
242
86
687
1
836
467
436
992
369
650
233
677
987
83
235
405
9
882
468
68
793
365
307
929
592
240
982
435
699
848
906
445
995
225
700
272
216
443
580
314
21
189
942
795
529
937
229
391
96
539
966
210
555
579
865
4
61
818
362
463
669
215
623
193
523
11
433
771
880
258
103
729
951
263
0
678
216
516
939
836
395
987
659
348
443
593
697
722
531
368
26
261
580
851
6
641
928
364
798
545
458
149
406
685
958
821
703
618
973
309
771
23
971
896
0
349
512
704
902
582
94
723
665
597
41
252
402
707
580
325
437
941
378
449
883
192
486
188
287
595
884
289
279
204
943
296
281
420
308
536
151
684
957
616
140
713
477
470
702
598
586
7
663
384
503
305
24
947
764
11
683
873
276
495
303
334
840
193
136
528
353
998
467
886
160
349
231
213
343
236
134
333
999
874
828
790
501
459
817
436
954
768
201
1
332
787
949
295
1
819
416
603
259
709
247
934
150
151
105
966
714
999
965
168
661
585
938
300
832
127
444
948
344
821
898
586
705
634
393
523
772
631
913
536
619
677
888
696
644
252
615
486
722
463
545
632
308
458
585
684
166
543
396
657
720
300
914
740
770
270
902
594
597
568
264
589
520
271
566
546
299
895
14
515
256
722
687
124
390
367
990
40
759
988
358
935
333
864
995
617
730
722
437
166
15
526
421
33
778
412
456
519
879
253
163
511
256
192
581
647
873
472
492
664
542
230
789
653
677
600
188
345
657
456
705
472
968
939
931
754
577
475
349
418
241
514
335
980
868
320
253
858
400
524
52
410
821
58
593
287
502
779
186
801
129
982
688
18
874
79
500
119
523
752
95
851
702
528
912
958
114
173
265
260
915
70
157
134
761
491
646
172
255
993
897
412
883
150
140
960
590
910
447
342
715
939
518
975
777
590
811
13
122
945
417
875
804
393
225
801
737
198
68
841
968
203
165
800
697
207
208
2
746
895
916
381
944
16
753
868
637
909
543
349
896
557
746
985
45
517
783
752
680
964
289
31
338
42
646
666
775
708
335
629
990
335
957
165
206
46
288
430
643
220
109
879
454
784
940
689
529
191
295
724
560
904
975
387
750
411
628
844
148
887
784
981
337
347
734
162
564
520
943
987
688
400
831
187
733
152
387
371
646
852
809
242
263
679
253
571
100
738
858
26
134
170
31
10
706
332
572
173
63
526
122
837
912
51
788
389
775
779
681
601
352
220
829
435
325
905
106
449
335
7
267
569
265
835
650
691
299
701
764
773
203
884
17
5
500
398
444
223
83
408
141
649
108
132
48
541
774
17
655
912
163
810
356
295
835
75
114
500
637
507
363
994
497
669
104
448
305
987
753
902
568
949
67
799
137
366
325
138
628
119
983
516
512
493
850
89
684
419
636
219
139
873
510
632
339
120
198
946
330
65
134
891
876
607
979
55
768
253
621
237
915
893
505
862
594
769
684
381
595
698
856
313
857
194
427
256
730
875
416
169
366
740
788
647
632
700
479
808
715
237
66
156
185
509
387
953
967
83
927
442
224
536
943
896
946
51
623
726
783
132
952
387
457
746
413
250
486
581
362
470
417
939
477
426
175
310
48
399
720
92
784
332
729
938
183
388
839
576
392
575
660
79
599
262
840
834
18
158
378
874
999
338
869
554
644
573
538
753
630
513
170
511
693
453
246
994
993
894
9
539
956
258
232
964
853
645
71
876
784
521
960
311
833
833
732
449
498
293
574
703
805
243
211
200
592
688
828
108
416
502
356
661
637
84
288
20
746
30
427
500
171
455
310
966
912
600
791
898
1
532
110
815
904
374
370
996
459
548
586
766
751
959
236
660
92
989
173
15
553
43
957
716
623
908
896
221
712
214
127
820
822
521
918
632
700
105
307
426
408
525
10
893
67
387
505
545
932
316
299
160
387
230
570
31
349
163
649
331
426
783
277
284
704
2
360
231
396
665
129
405
33
569
381
333
259
218
827
437
991
803
211
223
367
696
182
910
533
89
803
224
660
57
969
646
496
782
926
497
893
981
402
885
468
805
726
323
142
136
596
978
165
887
979
327
999
655
321
155
637
18
672
357
269
850
275
966
695
185
690
598
813
129
5
824
325
687
36
260
303
538
442
608
473
398
868
800
65
810
951
346
491
577
376
629
226
328
762
975
829
773
805
721
457
27
688
621
254
742
897
62
350
558
636
670
674
188
356
413
430
719
754
200
741
571
173
403
806
366
901
810
75
578
240
592
291
815
87
752
531
209
574
577
704
192
614
867
287
386
367
125
860
222
448
109
885
986
646
572
524
542
818
176
768
328
504
872
713
377
657
386
918
223
695
494
978
810
706
417
373
805
170
141
758
324
934
489
743
695
254
306
811
820
114
106
63
636
49
822
172
46
755
520
655
255
135
946
583
365
841
799
599
223
830
443
996
702
531
558
578
534
439
626
227
834
821
100
384
128
859
783
789
157
512
935
118
775
154
876
665
810
834
776
152
495
950
355
476
930
462
430
288
366
266
4
915
981
875
104
147
573
95
914
735
300
648
231
745
197
715
507
627
196
376
703
998
298
109
323
31
886
215
393
869
378
582
999
814
100
783
561
395
133
82
621
112
165
559
842
432
984
966
338
596
987
772
137
889
518
391
769
833
26
287
854
193
555
616
3
603
288
961
340
621
575
776
249
448
679
936
187
258
756
0
23
646
308
233
568
471
930
453
950
463
598
123
423
896
452
535
962
677
995
506
151
296
600
590
260
46
579
164
382
371
632
788
503
946
315
735
603
997
890
57
103
533
479
858
331
302
53
168
30
953
320
82
937
508
215
646
444
734
868
440
556
242
592
870
27
813
98
582
752
281
702
48
491
169
727
754
14
902
376
713
548
654
37
562
228
922
547
183
855
157
817
549
817
418
129
513
667
420
395
950
162
248
609
80
60
361
612
629
134
373
927
761
710
857
337
267
379
24
251
701
693
569
785
690
464
678
455
662
414
195
139
575
409
270
50
509
639
981
295
991
919
511
125
988
625
567
70
828
863
554
608
704
903
139
131
639
359
441
834
603
51
586
851
197
369
438
968
808
200
723
755
110
552
702
875
542
905
519
36
746
714
502
598
86
335
123
71
610
421
14
472
991
575
368
193
515
138
49
190
347
70
715
96
295
143
887
284
345
210
788
890
637
563
210
849
753
263
761
382
76
70
517
385
388
940
465
795
987
681
298
860
211
762
370
569
894
67
265
750
909
64
108
544
956
362
76
126
835
833
653
743
638
157
988
82
83
505
579
869
442
547
311
471
4
374
29
813
746
394
487
127
737
605
949
766
841
570
710
255
250
205
694
600
3
686
31
237
459
430
393
781
598
222
342
152
785
212
630
227
749
161
824
922
606
846
435
419
894
444
166
148
774
320
649
533
565
574
898
569
84
851
746
573
706
11
370
637
943
67
175
107
585
190
25
432
988
636
606
451
464
396
786
242
337
556
312
271
766
967
135
480
778
345
724
486
363
809
868
801
242
537
541
433
925
687
325
751
417
401
524
398
961
545
541
679
573
514
187
19
825
637
743
424
745
594
606
31
678
674
347
876
936
579
441
658
912
666
385
394
944
83
450
25
812
899
801
933
396
271
657
931
959
367
837
358
213
492
303
196
266
927
867
349
670
801
206
216
270
212
960
406
285
132
240
908
487
218
502
804
884
795
508
479
345
214
970
376
159
633
392
451
825
127
113
1
373
100
172
37
720
658
337
29
325
308
374
288
399
839
436
280
260
744
209
684
119
912
496
97
423
294
41
396
13
277
425
14
192
601
267
456
95
890
581
233
20
849
237
492
328
120
618
27
915
345
995
825
890
232
340
953
685
558
316
34
312
526
450
368
949
874
66
11
856
739
35
67
636
587
305
595
909
878
678
836
381
365
427
271
514
296
14
17
274
745
600
33
436
810
907
817
92
706
747
694
724
145
148
65
394
564
500
828
350
160
442
319
228
437
4
651
495
810
530
882
602
250
564
268
839
935
38
901
4
323
657
4
719
142
136
789
778
912
841
58
624
405
539
31
990
791
465
341
904
136
46
228
291
834
34
919
29
587
428
215
299
301
448
651
929
342
886
698
155
927
654
524
321
658
87
564
263
994
948
784
188
410
865
872
223
795
754
516
141
575
799
144
989
287
552
122
249
554
238
774
120
199
312
411
820
236
715
22
656
30
354
249
847
19
117
444
734
793
686
223
714
575
430
714
727
341
184
552
815
108
4
587
975
307
827
176
347
529
310
429
435
636
183
496
49
450
567
460
847
137
512
412
273
961
890
30
374
435
7
838
509
7
465
519
630
402
507
26
5
801
914
490
815
601
918
407
650
139
641
200
359
455
700
824
979
739
809
437
54
882
869
484
170
880
271
119
91
30
619
408
669
967
569
416
658
340
958
898
793
63
837
228
936
492
735
365
866
447
314
106
850
250
957
5
456
99
391
816
258
734
779
416
44
610
648
854
382
638
295
421
297
395
791
816
960
816
743
845
382
493
899
83
893
695
675
276
805
423
904
129
576
954
977
840
396
183
246
623
658
419
685
171
130
571
674
276
688
602
582
276
58
934
938
756
904
978
43
433
518
611
896
825
125
192
60
42
463
343
655
538
267
291
124
435
497
886
140
194
358
488
786
907
895
562
570
335
452
492
165
320
620
167
8
175
399
568
915
476
49
980
131
956
781
24
876
213
388
573
870
136
497
981
633
821
429
224
216
399
647
402
861
205
552
700
200
423
912
16
923
961
914
602
762
715
852
34
715
309
882
272
485
802
719
190
996
832
743
285
571
754
857
714
388
21
581
375
651
519
411
380
467
4
646
233
567
552
214
547
642
997
237
52
Output
false
Big range Test
Input
100 10
182017297
1725265419
320787810
486403294
2067519988
2114624586
138040802
554597868
1603439819
1160844367
798244823
1616054428
643596701
304870668
166772199
305527607
1508583986
1307028887
311081828
1497225097
921712400
582524915
803526174
1698810057
661997732
2126110942
1980351803
1007285457
464430928
443150327
1300067447
780882372
715986491
365575842
2011247623
824165259
1038312957
333820761
885106803
333014455
1414674432
676833272
1315568502
581265666
863603997
228864659
1728198258
1657381578
616425799
1623075258
1349232354
2088943734
1467477216
33582832
1244307490
437841717
2047156704
1664904703
1286691501
549099249
276974587
1772877818
2007263498
1194916650
133040862
852362186
838040963
1732210015
1180465854
1023716188
157642769
1604056003
1265723481
596370424
534912914
1113810384
1896341006
1105329116
405561078
425860973
281566228
1459281957
892547751
20712872
927232237
604199992
945021761
1327160866
2106382537
695142668
883352013
1412025823
1570208344
84651503
664424010
1559101316
954338117
1456211636
935797839
767157078
604061193
Output
false
Big range* Validator
Input
100 50
1095529495
59434620
1353863712
1946395065
369935309
457495911
1962080716
920891115
778573488
1192583948
226918855
491283284
241429846
784224626
709792327
779245151
1475781300
1491327018
191900522
1069635504
1701230554
1413523222
537032746
1543229629
76964633
546932235
363970554
692792874
623173609
1710782843
1955999152
111676928
1799279496
1687351610
890673546
1505365092
2021690052
2074260704
642723785
1447102977
769479069
1373898032
1830703160
1603501221
2032679157
1764709746
21960800
1664035189
183670526
1363471417
1020375091
689089873
522726526
440766380
230732976
1528354580
425651336
1373018045
357871960
1202075303
771814070
1605234918
1163228259
2070496460
898621845
964838055
1770015789
2029642689
1472059060
240650567
858421475
1853052515
1722893728
1605009933
97349463
2107640042
1309233266
1235164550
1716889254
1350319437
827115483
2080305704
1680665198
608534144
1996677043
876603108
1592102919
795425801
327528075
1263939349
125732688
1133856274
718530381
316622704
1564270445
75718769
592099578
701840678
334456863
164412497
2146815777
Output
true
Many kids and big range Test
Input
950 790
1017832480
737217556
737951589
598152842
1658685214
1998977640
599736714
1632592554
815395926
1875240268
1589343567
964198371
969015736
2035442474
1377194909
1952738154
158416525
1683001117
771138497
599229987
99940963
731394790
1790724245
1946955489
1240893478
1422369704
813468548
207926379
16515343
1393548416
638371655
1720640437
225730335
1944656159
968077586
2046172572
1206985535
860205353
227644459
1638374707
260264688
1601436800
1459466324
1234123070
1090441344
960264038
495147642
669660131
798215691
1195293961
608566991
1819310725
2141337486
827409387
988767609
2081133810
1221773513
707256750
519846460
2132454586
763211202
471894542
1443333869
1498662809
1391487249
2063173938
152467517
1592944280
748895343
1648803877
90626294
1876629581
1275027765
131615314
1226319527
1179577345
297432868
1702411254
1374597896
1052072350
98759959
2138961388
22857292
1798565057
323139003
1993103168
1416368828
1265721586
2038786912
1364357600
1904829783
433834278
952470418
1552900494
1422410562
570977017
1276625827
1861934327
1276093189
1481158130
556246484
1677260565
645095757
358664500
1602749458
53091688
184113258
1203792668
1431177293
1706439999
1077359254
1193525589
1580655939
480290215
23969816
1435291575
1977665052
1928115865
1776913155
2135172053
1513031174
1889666001
515409786
35434614
1983615243
1033434722
1425008659
1651972782
1973235629
881768786
1616087247
137456948
1516492850
503858363
1233817298
200706243
241293132
1467518691
1671418439
238271982
111575946
667457736
64146073
1265399309
15600531
738369350
1941279309
1713630561
1191825404
2106409971
1306809108
108299097
2114374435
100709522
1676028464
35206595
406021589
2094933793
1354015614
1538061151
1649291444
1404241880
1852450666
2125721805
2001113546
1329708850
695836468
2051799407
41338218
730430281
1367905473
1531203385
897652455
21085289
1510862251
589825195
845833418
1021672269
1982378680
1309069472
324074657
1891604272
1338001287
798423629
1260313690
349241064
122356281
116117863
816286222
484746253
1253840871
911038648
1280447464
1006538851
1149322845
1168859717
708598568
2120748817
674520594
1017826804
15472756
507813296
674144977
486972882
2042993535
126290391
1557693488
1601880081
382055210
1504263822
471027031
1136778982
276000228
1065118616
147789703
1149718007
972041585
958727056
240755745
509308734
675108162
572124144
291951055
204298076
1527777451
81355502
1982649351
512973912
1311078333
1726692072
2060699976
945430070
603815999
1968849792
934181008
1617318901
398189282
88766701
1569966705
687573579
1680700613
775590177
1892232321
547747014
828717701
1061290687
414087368
1184322413
83838402
603871872
1418203786
327918733
539734175
1384474807
13115966
911284098
413297277
214913327
1301753546
400033377
298369349
707339734
99373855
1813964193
155343025
1641935681
1588729525
382168592
459399494
234413936
1015919094
1114734445
1070226481
1760160350
399865340
20167647
1760464787
1908013290
1868629389
1063081111
621237784
1705761119
894048486
1908151490
2006089240
1403152831
110375160
1230707584
1736996075
43687818
683206879
870050964
913091726
1749577845
77307003
864865656
1140751794
72770344
414151919
687614649
1069251197
530900614
1187736420
1642489069
112444531
1432575741
1917070559
482073108
509578093
1134723372
2093993782
1020188363
862863343
687905140
480320894
63607029
1049363150
1935579774
585163983
1434164463
197976930
1961730567
245871165
1099671375
445088651
271203456
1280093245
1671202761
1485914929
1367825359
527637876
2127569845
1850815108
240848862
635183085
489225942
2088218008
4443852
1370990229
1976270611
1547609139
1903069987
1610393783
1014776499
830367573
336537353
963714703
1123833658
188561873
572218475
1147658253
370165639
594448569
1635278417
1633122886
1270049061
795900440
1253654311
1290061550
886851578
992383760
570561244
1371293991
959909748
699083484
1071951311
1539397734
2138923551
320559243
972921080
691229809
824272461
749816874
810167210
1715847175
703184011
197009757
847326582
1477650834
284120367
2021953869
1299651419
597801789
1836750976
108856122
1269698286
1948386022
1192663081
1829116491
2084311974
352184047
371560656
502901267
2023718712
2130350021
707387408
2010059393
1511720167
1191636617
1913294330
1538576639
833583482
720328020
809518283
2036773268
1691022586
1223503888
465281977
810609256
1536020870
1883674731
1165834376
956797431
1450937941
558515969
1461038826
163220104
145640806
896560068
663762744
471759320
1547479621
1975714667
947668457
264193264
2137190982
579787879
1014680631
1359013155
2064437022
877898483
1904211257
1603557595
387611605
359422556
1425460294
668809761
2058909305
287103441
1332131247
206235768
1673880506
208168089
41897258
1601967202
1031705323
1622434600
1399741122
1258374488
1565628684
346451613
1067671483
786724344
1653909861
659910158
1982911935
1240339812
1749574097
1392647160
1111592843
1789821877
111459713
212170310
1728175802
1416585503
1199822786
1991592136
1446228894
89955176
779262577
1779478050
1105294173
900745170
539475350
973164726
628519802
1389034129
920281576
1711907718
183867805
443605249
1516855589
923914481
366456944
1022266604
312944045
1491437651
1870068914
1948792388
599362069
1383308029
699828938
1846433952
1135396814
144727415
404158701
17108130
1049935040
260766712
809223279
689875954
1877571554
993902439
1921145165
1458202621
677689294
371957164
636473266
1236369870
1087133173
358953582
1224879400
1879125231
734448865
1870226490
2028955746
398776097
1888439974
1724639687
1924693368
1726577654
369341685
636670711
985165492
953868049
1644460737
814187985
2019130448
507058336
1279555361
1799121091
1875309260
853318449
163869461
148835064
1526048557
1507908709
64190430
545721630
2116829299
1175828468
931378786
412533028
1633776509
1861865617
839228797
1076413905
2136359176
1647357837
1997284202
339180214
705089955
474221408
164461713
38319858
1774378038
1088637426
60175442
1384155387
1560058390
434981379
1664281514
1780164865
894854110
1898688519
171370776
320461484
41581760
436159873
729273553
1240498121
434767003
1443334404
1398784510
2059238417
2086349109
1826286867
1396246566
1705871202
2009700473
1124193835
53340430
360275317
1374360017
1895024020
1602492298
1108150001
242262965
2017171426
1732377835
738309463
2026064280
2077089638
935441858
1009437899
377659915
926547489
1982493327
1916744686
1440917820
551331798
387440363
2069137755
1939049469
1430537028
363343104
1367947273
969677943
1627612881
1872834070
89845483
81914263
254975186
266763124
1101573298
1714702554
1785274780
1556424305
916589465
741287555
1316278966
482372394
753091864
1877460985
811523795
1485612163
2001767658
1113887228
1485257561
2046697125
2020757024
2060026512
1738279574
589575185
142759780
1247360926
788330916
481459945
396450326
1771210652
144833331
1937249053
1197638839
1825672454
2082919660
807403394
1963462257
2075340039
1448305444
212684982
483445287
1869477693
1452804664
1276139679
1665601113
1079277168
1679525075
1159249827
1293703894
742532223
273530454
45456252
857649980
1664210296
1079101489
169038259
1435729437
1826245449
584704459
1822712026
875856836
1913990991
1751411648
149368426
2067443430
912773402
1528907649
320133481
1378061598
1918621054
383361984
622731387
301205066
1202757466
1765081664
798149174
977094143
577097317
1073346482
1295269863
382579445
544364318
2020591699
1270447518
570107040
603120789
161401667
85628080
1804699447
941831434
482924534
395353977
1718590425
1558654641
1589824542
120449759
1851478358
1598217025
1474115109
415284649
1053901160
625081462
290068237
15600316
1008262077
1525174764
2028022741
1074432893
506049353
1337493774
1979822404
445094165
1804266465
98372374
1873845763
513632358
1481067449
333676974
1925683884
1030947816
570612067
684299078
503896953
1436364506
1619209182
1407103047
336389083
373342779
1956904782
578644067
621113184
285415729
766304201
1373979997
697595179
632299119
2104939045
2075703497
1034708758
1475001818
503752457
670708274
942566840
211554040
959205762
997770525
1111770474
41825710
1942795990
995036272
33405608
296268781
116315265
1395848420
740258382
2077396613
1729696376
864961933
1729621107
984475498
387830916
1993121930
472949058
1363095819
749049284
228961719
75387752
243686604
1036704139
720568126
804182001
1444597421
2062139417
1365371762
774918477
2022018141
1411524940
324390388
1807902862
1715521948
455334423
469318493
1323016842
1670737154
1730042079
331459392
1902633254
2066458387
1390172218
1153179034
750308964
43295805
660308700
62571488
929773894
280489660
590567398
821343627
1440549367
858061291
701478411
1735452223
426822057
240260070
761207265
1595309579
1321999685
862496727
1417442055
465336493
817043299
2001715647
1708033224
504361586
688857806
21776736
953407669
106884777
67351886
2055071734
44763632
843422427
925214943
2062896179
156132164
2813637
61014397
1232442045
485610119
1922460716
1991024775
298376244
1199116556
1986059121
111193958
1859938535
188144769
1403393171
1606707496
1809015151
61336900
1065666626
177756632
1218731085
148376700
1671862978
965105125
1405055932
452682880
521199901
2076310863
136882012
872615519
1722740819
661928974
357342504
1812479506
116619758
1297069152
1107310116
192546984
1415712595
693903520
1712431458
2002051317
569938421
1329796607
1730633182
709791006
2003890923
213111254
363420505
1143110251
1553371145
1128723131
763067065
1415996868
781257386
733105013
1654089476
291223720
441181919
1096154694
2003653757
1797617431
253645943
1790925709
776852087
1896236851
1464552844
825816278
938957975
2125068557
213510366
1485295669
1632611992
558048010
801502439
1267648757
1811169191
224413760
1157347393
2092365001
1371211428
343945720
2146496225
798038535
1389880491
855361914
1990252142
1490628015
1411998954
1283364424
1017084975
416279441
2046958384
207358935
1025450631
1587126082
1801363379
200410654
1938096947
1336646664
1878306326
808631378
703139547
821122029
997222297
1677627292
1459610486
1076264445
1689941657
893158219
1933811003
1123191148
1283173607
2115831257
1657166155
857414729
483639212
297992812
Output
true
Many kids and big range* Validator
Input
950 434
1179567342
1504022188
844162373
1271041419
1678758316
61419963
757935583
1114988481
1525535150
467747060
2048646966
186184882
1908524278
443873978
26724354
148876587
1346094789
1219343657
270271990
890984535
2135795214
1723353441
1690568862
1262813195
1555050390
1847082791
1374214033
1386120654
878121494
1780871554
1363632759
985800764
892156569
94622541
1266720062
2038468342
1768320078
747937586
1355135229
848975640
1188004879
1600830296
75581841
9132136
724574326
520982588
445865390
469241797
617764354
2079795228
2012460359
397569208
249157713
1158601411
80894370
1648094828
1808925769
665533772
1191364906
2039875828
1303202701
406558045
891415702
499916093
52667951
1048516525
999437977
15619827
984947516
589611959
265663768
884449990
1431756998
111900649
540723584
1186901159
138370748
1420451808
958484521
1099557418
285917384
1347775688
54421092
1981829149
425899624
413179032
1478568569
1150730279
390956378
2112032055
1533107937
513513671
836890689
1309079974
1709549309
1772792281
1363867561
1332900479
520390905
2129210294
512557606
589146891
875489807
1627502876
1933080334
480522588
229282689
1113098017
1715635364
972881202
1963927433
190596439
2073747885
113665815
1549256287
1971388275
511170609
1729640959
1154228985
412272842
1059148339
1097501059
1209279732
614562339
1356837292
1756062288
1024807026
1143747031
2133836198
1093927225
1719643919
832401870
257893617
80176914
1522700108
156922152
1809669394
1244276148
2018289042
219172946
1679864473
883915400
1078375353
498277531
2002656978
1522305533
1458673231
1568675537
1709893478
1986696574
1429326274
1986569403
1689843300
706515995
1717569112
1769649539
109416481
1046240289
760328740
947903497
1224391000
1970898352
2017016390
780176616
1258733039
738217636
1392578555
82462888
1788933713
1334480881
1652318582
1952565497
518763037
1144880746
626684882
1888697416
838893450
1777057724
2121389833
509185133
1030451869
426851827
712128662
1459165124
1873711652
610663129
741740023
450988685
1036196714
207943271
858622850
2104664483
848220127
2142251356
1393109146
1880517377
1369838267
2076437267
835901043
574528671
1931828586
2025071179
1848742389
1560739874
344878812
442852986
1073866760
1313367714
1651559134
1706226684
1026791580
1514641449
655330886
1619035559
509871656
669643454
14703482
266337822
710897619
1158228802
1150489250
1005435832
178918884
419322006
1556391369
378995374
1664394555
526945948
1074694378
713313391
1250828607
2008570965
1257035033
146852552
431531783
1064545953
1527619746
331886062
261038236
1361282565
516289439
1059944302
1029594028
100009969
1441272307
506548184
89490788
1513204177
1330872909
1894647766
302764172
1588535054
1107760476
1359145456
1345641913
478851589
523887099
1254338516
327767772
567778488
289636823
2011589674
383427744
1389189816
23045032
1927737986
1865650994
1349043863
1431291988
192571762
1969539983
644837822
469732907
57148435
430037935
480623707
1831878156
1766260622
183912852
1439834519
1992245660
1389443186
1776126588
1153289858
1800319630
393737136
1067523020
681203093
1674110500
553704496
272815171
1460831960
748840565
319421200
2070713722
259289756
1200358859
373146389
2101155611
642649666
560842112
1059391264
1130132736
1661819132
129521617
1102607965
607766119
573494915
955808758
2100212038
1076212498
2089338831
1510740888
1438419859
1287239810
1545993026
1694573665
650180845
1350160752
1056732779
1649831877
99198270
1601079132
372392453
1553722910
1847327014
1618879041
501038791
1177306263
1845760358
1078252677
724736672
928009951
556129112
641156895
578552222
19524697
592690968
1836886638
931262839
1051479165
1250844191
2097482361
1193187021
839098664
107002466
312490371
716506965
1697159641
1177768619
368275452
635121575
2119949862
1211543434
479282222
497182931
1945481810
259154732
1375420811
1624484857
259973876
1580558588
900746034
1793205881
1692239105
1328635569
1871261571
68360261
1156330859
612834452
670928640
1444714307
1750833945
279942534
1996652654
167289037
439318832
2127796672
158066488
573534333
1830286295
310785576
1224388937
490729247
418052186
1612772645
506088647
1821281948
1357181864
33387737
311823909
706688282
564481241
296953747
727929785
782084663
885353661
1855619617
1448990706
118984072
269738301
1368216087
1212509143
20446425
2046390159
787113146
839704238
561771975
1723478071
1595822057
1400692645
2119105347
2143424184
1493742148
1889758474
837868296
616471228
1344767186
909085178
424150442
394640874
360302537
742072826
1258239535
155991980
671093739
1284435188
739142655
984441552
1835474410
465160014
1952778415
574448162
212800174
1954117118
1121715598
914184258
1554587823
1698983965
289137131
678538844
1765276588
962705866
1016031706
254400184
1584785063
1586060220
38647830
411086067
1741794244
783893535
1304110861
1979638344
388899200
702896781
422626620
849686793
441753114
304363231
324650008
1902784240
2130492266
916582779
1833122601
514208448
537807064
1621329519
1824604450
159484473
743217295
1477494255
1033215476
1628987774
164032068
452138200
831611428
212770042
1720774322
1146278561
1388901691
1377637412
28822746
909944953
462440052
1774024243
1229197264
992342081
1807730979
1285634207
2070132067
1661837753
1736987514
1349612391
1760590039
112409136
1774568337
1805767661
577153116
2139106391
1803881036
1759828671
764098678
2122479200
559457055
1197142668
1095224449
1187644591
1583899397
1029202439
1521964725
2123555569
1886033162
1519053414
1716854847
1286345833
1749117622
2084850338
1012974954
571594855
676748472
1200680923
572211290
994424888
1997688797
1013355620
1380803893
187358375
693842566
1550199919
1350223521
392539296
710158399
1811503217
1638726126
1899265464
196310410
881649159
1511321039
278437868
1000027286
749569967
1183727211
169798910
304278931
542979982
782871644
2019684875
982900367
1623692111
830444906
1375420681
1438321852
420594723
461382966
1021236954
1620398014
457218121
436640885
1442254840
1794020989
1361118533
666511594
1283873345
1761586698
940843551
921627900
1932538638
296097424
2084370832
1648128876
1395065906
87380761
1553883022
1452611490
1519250638
2035930456
1511245961
1989255327
2133403142
827599962
1234474656
1736603740
1264440704
1080697332
1087728309
631715275
690361785
514627175
832925785
1288510431
1436626296
1252092125
1074880638
2040040807
922447803
1924048895
1553863644
779539099
1744194693
1640325359
1600032710
1259676450
1560979845
1775450608
1398229436
1397653166
529975723
1791394375
300603611
984394182
643280458
1089294739
869195008
1732859991
633378595
2118042414
639701992
890656194
1310705383
909463524
1758563404
1038362908
2029788939
1304607274
11416566
1005509854
1720850591
401200557
809167435
1093068526
1406580676
686065637
25121915
526174453
1408220765
494214947
1390221616
1081863971
1206706168
712098444
1858263828
2034126341
889225863
1275416185
1749300122
1829682004
1614682268
471650354
982573890
1820707468
611296236
740077988
1553871890
671638830
275443412
334794565
2143505050
397846069
2147256613
1558208785
624483550
966732531
1928525986
1527090635
325934772
637705857
2129898907
485042509
1631509979
1794972967
985506208
1804058506
1059910802
85141478
807626226
1811377504
1518321122
367857797
1261588783
14966775
592511157
331508103
1331868950
258551683
1325641490
1078857745
958908424
1979723168
55445562
1815717310
1187071340
1133824965
795180571
1758487279
1454280435
1500357821
83395529
713297658
423475071
1420180018
234192381
1021707961
1590298488
153955623
505073588
566075037
1770513898
444925813
1457936894
2111086124
1575627019
1332248487
1900741391
1449631434
1534078639
1456185607
1918135460
780193873
814033613
114317668
391921607
1361194119
1270540170
1487698334
1708093908
535552494
927799511
1245217489
84260087
1174617591
49106439
1769272701
503752579
371586004
720636305
57645557
482104748
2132563929
146258076
779700766
1276584879
2062013855
1432697955
867348017
810149457
1634127791
2134824248
1845430907
1277338380
1284841468
2131781895
2029392452
1922983103
387168004
1540429330
187529125
856647523
625609647
1836017086
1308683287
1993481375
1359704434
8556515
1861185735
586826622
2103936979
1157202264
1526676475
1092474957
523822243
1565646376
2089844281
225569848
377648572
169401589
318116865
232208342
1783145699
57890082
312659526
768717091
1801920530
1448295731
805132411
379999243
941887718
99970408
514775871
1399866346
1219727594
652296980
1646633554
1459434088
35732703
907397917
1134534098
1999996876
739053560
1570303032
1699195774
1874042095
345998933
611183577
562695744
726848058
997603844
584593132
464880082
193599850
979231880
1781622025
1738557053
380733613
71758543
1827786621
1892572576
1612552038
1720217391
872385812
217210638
1993905156
1205153753
1074768029
464492996
794638335
242514069
2106664172
1114265670
1997608210
891137423
102455578
156265135
589299394
1745247436
1286892006
1673316441
1731534361
1165817851
360176751
54027877
165794028
2052044144
21025973
1300407302
1083508065
259814143
1653941828
1684392163
1968995374
1159780821
1896331080
1300293279
398486403
284847786
2145727153
531709088
314574711
652485202
1915638568
1918977196
1561777635
174893659
200553341
129831160
671132163
1439957549
1058850426
788063827
109588247
862783523
632085783
1425937009
814312392
314809240
68368868
883916977
1194022071
371473795
1477231088
688544342
108326029
1089628211
539332012
639571640
1293542989
1127870172
1538601690
8887512
1367688863
829745905
545081131
1746031088
1718948779
1720325135
1378035841
1493285453
454942845
1131414417
213026968
995326464
60461663
151494304
707542464
659083884
1435698888
683696186
457475541
457204720
108117248
1986789340
2044161791
1192335621
958189942
697906630
1856768259
1331103412
275464849
1876741201
1870584417
1878009665
1160999582
141081182
1433709483
929873345
312265060
431940750
121667276
504858275
1277528099
509519253
566000291
152704785
1718210507
314971559
1327648536
1848581171
1640362722
779696348
1306829764
1710370357
1153690638
62415473
1035354854
590406249
1714677267
520569688
1754575964
882926289
117139352
1755262258
250413664
Output
false
Many collisions Test
Input
650 615
70114568
459651902
70114568
1074967523
1886979509
937801816
2104888785
45913618
561414880
333266678
1835690888
1560189123
70114568
16363298
750746850
1169665540
54577964
1734142382
1764062198
1707777800
1835690888
1536858964
1074967523
1543466384
567455811
682822212
1887108653
1062064025
615848057
953528422
1140797472
1267671464
1965262884
2011467270
945602250
1215967509
1274946569
164143759
903134670
1396915246
2068157152
2024553580
1359892472
1910736411
1333621790
1927854485
344998715
386698250
82059957
1365676028
123321403
1450440841
339373518
937801816
376314530
124779057
476346882
718729064
1571494795
1512391057
263166334
297125387
931671976
1141773598
1302110471
2106587252
103925468
332300107
764212211
1317268061
1879287605
2044948004
958023204
886573353
679147954
868631976
1814150187
408001643
1471867540
54577964
1533544529
1924245625
1785626379
93992162
965661026
134010143
260719079
1491744910
1982684280
1039174696
2012761564
1885456722
1558097929
1963490735
1845940446
1583437807
1452444439
1549523568
566890549
1421320102
449751028
947882033
1394093670
476782598
454297367
1793033395
1451095912
1924084714
1087541623
449875837
813582262
235325605
1866209713
1217379132
1889731891
1829638044
725931337
739068445
1446978931
523357522
1590898548
1974880420
1634190013
1372009171
966636880
234159180
477987140
514814778
1857713188
1708759395
185058527
694627202
1541494457
1989399571
898517219
581292547
1427801465
1473141851
983219683
511645272
1558827052
1672892738
547983669
572506109
1180721043
1167896055
212998912
1232765496
1458005256
1752946549
517869164
817398764
1687414772
1780293341
2098393638
62093488
577971085
140426915
1655106363
942577032
1878569017
2109450072
161732106
1457213989
1744829571
1222456224
1021892326
1111324164
1673686603
70114568
294767327
137926983
1001653829
533797918
1176429608
141727108
1835690888
1743019622
712215393
285079209
54577964
580922111
7927532
1974561681
1758329920
1483906708
1841257250
1982335881
1199737064
1937243186
1716173258
1332346876
520268661
729551435
1306145087
1972444546
1439242753
541204863
636333406
1282815746
1074967523
1651629250
1306059622
1164562365
1000074574
1947431378
1320927985
1831456886
778323140
809443346
2018393387
1458220557
1732293099
899262649
820343936
273662943
488269360
1377345806
1315983951
1441296285
1733708304
1882988884
206102999
35462399
438641248
1946070034
1834951266
1015362815
1939256688
20907150
924159696
856006456
1096284906
796827018
778074523
1279919885
54577964
1962560911
813661107
120661657
1931820109
732725838
1138438703
2136469916
2125305511
1927089289
1650061961
1706052723
1177183120
259275075
880383432
2011449904
1942822585
937801816
2066877891
235144513
195419307
1693846886
2117239392
1517019866
1449822259
130787695
590327725
659347064
782401130
465136351
1579620190
1816201329
128770192
876297637
471713628
1529040743
1599294356
713181137
961972978
562171511
110000579
1257124518
1524992902
1879878902
686588688
522281788
54577964
484775192
939875566
555252334
132656294
1463783305
1188130643
54577964
2032012532
329704159
625423472
1295473575
618601357
1397648209
1636404048
162796707
806937647
222514227
43544994
1390851514
1514637772
1299913591
44275761
1575532320
174293318
149314155
524809233
552847385
1572804352
2135965622
369845567
245338240
1076085125
1436636902
486913028
548772032
657207877
703750551
2067434493
1150881263
1469172881
1636460105
1074967523
413490190
943477884
1429794613
1433279020
1792178596
1943740285
2061474820
956492874
1214302701
1192016594
1074967523
508691710
719559983
654437079
1368120396
1720670168
2131293753
1623485832
1625964681
765454727
1617639225
1685182173
315853545
19563531
2117190364
1974571597
2072679598
419382465
168151001
1835690888
487236072
532177176
1496676393
1652782099
937801816
430083645
233492477
1425927260
402442836
2111414683
1233948973
1160296686
937801816
54577964
1924711681
241342619
147113763
70114568
570216445
1294567199
1995343908
1722226890
852473442
327118781
1899837133
263089660
660099317
318446756
1552298673
1964408112
326889883
1966868976
775153818
1777159931
402017308
2033569716
140380437
978067433
12113525
1825411719
1478512917
2085436378
1582917667
119367844
1840528382
217280810
1296852842
525334192
559031400
726611712
1565619012
548774000
734732628
1863221066
2145237631
866633087
187204000
1639279163
1713223685
1133108767
1586178201
1489737760
2108975326
1624730201
26718723
1383869976
1997043763
1786713120
1935434930
466291541
1115317852
1462341776
90190959
465605516
500607690
692106389
875780775
1491878744
467458691
1836421109
1913508000
986462460
115407450
1356440343
10095428
1203975371
419569946
1392872464
1401454748
1441674714
220714418
1219237187
1253587614
1352052047
791397432
670390942
764260427
718496716
1463306327
617918906
336013914
1470417336
1234371523
2051722371
993204664
1925774080
1050257514
54577964
782674270
1239485375
2079386271
131557679
204906462
54577964
178276323
1539856527
195834729
1278248089
2140248280
1214278762
915932682
1990683461
575793934
914198839
1074967523
60950669
1890936238
864358562
171387145
2046390439
1110510058
2059115951
763986503
254275732
20475612
1113855310
596925653
871038313
1348918221
415158519
2093846767
720911125
514820199
211485791
411252097
1592673105
1192423560
831357654
420848173
343118412
346997323
1908389383
114555906
2103657657
116413749
1335079503
888327758
1264500368
82353808
1401695840
1193529659
1769018198
303995214
174366268
782655353
1847012349
2085787776
1714690264
1076203189
1902358572
1050270294
604847185
949244714
1469093841
1513882717
54577964
428663033
1737715242
1339157995
967037287
1778149795
191908878
357223603
350047717
54577964
1640405917
2002496576
1241845932
844628222
1640973304
506775038
448774455
2033869727
1535840138
1117664062
1649460422
1382958184
1412051082
757131154
249143444
70114568
1304165386
1835690888
1751040358
1447187901
1188618396
437075836
1511414660
1944907093
690219124
306029579
1007010462
957023519
458049748
673967148
681252681
846261513
817246935
9252225
1092730603
54577964
205564331
659253554
1667131803
990079550
1819543064
731866723
1289218880
701234252
1775729681
1973561952
837474410
1034604134
1572582805
796049949
1736151017
1537628538
2074802468
992278996
243641142
1589352249
1110730165
850502302
1618584318
660041141
2071216090
1250356672
1193461366
493049711
1475364369
197832949
1596913679
2114890454
1310231565
502506376
1643026042
36228171
1623100749
1807808088
937801816
1305129694
345210204
457527168
1877918021
1507829682
840050420
361566737
1399886452
2116860603
1734820513
513020465
1071363054
981589123
459259208
1541317742
213518899
942389156
1609086922
1505859918
1074967523
1197183142
43249259
195074677
128190988
543294094
441883152
820903548
1759773846
1705042582
1341014266
752552126
54577964
1347038448
268553163
866326433
374188723
233851981
525898913
640468334
258158988
1142005821
1605031307
1603563171
1420263792
964336372
323975971
1337953449
254406249
1406625519
959459411
1460212996
727157768
274431628
1168627037
1549062715
1527917748
1083683856
2112381598
1942852384
1981351134
1409300305
1298120963
1306470971
2025164887
371480599
1311661132
1977491605
1589371357
1991499780
893742443
497792977
608876855
725330646
1732349161
1863900962
1852706218
1131805271
1673794873
373122270
551832051
382663426
2125839358
485537214
1936184311
1396311664
1208341616
342983981
712422162
889724034
1680333520
1589532872
739672399
2079270799
656212774
1948810091
1529444870
139876988
2005117242
2142176082
238491694
334770960
1184415836
122215206
992764108
1287456869
765664320
275603425
401016980
562044128
1919580533
1813370000
1307812789
689927400
887244679
542536887
1179803576
1783177574
1424235862
1918166407
526715050
941454014
1835690888
1515436750
2139345800
886370508
1957433929
2099954960
166893304
1200970863
937801816
626756066
1194970083
323123819
380991199
1997126615
1653315543
552057189
1582272398
1100275213
1067003965
249075293
123412713
2055184478
1074967523
2122115994
334547206
35345219
584315965
1506329736
1456457832
1418653961
893812409
70114568
495801389
41239272
910386080
145770746
138189085
1521816154
205364543
688588731
2143629336
1586861934
1167440195
1077263954
2119253246
1029585571
1651191929
1204680040
485126460
1392211874
451237736
1552519841
908219964
241490030
163160516
638459307
304610711
1755366795
1200912203
1723350971
1535276710
709666543
2074153266
1750672041
438058120
699401406
2085612896
138571300
306472900
626295668
606501937
1095415840
723887486
1579250185
1074967523
708101709
2115910165
448380408
700854643
2136251444
800108088
731936093
707504212
832873499
792680084
447522736
1105533293
1329605548
176517241
1358787420
1924974765
653553885
738232475
1081070776
1962120319
1559419646
1564420363
2053699067
861715670
1647584935
1835690888
58129679
606647030
167961284
997025066
2106015513
1140523917
1817558447
195718999
1288296420
473362776
70114568
1222625406
22136023
1297299457
1399006286
174027241
1921941873
657480002
1835690888
1144228921
517649777
2104969539
412706823
1273760249
517165594
70114568
8292868
856911909
1074967523
724507339
764482558
1171188432
1023298771
1881846590
54767437
461448760
709192948
442851390
1093358186
1435347464
1281816931
1645812327
1436441980
1470094597
1971089319
215762337
1068813290
496056673
1109206964
1762490398
1202764245
2064186574
35531793
1802718145
937801816
1752710221
1813269399
1110946183
885765106
396441051
705493866
1491378035
1325193114
1583430836
1554417110
938074627
937801816
1738707623
2147052414
315856408
967652044
423813236
70114568
1391608423
937801816
610051326
568311160
937801816
70384483
1056650368
645724132
1940688728
438436450
553846289
2051621521
53644461
70114568
967152639
1260205913
1607527103
1713116199
684134267
973141620
1516394246
1835690888
302249501
1780718776
1480715008
1275513573
1074967523
1330972428
193538930
612233224
805601193
976787132
480174109
70114568
462461610
70114568
1357329957
1689540608
1203624896
937801816
2099509306
Output
false
Many collisions* Validator
Input
950 692
593880100
593880100
1694955224
1350830573
1726572345
2133764666
1201454334
593880100
542824741
227501742
55835617
1583713609
2005471954
1901764078
1694955224
762369836
1945000919
382987583
677607404
976258186
843375819
593880100
498112219
751006672
1168542612
1530180617
1425836253
1157740492
1906221633
1694908208
1307838108
1174321406
1009824542
862785406
737943636
382987583
959991404
1496979945
1464215252
207582309
2070749676
281223410
2131992956
926244786
640492752
1655446856
1218497176
610676292
1121710689
1014079480
1399488013
1991433995
661391441
1105062256
335557386
1580807509
806150403
580114657
654722742
1292539979
500047088
385376473
1354092130
1809766679
1743647443
635344393
92324465
1821629479
2080750314
382987583
700059129
996818642
1290483519
1553705980
411769518
1227628883
137318817
395685913
1367204955
80458931
599854755
357152885
1001587024
739003842
34178496
1144923235
1395274241
1179258896
1694955224
593880100
2117713525
1460166446
1142175916
326452510
1056285279
667052036
656767486
145526894
481754196
593880100
269204951
310173693
683904136
1056397538
1087724154
432209347
860225260
1457910653
1688133821
1310966109
2121392421
1661051736
182794517
1678638421
59283721
300602251
350619305
884918570
1126163035
820703852
1144083981
703858944
996438857
182363890
879796613
336045443
1318069890
1422941602
539800515
1491155178
1191489332
131886935
814137974
65463484
1668236587
1698073673
646441203
696850205
1071213817
1765091411
608600814
243973358
1738596678
1483004011
499398839
174333393
1675122595
544913441
1426150749
1411392663
1252032589
850346319
1435142112
399202702
379154471
928621324
997195867
3863246
2027053242
955953079
665920449
375908171
1735522732
2035178721
709849456
402133422
593880100
1359787711
1268479967
1192467046
225359724
467665252
388100265
969255655
1728306445
1296472105
746792469
504333250
1871502876
1434728134
593880100
1616136258
2134668492
1691059391
1231435140
162916764
42276636
1657318249
701277261
1922211569
1747411997
362723925
766748868
1896040219
1805395980
394575146
1536406116
926401786
1614909544
1348850535
593880100
25016165
881798145
1736395259
1934156847
925448593
605866285
419205611
1375198483
411428766
271498296
1829990975
1799408265
2006841838
1364263297
1423367016
1694955224
823272814
1158535395
269218836
550789741
1248404593
1717424121
861191962
1412400853
1918589084
700467744
624069399
23578982
1394455546
1354166815
1959788371
1480143605
671456660
1879248971
860006771
1395239732
1759965744
1516564311
145415776
2028326944
1735097457
437915415
866028249
1440018922
31201538
202982577
483969454
1693198220
18390166
1205016190
1974718584
603701219
1560111967
1105102825
1226783048
1018599853
1856388602
2085821145
1778800089
1124315093
413434611
804937169
228715174
1443742304
181593144
1044407464
1081960686
2021168655
1817441099
794328897
39970100
1326698425
2052951676
929436306
1701842663
571542194
593880100
1574271058
1634567093
113070782
824948369
907534387
2029688689
1851626066
329845013
1885432811
1038415706
920538322
1263197173
166081110
1675085039
722023153
540239696
553774544
382987583
1296854395
1113312563
1458359333
710512108
708808242
840389709
593880100
216273741
1180535708
74350150
1752075715
580010075
1713259302
1840868961
1895059488
1153601613
2012114285
357157322
1679204954
581853430
1159185179
718418803
303556687
1100075190
810454813
1365659015
424881432
609048926
2105971340
1991004024
1576307844
372284268
51320685
613703173
1965897908
905014996
593880100
1200068105
1722857893
1078164998
1430994127
351860101
339859817
1179510752
111497330
2119431806
159829604
1148858478
736185678
1738519960
1952229917
60950368
179931603
47468257
382987583
84854011
1245758013
1854217327
864112072
2090580323
787627461
2017637381
1844672868
575007556
1047515041
2140520846
886121251
1114585133
177062443
209332676
1753209841
1506518738
1303902390
706754500
371278093
1199231420
862861901
229773774
1984727926
704455836
616537434
1325397985
593880100
1524016690
222394164
755939013
601505453
1666779710
608472403
377835998
1468790887
1254907881
1694955224
822957369
121050326
458378192
2007941895
773363575
1944134483
647668415
2004172717
670548587
220814472
1501324580
1295876939
1157556774
2132962051
264343605
1310449384
1346097897
644660948
1309835062
1028902100
503627953
1008957713
1700120113
419217119
1408788169
2036513885
230704136
1672979619
726098490
1569302777
1402825916
572361517
419892917
996504419
1003826923
980340153
1371389010
828694266
28000349
1438721853
1550381719
436779144
328424315
546147154
663878884
1614404986
593880100
1406837226
2049367073
29471130
894740393
609860951
339045949
1712605987
1462342167
60126864
1305353030
65050508
1952111910
1884065735
531716728
382987583
593880100
1119818312
127987256
44329162
414632266
2032837063
1844659850
1435602513
2076239924
110394028
2042610904
1253130613
772878562
1073325352
1874114263
375828404
1679762574
420562703
795401601
1683338418
865412723
1997586737
1185185375
1943140229
1638617338
33508049
400168796
2068829838
1229963203
1909926550
123190574
1744440792
1604470301
455735704
1489058435
1694955224
243169390
1846809873
1313562813
1140729820
439778844
995976448
1846954514
2090641857
1448424380
1937651695
605611634
656718281
54977038
754377544
722378696
1162223077
118931883
1675343154
1273470525
1290310153
1277536855
307992197
106262077
807130822
740232374
1112146720
367454455
919395604
812000009
1333090659
1128390104
1644486153
593880100
691445227
1446595197
1148085741
2138923412
1065957562
515680602
382987583
1256777750
301490272
1004852737
1579968318
1606564346
1501535869
593880100
1877338910
1993625288
593880100
1164085460
62106287
1749233172
593880100
1821635580
1447840947
1548701194
713234845
989390525
760148635
905711893
472706630
196783000
1520596956
1976851357
1163105862
820290211
1376810581
613787897
661385200
1837398689
958294673
941491124
1292907546
559976659
963971706
1800480412
117920860
1255681129
11758038
310017424
639378359
451733412
697554929
449456496
1630537019
1065693875
1401806327
1366426123
1473419162
265333293
926406718
212269900
1069492109
1223581862
1424407792
1616329669
1545689017
1547957589
1943478046
1215817111
1271609509
1988779243
1516227649
194120690
1840510682
2068601582
691373916
1594113946
1404225391
1803018228
1052273244
532449518
1326640886
1885710157
238877156
1673156548
2137649451
1974720810
1796631942
1795510654
1250113611
1571565555
874706740
1562621057
635955700
731831180
1577958021
600569951
1650053394
720871032
676841747
1886309670
1226936844
1034448819
1689248353
317960804
1655076538
816873685
858142798
352165951
1384755002
1058435537
1066049863
1217404964
956906354
1506121055
1535212770
1358961140
593880100
878736907
1394218635
1275654157
1507134488
1233342094
368705938
701055323
1952580140
1228435178
995771143
1712698935
1480102150
855244100
1347435579
633948326
1857239695
1325927983
655376899
1858841107
1998911930
364125628
1759736855
859872957
744353816
1888736222
1749522264
1376846517
674803063
1413950403
1300876225
1309639150
412846769
1603434581
419597977
1054419974
1875071286
1408037535
796964622
862926034
569926021
1029460004
462173959
985800100
1408863914
382987583
1974385256
1837859723
1183784636
1411235680
1585180981
92596211
1618529872
1664194236
1560641008
1408859514
598982508
1323515709
717102463
1788302637
1213047135
1273076077
1446834765
575258640
1336750312
1885170420
1279504828
1525577253
1141369655
1694955224
410988567
1722314647
1787317330
669450200
499586914
1209990293
39561655
2036857798
587950781
1159076183
1085816728
1394672172
1061039802
1547051463
1024669359
509854729
2055134632
1217754872
298471870
1381781383
746061068
2022327391
716237544
956505978
1207471732
607179017
125525867
586972431
1276135901
914447653
316596203
15440468
64970560
601093715
451083514
1172946165
219201459
549212884
559219981
1601391102
1534573566
9002411
341006446
1472069664
579389867
1106677656
1256905612
1771126523
251726073
861173433
1530379230
306669673
535202546
1911039547
148657254
1641181648
1728455149
492609348
593880100
215586371
753397171
979116537
1541119654
1423537519
993015712
924025751
1041984701
1517718560
172494235
1607474650
80540784
1018663468
10798680
586385057
1583096444
165541050
1115960100
1701731915
1344709012
1694955224
1894033128
2048763446
1926949786
927120277
1605699619
20745154
1558654022
327345758
2112774617
1532734534
1777465595
1413036329
1248408630
1782751440
525908766
1353295844
479335544
50639365
1403537842
632907457
698138449
2144031381
1472640828
33302380
3467380
1830050821
2038561510
1440360720
2081737651
1130313010
1947428837
527662285
1306948480
210575594
388879460
2113671661
922366831
1430941870
1233608005
1836154189
1937050404
838199716
1010956480
251290808
107948752
2045420374
869363792
1488880287
1577928438
347077195
1458683668
347789067
1588193020
1191574111
945902325
1909966041
1277932236
1578502376
2035369786
619582281
685193065
673858711
572012869
443911379
381244708
194148577
403286403
107457233
298417982
1034703159
847810699
1761096139
68195864
967979768
927749609
1196680486
1168993298
612661948
2135094786
1661260750
1937366862
1947399099
1764140970
1734263082
417642596
382987583
1715900132
437061444
1488145813
550298681
911098474
1131712867
1804769080
1694955224
618320190
593880100
1964857722
662834721
369687478
970169982
1694955224
1589033425
2007597193
718853918
1994317338
1960580081
1947238297
593880100
382987583
88447701
997376782
1555323061
751389481
361873986
95024273
667879424
2020584585
1650134936
1996589772
373919627
1914514052
1865486234
413766160
329216741
990454686
1556440332
669941055
1076107953
1383900118
1273775827
472831103
1485319748
739014331
593502671
980243371
221783085
1571534034
1883882847
1107045574
620426795
729531971
396258688
1895504124
593880100
1726064354
1636315697
850841854
1306456498
1501945878
664429664
724922072
1888235152
872635971
1890134691
1739371167
1643228503
603853252
1428723669
520505306
593880100
1305982715
590665972
382987583
767329090
1694955224
Output
true
No inflation Test
Input
255 256
0
1119319674
349447875
301686522
593018095
1633905315
2099156401
1424883548
363413278
947480399
624752033
478607479
210782509
270394622
1112502242
1423946205
523813530
1776965468
1182214514
1944080606
2059939127
2072867925
1814039819
1360991960
1636505643
723657506
1668497466
1447746843
867804797
1586139583
348269851
1472844277
1610794551
15087567
1830583703
1888673295
812237373
550228893
1462128461
784500144
1227672602
1335288038
21458908
1683087948
742115482
154590127
2045016637
1675664432
568450777
1070514606
568108844
886900225
827384524
531805794
608659073
1858623779
572003893
577048304
800129295
699780270
512332959
1947446175
1348318074
362228195
1067665887
2062104891
2102058807
980295921
1427453669
1309524382
1244689297
454262065
1616457384
92698478
1458900196
138535581
134179807
647124654
327266890
1753080493
1114486932
1942733386
1800069333
73737969
2077728767
1786918443
533215781
1541346586
221975819
1062806682
373341017
649716679
807408761
711169576
621676829
940962008
939926866
1779304596
163105529
1326438465
315207320
1691319216
1562799333
1068226672
38510892
1159583722
849579074
1546220853
634262031
1331744338
1744025586
1169711960
1730212294
113762918
1451469182
1703363131
1400627353
1119318148
430525894
981438184
772555367
1661227712
887091646
1531598318
1501352132
196843083
207700406
1382052042
2007425545
302535715
920208770
1897341670
240371309
302396149
572968504
97341267
1339864181
351427637
165257645
492681829
732337071
741932033
454088621
772353523
410298873
1559750842
1879694069
465214085
1061042371
922582870
492889564
689938513
1887540434
583638712
2039902619
1172256174
1837881465
642343212
1311532223
287874538
579130726
781644819
353995946
1539537335
1322902217
126773320
2027693194
657810346
646665690
50954372
494945049
84713244
1526087232
1573776136
568999392
1597044803
763810649
1384905049
1010189527
1600651390
1172910214
2056103047
1756367575
179097211
848797713
230465126
1321922072
2025508303
1832451244
2094410651
922589764
1409267221
2042408232
1442587765
992381349
2025211294
1631326034
1939038222
946540719
1369937716
266308532
420223180
1973928325
1295725896
758229306
823508852
806511363
306146180
399072334
1089628672
22018173
1287855198
2081300068
1007376842
724608949
1742318491
1335136986
2053754840
137364778
277768637
1280531157
89017651
1347062771
804934589
518657852
1369391254
402213335
399112919
1062858764
174951657
578450720
1854760953
608773258
1586276307
397276965
648027909
759333049
514077462
1925079549
1394903081
1714092988
1250298640
816970037
1193485316
223304723
1811413313
1786051787
998011394
822635860
1210096778
1614635927
887080050
734278936
168830618
1272045309
1664010098
Output
true
No inflation* Validator
Input
255 256
1
921844738
65659833
1074174112
1157773780
1278514692
2097310966
887194978
2143423843
544615414
1075423078
2052923175
125934236
1095129693
1669432790
2063371605
244137719
813666229
1736552196
238502026
1887582703
650776053
570975123
1027928532
1076632741
1622121299
1749928487
886810886
536668899
1194930527
388787281
547503377
221982947
1079469880
9884684
266744425
896009355
1833176645
1735037615
987248537
668817493
1512912268
574885666
1078326940
1291245325
746640554
589114307
1589490725
1287825524
691026046
441907248
632563714
1996554365
1165759230
216834919
1429509030
1344097547
1824530870
1676840233
548204686
108507545
484105535
1273871726
1086840921
1138824950
1929378787
147895623
1964629889
746902459
608002025
1788852439
1703062196
1902610151
561735784
1706771522
1651977021
1466855282
1580828681
477091161
500543443
1980293090
1184888511
518089712
2127863629
1116766771
1947852607
1071110327
1927361095
1218669113
1236275241
19314075
707383444
1404559727
1335516847
63236883
1383737749
1515365161
890468431
1386541691
1222793468
1419130052
1191699146
1692183848
1768415493
573481384
1733270498
1852566156
1487265585
806703588
690698774
1927368447
1716851541
1341921282
568122749
2022897762
1800240779
971191725
1766147043
1572790944
1778138202
1408996399
1058347413
532040926
483088062
1024437922
1251309164
1086692652
993902476
2123693281
230870555
22248192
1751660004
1880220558
832329988
2136326457
867661903
1526496651
753283802
1124317795
2125885226
355280830
828621601
568384248
1510009155
2025212224
726501085
1591789071
1091735936
1103832521
425143423
23051034
1630515429
833545263
1273424113
2043019015
964209121
1242706720
1487814732
753071253
619332852
558355276
598252651
1761542163
680800689
83229491
386767054
1581462530
1044047885
2075071419
1503693967
1582246709
1174564347
1486470132
1719931323
1239651890
1368410773
953187162
952758630
1150945013
839084776
362982951
200181569
641457152
2055170518
1983237820
1810238450
1379162375
2093446540
282487279
1184077696
677894806
323671636
647456168
311732721
1957409169
228927775
407912577
961176029
123442798
1424997546
2115645268
1134843742
423332334
1206851498
15860466
1342928462
775899626
448182687
340899326
66052729
748471596
215970676
411326803
902354672
2036024007
53722165
1039613539
37786061
1624545194
1811901352
662395940
1038230118
293924829
1959677113
121864324
1135590444
1887957944
775413893
2101753344
27852794
855648977
1778023924
462574767
1819021537
197519170
1159111041
176602867
1236736046
646920962
1673296301
221168004
652326914
903496993
644866378
973095711
386099521
1883508080
1610588109
1013297427
1098695513
713491449
1657630443
1808556887
267221843
363011810
459207198
Output
true
Solution language
Solution
Stub generator input