x[1067]=558
x[1069]=560
x[1097]=564
x[1099]=567
x[1108]=569
x[1109]=567
x[1127]=562
x[1129]=562
x[1139]=556
x[1156]=560
x[1157]=555
x[1159]=557
x[1169]=556
x[1187]=561
x[1189]=565
x[1217]=563
x[1219]=567
x[1237]=569
x[1239]=568
x[1257]=571
x[1259]=572
x[1277]=566
x[1279]=567
x[1307]=564
x[1309]=565
x[1324]=569
x[1326]=567
x[1328]=570
x[1445]=559
x[1454]=585
x[1458]=574
x[1462]=555
x[1465]=571
x[1468]=568
x[1471]=576
x[1477]=587
x[1558]=569
x[1561]=592
x[1587]=556
x[1589]=565
x[1591]=559
x[1594]=555
x[1609]=576
x[1612]=566
x[1616]=558
x[1619]=564
x[1623]=548
x[1640]=565
x[1662]=551
x[1665]=546
x[1683]=529
x[1689]=563
x[1705]=556
x[1723]=547
x[1728]=565
x[1731]=571
x[1734]=572
x[1737]=559
x[1738]=559
x[1744]=577
x[1762]=587
x[1768]=593
x[1773]=597
x[1774]=557
x[1776]=591
x[1778]=601
x[1796]=578
x[1809]=573
x[1814]=598
x[1816]=593
x[1819]=591
x[1824]=600
x[1825]=590
x[1829]=589
x[1833]=603
x[1844]=613
x[1847]=585
x[1848]=599
x[1855]=605
x[1877]=602
x[1896]=585
x[1900]=589
x[1904]=613
x[1906]=597
x[1909]=597
x[1917]=602
x[1920]=603
x[1936]=594
x[1945]=617
x[1968]=618
x[1979]=607
x[1983]=632
x[1987]=607
x[1990]=594
x[1993]=612
x[1994]=638
x[1996]=619
x[1998]=615
x[2625]=616
x[2627]=620
x[2633]=609
x[2681]=628
x[2689]=621
x[2692]=621
x[2694]=628
x[2699]=617
x[2708]=641
x[2727]=650
x[2730]=642
x[2733]=629
x[2736]=635
x[2739]=652
x[2742]=637
x[2747]=647
x[2748]=650
x[2763]=663
x[2779]=662
x[2782]=659
x[2785]=669
x[2788]=661
x[2791]=658
x[2794]=658
x[2796]=669
x[2797]=676
x[2799]=666
x[2826]=663
x[2827]=665
x[2828]=660
x[2829]=660
x[2894]=642
x[2899]=668
x[2906]=646
x[2923]=661
x[2929]=670
x[2943]=667
x[2953]=673
x[2956]=664
x[2957]=680
x[2959]=648
x[2977]=613
x[2979]=616
x[2991]=620
x[2994]=601
x[2997]=630
x[2999]=625
x[3042]=684
x[3044]=667
x[3046]=664
x[3048]=656
x[3050]=658
x[3051]=672
x[3052]=683
x[3053]=666
x[3054]=672
x[3055]=671
x[3058]=650
x[3096]=655
x[3099]=658
x[3103]=635
x[3116]=646
x[3119]=640
x[3130]=660
x[3149]=690
x[3159]=684
x[3172]=687
x[3185]=672
x[3197]=698
x[3205]=648
x[3222]=636
x[3226]=639
x[3229]=633
x[3238]=641
x[3246]=648
x[3249]=607
x[3253]=589
x[4103]=487
x[4105]=485
x[4107]=484
x[4109]=483
x[4129]=486
x[4155]=484
x[4157]=497
x[4158]=490
x[4159]=479
x[4177]=481
x[4178]=477
x[4179]=481
x[4205]=474
x[4207]=479
x[4209]=476
x[4229]=484
x[4249]=478
x[4275]=485
x[4277]=484
x[4279]=495
x[4288]=484
x[4289]=495
x[4299]=490
x[4315]=486
x[4316]=510
x[4317]=488
x[4318]=488
x[4319]=508
x[4328]=501
x[4329]=502
x[4347]=486
x[4349]=499
x[4356]=498
x[4357]=498
x[4416]=493
x[4420]=477
x[4425]=498
x[4435]=479
x[4442]=481
x[4451]=505
x[4460]=469
x[4463]=498
x[4509]=488
x[4519]=497
x[4523]=464
x[4539]=468
x[4552]=479
x[4564]=489
x[4565]=471
x[4567]=503
x[4571]=491
x[4574]=479
x[4575]=486
x[4579]=494
x[4600]=461
x[4603]=472
x[4610]=455
x[4613]=468
x[4617]=460
x[4618]=468
x[4626]=452
x[4639]=462
x[4643]=485
x[4651]=489
x[4654]=471
x[4655]=479
x[4657]=481
x[4668]=526
x[4680]=505
x[4683]=506
x[4685]=535
x[4687]=527
x[4688]=536
x[4703]=517
x[4720]=530
x[4736]=524
x[4741]=529
x[4746]=512
x[4749]=538
x[4758]=549
x[4769]=549
x[4774]=541
x[4779]=540
x[4808]=530
x[4821]=511
x[4824]=511
x[4827]=510
x[4828]=518
x[4838]=516
x[4849]=519
x[4860]=547
x[4874]=561
x[4880]=547
x[4886]=560
x[4889]=539
x[4895]=575
x[4910]=586
x[4916]=579
x[4924]=579
x[4928]=612
x[4931]=577
x[4932]=598
x[4934]=591
x[4936]=588
x[4938]=582
x[6108]=491
x[6110]=491
x[6112]=499
x[6114]=498
x[6116]=492
x[6118]=499
x[6120]=502
x[6122]=496
x[6124]=495
x[6126]=494
x[6128]=489
x[6130]=492
x[6132]=488
x[6179]=482
x[6184]=478
x[6188]=502
x[6193]=504
x[6198]=509
x[6217]=472
x[6231]=472
x[6237]=470
x[6242]=438
x[6246]=477
x[6249]=432
x[6254]=471
x[6255]=444
x[6258]=483
x[6259]=468
x[6268]=435
x[6279]=416
x[6295]=419
x[6308]=414
x[6311]=419
x[6313]=414
x[6317]=428
x[6318]=436
x[6333]=496
x[6343]=421
x[6347]=498
x[6348]=500
x[6366]=488
x[6369]=496
x[6385]=485
x[6386]=524
x[6388]=502
x[6406]=473
x[6408]=472
x[6420]=496
x[6425]=480
x[6429]=471
x[6449]=476
x[6456]=489
x[6458]=442
x[6463]=426
x[6464]=460
x[6466]=420
x[6467]=500
x[6469]=458
x[6484]=428
x[6493]=401
x[6502]=424
x[6507]=388
x[6526]=401
x[6528]=408
x[6536]=375
x[6537]=377
x[6542]=402
x[6543]=418
x[6547]=390
x[6548]=383
x[6556]=387
x[6567]=381
x[6571]=391
x[6577]=376
x[6578]=368
x[6618]=419
x[6628]=413
x[6632]=422
x[6636]=418
x[6638]=423
x[6642]=415
x[6647]=411
x[6648]=399
x[6667]=451
x[6679]=455
x[6682]=445
x[6686]=462
x[6688]=459
x[6712]=449
x[6721]=435
x[6722]=430
x[6724]=444
x[6725]=457
x[6727]=449
x[6729]=458
x[6749]=506
x[6766]=512
x[6773]=542
x[6774]=511
x[6779]=524
x[6780]=509
x[6785]=535
x[6786]=537
x[6791]=531
x[6792]=506
x[6794]=499
x[6796]=495
x[6800]=516
x[6803]=511
x[6804]=524
x[6808]=504
x[6809]=503
x[6842]=522
x[6844]=534
x[6846]=495
x[6847]=526
x[6849]=523
x[6862]=490
x[6869]=540
x[6886]=553
x[6888]=546
x[6895]=563
x[6896]=529
x[6901]=531
x[6905]=536
x[6909]=436
x[6917]=580
x[6918]=568
x[6922]=582
x[6925]=573
x[6926]=589
x[6928]=573
x[7318]=389
x[7330]=419
x[7333]=395
x[7334]=399
x[7336]=400
x[7338]=403
x[7343]=434
x[7349]=431
x[7356]=431
x[7366]=468
x[7368]=465
x[7381]=413
x[7387]=421
x[7389]=451
x[7407]=393
x[7422]=384
x[7426]=384
x[7427]=394
x[7429]=396
x[7545]=433
x[7546]=430
x[7548]=428
x[7549]=439
x[7551]=445
x[7552]=427
x[7554]=430
x[7557]=431
x[7570]=429
x[7580]=436
x[7586]=427
x[7589]=422
x[7607]=423
x[7613]=432
x[7616]=409
x[7619]=430
x[7629]=415
x[7639]=415
x[7646]=403
x[7743]=395
x[7745]=395
x[7747]=394
x[7749]=396
x[7751]=396
x[7768]=406
x[7774]=405
x[7778]=400
x[7806]=417
x[7819]=431
x[7907]=447
x[7919]=460
x[7922]=461
x[7924]=450
x[7926]=469
x[7927]=470
x[7929]=459
x[7937]=445
x[7950]=446
x[7952]=451
x[7955]=433
x[7957]=452
x[7958]=444
x[7973]=453
x[7980]=443
x[7985]=459
x[7987]=467
x[7989]=454
x[8056]=472
x[8058]=469
x[8060]=474
x[8062]=474
x[8064]=476
x[8066]=471
x[8107]=479
x[8112]=479
x[8115]=478
x[8118]=485
x[8132]=470
x[8134]=480
x[8141]=477
x[8144]=486
x[8147]=490
x[8209]=500
x[8223]=486
x[8228]=498
x[8233]=483
x[8236]=485
x[8237]=494
x[8239]=500
x[8248]=515
x[8258]=508