x[86343]=527
x[86356]=508
x[86368]=508
x[86381]=486
x[86391]=508
x[86399]=530
x[86405]=477
x[86415]=529
x[86420]=499
x[86424]=500
x[86438]=525
x[86441]=490
x[86444]=518
x[86447]=524
x[86450]=492
x[86453]=523
x[86456]=509
x[86459]=503
x[86462]=515
x[86465]=495
x[86470]=491
x[86473]=500
x[86476]=476
x[86477]=496
x[86479]=502
x[86480]=491
x[86482]=500
x[86483]=496
x[86485]=479
x[86486]=498
x[86488]=482
x[86489]=484
x[86491]=491
x[86492]=539
x[86494]=499
x[86495]=534
x[86497]=492
x[86498]=480
x[86500]=501
x[86502]=488
x[86504]=532
x[86505]=488
x[86507]=533
x[86508]=519
x[86510]=541
x[86511]=536
x[86513]=493
x[86514]=500
x[86517]=533
x[86519]=479
x[86529]=537
x[86551]=529
x[86554]=529
x[86556]=537
x[86558]=515
x[86559]=529
x[86561]=532
x[86562]=522
x[86564]=517
x[86565]=536
x[86567]=549
x[86568]=526
x[86570]=539
x[86571]=526
x[86573]=525
x[86574]=525
x[86576]=542
x[86577]=529
x[86579]=523
x[86609]=454
x[86633]=503
x[86637]=482
x[86641]=475
x[86643]=460
x[86647]=473
x[86650]=432
x[86653]=455
x[86655]=443
x[86657]=443
x[86660]=455
x[86663]=460
x[86666]=475
x[86668]=515
x[86669]=491
x[86672]=478
x[86673]=498
x[86674]=483
x[86675]=455
x[86676]=486
x[86678]=474
x[86679]=472
x[86681]=442
x[86682]=462
x[86684]=479
x[86685]=440
x[86687]=456
x[86688]=462
x[86690]=466
x[86692]=477
x[86694]=470
x[86695]=470
x[86697]=481
x[86698]=466
x[86700]=441
x[86701]=526
x[86703]=465
x[86704]=455
x[86706]=510
x[86707]=473
x[86709]=434
x[86720]=425
x[86732]=421
x[86733]=434
x[86735]=453
x[86736]=420
x[86738]=428
x[86739]=450
x[86741]=474
x[86742]=409
x[86744]=423
x[86745]=436
x[86747]=417
x[86748]=415
x[86750]=425
x[86751]=439
x[86753]=434
x[86754]=425
x[86756]=431
x[86757]=419
x[86759]=428
x[86807]=540
x[86825]=535
x[86830]=538
x[86833]=538
x[86836]=539
x[86842]=533
x[86845]=535
x[86850]=504
x[86853]=546
x[86854]=538
x[86856]=519
x[86857]=544
x[86859]=553
x[86860]=543
x[86862]=546
x[86863]=504
x[86865]=515
x[86866]=508
x[86868]=509
x[86869]=553
x[86871]=535
x[86872]=512
x[86874]=511
x[86875]=547
x[86877]=505
x[86879]=535
x[86899]=552
x[86911]=573
x[86916]=548
x[86919]=572
x[86920]=566
x[86922]=565
x[86923]=567
x[86925]=560
x[86926]=570
x[86928]=563
x[86929]=557
x[86931]=539
x[86932]=559
x[86934]=571
x[86935]=574
x[86937]=544
x[86938]=572
x[86940]=557
x[86943]=568
x[86944]=552
x[86946]=568
x[86947]=544
x[86949]=563
x[86956]=577
x[86971]=581
x[86972]=576
x[86974]=575
x[86975]=567
x[86977]=573
x[86978]=573
x[86980]=568
x[86981]=571
x[86983]=574
x[86984]=577
x[86986]=573
x[86987]=570
x[86989]=579
x[87435]=533
x[87437]=530
x[87439]=531
x[87448]=546
x[87452]=528
x[87459]=557
x[87463]=520
x[87466]=547
x[87471]=546
x[87474]=539
x[87477]=544
x[87480]=540
x[87484]=549
x[87487]=538
x[87488]=533
x[87490]=529
x[87493]=524
x[87494]=550
x[87496]=526
x[87497]=552
x[87499]=538
x[87509]=555
x[87527]=561
x[87534]=568
x[87538]=567
x[87541]=568
x[87544]=559
x[87545]=560
x[87547]=563
x[87549]=559
x[87561]=574
x[87600]=559
x[87616]=551
x[87629]=569
x[87634]=535
x[87637]=558
x[87640]=555
x[87642]=580
x[87645]=572
x[87647]=540
x[87648]=548
x[87650]=530
x[87651]=561
x[87653]=533
x[87654]=541
x[87656]=553
x[87657]=544
x[87659]=559
x[87660]=540
x[87662]=558
x[87663]=560
x[87665]=558
x[87666]=536
x[87668]=542
x[87669]=568
x[87671]=524
x[87672]=564
x[87674]=554
x[87675]=559
x[87677]=562
x[87679]=552
x[87700]=498
x[87719]=524
x[87724]=509
x[87727]=483
x[87730]=512
x[87733]=520
x[87734]=502
x[87736]=515
x[87737]=497
x[87739]=496
x[87740]=495
x[87742]=525
x[87743]=490
x[87745]=505
x[87746]=509
x[87748]=486
x[87749]=507
x[87751]=492
x[87752]=504
x[87754]=516
x[87755]=487
x[87757]=498
x[87758]=508
x[87760]=506
x[87761]=509
x[87763]=508
x[87764]=512
x[87766]=498
x[87767]=495
x[87769]=507
x[87770]=496
x[87772]=503
x[87773]=483
x[87775]=506
x[87776]=514
x[87778]=518
x[87779]=499
x[87781]=506
x[87782]=531
x[87784]=507
x[87785]=488
x[87787]=512
x[87789]=505
x[88045]=543
x[88046]=545
x[88048]=547
x[88069]=550
x[88074]=539
x[88079]=569
x[88085]=554
x[88090]=533
x[88094]=544
x[88097]=549
x[88099]=551
x[88131]=560
x[88138]=549
x[88142]=572
x[88145]=543
x[88147]=556
x[88149]=572
x[88161]=551
x[88167]=563
x[88171]=559
x[88175]=573
x[88178]=551
x[88179]=560
x[88212]=529
x[88213]=533
x[88214]=533
x[88239]=539
x[88250]=525
x[88255]=522
x[88260]=540
x[88263]=490
x[88267]=544
x[88271]=486
x[88273]=487
x[88276]=529
x[88279]=543
x[88281]=530
x[88284]=523
x[88285]=551
x[88287]=534
x[88289]=548
x[88299]=517
x[88316]=538
x[88317]=508
x[88319]=504
x[88326]=477
x[88339]=505
x[88348]=466
x[88353]=533
x[88356]=474
x[88361]=478
x[88364]=514
x[88367]=466
x[88368]=516
x[88370]=482
x[88371]=475
x[88373]=486
x[88374]=479
x[88376]=478
x[88377]=481
x[88379]=485
x[88400]=488
x[88410]=511
x[88416]=492
x[88422]=463
x[88427]=471
x[88430]=502
x[88433]=447
x[88436]=496
x[88437]=483
x[88441]=492
x[88444]=489
x[88447]=480
x[88448]=459
x[88450]=495
x[88451]=481
x[88453]=487
x[88454]=493
x[88456]=494
x[88457]=485
x[88459]=497
x[88471]=465
x[88477]=477
x[88480]=462
x[88481]=477
x[88483]=464
x[88484]=480
x[88486]=481
x[88487]=472
x[88489]=477
x[88499]=449
x[88512]=455
x[88515]=439
x[88518]=460
x[88521]=457
x[88524]=462
x[88525]=454
x[88527]=450
x[88529]=436
x[88605]=488
x[88630]=476
x[88631]=462
x[88633]=526
x[88634]=514
x[88636]=485
x[88637]=485
x[88639]=472
x[88662]=511
x[88677]=531
x[88682]=525
x[88690]=522
x[88693]=490
x[88696]=510
x[88697]=530
x[88699]=522
x[88709]=530
x[88718]=525
x[88719]=528
x[89073]=444
x[89075]=441
x[89077]=444
x[89079]=452
x[89081]=445
x[89129]=444
x[89134]=446
x[89143]=433
x[89150]=415
x[89155]=454
x[89160]=439
x[89165]=473
x[89168]=462
x[89171]=454
x[89173]=433
x[89174]=449
x[89176]=456
x[89177]=454
x[89179]=440
x[89180]=426
x[89182]=446
x[89183]=444
x[89185]=460
x[89186]=460
x[89188]=419
x[89189]=441
x[89191]=421
x[89192]=454
x[89194]=459
x[89195]=456
x[89197]=440
x[89198]=444
x[89231]=448
x[89233]=460
x[89250]=453
x[89257]=470
x[89264]=464
x[89269]=459
x[89275]=448
x[89278]=456
x[89281]=478
x[89284]=463
x[89287]=465
x[89290]=473
x[89291]=459
x[89293]=479
x[89294]=476
x[89296]=477
x[89297]=471
x[89299]=473
x[89312]=465
x[89331]=474
x[89335]=467
x[89340]=456
x[89343]=477
x[89344]=479
x[89346]=462
x[89347]=459
x[89349]=484
x[89350]=480
x[89352]=474
x[89353]=482
x[89355]=475
x[89356]=481
x[89358]=473
x[89359]=464
x[89361]=481
x[89362]=473
x[89364]=469
x[89365]=475
x[89367]=473
x[89368]=484
x[89407]=470
x[89415]=464
x[89420]=476
x[89423]=464
x[89426]=460
x[89428]=449
x[89429]=450
x[89431]=463
x[89434]=456
x[89435]=462
x[89437]=458
x[89438]=479
x[89440]=451
x[89441]=461
x[89443]=459