-
Notifications
You must be signed in to change notification settings - Fork 16
/
ranges.js
1078 lines (1078 loc) · 47.7 KB
/
ranges.js
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
// Ranges sorts
module.exports = [
{ lower: 0, upper: 1888888 },
{ lower: 1888889, upper: 1904062 },
{ lower: 1900859, upper: 2087697 },
{ lower: 2087698, upper: 2122623 },
{ lower: 2122624, upper: 2315281 },
{ lower: 2147340, upper: 14658906 },
{ lower: 2182652, upper: 2214508 },
{ lower: 2205762, upper: 2390846 },
{ lower: 2390847, upper: 5537005 },
{ lower: 3306156, upper: 16019348 },
{ lower: 5537006, upper: 14606952 },
{ lower: 8407552, upper: 13762041 },
{ lower: 11174641, upper: 18449276 },
{ lower: 14606953, upper: 15778021 },
{ lower: 15778022, upper: 19449261 },
{ lower: 19449263, upper: 35238772 },
{ lower: 24509125, upper: 41294028 },
{ lower: 26620759, upper: 31443699 },
{ lower: 31086557, upper: 35734834 },
{ lower: 32790502, upper: 34209087 },
{ lower: 33752855, upper: 34032233 },
{ lower: 33876232, upper: 35227157 },
{ lower: 35238773, upper: 42649255 },
{ lower: 37916329, upper: 39253788 },
{ lower: 38376160, upper: 41665021 },
{ lower: 39687255, upper: 44327410 },
{ lower: 44327412, upper: 53557883 },
{ lower: 47802669, upper: 62393198 },
{ lower: 50566643, upper: 67435318 },
{ lower: 55099720, upper: 72174340 },
{ lower: 55507652, upper: 68823687 },
{ lower: 60359856, upper: 83903508 },
{ lower: 68823688, upper: 83563926 },
{ lower: 69154638, upper: 75829014 },
{ lower: 74989273, upper: 84281783 },
{ lower: 75796957, upper: 84367940 },
{ lower: 77180981, upper: 88138768 },
{ lower: 88138770, upper: 130651123 },
{ lower: 90607936, upper: 122424387 },
{ lower: 95538211, upper: 95699883 },
{ lower: 95572083, upper: 95700288 },
{ lower: 95646179, upper: 95720807 },
{ lower: 95671345, upper: 95744284 },
{ lower: 100577752, upper: 127518854 },
{ lower: 109358635, upper: 124305239 },
{ lower: 113739263, upper: 118476142 },
{ lower: 116510673, upper: 132805111 },
{ lower: 130651124, upper: 139866418 },
{ lower: 138963898, upper: 142290410 },
{ lower: 142290412, upper: 148229751 },
{ lower: 145258734, upper: 149921134 },
{ lower: 146652512, upper: 151673725 },
{ lower: 148086799, upper: 159397502 },
{ lower: 148229752, upper: 172697920 },
{ lower: 155662841, upper: 162963144 },
{ lower: 162824624, upper: 169481809 },
{ lower: 165353608, upper: 170252815 },
{ lower: 172697922, upper: 180250781 },
{ lower: 174537037, upper: 175706165 },
{ lower: 176561814, upper: 176701662 },
{ lower: 177635071, upper: 179461239 },
{ lower: 178717970, upper: 179503517 },
{ lower: 180250782, upper: 180836870 },
{ lower: 180334939, upper: 181524921 },
{ lower: 180601389, upper: 183326808 },
{ lower: 183326810, upper: 242569486 },
{ lower: 189717203, upper: 231296345 },
{ lower: 198929657, upper: 199463525 },
{ lower: 200009261, upper: 205932238 },
{ lower: 201141111, upper: 231074692 },
{ lower: 208456629, upper: 208524145 },
{ lower: 208470214, upper: 209193118 },
{ lower: 208515089, upper: 208552663 },
{ lower: 210247196, upper: 220200437 },
{ lower: 217154892, upper: 241204500 },
{ lower: 242569487, upper: 250277158 },
{ lower: 250277160, upper: 269792207 },
{ lower: 253658494, upper: 259116334 },
{ lower: 253900156, upper: 264130685 },
{ lower: 255225324, upper: 269092529 },
{ lower: 257330043, upper: 270391498 },
{ lower: 269792208, upper: 273225169 },
{ lower: 270425249, upper: 275430325 },
{ lower: 275430327, upper: 303429552 },
{ lower: 284412404, upper: 308020917 },
{ lower: 284716926, upper: 285879421 },
{ lower: 284896641, upper: 290792716 },
{ lower: 290513163, upper: 292256515 },
{ lower: 292172493, upper: 311377330 },
{ lower: 300933544, upper: 307215112 },
{ lower: 304481071, upper: 305508611 },
{ lower: 304620939, upper: 307244601 },
{ lower: 308020918, upper: 314394785 },
{ lower: 314394787, upper: 318243942 },
{ lower: 315759690, upper: 333151197 },
{ lower: 324353383, upper: 330107603 },
{ lower: 324495276, upper: 330189246 },
{ lower: 325784764, upper: 332571920 },
{ lower: 333151198, upper: 333393337 },
{ lower: 333379670, upper: 333580739 },
{ lower: 333516020, upper: 333617177 },
{ lower: 333587527, upper: 333646376 },
{ lower: 333646378, upper: 334048524 },
{ lower: 333679323, upper: 334302094 },
{ lower: 333917748, upper: 334285405 },
{ lower: 334302095, upper: 368081077 },
{ lower: 336050227, upper: 362501040 },
{ lower: 337863211, upper: 360992608 },
{ lower: 338019282, upper: 348095336 },
{ lower: 352101084, upper: 364591159 },
{ lower: 368081079, upper: 369068299 },
{ lower: 369068300, upper: 381423906 },
{ lower: 371339342, upper: 373806460 },
{ lower: 373151936, upper: 405494081 },
{ lower: 381622091, upper: 383401034 },
{ lower: 381773593, upper: 384357154 },
{ lower: 383972777, upper: 401061270 },
{ lower: 405494083, upper: 449508526 },
{ lower: 420330272, upper: 435610317 },
{ lower: 420545813, upper: 425492876 },
{ lower: 420719565, upper: 431765901 },
{ lower: 420746448, upper: 424787078 },
{ lower: 422226966, upper: 428387779 },
{ lower: 424121138, upper: 428248387 },
{ lower: 430251075, upper: 444680559 },
{ lower: 449508527, upper: 454545623 },
{ lower: 453271322, upper: 456714133 },
{ lower: 456714135, upper: 461505875 },
{ lower: 460349581, upper: 465632949 },
{ lower: 460580113, upper: 466381680 },
{ lower: 461505876, upper: 477369324 },
{ lower: 461628210, upper: 471865324 },
{ lower: 462446579, upper: 465758715 },
{ lower: 464623007, upper: 466732505 },
{ lower: 477369326, upper: 481964268 },
{ lower: 479438989, upper: 482498799 },
{ lower: 479600661, upper: 482552524 },
{ lower: 482552525, upper: 517350156 },
{ lower: 486840577, upper: 493667077 },
{ lower: 487920315, upper: 496959388 },
{ lower: 488327867, upper: 501225193 },
{ lower: 492539485, upper: 512327909 },
{ lower: 510056428, upper: 510157967 },
{ lower: 517350158, upper: 526962459 },
{ lower: 518821859, upper: 527722979 },
{ lower: 526468312, upper: 538164764 },
{ lower: 527722980, upper: 547224258 },
{ lower: 537271530, upper: 539849150 },
{ lower: 538685495, upper: 544373302 },
{ lower: 539901377, upper: 559316686 },
{ lower: 547023756, upper: 549064661 },
{ lower: 559316688, upper: 567907435 },
{ lower: 560693405, upper: 572304095 },
{ lower: 561517921, upper: 574215242 },
{ lower: 567907436, upper: 583190343 },
{ lower: 572351719, upper: 575778209 },
{ lower: 572511501, upper: 574452217 },
{ lower: 572676036, upper: 572701832 },
{ lower: 572697766, upper: 572756080 },
{ lower: 583190345, upper: 633634730 },
{ lower: 591649479, upper: 623936900 },
{ lower: 614154154, upper: 639131835 },
{ lower: 615372556, upper: 633018840 },
{ lower: 620532470, upper: 637639642 },
{ lower: 633634731, upper: 644741930 },
{ lower: 644741932, upper: 645492895 },
{ lower: 645486416, upper: 645944383 },
{ lower: 645492896, upper: 655022834 },
{ lower: 647054999, upper: 650847928 },
{ lower: 649410540, upper: 651327653 },
{ lower: 649608587, upper: 651366398 },
{ lower: 650309182, upper: 651544046 },
{ lower: 650340896, upper: 651904869 },
{ lower: 650443681, upper: 652917734 },
{ lower: 650915504, upper: 653475697 },
{ lower: 655022836, upper: 671383948 },
{ lower: 657058762, upper: 689503958 },
{ lower: 659376850, upper: 659571678 },
{ lower: 659490354, upper: 659624437 },
{ lower: 660165472, upper: 664987050 },
{ lower: 664741090, upper: 683754272 },
{ lower: 671383949, upper: 696948197 },
{ lower: 671771167, upper: 680588355 },
{ lower: 681670311, upper: 687826081 },
{ lower: 687462919, upper: 689373049 },
{ lower: 696948199, upper: 701183905 },
{ lower: 698277114, upper: 706179803 },
{ lower: 698322352, upper: 703120196 },
{ lower: 699757461, upper: 733301324 },
{ lower: 701952217, upper: 712878128 },
{ lower: 706179804, upper: 740943515 },
{ lower: 707480362, upper: 726334537 },
{ lower: 708098735, upper: 714454173 },
{ lower: 717297025, upper: 730844938 },
{ lower: 730720453, upper: 733433538 },
{ lower: 740943517, upper: 747508062 },
{ lower: 741177583, upper: 762305365 },
{ lower: 743188265, upper: 775219027 },
{ lower: 745808816, upper: 752461748 },
{ lower: 751560448, upper: 758586987 },
{ lower: 753388973, upper: 777355343 },
{ lower: 754905815, upper: 761743025 },
{ lower: 754983804, upper: 774841798 },
{ lower: 762305366, upper: 775159488 },
{ lower: 774260375, upper: 779314232 },
{ lower: 779314234, upper: 785470439 },
{ lower: 781223110, upper: 789178753 },
{ lower: 782503719, upper: 796872832 },
{ lower: 785470440, upper: 799681933 },
{ lower: 785880816, upper: 801146210 },
{ lower: 789712274, upper: 793961738 },
{ lower: 792035582, upper: 793138494 },
{ lower: 792385239, upper: 798544023 },
{ lower: 801146212, upper: 841305900 },
{ lower: 810842896, upper: 830439133 },
{ lower: 812381326, upper: 838878231 },
{ lower: 813074193, upper: 837921910 },
{ lower: 820957565, upper: 836393612 },
{ lower: 823437467, upper: 829851419 },
{ lower: 824340711, upper: 829628532 },
{ lower: 824382476, upper: 832032406 },
{ lower: 828074268, upper: 833118498 },
{ lower: 841305901, upper: 841404555 },
{ lower: 841404557, upper: 850304042 },
{ lower: 848394147, upper: 848657039 },
{ lower: 848423835, upper: 848853657 },
{ lower: 848648599, upper: 849082618 },
{ lower: 848742116, upper: 853217530 },
{ lower: 849018009, upper: 849596864 },
{ lower: 849303213, upper: 849636806 },
{ lower: 849424472, upper: 849667326 },
{ lower: 853217531, upper: 881604483 },
{ lower: 853636490, upper: 865748846 },
{ lower: 854676429, upper: 872751220 },
{ lower: 855428909, upper: 878230687 },
{ lower: 856029593, upper: 876424461 },
{ lower: 857489932, upper: 864404088 },
{ lower: 864076535, upper: 878798307 },
{ lower: 869398480, upper: 871470963 },
{ lower: 869920911, upper: 871138045 },
{ lower: 870013786, upper: 874312926 },
{ lower: 881604485, upper: 889804702 },
{ lower: 889804703, upper: 901273822 },
{ lower: 892515306, upper: 898828394 },
{ lower: 896507573, upper: 927634471 },
{ lower: 896676315, upper: 921551112 },
{ lower: 897555132, upper: 906210835 },
{ lower: 898320180, upper: 905022052 },
{ lower: 900674266, upper: 922436488 },
{ lower: 917736511, upper: 921005775 },
{ lower: 919713318, upper: 922163670 },
{ lower: 921048198, upper: 924193336 },
{ lower: 927634473, upper: 956957738 },
{ lower: 937422032, upper: 942832643 },
{ lower: 945475099, upper: 953801412 },
{ lower: 946065544, upper: 951330790 },
{ lower: 948393409, upper: 961955386 },
{ lower: 956957739, upper: 965040695 },
{ lower: 965040697, upper: 966871284 },
{ lower: 966697131, upper: 967647806 },
{ lower: 967070257, upper: 969400280 },
{ lower: 967792496, upper: 971809354 },
{ lower: 969412073, upper: 979230383 },
{ lower: 971602506, upper: 976542623 },
{ lower: 971809355, upper: 983694756 },
{ lower: 973353987, upper: 978907985 },
{ lower: 974145635, upper: 978447714 },
{ lower: 975982130, upper: 978678992 },
{ lower: 977044645, upper: 979628011 },
{ lower: 977081397, upper: 983520148 },
{ lower: 977739722, upper: 984250573 },
{ lower: 984250575, upper: 987645320 },
{ lower: 987036370, upper: 998814590 },
{ lower: 987536084, upper: 989075921 },
{ lower: 988172886, upper: 990269879 },
{ lower: 988351392, upper: 990103337 },
{ lower: 989372718, upper: 991282302 },
{ lower: 990434095, upper: 991061744 },
{ lower: 990594635, upper: 991997118 },
{ lower: 990865894, upper: 991355669 },
{ lower: 990957769, upper: 992049690 },
{ lower: 991010485, upper: 991631272 },
{ lower: 991039829, upper: 1027395932 },
{ lower: 992049691, upper: 1026588637 },
{ lower: 992214332, upper: 997255508 },
{ lower: 996320481, upper: 1012998985 },
{ lower: 998819145, upper: 1005462099 },
{ lower: 1005799857, upper: 1023924764 },
{ lower: 1025569374, upper: 1036920439 },
{ lower: 1036920441, upper: 1060628630 },
{ lower: 1038796864, upper: 1046952356 },
{ lower: 1039794493, upper: 1057170966 },
{ lower: 1043487579, upper: 1054622271 },
{ lower: 1049202442, upper: 1050466108 },
{ lower: 1049613498, upper: 1051047136 },
{ lower: 1053361409, upper: 1060474644 },
{ lower: 1060628631, upper: 1062482015 },
{ lower: 1062125199, upper: 1073411726 },
{ lower: 1062354273, upper: 1063440138 },
{ lower: 1063172514, upper: 1063568483 },
{ lower: 1073411728, upper: 1105472904 },
{ lower: 1080702276, upper: 1112990581 },
{ lower: 1082566831, upper: 1083675917 },
{ lower: 1083143813, upper: 1083702538 },
{ lower: 1083260069, upper: 1083705127 },
{ lower: 1095104172, upper: 1110817036 },
{ lower: 1105472905, upper: 1110869617 },
{ lower: 1108664119, upper: 1110283066 },
{ lower: 1110605895, upper: 1112786421 },
{ lower: 1110882582, upper: 1113030824 },
{ lower: 1111783809, upper: 1114116642 },
{ lower: 1114116644, upper: 1125629498 },
{ lower: 1116524230, upper: 1120647931 },
{ lower: 1118885758, upper: 1124129968 },
{ lower: 1122274583, upper: 1124137383 },
{ lower: 1122685939, upper: 1130099493 },
{ lower: 1123500672, upper: 1124070782 },
{ lower: 1123756904, upper: 1124832163 },
{ lower: 1124274530, upper: 1124952970 },
{ lower: 1125629499, upper: 1131007777 },
{ lower: 1131007779, upper: 1149933404 },
{ lower: 1133322944, upper: 1136596047 },
{ lower: 1135736946, upper: 1144990739 },
{ lower: 1135918433, upper: 1160858115 },
{ lower: 1137467603, upper: 1160465160 },
{ lower: 1140499208, upper: 1145440329 },
{ lower: 1145121134, upper: 1165576620 },
{ lower: 1149483814, upper: 1151080437 },
{ lower: 1149933405, upper: 1152331697 },
{ lower: 1150347115, upper: 1155284378 },
{ lower: 1150487328, upper: 1153453006 },
{ lower: 1152488821, upper: 1156120463 },
{ lower: 1153621810, upper: 1160895822 },
{ lower: 1160737915, upper: 1174189471 },
{ lower: 1174189473, upper: 1179817409 },
{ lower: 1177795536, upper: 1179734693 },
{ lower: 1177964744, upper: 1181712502 },
{ lower: 1178662480, upper: 1184341164 },
{ lower: 1178971023, upper: 1183248004 },
{ lower: 1179668312, upper: 1183015015 },
{ lower: 1179711637, upper: 1180870951 },
{ lower: 1181698174, upper: 1215279334 },
{ lower: 1182759348, upper: 1204636005 },
{ lower: 1184341165, upper: 1219402847 },
{ lower: 1187695934, upper: 1194142092 },
{ lower: 1189498321, upper: 1216312827 },
{ lower: 1196989900, upper: 1202719311 },
{ lower: 1200129106, upper: 1204922922 },
{ lower: 1219402849, upper: 1230826128 },
{ lower: 1220312589, upper: 1225494571 },
{ lower: 1224408645, upper: 1230905383 },
{ lower: 1225774520, upper: 1228140780 },
{ lower: 1225966324, upper: 1231538269 },
{ lower: 1230826129, upper: 1231575999 },
{ lower: 1230932008, upper: 1232187292 },
{ lower: 1231191898, upper: 1231698394 },
{ lower: 1231863689, upper: 1232996243 },
{ lower: 1232996245, upper: 1253914471 },
{ lower: 1244316186, upper: 1259999059 },
{ lower: 1247902155, upper: 1260953714 },
{ lower: 1252243784, upper: 1253382137 },
{ lower: 1253914472, upper: 1274319637 },
{ lower: 1254561821, upper: 1268295556 },
{ lower: 1256216667, upper: 1271177293 },
{ lower: 1274319639, upper: 1299239254 },
{ lower: 1279065904, upper: 1316503183 },
{ lower: 1293223106, upper: 1312776798 },
{ lower: 1298955403, upper: 1302935547 },
{ lower: 1298996094, upper: 1311546715 },
{ lower: 1299239255, upper: 1320088802 },
{ lower: 1300869665, upper: 1307542773 },
{ lower: 1320088804, upper: 1336761048 },
{ lower: 1323282537, upper: 1349961316 },
{ lower: 1332771672, upper: 1337238856 },
{ lower: 1333016590, upper: 1349983110 },
{ lower: 1337238857, upper: 1349083727 },
{ lower: 1338166110, upper: 1354456999 },
{ lower: 1346992603, upper: 1348129673 },
{ lower: 1354457001, upper: 1371635555 },
{ lower: 1356144684, upper: 1358533149 },
{ lower: 1362119775, upper: 1365250964 },
{ lower: 1364276172, upper: 1365041569 },
{ lower: 1371635556, upper: 1380452881 },
{ lower: 1380452883, upper: 1429557315 },
{ lower: 1390496843, upper: 1417003046 },
{ lower: 1394140453, upper: 1430957514 },
{ lower: 1394699060, upper: 1428446963 },
{ lower: 1407555501, upper: 1408047605 },
{ lower: 1410942019, upper: 1420373476 },
{ lower: 1412008407, upper: 1412622240 },
{ lower: 1421012173, upper: 1422211362 },
{ lower: 1429557316, upper: 1434743652 },
{ lower: 1431487556, upper: 1438515826 },
{ lower: 1438515828, upper: 1446601852 },
{ lower: 1441441574, upper: 1447722009 },
{ lower: 1442132763, upper: 1443362285 },
{ lower: 1442223118, upper: 1445044517 },
{ lower: 1446041312, upper: 1447304642 },
{ lower: 1447304643, upper: 1450009720 },
{ lower: 1450009722, upper: 1454375183 },
{ lower: 1454375184, upper: 1479743870 },
{ lower: 1457454398, upper: 1510301695 },
{ lower: 1465863404, upper: 1482131479 },
{ lower: 1468081450, upper: 1492108957 },
{ lower: 1471353586, upper: 1474887569 },
{ lower: 1479138689, upper: 1496448606 },
{ lower: 1486637472, upper: 1496349918 },
{ lower: 1488620946, upper: 1499185913 },
{ lower: 1488736510, upper: 1488749429 },
{ lower: 1489714174, upper: 1498479204 },
{ lower: 1503827162, upper: 1509814674 },
{ lower: 1510301697, upper: 1514872861 },
{ lower: 1513153698, upper: 1513536552 },
{ lower: 1514736329, upper: 1515006318 },
{ lower: 1514872862, upper: 1520470677 },
{ lower: 1514895780, upper: 1515289801 },
{ lower: 1515154393, upper: 1518755420 },
{ lower: 1515382747, upper: 1517187741 },
{ lower: 1518267616, upper: 1518511723 },
{ lower: 1518303291, upper: 1518757627 },
{ lower: 1518668516, upper: 1518748952 },
{ lower: 1518708042, upper: 1518847704 },
{ lower: 1520470679, upper: 1542287000 },
{ lower: 1528668961, upper: 1565706834 },
{ lower: 1535382902, upper: 1566104279 },
{ lower: 1539845876, upper: 1547041263 },
{ lower: 1540361624, upper: 1570029586 },
{ lower: 1547041264, upper: 1574284229 },
{ lower: 1550150096, upper: 1561746360 },
{ lower: 1551465958, upper: 1557177842 },
{ lower: 1552856847, upper: 1563782649 },
{ lower: 1574284231, upper: 1585558619 },
{ lower: 1577044819, upper: 1580263124 },
{ lower: 1577860113, upper: 1616147289 },
{ lower: 1578256762, upper: 1596421560 },
{ lower: 1585558620, upper: 1620238296 },
{ lower: 1595091669, upper: 1612372139 },
{ lower: 1620238298, upper: 1621937312 },
{ lower: 1620448623, upper: 1622231718 },
{ lower: 1622153638, upper: 1627375599 },
{ lower: 1622231719, upper: 1651098252 },
{ lower: 1627066830, upper: 1642274044 },
{ lower: 1628052281, upper: 1630209458 },
{ lower: 1636675883, upper: 1644581701 },
{ lower: 1651098254, upper: 1660472685 },
{ lower: 1660472686, upper: 1675015684 },
{ lower: 1662868529, upper: 1665937308 },
{ lower: 1663535391, upper: 1664405521 },
{ lower: 1670274140, upper: 1672828275 },
{ lower: 1675015686, upper: 1680347958 },
{ lower: 1676179664, upper: 1681316839 },
{ lower: 1681316840, upper: 1713630743 },
{ lower: 1684699734, upper: 1706672921 },
{ lower: 1689217997, upper: 1697645738 },
{ lower: 1694910589, upper: 1711998895 },
{ lower: 1696477009, upper: 1704667294 },
{ lower: 1698299296, upper: 1698622868 },
{ lower: 1698500883, upper: 1699628705 },
{ lower: 1702145201, upper: 1716816643 },
{ lower: 1716816645, upper: 1725854116 },
{ lower: 1719299314, upper: 1735498986 },
{ lower: 1725854117, upper: 1744385026 },
{ lower: 1728404615, upper: 1731917611 },
{ lower: 1729489128, upper: 1733660501 },
{ lower: 1737269170, upper: 1739584124 },
{ lower: 1744385028, upper: 1770167107 },
{ lower: 1748754108, upper: 1786349744 },
{ lower: 1752276551, upper: 1784480513 },
{ lower: 1755371838, upper: 1765328838 },
{ lower: 1761008098, upper: 1766235040 },
{ lower: 1761160149, upper: 1766904471 },
{ lower: 1766292061, upper: 1780626493 },
{ lower: 1776765373, upper: 1785155753 },
{ lower: 1780045799, upper: 1783004862 },
{ lower: 1780626494, upper: 1795356535 },
{ lower: 1795356537, upper: 1803018237 },
{ lower: 1797203899, upper: 1797849973 },
{ lower: 1798120143, upper: 1801945969 },
{ lower: 1800210010, upper: 1801990849 },
{ lower: 1803018238, upper: 1806854806 },
{ lower: 1806854808, upper: 1819546668 },
{ lower: 1815521836, upper: 1821199497 },
{ lower: 1819546669, upper: 1857579375 },
{ lower: 1823540463, upper: 1824143249 },
{ lower: 1823596335, upper: 1824819464 },
{ lower: 1827165738, upper: 1840620936 },
{ lower: 1829011713, upper: 1846414725 },
{ lower: 1829927048, upper: 1847707809 },
{ lower: 1857579377, upper: 1865963654 },
{ lower: 1865963655, upper: 1896438172 },
{ lower: 1872987167, upper: 1876038388 },
{ lower: 1873924193, upper: 1879728099 },
{ lower: 1875539946, upper: 1877484014 },
{ lower: 1877663796, upper: 1888931788 },
{ lower: 1878298966, upper: 1882615092 },
{ lower: 1885135264, upper: 1889950507 },
{ lower: 1888528109, upper: 1893336449 },
{ lower: 1891682888, upper: 1896393627 },
{ lower: 1893488044, upper: 1910189687 },
{ lower: 1910189689, upper: 1913976941 },
{ lower: 1911306751, upper: 1915704971 },
{ lower: 1912187897, upper: 1912964610 },
{ lower: 1912841207, upper: 1913884949 },
{ lower: 1915704972, upper: 1922908375 },
{ lower: 1916548840, upper: 1918281992 },
{ lower: 1916553349, upper: 1918781150 },
{ lower: 1918021371, upper: 1919110200 },
{ lower: 1918475929, upper: 1919207177 },
{ lower: 1922908377, upper: 1926249336 },
{ lower: 1926249337, upper: 1966318306 },
{ lower: 1928294039, upper: 1947673816 },
{ lower: 1930577208, upper: 1944584155 },
{ lower: 1941821906, upper: 1960762898 },
{ lower: 1942601982, upper: 1949448687 },
{ lower: 1946127596, upper: 1953926346 },
{ lower: 1946782676, upper: 1948030232 },
{ lower: 1952665910, upper: 1953433270 },
{ lower: 1952856244, upper: 1954468652 },
{ lower: 1953185341, upper: 1954544580 },
{ lower: 1966318308, upper: 1995738611 },
{ lower: 1970582126, upper: 1980928849 },
{ lower: 1972314551, upper: 1997656153 },
{ lower: 1974333295, upper: 1989116976 },
{ lower: 1976455908, upper: 1981569398 },
{ lower: 1977046180, upper: 1978396522 },
{ lower: 1977409651, upper: 1982693985 },
{ lower: 1978346741, upper: 1979488526 },
{ lower: 1995738612, upper: 2003729666 },
{ lower: 2003729668, upper: 2031612524 },
{ lower: 2009566992, upper: 2023431090 },
{ lower: 2010165801, upper: 2023812035 },
{ lower: 2021641434, upper: 2024692738 },
{ lower: 2021691721, upper: 2021705237 },
{ lower: 2031612525, upper: 2032051797 },
{ lower: 2031809521, upper: 2032325253 },
{ lower: 2032217907, upper: 2033036948 },
{ lower: 2032570613, upper: 2033017246 },
{ lower: 2032945297, upper: 2033080176 },
{ lower: 2033080178, upper: 2042754083 },
{ lower: 2035631680, upper: 2072674057 },
{ lower: 2042754084, upper: 2076891856 },
{ lower: 2048523135, upper: 2052071542 },
{ lower: 2058539536, upper: 2067010739 },
{ lower: 2064046021, upper: 2067447600 },
{ lower: 2066894356, upper: 2070157688 },
{ lower: 2076891858, upper: 2081262092 },
{ lower: 2077800379, upper: 2083424063 },
{ lower: 2079074374, upper: 2082559497 },
{ lower: 2079154753, upper: 2079647911 },
{ lower: 2079410577, upper: 2083947272 },
{ lower: 2082306404, upper: 2087247912 },
{ lower: 2084930491, upper: 2104963206 },
{ lower: 2087247913, upper: 2100886247 },
{ lower: 2088304828, upper: 2108894963 },
{ lower: 2093541493, upper: 2097966199 },
{ lower: 2097814073, upper: 2101401036 },
{ lower: 2100409724, upper: 2101804552 },
{ lower: 2101489104, upper: 2102003463 },
{ lower: 2101903120, upper: 2104154726 },
{ lower: 2108894965, upper: 2110155929 },
{ lower: 2109791040, upper: 2110314929 },
{ lower: 2110314930, upper: 2140259502 },
{ lower: 2115234805, upper: 2135895690 },
{ lower: 2117254263, upper: 2130476988 },
{ lower: 2119833193, upper: 2126798390 },
{ lower: 2125488963, upper: 2136467252 },
{ lower: 2126923951, upper: 2133118178 },
{ lower: 2140259504, upper: 2143344425 },
{ lower: 2140849733, upper: 2153948446 },
{ lower: 2144689921, upper: 2169898850 },
{ lower: 2146272587, upper: 2151730776 },
{ lower: 2149508758, upper: 2160191833 },
{ lower: 2153948447, upper: 2169932701 },
{ lower: 2165412917, upper: 2173968511 },
{ lower: 2173968513, upper: 2181884574 },
{ lower: 2181884575, upper: 2200064456 },
{ lower: 2183409610, upper: 2198198790 },
{ lower: 2186311939, upper: 2194297020 },
{ lower: 2187511660, upper: 2189532955 },
{ lower: 2191923377, upper: 2203526164 },
{ lower: 2197161910, upper: 2198528564 },
{ lower: 2198429635, upper: 2200634071 },
{ lower: 2203526166, upper: 2216207342 },
{ lower: 2216207343, upper: 2242110933 },
{ lower: 2220986676, upper: 2230179027 },
{ lower: 2223088279, upper: 2236937230 },
{ lower: 2232234823, upper: 2235394467 },
{ lower: 2242110935, upper: 2265041727 },
{ lower: 2242318868, upper: 2276515328 },
{ lower: 2247293647, upper: 2269423767 },
{ lower: 2249829541, upper: 2251006359 },
{ lower: 2260605394, upper: 2268237426 },
{ lower: 2265041728, upper: 2281659545 },
{ lower: 2268097794, upper: 2279310973 },
{ lower: 2271387462, upper: 2272232473 },
{ lower: 2281659547, upper: 2300856020 },
{ lower: 2283224279, upper: 2300553570 },
{ lower: 2284996682, upper: 2304337355 },
{ lower: 2291815799, upper: 2296911924 },
{ lower: 2300856021, upper: 2308581946 },
{ lower: 2300879142, upper: 2309452712 },
{ lower: 2304512438, upper: 2307555454 },
{ lower: 2306386691, upper: 2307678393 },
{ lower: 2307295212, upper: 2314088360 },
{ lower: 2314088362, upper: 2338653170 },
{ lower: 2314883517, upper: 2324534151 },
{ lower: 2318069658, upper: 2349685562 },
{ lower: 2326969860, upper: 2360851304 },
{ lower: 2328728331, upper: 2345665378 },
{ lower: 2333653700, upper: 2351930363 },
{ lower: 2340961777, upper: 2357367276 },
{ lower: 2343327790, upper: 2346083217 },
{ lower: 2349685563, upper: 2364532779 },
{ lower: 2364532781, upper: 2372761027 },
{ lower: 2368126375, upper: 2376371375 },
{ lower: 2369635408, upper: 2396711414 },
{ lower: 2372761028, upper: 2393875166 },
{ lower: 2375706172, upper: 2397802671 },
{ lower: 2376318475, upper: 2387155565 },
{ lower: 2378938290, upper: 2394510167 },
{ lower: 2397802673, upper: 2398500769 },
{ lower: 2397990602, upper: 2399831274 },
{ lower: 2399831275, upper: 2450914999 },
{ lower: 2405403685, upper: 2447661661 },
{ lower: 2406382908, upper: 2442196465 },
{ lower: 2410396425, upper: 2413223137 },
{ lower: 2412362250, upper: 2415099013 },
{ lower: 2450915001, upper: 2456382582 },
{ lower: 2454288937, upper: 2454315837 },
{ lower: 2454727672, upper: 2455707974 },
{ lower: 2455788859, upper: 2455936061 },
{ lower: 2455802505, upper: 2455982302 },
{ lower: 2456382583, upper: 2459166080 },
{ lower: 2459166082, upper: 2504309844 },
{ lower: 2469379666, upper: 2484990280 },
{ lower: 2472916352, upper: 2505189818 },
{ lower: 2481282831, upper: 2501238225 },
{ lower: 2487150877, upper: 2509030416 },
{ lower: 2504309845, upper: 2512953214 },
{ lower: 2512953216, upper: 2519005204 },
{ lower: 2513146725, upper: 2514600051 },
{ lower: 2517128070, upper: 2524600375 },
{ lower: 2519005205, upper: 2557015796 },
{ lower: 2519417187, upper: 2544323712 },
{ lower: 2521490885, upper: 2526000948 },
{ lower: 2522406078, upper: 2531544560 },
{ lower: 2524866696, upper: 2552983326 },
{ lower: 2525591016, upper: 2552221661 },
{ lower: 2529540174, upper: 2531766027 },
{ lower: 2532554358, upper: 2540855042 },
{ lower: 2540135228, upper: 2548563437 },
{ lower: 2543366907, upper: 2559522939 },
{ lower: 2559522941, upper: 2561165264 },
{ lower: 2561165265, upper: 2591514714 },
{ lower: 2567650852, upper: 2571689819 },
{ lower: 2568570852, upper: 2589262191 },
{ lower: 2569184033, upper: 2569739585 },
{ lower: 2574044802, upper: 2579190543 },
{ lower: 2578473159, upper: 2584766311 },
{ lower: 2580161324, upper: 2586439081 },
{ lower: 2591514716, upper: 2602768599 },
{ lower: 2594571102, upper: 2596729241 },
{ lower: 2596260797, upper: 2599637238 },
{ lower: 2596632054, upper: 2606025914 },
{ lower: 2597645418, upper: 2602897419 },
{ lower: 2599576643, upper: 2604275147 },
{ lower: 2602768600, upper: 2608002053 },
{ lower: 2608002055, upper: 2649178024 },
{ lower: 2615943647, upper: 2628573870 },
{ lower: 2619033943, upper: 2632247390 },
{ lower: 2619513661, upper: 2648860446 },
{ lower: 2649178025, upper: 2660374286 },
{ lower: 2649727243, upper: 2651783771 },
{ lower: 2655227264, upper: 2664310738 },
{ lower: 2664310740, upper: 2677633623 },
{ lower: 2666556582, upper: 2696725230 },
{ lower: 2677633624, upper: 2700457091 },
{ lower: 2681945893, upper: 2692689494 },
{ lower: 2683090964, upper: 2684370557 },
{ lower: 2690988793, upper: 2694240575 },
{ lower: 2691075518, upper: 2693026017 },
{ lower: 2692987724, upper: 2694585947 },
{ lower: 2693102773, upper: 2697432888 },
{ lower: 2697048351, upper: 2697545869 },
{ lower: 2700457093, upper: 2722036558 },
{ lower: 2701657503, upper: 2734666015 },
{ lower: 2705313585, upper: 2714787801 },
{ lower: 2710016978, upper: 2729083584 },
{ lower: 2710635380, upper: 2712069704 },
{ lower: 2711664519, upper: 2715211035 },
{ lower: 2712474658, upper: 2720901711 },
{ lower: 2719048254, upper: 2735630821 },
{ lower: 2719765570, upper: 2731840505 },
{ lower: 2722036559, upper: 2726308166 },
{ lower: 2724336622, upper: 2730653841 },
{ lower: 2730476137, upper: 2736514991 },
{ lower: 2732719831, upper: 2735572206 },
{ lower: 2734332905, upper: 2737600182 },
{ lower: 2737600184, upper: 2746832287 },
{ lower: 2739426388, upper: 2743490521 },
{ lower: 2740868594, upper: 2743074820 },
{ lower: 2745906803, upper: 2747647252 },
{ lower: 2746832288, upper: 2751564814 },
{ lower: 2749214451, upper: 2751716398 },
{ lower: 2751716400, upper: 2791983487 },
{ lower: 2760435654, upper: 2774208779 },
{ lower: 2772398259, upper: 2781857468 },
{ lower: 2774395403, upper: 2774748831 },
{ lower: 2791983488, upper: 2809612786 },
{ lower: 2792898927, upper: 2805591285 },
{ lower: 2809612788, upper: 2812017542 },
{ lower: 2810181095, upper: 2811456553 },
{ lower: 2810679676, upper: 2811896595 },
{ lower: 2812017543, upper: 2817808228 },
{ lower: 2812452191, upper: 2816536085 },
{ lower: 2813496284, upper: 2815951003 },
{ lower: 2817808230, upper: 2826493137 },
{ lower: 2825214732, upper: 2828305578 },
{ lower: 2826493138, upper: 2860573367 },
{ lower: 2837831808, upper: 2854116172 },
{ lower: 2848467395, upper: 2852263066 },
{ lower: 2851805721, upper: 2855373838 },
{ lower: 2860573369, upper: 2869986403 },
{ lower: 2869986404, upper: 2909986632 },
{ lower: 2873214132, upper: 2883076783 },
{ lower: 2873677871, upper: 2896542230 },
{ lower: 2880137661, upper: 2888009771 },
{ lower: 2880152810, upper: 2894023332 },
{ lower: 2882633741, upper: 2901934705 },
{ lower: 2883117929, upper: 2903014292 },
{ lower: 2909986634, upper: 2916837990 },
{ lower: 2910564254, upper: 2926504746 },
{ lower: 2923748650, upper: 2931308011 },
{ lower: 2924020651, upper: 2934105636 },
{ lower: 2925030178, upper: 2926498213 },
{ lower: 2925598220, upper: 2926530972 },
{ lower: 2925788498, upper: 2926548045 },
{ lower: 2926548046, upper: 2947393388 },
{ lower: 2934672189, upper: 2934698845 },
{ lower: 2934698477, upper: 2934714455 },
{ lower: 2947393390, upper: 2972353230 },
{ lower: 2951935860, upper: 2964576062 },
{ lower: 2956534572, upper: 2957931629 },
{ lower: 2957029658, upper: 2981009221 },
{ lower: 2972353231, upper: 2983357025 },
{ lower: 2973540042, upper: 2982443255 },
{ lower: 2981077775, upper: 2984310862 },
{ lower: 2984310864, upper: 2990997583 },
{ lower: 2984672502, upper: 2992711186 },
{ lower: 2986410650, upper: 3000522702 },
{ lower: 2987830862, upper: 3004476243 },
{ lower: 2992711187, upper: 3011792444 },
{ lower: 2993732550, upper: 3009897818 },
{ lower: 2995080913, upper: 3008383912 },
{ lower: 3005164082, upper: 3012157652 },
{ lower: 3008845968, upper: 3009980589 },
{ lower: 3009855031, upper: 3010464245 },
{ lower: 3012157654, upper: 3020860593 },
{ lower: 3014720726, upper: 3015174849 },
{ lower: 3014748925, upper: 3034829048 },
{ lower: 3014938823, upper: 3017205093 },
{ lower: 3016610743, upper: 3017615483 },
{ lower: 3016814756, upper: 3017670406 },
{ lower: 3017544167, upper: 3021132102 },
{ lower: 3020761343, upper: 3021817567 },
{ lower: 3021132103, upper: 3046193303 },
{ lower: 3032227327, upper: 3040030225 },
{ lower: 3033812452, upper: 3036695198 },
{ lower: 3034617264, upper: 3054755435 },
{ lower: 3040682810, upper: 3045957235 },
{ lower: 3054727190, upper: 3057468877 },
{ lower: 3057468879, upper: 3067720704 },
{ lower: 3066767367, upper: 3091060238 },
{ lower: 3067720705, upper: 3089970954 },
{ lower: 3074050973, upper: 3092995408 },
{ lower: 3080279788, upper: 3095850061 },
{ lower: 3090555846, upper: 3091254399 },
{ lower: 3095850063, upper: 3110957137 },
{ lower: 3103916066, upper: 3116559183 },
{ lower: 3105127325, upper: 3113783343 },
{ lower: 3107886744, upper: 3116206353 },
{ lower: 3110957138, upper: 3120916334 },
{ lower: 3115629813, upper: 3118656717 },
{ lower: 3120916336, upper: 3122292317 },
{ lower: 3121554064, upper: 3122386341 },
{ lower: 3121753822, upper: 3122940047 },
{ lower: 3122390571, upper: 3125913885 },
{ lower: 3122557350, upper: 3124419305 },
{ lower: 3122936808, upper: 3128912932 },
{ lower: 3124419306, upper: 3133154818 },
{ lower: 3124888764, upper: 3146103155 },
{ lower: 3124929968, upper: 3130520163 },
{ lower: 3126194199, upper: 3129935758 },
{ lower: 3127688079, upper: 3134369195 },
{ lower: 3146103157, upper: 3203151235 },
{ lower: 3152153827, upper: 3180871559 },
{ lower: 3156724300, upper: 3177963150 },
{ lower: 3161761475, upper: 3200072999 },
{ lower: 3164583326, upper: 3164801067 },
{ lower: 3164636578, upper: 3164954504 },
{ lower: 3164805808, upper: 3166272976 },
{ lower: 3164839823, upper: 3180738585 },
{ lower: 3165290543, upper: 3166404174 },
{ lower: 3170619802, upper: 3176056931 },
{ lower: 3171099262, upper: 3180938498 },
{ lower: 3172206472, upper: 3185876600 },
{ lower: 3189667528, upper: 3205813479 },
{ lower: 3194132621, upper: 3200446332 },
{ lower: 3203151236, upper: 3210148830 },
{ lower: 3210148832, upper: 3237664678 },
{ lower: 3212676972, upper: 3214315203 },
{ lower: 3217469337, upper: 3227811437 },
{ lower: 3226077340, upper: 3228054324 },
{ lower: 3237664679, upper: 3239097359 },
{ lower: 3239097361, upper: 3267410980 },
{ lower: 3242636904, upper: 3246887557 },
{ lower: 3249674305, upper: 3250304612 },
{ lower: 3249954687, upper: 3258412725 },
{ lower: 3249983509, upper: 3250443047 },
{ lower: 3252601419, upper: 3261416869 },
{ lower: 3252901420, upper: 3270033863 },
{ lower: 3255408881, upper: 3258664273 },
{ lower: 3265098769, upper: 3267509956 },
{ lower: 3265576322, upper: 3273927552 },
{ lower: 3267509957, upper: 3280095405 },
{ lower: 3267988563, upper: 3273485517 },
{ lower: 3280095407, upper: 3282589917 },
{ lower: 3281975407, upper: 3288376938 },
{ lower: 3282589918, upper: 3311767247 },
{ lower: 3288275136, upper: 3307945139 },
{ lower: 3296787727, upper: 3307575232 },
{ lower: 3298716765, upper: 3308644329 },
{ lower: 3298803758, upper: 3306723635 },
{ lower: 3305613991, upper: 3308042567 },
{ lower: 3307872338, upper: 3309633505 },
{ lower: 3311767249, upper: 3323759965 },
{ lower: 3320919376, upper: 3333042521 },
{ lower: 3323759966, upper: 3345377938 },
{ lower: 3326533847, upper: 3326810005 },
{ lower: 3327278827, upper: 3328956868 },
{ lower: 3333084429, upper: 3334030102 },
{ lower: 3333480667, upper: 3334132994 },
{ lower: 3334017866, upper: 3341652536 },
{ lower: 3339096993, upper: 3347147433 },
{ lower: 3347147435, upper: 3361850347 },
{ lower: 3354140278, upper: 3357144795 },
{ lower: 3356323513, upper: 3364246395 },
{ lower: 3356499587, upper: 3362877956 },
{ lower: 3357509623, upper: 3363501925 },
{ lower: 3359024113, upper: 3364297429 },
{ lower: 3364246396, upper: 3378838176 },
{ lower: 3365333945, upper: 3374605152 },
{ lower: 3367065179, upper: 3368964916 },
{ lower: 3368852506, upper: 3373277857 },
{ lower: 3378838178, upper: 3379988897 },
{ lower: 3379861818, upper: 3416060190 },
{ lower: 3379988898, upper: 3419009907 },
{ lower: 3381334635, upper: 3388608632 },
{ lower: 3381967104, upper: 3399337635 },
{ lower: 3386154033, upper: 3411882529 },
{ lower: 3403049585, upper: 3409700128 },
{ lower: 3408662775, upper: 3410669980 },
{ lower: 3419009909, upper: 3446424945 },
{ lower: 3420873563, upper: 3423164569 },
{ lower: 3421523242, upper: 3436385357 },
{ lower: 3426646140, upper: 3446265909 },
{ lower: 3428187444, upper: 3429514630 },
{ lower: 3429681642, upper: 3455096313 },
{ lower: 3430587881, upper: 3441615730 },
{ lower: 3442936490, upper: 3446270960 },
{ lower: 3444367535, upper: 3446735109 },
{ lower: 3445599644, upper: 3446951202 },
{ lower: 3446951203, upper: 3458327473 },
{ lower: 3458327475, upper: 3459250050 },
{ lower: 3459250051, upper: 3467175301 },
{ lower: 3460719560, upper: 3465121559 },
{ lower: 3461179167, upper: 3461527047 },
{ lower: 3462793245, upper: 3462944813 },
{ lower: 3467175303, upper: 3467618102 },
{ lower: 3467542284, upper: 3468204110 },
{ lower: 3468204111, upper: 3517888339 },
{ lower: 3480872005, upper: 3500207692 },
{ lower: 3498906702, upper: 3502025359 },
{ lower: 3503101007, upper: 3503172522 },
{ lower: 3503171717, upper: 3503206049 },
{ lower: 3516964473, upper: 3523121967 },
{ lower: 3523121969, upper: 3528068884 },
{ lower: 3523265294, upper: 3525005629 },
{ lower: 3524508765, upper: 3535502551 },
{ lower: 3524660322, upper: 3531103252 },
{ lower: 3528634603, upper: 3542351915 },
{ lower: 3531103253, upper: 3549118849 },
{ lower: 3540252288, upper: 3544997898 },
{ lower: 3540610321, upper: 3541605330 },
{ lower: 3541047853, upper: 3541994869 },
{ lower: 3549118851, upper: 3568670471 },
{ lower: 3552641883, upper: 3560193935 },
{ lower: 3563089705, upper: 3573594471 },
{ lower: 3565775907, upper: 3597807291 },
{ lower: 3568050533, upper: 3573507136 },
{ lower: 3568670472, upper: 3600780676 },
{ lower: 3569348094, upper: 3574217716 },
{ lower: 3584674908, upper: 3594238408 },
{ lower: 3600780678, upper: 3606937835 },
{ lower: 3601718684, upper: 3616108546 },
{ lower: 3602006162, upper: 3608766950 },
{ lower: 3603771632, upper: 3607267790 },
{ lower: 3605560680, upper: 3611803358 },
{ lower: 3606633683, upper: 3608925912 },
{ lower: 3611600625, upper: 3612000729 },
{ lower: 3611794421, upper: 3612100974 },
{ lower: 3611852163, upper: 3612014702 },
{ lower: 3616108547, upper: 3618041359 },
{ lower: 3616593385, upper: 3618107349 },
{ lower: 3617829061, upper: 3618192413 },
{ lower: 3618192415, upper: 3628252830 },
{ lower: 3628252831, upper: 3659254482 },
{ lower: 3632933123, upper: 3652082814 },
{ lower: 3637637036, upper: 3652853727 },
{ lower: 3653104767, upper: 3654804499 },
{ lower: 3659254484, upper: 3672311596 },
{ lower: 3661589550, upper: 3667328781 },
{ lower: 3662660030, upper: 3676294372 },
{ lower: 3663512068, upper: 3674686506 },
{ lower: 3665026148, upper: 3676239424 },
{ lower: 3671560806, upper: 3676498689 },
{ lower: 3672275679, upper: 3674478931 },
{ lower: 3673461712, upper: 3677351195 },
{ lower: 3674686507, upper: 3683472345 },
{ lower: 3676068147, upper: 3678805855 },
{ lower: 3683472347, upper: 3694077033 },
{ lower: 3694077034, upper: 3718390721 },
{ lower: 3698560892, upper: 3703351760 },
{ lower: 3698750668, upper: 3698975786 },
{ lower: 3699440664, upper: 3713677655 },
{ lower: 3701974775, upper: 3724779161 },
{ lower: 3711148791, upper: 3721773623 },
{ lower: 3724779163, upper: 3731382232 },
{ lower: 3725920649, upper: 3734505168 },
{ lower: 3730366567, upper: 3730989122 },
{ lower: 3734215825, upper: 3767700406 },
{ lower: 3734505169, upper: 3755988948 },
{ lower: 3736687746, upper: 3774570916 },
{ lower: 3744749430, upper: 3770715654 },
{ lower: 3745499151, upper: 3746841127 },
{ lower: 3746896292, upper: 3760652269 },
{ lower: 3765332261, upper: 3776919677 },
{ lower: 3772028933, upper: 3779583364 },
{ lower: 3775545128, upper: 3782028606 },
{ lower: 3782028608, upper: 3782877419 },
{ lower: 3782382849, upper: 3794182243 },
{ lower: 3782547468, upper: 3791579659 },
{ lower: 3790557838, upper: 3790821659 },
{ lower: 3791841434, upper: 3797494664 },
{ lower: 3794182244, upper: 3799566334 },
{ lower: 3797007953, upper: 3799783891 },
{ lower: 3797389909, upper: 3799120406 },
{ lower: 3798271597, upper: 3801031905 },
{ lower: 3798409655, upper: 3803475476 },
{ lower: 3803475478, upper: 3820151659 },
{ lower: 3807511962, upper: 3807557825 },
{ lower: 3811104408, upper: 3827985303 },
{ lower: 3812682402, upper: 3820212811 },
{ lower: 3820151660, upper: 3853363012 },
{ lower: 3820170090, upper: 3827290700 },
{ lower: 3826077985, upper: 3829627277 },
{ lower: 3853363014, upper: 3855584416 },
{ lower: 3855584417, upper: 3886295150 },
{ lower: 3857534623, upper: 3859943891 },
{ lower: 3862068873, upper: 3870249341 },
{ lower: 3868474597, upper: 3881441121 },
{ lower: 3886295152, upper: 3887811607 },
{ lower: 3887811608, upper: 3909810672 },
{ lower: 3889682782, upper: 3898950708 },
{ lower: 3892148601, upper: 3897753835 },
{ lower: 3893109545, upper: 3895690030 },
{ lower: 3893285255, upper: 3897654014 },
{ lower: 3893795432, upper: 3898571061 },
{ lower: 3896607653, upper: 3902120279 },
{ lower: 3909810674, upper: 3932704041 },
{ lower: 3913795915, upper: 3942297002 },
{ lower: 3914231660, upper: 3927512695 },
{ lower: 3915486327, upper: 3923103539 },
{ lower: 3919426754, upper: 3928084951 },
{ lower: 3920666694, upper: 3926929222 },
{ lower: 3921624009, upper: 3929261229 },
{ lower: 3922364684, upper: 3927485573 },
{ lower: 3923196013, upper: 3942202205 },
{ lower: 3942297003, upper: 3943746936 },
{ lower: 3943044250, upper: 3945907963 },
{ lower: 3943121023, upper: 3944346698 },
{ lower: 3945907965, upper: 3977860104 },
{ lower: 3952755624, upper: 3956970495 },
{ lower: 3954274530, upper: 3958300763 },
{ lower: 3954694001, upper: 3983601982 },
{ lower: 3969999207, upper: 3974656835 },
{ lower: 3979731432, upper: 3982143719 },
{ lower: 3983601983, upper: 3985969366 },