x[8261]=507
x[8262]=511
x[8265]=536
x[8267]=512
x[8269]=512
x[8280]=495
x[8289]=489
x[8294]=497
x[8297]=493
x[8301]=491
x[8304]=507
x[8309]=509
x[8312]=499
x[8315]=507
x[8318]=497
x[8321]=494
x[8324]=497
x[8325]=516
x[8326]=503
x[8328]=501
x[8340]=506
x[8349]=514
x[8352]=516
x[8355]=519
x[8358]=506
x[8359]=507
x[8371]=466
x[8373]=466
x[8393]=462
x[8396]=469
x[8412]=462
x[8427]=463
x[8428]=454
x[8432]=463
x[8439]=460
x[8451]=453
x[8459]=456
x[8468]=472
x[8485]=481
x[8491]=463
x[8496]=468
x[8499]=469
x[8523]=480
x[8525]=478
x[8527]=482
x[8529]=482
x[8538]=471
x[8539]=470
x[8541]=497
x[8543]=471
x[8547]=480
x[8548]=460
x[8606]=491
x[8626]=501
x[8645]=506
x[8648]=514
x[9111]=494
x[9112]=493
x[9113]=493
x[9114]=495
x[9116]=490
x[9117]=487
x[9119]=494
x[9120]=496
x[9122]=493
x[9123]=503
x[9125]=498
x[9126]=497
x[9127]=497
x[9128]=501
x[9130]=495
x[9131]=498
x[9212]=486
x[9217]=491
x[9221]=491
x[9224]=487
x[9228]=492
x[9232]=493
x[9235]=501
x[9236]=505
x[9241]=487
x[9243]=486
x[9244]=501
x[9247]=490
x[9249]=497
x[9306]=506
x[9322]=482
x[9326]=502
x[9328]=484
x[9337]=480
x[9350]=483
x[9353]=479
x[9355]=481
x[9356]=477
x[9366]=488
x[9376]=488
x[9380]=493
x[9385]=484
x[9387]=490
x[9390]=499
x[9392]=502
x[9394]=484
x[9395]=500
x[9399]=485
x[9405]=509
x[9419]=509
x[9423]=509
x[9427]=513
x[9429]=523
x[9430]=518
x[9432]=514
x[9434]=517
x[9435]=516
x[9437]=519
x[9439]=510
x[9456]=519
x[9465]=528
x[9468]=508
x[9471]=529
x[9474]=519
x[9477]=534
x[9481]=512
x[9484]=532
x[9487]=515
x[9488]=513
x[9496]=524
x[9509]=539
x[9514]=526
x[9517]=533
x[9518]=528
x[9526]=536
x[9544]=546
x[9548]=555
x[9557]=509
x[9569]=523
x[9573]=517
x[9575]=525
x[9577]=503
x[9579]=520
x[9599]=543
x[9600]=542
x[9603]=529
x[9618]=530
x[9619]=543
x[9623]=563
x[9627]=552
x[9629]=537
x[9633]=544
x[9634]=528
x[9638]=556
x[9648]=508
x[9661]=515
x[9669]=507
x[10115]=573
x[10117]=578
x[10119]=576
x[10178]=579
x[10179]=579
x[10243]=581
x[10245]=582
x[10247]=584
x[10249]=580
x[10315]=588
x[10317]=587
x[10318]=592
x[10319]=586
x[10365]=588
x[10367]=585
x[10369]=582
x[10405]=577
x[10407]=582
x[10409]=582
x[10435]=580
x[10437]=579
x[10439]=578
x[10551]=572
x[10553]=571
x[10555]=570
x[10557]=572
x[10559]=572
x[10585]=568
x[10587]=568
x[10589]=569
x[10623]=569
x[10625]=568
x[10627]=567
x[10629]=567
x[10707]=567
x[10709]=567
x[10711]=567
x[10713]=567
x[10715]=569
x[10717]=569
x[10719]=569
x[10777]=572
x[10779]=572
x[10781]=572
x[10783]=572
x[10785]=576
x[10787]=570
x[10789]=569
x[10823]=572
x[10825]=571
x[10827]=570
x[10829]=572
x[10961]=577
x[10963]=577
x[10965]=577
x[10967]=578
x[10969]=578
x[10997]=580
x[10999]=579
x[12043]=580
x[12045]=580
x[12047]=581
x[12049]=579
x[12051]=577
x[12053]=580
x[12055]=579
x[12057]=580
x[12059]=581
x[12099]=576
x[12101]=575
x[12103]=573
x[12105]=569
x[12107]=568
x[12109]=569
x[12157]=573
x[12159]=571
x[12161]=570
x[12163]=570
x[12165]=563
x[12167]=564
x[12169]=573
x[12203]=562
x[12205]=561
x[12207]=569
x[12209]=567
x[12247]=567
x[12249]=566
x[12277]=566
x[12279]=565
x[12305]=568
x[12307]=571
x[12309]=575
x[12347]=578
x[12349]=570
x[12351]=578
x[12353]=578
x[12355]=579
x[12357]=582
x[12359]=579
x[12435]=581
x[12437]=582
x[12439]=582
x[12459]=588
x[12487]=583
x[12489]=585
x[12524]=584
x[12526]=582
x[12527]=582
x[12529]=580
x[12555]=589
x[12557]=588
x[12559]=590
x[12587]=592
x[12589]=603
x[12619]=593
x[12621]=593
x[12623]=593
x[12625]=616
x[12627]=618
x[12629]=617
x[12679]=617
x[12681]=591
x[12683]=590
x[12685]=592
x[12687]=616
x[12689]=614
x[13051]=586
x[13053]=587
x[13055]=585
x[13057]=615
x[13059]=609
x[13086]=583
x[13088]=589
x[13089]=583
x[13125]=605
x[13127]=600
x[13129]=604
x[13156]=579
x[13158]=582
x[13159]=599
x[13187]=579
x[13189]=579
x[13347]=574
x[13349]=574
x[13351]=573
x[13353]=572
x[13355]=577
x[13357]=577
x[13359]=577
x[13403]=573
x[13405]=572
x[13407]=576
x[13409]=576
x[13435]=577
x[13437]=577
x[13439]=578
x[13465]=591
x[13467]=579
x[13469]=581
x[13503]=580
x[13505]=583
x[13507]=581
x[13509]=574
x[13581]=560
x[13583]=560
x[13585]=561
x[13587]=572
x[13589]=561
x[13591]=559
x[13593]=555
x[13595]=558
x[13597]=561
x[13599]=573
x[13627]=573
x[13629]=570
x[14050]=568
x[14052]=568
x[14053]=561
x[14055]=568
x[14057]=565
x[14059]=567
x[14089]=554
x[14109]=554
x[14129]=555
x[14163]=556
x[14165]=555
x[14167]=561
x[14169]=563
x[14193]=562
x[14195]=565
x[14197]=569
x[14199]=564
x[14467]=546
x[14469]=546
x[14471]=538
x[14473]=541
x[14476]=542
x[14478]=545
x[14480]=548
x[14482]=553
x[14513]=555
x[14532]=554
x[14542]=529
x[14547]=540
x[14548]=529
x[14550]=520
x[14552]=537
x[14554]=532
x[14557]=537
x[14558]=508
x[14612]=557
x[14621]=565
x[14624]=550
x[14641]=542
x[14656]=552
x[14662]=541
x[14669]=545
x[14712]=519
x[14715]=506
x[14727]=504
x[14728]=543
x[14770]=512
x[14772]=518
x[14774]=499
x[14776]=500
x[14778]=518
x[14789]=488
x[14793]=483
x[14797]=516
x[14798]=525
x[14806]=510
x[14822]=540
x[14823]=513
x[14827]=508
x[14828]=490
x[14913]=552
x[14929]=534
x[14943]=564
x[14947]=572
x[14959]=552
x[14974]=552
x[14979]=562
x[15230]=641
x[15232]=639
x[15234]=636
x[15236]=637
x[15295]=647
x[15299]=649
x[15306]=639
x[15320]=632
x[15324]=657
x[15326]=651
x[15328]=660
x[15344]=620
x[15345]=617
x[15366]=611
x[15370]=616
x[15374]=629
x[15377]=631
x[15378]=605
x[15517]=610
x[15518]=629
x[15526]=614
x[15528]=597
x[15537]=597
x[15562]=605
x[15566]=607
x[15569]=600
x[15711]=576
x[15732]=576
x[15738]=578
x[15741]=582
x[15745]=576
x[15746]=590
x[15748]=602
x[15749]=575
x[15751]=579
x[15754]=592
x[15755]=597
x[15757]=598
x[15758]=583
x[15806]=561
x[15827]=568
x[15831]=567
x[15834]=566
x[15837]=595
x[15838]=574
x[15848]=628
x[15859]=606
x[15864]=617
x[15868]=666
x[15890]=661
x[15898]=672
x[15907]=624
x[15910]=619
x[15913]=632
x[15926]=606
x[15936]=597
x[15938]=618
x[16225]=641
x[16227]=641
x[16230]=644
x[16244]=640
x[16247]=656
x[16248]=645
x[16259]=647
x[16269]=636
x[16278]=667
x[16303]=694
x[16306]=689
x[16307]=710
x[16321]=613
x[16341]=605
x[16348]=617
x[16352]=600
x[16356]=615
x[16359]=624
x[16515]=587
x[16540]=591
x[16547]=590
x[16548]=582
x[16552]=596
x[16556]=585
x[16559]=607
x[16562]=591
x[16565]=588
x[16567]=595
x[16727]=576
x[16761]=587
x[16766]=574
x[16767]=584
x[16775]=624
x[16792]=617
x[16798]=636
x[16816]=604
x[16818]=595
x[16827]=608
x[16831]=615
x[16833]=585
x[16835]=606
x[16837]=622
x[16845]=551
x[16866]=564
x[16868]=560
x[16909]=596
x[16918]=587
x[16928]=530
x[16945]=575
x[16949]=574