#include <bits/stdc++.h>
using namespace std;
int main(){
    int w[5003];

w[1]=0;w[2]=0;w[3]=2;w[4]=2;w[5]=2;w[6]=4;w[7]=7;w[8]=7;w[9]=14;w[10]=14;w[11]=19;w[12]=21;w[13]=24;w[14]=27;w[15]=35;w[16]=35;w[17]=40;w[18]=47;w[19]=55;w[20]=55;w[21]=72;w[22]=77;w[23]=86;w[24]=88;w[25]=94;w[26]=97;w[27]=118;w[28]=121;w[29]=130;w[30]=138;w[31]=150;w[32]=150;w[33]=176;w[34]=181;w[35]=196;w[36]=203;w[37]=215;w[38]=223;w[39]=246;w[40]=246;w[41]=260;w[42]=277;w[43]=294;w[44]=299;w[45]=330;w[46]=339;w[47]=357;w[48]=359;w[49]=383;w[50]=389;w[51]=421;w[52]=424;w[53]=442;w[54]=463;w[55]=486;w[56]=489;w[57]=530;w[58]=539;w[59]=562;w[60]=570;w[61]=591;w[62]=603;w[63]=661;w[64]=661;w[65]=679;w[66]=705;w[67]=731;w[68]=736;w[69]=783;w[70]=798;w[71]=825;w[72]=832;w[73]=858;w[74]=870;w[75]=914;w[76]=922;w[77]=966;w[78]=989;w[79]=1019;w[80]=1019;w[81]=1081;w[82]=1095;w[83]=1127;w[84]=1144;w[85]=1170;w[86]=1187;w[87]=1240;w[88]=1245;w[89]=1277;w[90]=1308;w[91]=1350;w[92]=1359;w[93]=1421;w[94]=1439;w[95]=1477;w[96]=1479;w[97]=1514;w[98]=1538;w[99]=1624;w[100]=1630;w[101]=1666;w[102]=1698;w[103]=1737;w[104]=1740;w[105]=1823;w[106]=1841;w[107]=1882;w[108]=1903;w[109]=1942;w[110]=1965;w[111]=2033;w[112]=2036;w[113]=2077;w[114]=2118;w[115]=2163;w[116]=2172;w[117]=2254;w[118]=2277;w[119]=2333;w[120]=2341;w[121]=2396;w[122]=2417;w[123]=2494;w[124]=2506;w[125]=2548;w[126]=2606;w[127]=2654;w[128]=2654;w[129]=2740;w[130]=2758;w[131]=2808;w[132]=2834;w[133]=2905;w[134]=2931;w[135]=3030;w[136]=3035;w[137]=3085;w[138]=3132;w[139]=3185;w[140]=3200;w[141]=3292;w[142]=3319;w[143]=3381;w[144]=3388;w[145]=3436;w[146]=3462;w[147]=3584;w[148]=3596;w[149]=3650;w[150]=3694;w[151]=3751;w[152]=3759;w[153]=3869;w[154]=3913;w[155]=3973;w[156]=3996;w[157]=4053;w[158]=4083;w[159]=4181;w[160]=4181;w[161]=4265;w[162]=4327;w[163]=4389;w[164]=4403;w[165]=4525;w[166]=4557;w[167]=4620;w[168]=4637;w[169]=4697;w[170]=4723;w[171]=4860;w[172]=4877;w[173]=4940;w[174]=4993;w[175]=5074;w[176]=5079;w[177]=5195;w[178]=5227;w[179]=5295;w[180]=5326;w[181]=5392;w[182]=5434;w[183]=5547;w[184]=5556;w[185]=5619;w[186]=5681;w[187]=5764;w[188]=5782;w[189]=5962;w[190]=6000;w[191]=6072;w[192]=6074;w[193]=6145;w[194]=6180;w[195]=6296;w[196]=6320;w[197]=6392;w[198]=6478;w[199]=6553;w[200]=6559;w[201]=6690;w[202]=6726;w[203]=6822;w[204]=6854;w[205]=6925;w[206]=6964;w[207]=7124;w[208]=7127;w[209]=7231;w[210]=7314;w[211]=7394;w[212]=7412;w[213]=7549;w[214]=7590;w[215]=7673;w[216]=7694;w[217]=7805;w[218]=7844;w[219]=7981;w[220]=8004;w[221]=8081;w[222]=8149;w[223]=8233;w[224]=8236;w[225]=8393;w[226]=8434;w[227]=8520;w[228]=8561;w[229]=8645;w[230]=8690;w[231]=8911;w[232]=8920;w[233]=9006;w[234]=9088;w[235]=9178;w[236]=9201;w[237]=9353;w[238]=9409;w[239]=9499;w[240]=9507;w[241]=9596;w[242]=9651;w[243]=9835;w[244]=9856;w[245]=9976;w[246]=10053;w[247]=10154;w[248]=10166;w[249]=10327;w[250]=10369;w[251]=10464;w[252]=10522;w[253]=10644;w[254]=10692;w[255]=10847;w[256]=10847;w[257]=10942;w[258]=11028;w[259]=11151;w[260]=11169;w[261]=11353;w[262]=11403;w[263]=11502;w[264]=11528;w[265]=11621;w[266]=11692;w[267]=11859;w[268]=11885;w[269]=11984;w[270]=12083;w[271]=12185;w[272]=12190;w[273]=12408;w[274]=12458;w[275]=12577;w[276]=12624;w[277]=12726;w[278]=12779;w[279]=12990;w[280]=13005;w[281]=13109;w[282]=13201;w[283]=13308;w[284]=13335;w[285]=13532;w[286]=13594;w[287]=13731;w[288]=13738;w[289]=13844;w[290]=13892;w[291]=14074;w[292]=14100;w[293]=14208;w[294]=14330;w[295]=14443;w[296]=14455;w[297]=14718;w[298]=14772;w[299]=14892;w[300]=14936;w[301]=15088;w[302]=15145;w[303]=15333;w[304]=15341;w[305]=15449;w[306]=15559;w[307]=15675;w[308]=15719;w[309]=15916;w[310]=15976;w[311]=16093;w[312]=16116;w[313]=16232;w[314]=16289;w[315]=16575;w[316]=16605;w[317]=16722;w[318]=16820;w[319]=16960;w[320]=16960;w[321]=17166;w[322]=17250;w[323]=17384;w[324]=17446;w[325]=17557;w[326]=17619;w[327]=17822;w[328]=17836;w[329]=18001;w[330]=18123;w[331]=18248;w[332]=18280;w[333]=18515;w[334]=18578;w[335]=18706;w[336]=18723;w[337]=18848;w[338]=18908;w[339]=19120;w[340]=19146;w[341]=19307;w[342]=19444;w[343]=19615;w[344]=19632;w[345]=19865;w[346]=19928;w[347]=20059;w[348]=20112;w[349]=20241;w[350]=20322;w[351]=20580;w[352]=20585;w[353]=20716;w[354]=20832;w[355]=20967;w[356]=20999;w[357]=21286;w[358]=21354;w[359]=21489;w[360]=21520;w[361]=21671;w[362]=21737;w[363]=22012;w[364]=22054;w[365]=22185;w[366]=22298;w[367]=22436;w[368]=22445;w[369]=22708;w[370]=22771;w[371]=22948;w[372]=23010;w[373]=23148;w[374]=23231;w[375]=23461;w[376]=23479;w[377]=23614;w[378]=23794;w[379]=23937;w[380]=23975;w[381]=24217;w[382]=24289;w[383]=24433;w[384]=24435;w[385]=24653;w[386]=24724;w[387]=25014;w[388]=25049;w[389]=25193;w[390]=25309;w[391]=25467;w[392]=25491;w[393]=25742;w[394]=25814;w[395]=25964;w[396]=26050;w[397]=26197;w[398]=26272;w[399]=26628;w[400]=26634;w[401]=26783;w[402]=26914;w[403]=27073;w[404]=27109;w[405]=27411;w[406]=27507;w[407]=27686;w[408]=27718;w[409]=27870;w[410]=27941;w[411]=28198;w[412]=28237;w[413]=28443;w[414]=28603;w[415]=28761;w[416]=28764;w[417]=29030;w[418]=29134;w[419]=29292;w[420]=29375;w[421]=29531;w[422]=29611;w[423]=29924;w[424]=29942;w[425]=30091;w[426]=30228;w[427]=30432;w[428]=30473;w[429]=30790;w[430]=30873;w[431]=31035;w[432]=31056;w[433]=31217;w[434]=31328;w[435]=31594;w[436]=31633;w[437]=31830;w[438]=31967;w[439]=32132;w[440]=32155;w[441]=32570;w[442]=32647;w[443]=32814;w[444]=32882;w[445]=33043;w[446]=33127;w[447]=33405;w[448]=33408;w[449]=33575;w[450]=33732;w[451]=33932;w[452]=33973;w[453]=34260;w[454]=34346;w[455]=34559;w[456]=34600;w[457]=34770;w[458]=34854;w[459]=35195;w[460]=35240;w[461]=35411;w[462]=35632;w[463]=35806;w[464]=35815;w[465]=36123;w[466]=36209;w[467]=36385;w[468]=36467;w[469]=36700;w[470]=36790;w[471]=37083;w[472]=37106;w[473]=37327;w[474]=37479;w[475]=37673;w[476]=37729;w[477]=38066;w[478]=38156;w[479]=38336;w[480]=38344;w[481]=38518;w[482]=38607;w[483]=39029;w[484]=39084;w[485]=39260;w[486]=39444;w[487]=39627;w[488]=39648;w[489]=39959;w[490]=40079;w[491]=40264;w[492]=40341;w[493]=40520;w[494]=40621;w[495]=41037;w[496]=41049;w[497]=41295;w[498]=41456;w[499]=41644;w[500]=41686;w[501]=42003;w[502]=42098;w[503]=42287;w[504]=42345;w[505]=42528;w[506]=42650;w[507]=42964;w[508]=43012;w[509]=43201;w[510]=43356;w[511]=43601;w[512]=43601;w[513]=44023;w[514]=44118;w[515]=44313;w[516]=44399;w[517]=44638;w[518]=44761;w[519]=45084;w[520]=45102;w[521]=45296;w[522]=45480;w[523]=45677;w[524]=45727;w[525]=46146;w[526]=46245;w[527]=46454;w[528]=46480;w[529]=46696;w[530]=46789;w[531]=47181;w[532]=47252;w[533]=47446;w[534]=47613;w[535]=47816;w[536]=47842;w[537]=48183;w[538]=48282;w[539]=48599;w[540]=48698;w[541]=48899;w[542]=49001;w[543]=49339;w[544]=49344;w[545]=49542;w[546]=49760;w[547]=49966;w[548]=50016;w[549]=50404;w[550]=50523;w[551]=50750;w[552]=50797;w[553]=51070;w[554]=51172;w[555]=51513;w[556]=51566;w[557]=51773;w[558]=51984;w[559]=52202;w[560]=52217;w[561]=52636;w[562]=52740;w[563]=52952;w[564]=53044;w[565]=53250;w[566]=53357;w[567]=53902;w[568]=53929;w[569]=54141;w[570]=54338;w[571]=54553;w[572]=54615;w[573]=54977;w[574]=55114;w[575]=55345;w[576]=55352;w[577]=55567;w[578]=55673;w[579]=56035;w[580]=56083;w[581]=56370;w[582]=56552;w[583]=56809;w[584]=56835;w[585]=57244;w[586]=57352;w[587]=57573;w[588]=57695;w[589]=57955;w[590]=58068;w[591]=58436;w[592]=58448;w[593]=58669;w[594]=58932;w[595]=59213;w[596]=59267;w[597]=59644;w[598]=59764;w[599]=59989;w[600]=60033;w[601]=60257;w[602]=60409;w[603]=60852;w[604]=60909;w[605]=61180;w[606]=61368;w[607]=61596;w[608]=61604;w[609]=62092;w[610]=62200;w[611]=62437;w[612]=62547;w[613]=62775;w[614]=62891;w[615]=63271;w[616]=63315;w[617]=63545;w[618]=63742;w[619]=63975;w[620]=64035;w[621]=64533;w[622]=64650;w[623]=64949;w[624]=64972;w[625]=65200;w[626]=65316;w[627]=65834;w[628]=65891;w[629]=66121;w[630]=66407;w[631]=66644;w[632]=66674;w[633]=67075;w[634]=67192;w[635]=67432;w[636]=67530;w[637]=67845;w[638]=67985;w[639]=68451;w[640]=68451;w[641]=68690;w[642]=68896;w[643]=69138;w[644]=69222;w[645]=69644;w[646]=69778;w[647]=70021;w[648]=70083;w[649]=70382;w[650]=70493;w[651]=71050;w[652]=71112;w[653]=71355;w[654]=71558;w[655]=71806;w[656]=71820;w[657]=72287;w[658]=72452;w[659]=72700;w[660]=72822;w[661]=73068;w[662]=73193;w[663]=73603;w[664]=73635;w[665]=73988;w[666]=74223;w[667]=74493;w[668]=74556;w[669]=74978;w[670]=75106;w[671]=75402;w[672]=75419;w[673]=75670;w[674]=75795;w[675]=76290;w[676]=76350;w[677]=76602;w[678]=76814;w[679]=77140;w[680]=77166;w[681]=77597;w[682]=77758;w[683]=78015;w[684]=78152;w[685]=78403;w[686]=78574;w[687]=79002;w[688]=79019;w[689]=79271;w[690]=79504;w[691]=79764;w[692]=79827;w[693]=80576;w[694]=80707;w[695]=80970;w[696]=81023;w[697]=81280;w[698]=81409;w[699]=81846;w[700]=81927;w[701]=82188;w[702]=82446;w[703]=82736;w[704]=82741;w[705]=83199;w[706]=83330;w[707]=83669;w[708]=83785;w[709]=84049;w[710]=84184;w[711]=84701;w[712]=84733;w[713]=85042;w[714]=85329;w[715]=85640;w[716]=85708;w[717]=86160;w[718]=86295;w[719]=86565;w[720]=86596;w[721]=86950;w[722]=87101;w[723]=87553;w[724]=87619;w[725]=87880;w[726]=88155;w[727]=88428;w[728]=88470;w[729]=89019;w[730]=89150;w[731]=89437;w[732]=89550;w[733]=89823;w[734]=89961;w[735]=90569;w[736]=90578;w[737]=90916;w[738]=91179;w[739]=91457;w[740]=91520;w[741]=92032;w[742]=92209;w[743]=92488;w[744]=92550;w[745]=92823;w[746]=92961;w[747]=93506;w[748]=93589;w[749]=93957;w[750]=94187;w[751]=94469;w[752]=94487;w[753]=94963;w[754]=95098;w[755]=95383;w[756]=95563;w[757]=95845;w[758]=95988;w[759]=96599;w[760]=96637;w[761]=96921;w[762]=97163;w[763]=97529;w[764]=97601;w[765]=98140;w[766]=98284;w[767]=98580;w[768]=98582;w[769]=98869;w[770]=99087;w[771]=99569;w[772]=99640;w[773]=99928;w[774]=100218;w[775]=100524;w[776]=100559;w[777]=101182;w[778]=101326;w[779]=101649;w[780]=101765;w[781]=102121;w[782]=102279;w[783]=102855;w[784]=102879;w[785]=103167;w[786]=103418;w[787]=103714;w[788]=103786;w[789]=104283;w[790]=104433;w[791]=104813;w[792]=104899;w[793]=105190;w[794]=105337;w[795]=105828;w[796]=105903;w[797]=106200;w[798]=106556;w[799]=106867;w[800]=106873;w[801]=107442;w[802]=107591;w[803]=107947;w[804]=108078;w[805]=108498;w[806]=108657;w[807]=109160;w[808]=109196;w[809]=109498;w[810]=109800;w[811]=110105;w[812]=110201;w[813]=110713;w[814]=110892;w[815]=111200;w[816]=111232;w[817]=111588;w[818]=111740;w[819]=112485;w[820]=112556;w[821]=112862;w[822]=113119;w[823]=113428;w[824]=113467;w[825]=114075;w[826]=114281;w[827]=114592;w[828]=114752;w[829]=115061;w[830]=115219;w[831]=115737;w[832]=115740;w[833]=116153;w[834]=116419;w[835]=116734;w[836]=116838;w[837]=117495;w[838]=117653;w[839]=117968;w[840]=118051;w[841]=118363;w[842]=118519;w[843]=119046;w[844]=119126;w[845]=119432;w[846]=119745;w[847]=120235;w[848]=120253;w[849]=120789;w[850]=120938;w[851]=121283;w[852]=121420;w[853]=121738;w[854]=121942;w[855]=122613;w[856]=122654;w[857]=122974;w[858]=123291;w[859]=123614;w[860]=123697;w[861]=124389;w[862]=124551;w[863]=124875;w[864]=124896;w[865]=125214;w[866]=125375;w[867]=125917;w[868]=126028;w[869]=126423;w[870]=126689;w[871]=127024;w[872]=127063;w[873]=127683;w[874]=127880;w[875]=128297;w[876]=128434;w[877]=128761;w[878]=128926;w[879]=129474;w[880]=129497;w[881]=129826;w[882]=130241;w[883]=130573;w[884]=130650;w[885]=131222;w[886]=131389;w[887]=131722;w[888]=131790;w[889]=132225;w[890]=132386;w[891]=133177;w[892]=133261;w[893]=133647;w[894]=133925;w[895]=134263;w[896]=134266;w[897]=134874;w[898]=135041;w[899]=135398;w[900]=135555;w[901]=135887;w[902]=136087;w[903]=136848;w[904]=136889;w[905]=137222;w[906]=137509;w[907]=137850;w[908]=137936;w[909]=138579;w[910]=138792;w[911]=139134;w[912]=139175;w[913]=139591;w[914]=139761;w[915]=140327;w[916]=140411;w[917]=140860;w[918]=141201;w[919]=141546;w[920]=141591;w[921]=142172;w[922]=142343;w[923]=142697;w[924]=142918;w[925]=143254;w[926]=143428;w[927]=144098;w[928]=144107;w[929]=144454;w[930]=144762;w[931]=145274;w[932]=145360;w[933]=145947;w[934]=146123;w[935]=146533;w[936]=146615;w[937]=146965;w[938]=147198;w[939]=147785;w[940]=147875;w[941]=148226;w[942]=148519;w[943]=148902;w[944]=148925;w[945]=149819;w[946]=150040;w[947]=150396;w[948]=150548;w[949]=150898;w[950]=151092;w[951]=151685;w[952]=151741;w[953]=152097;w[954]=152434;w[955]=152794;w[956]=152884;w[957]=153591;w[958]=153771;w[959]=154232;w[960]=154240;w[961]=154624;w[962]=154798;w[963]=155496;w[964]=155585;w[965]=155941;w[966]=156363;w[967]=156726;w[968]=156781;w[969]=157455;w[970]=157631;w[971]=157996;w[972]=158180;w[973]=158656;w[974]=158839;w[975]=159438;w[976]=159459;w[977]=159824;w[978]=160135;w[979]=160569;w[980]=160689;w[981]=161383;w[982]=161568;w[983]=161937;w[984]=162014;w[985]=162377;w[986]=162556;w[987]=163383;w[988]=163484;w[989]=163906;w[990]=164322;w[991]=164694;w[992]=164706;w[993]=165332;w[994]=165578;w[995]=165953;w[996]=166114;w[997]=166486;w[998]=166674;w[999]=167409;w[1000]=167451;w[1001]=168020;w[1002]=168337;w[1003]=168726;w[1004]=168821;w[1005]=169468;w[1006]=169657;w[1007]=170073;w[1008]=170131;w[1009]=170508;w[1010]=170691;w[1011]=171323;w[1012]=171445;w[1013]=171823;w[1014]=172137;w[1015]=172620;w[1016]=172668;w[1017]=173390;w[1018]=173579;w[1019]=173962;w[1020]=174117;w[1021]=174498;w[1022]=174743;w[1023]=175549;w[1024]=175549;w[1025]=175923;w[1026]=176345;w[1027]=176738;w[1028]=176833;w[1029]=177690;w[1030]=177885;w[1031]=178272;w[1032]=178358;w[1033]=178744;w[1034]=178983;w[1035]=179779;w[1036]=179902;w[1037]=180285;w[1038]=180608;w[1039]=180998;w[1040]=181016;w[1041]=181672;w[1042]=181866;w[1043]=182367;w[1044]=182551;w[1045]=183063;w[1046]=183260;w[1047]=183913;w[1048]=183963;w[1049]=184355;w[1050]=184774;w[1051]=185169;w[1052]=185268;w[1053]=186053;w[1054]=186262;w[1055]=186660;w[1056]=186686;w[1057]=187202;w[1058]=187418;w[1059]=188080;w[1060]=188173;w[1061]=188569;w[1062]=188961;w[1063]=189360;w[1064]=189431;w[1065]=190114;w[1066]=190308;w[1067]=190781;w[1068]=190948;w[1069]=191347;w[1070]=191550;w[1071]=192527;w[1072]=192553;w[1073]=192949;w[1074]=193290;w[1075]=193709;w[1076]=193808;w[1077]=194485;w[1078]=194802;w[1079]=195215;w[1080]=195314;w[1081]=195773;w[1082]=195974;w[1083]=196729;w[1084]=196831;w[1085]=197386;w[1086]=197724;w[1087]=198132;w[1088]=198137;w[1089]=199067;w[1090]=199265;w[1091]=199675;w[1092]=199893;w[1093]=200301;w[1094]=200507;w[1095]=201187;w[1096]=201237;w[1097]=201647;w[1098]=202035;w[1099]=202563;w[1100]=202682;w[1101]=203374;w[1102]=203601;w[1103]=204015;w[1104]=204062;w[1105]=204457;w[1106]=204730;w[1107]=205548;w[1108]=205650;w[1109]=206064;w[1110]=206405;w[1111]=206896;w[1112]=206949;w[1113]=207842;w[1114]=208049;w[1115]=208469;w[1116]=208680;w[1117]=209097;w[1118]=209315;w[1119]=210013;w[1120]=210028;w[1121]=210510;w[1122]=210929;w[1123]=211351;w[1124]=211455;w[1125]=212248;w[1126]=212460;w[1127]=213069;w[1128]=213161;w[1129]=213583;w[1130]=213789;w[1131]=214490;w[1132]=214597;w[1133]=215109;w[1134]=215654;w[1135]=216082;w[1136]=216109;w[1137]=216825;w[1138]=217037;w[1139]=217477;w[1140]=217674;w[1141]=218231;w[1142]=218446;w[1143]=219269;w[1144]=219331;w[1145]=219754;w[1146]=220116;w[1147]=220572;w[1148]=220709;w[1149]=221431;w[1150]=221662;w[1151]=222094;w[1152]=222101;w[1153]=222532;w[1154]=222747;w[1155]=223844;w[1156]=223950;w[1157]=224378;w[1158]=224740;w[1159]=225219;w[1160]=225267;w[1161]=226166;w[1162]=226453;w[1163]=226890;w[1164]=227072;w[1165]=227503;w[1166]=227760;w[1167]=228488;w[1168]=228514;w[1169]=229084;w[1170]=229493;w[1171]=229933;w[1172]=230041;w[1173]=230838;w[1174]=231059;w[1175]=231515;w[1176]=231637;w[1177]=232170;w[1178]=232430;w[1179]=233281;w[1180]=233394;w[1181]=233835;w[1182]=234203;w[1183]=234770;w[1184]=234782;w[1185]=235540;w[1186]=235761;w[1187]=236207;w[1188]=236470;w[1189]=236910;w[1190]=237191;w[1191]=237934;w[1192]=237988;w[1193]=238434;w[1194]=238811;w[1195]=239261;w[1196]=239381;w[1197]=240589;w[1198]=240814;w[1199]=241344;w[1200]=241388;w[1201]=241837;w[1202]=242061;w[1203]=242813;w[1204]=242965;w[1205]=243411;w[1206]=243854;w[1207]=244318;w[1208]=244375;w[1209]=245178;w[1210]=245449;w[1211]=246031;w[1212]=246219;w[1213]=246672;w[1214]=246900;w[1215]=247810;w[1216]=247818;w[1217]=248273;w[1218]=248761;w[1219]=249256;w[1220]=249364;w[1221]=250266;w[1222]=250503;w[1223]=250962;w[1224]=251072;w[1225]=251678;w[1226]=251906;w[1227]=252673;w[1228]=252789;w[1229]=253248;w[1230]=253628;w[1231]=254090;w[1232]=254134;w[1233]=255009;w[1234]=255239;w[1235]=255745;w[1236]=255942;w[1237]=256404;w[1238]=256637;w[1239]=257668;w[1240]=257728;w[1241]=258189;w[1242]=258687;w[1243]=259238;w[1244]=259355;w[1245]=260152;w[1246]=260451;w[1247]=260939;w[1248]=260962;w[1249]=261429;w[1250]=261657;w[1251]=262559;w[1252]=262675;w[1253]=263286;w[1254]=263804;w[1255]=264277;w[1256]=264334;w[1257]=265125;w[1258]=265355;w[1259]=265828;w[1260]=266114;w[1261]=266581;w[1262]=266818;w[1263]=267606;w[1264]=267636;w[1265]=268244;w[1266]=268645;w[1267]=269254;w[1268]=269371;w[1269]=270346;w[1270]=270586;w[1271]=271092;w[1272]=271190;w[1273]=271735;w[1274]=272050;w[1275]=272838;w[1276]=272978;w[1277]=273455;w[1278]=273921;w[1279]=274401;w[1280]=274401;w[1281]=275429;w[1282]=275668;w[1283]=276150;w[1284]=276356;w[1285]=276832;w[1286]=277074;w[1287]=278153;w[1288]=278237;w[1289]=278719;w[1290]=279141;w[1291]=279626;w[1292]=279760;w[1293]=280572;w[1294]=280815;w[1295]=281433;w[1296]=281495;w[1297]=281980;w[1298]=282279;w[1299]=283091;w[1300]=283202;w[1301]=283688;w[1302]=284245;w[1303]=284734;w[1304]=284796;w[1305]=285715;w[1306]=285958;w[1307]=286449;w[1308]=286652;w[1309]=287398;w[1310]=287646;w[1311]=288632;w[1312]=288646;w[1313]=289132;w[1314]=289599;w[1315]=290094;w[1316]=290259;w[1317]=291086;w[1318]=291334;w[1319]=291829;w[1320]=291951;w[1321]=292445;w[1322]=292691;w[1323]=293984;w[1324]=294109;w[1325]=294595;w[1326]=295005;w[1327]=295503;w[1328]=295535;w[1329]=296371;w[1330]=296724;w[1331]=297324;w[1332]=297559;w[1333]=298116;w[1334]=298386;w[1335]=299216;w[1336]=299279;w[1337]=299930;w[1338]=300352;w[1339]=300862;w[1340]=300990;w[1341]=301939;w[1342]=302235;w[1343]=302750;w[1344]=302767;w[1345]=303265;w[1346]=303516;w[1347]=304358;w[1348]=304483;w[1349]=305058;w[1350]=305553;w[1351]=306203;w[1352]=306263;w[1353]=307267;w[1354]=307519;w[1355]=308029;w[1356]=308241;w[1357]=308813;w[1358]=309139;w[1359]=310115;w[1360]=310141;w[1361]=310650;w[1362]=311081;w[1363]=311612;w[1364]=311773;w[1365]=312864;w[1366]=313121;w[1367]=313634;w[1368]=313771;w[1369]=314281;w[1370]=314532;w[1371]=315389;w[1372]=315560;w[1373]=316073;w[1374]=316501;w[1375]=317106;w[1376]=317123;w[1377]=318154;w[1378]=318406;w[1379]=319069;w[1380]=319302;w[1381]=319818;w[1382]=320078;w[1383]=320941;w[1384]=321004;w[1385]=321517;w[1386]=322266;w[1387]=322841;w[1388]=322972;w[1389]=323844;w[1390]=324107;w[1391]=324637;w[1392]=324690;w[1393]=325368;w[1394]=325625;w[1395]=326676;w[1396]=326805;w[1397]=327434;w[1398]=327871;w[1399]=328396;w[1400]=328477;w[1401]=329358;w[1402]=329619;w[1403]=330189;w[1404]=330447;w[1405]=330968;w[1406]=331258;w[1407]=332424;w[1408]=332429;w[1409]=332956;w[1410]=333414;w[1411]=333956;w[1412]=334087;w[1413]=335087;w[1414]=335426;w[1415]=335959;w[1416]=336075;w[1417]=336600;w[1418]=336864;w[1419]=337967;w[1420]=338102;w[1421]=338807;w[1422]=339324;w[1423]=339858;w[1424]=339890;w[1425]=340873;w[1426]=341182;w[1427]=341718;w[1428]=342005;w[1429]=342539;w[1430]=342850;w[1431]=343903;w[1432]=343971;w[1433]=344507;w[1434]=344959;w[1435]=345645;w[1436]=345780;w[1437]=346682;w[1438]=346952;w[1439]=347492;w[1440]=347523;w[1441]=348173;w[1442]=348527;w[1443]=349423;w[1444]=349574;w[1445]=350106;w[1446]=350558;w[1447]=351101;w[1448]=351167;w[1449]=352602;w[1450]=352863;w[1451]=353408;w[1452]=353683;w[1453]=354226;w[1454]=354499;w[1455]=355404;w[1456]=355446;w[1457]=356052;w[1458]=356601;w[1459]=357149;w[1460]=357280;w[1461]=358197;w[1462]=358484;w[1463]=359407;w[1464]=359520;w[1465]=360063;w[1466]=360336;w[1467]=361391;w[1468]=361529;w[1469]=362074;w[1470]=362682;w[1471]=363234;w[1472]=363243;w[1473]=364169;w[1474]=364507;w[1475]=365076;w[1476]=365339;w[1477]=366058;w[1478]=366336;w[1479]=367256;w[1480]=367319;w[1481]=367873;w[1482]=368385;w[1483]=368942;w[1484]=369119;w[1485]=370414;w[1486]=370693;w[1487]=371251;w[1488]=371313;w[1489]=371870;w[1490]=372143;w[1491]=373375;w[1492]=373513;w[1493]=374071;w[1494]=374616;w[1495]=375219;w[1496]=375302;w[1497]=376243;w[1498]=376611;w[1499]=377174;w[1500]=377404;w[1501]=378042;w[1502]=378324;w[1503]=379402;w[1504]=379420;w[1505]=380178;w[1506]=380654;w[1507]=381322;w[1508]=381457;w[1509]=382404;w[1510]=382689;w[1511]=383256;w[1512]=383436;w[1513]=383999;w[1514]=384281;w[1515]=385222;w[1516]=385365;w[1517]=385928;w[1518]=386539;w[1519]=387343;w[1520]=387381;w[1521]=388456;w[1522]=388740;w[1523]=389312;w[1524]=389554;w[1525]=390115;w[1526]=390481;w[1527]=391434;w[1528]=391506;w[1529]=392195;w[1530]=392734;w[1531]=393309;w[1532]=393453;w[1533]=394685;w[1534]=394981;w[1535]=395559;w[1536]=395561;w[1537]=396131;w[1538]=396418;w[1539]=397692;w[1540]=397910;w[1541]=398557;w[1542]=399039;w[1543]=399618;w[1544]=399689;w[1545]=400672;w[1546]=400960;w[1547]=401700;w[1548]=401990;w[1549]=402569;w[1550]=402875;w[1551]=404071;w[1552]=404106;w[1553]=404687;w[1554]=405310;w[1555]=405895;w[1556]=406039;w[1557]=407141;w[1558]=407464;w[1559]=408049;w[1560]=408165;w[1561]=408924;w[1562]=409280;w[1563]=410257;w[1564]=410415;w[1565]=410996;w[1566]=411572;w[1567]=412160;w[1568]=412184;w[1569]=413170;w[1570]=413458;w[1571]=414048;w[1572]=414299;w[1573]=415005;w[1574]=415301;w[1575]=416733;w[1576]=416805;w[1577]=417476;w[1578]=417973;w[1579]=418566;w[1580]=418716;w[1581]=419768;w[1582]=420148;w[1583]=420742;w[1584]=420828;w[1585]=421416;w[1586]=421707;w[1587]=422789;w[1588]=422936;w[1589]=423709;w[1590]=424200;w[1591]=424823;w[1592]=424898;w[1593]=426115;w[1594]=426412;w[1595]=427113;w[1596]=427469;w[1597]=428066;w[1598]=428377;w[1599]=429372;w[1600]=429378;w[1601]=429977;w[1602]=430546;w[1603]=431317;w[1604]=431466;w[1605]=432488;w[1606]=432844;w[1607]=433447;w[1608]=433578;w[1609]=434180;w[1610]=434600;w[1611]=435757;w[1612]=435916;w[1613]=436519;w[1614]=437022;w[1615]=437687;w[1616]=437723;w[1617]=439309;w[1618]=439611;w[1619]=440219;w[1620]=440521;w[1621]=441127;w[1622]=441432;w[1623]=442445;w[1624]=442541;w[1625]=443135;w[1626]=443647;w[1627]=444258;w[1628]=444437;w[1629]=445590;w[1630]=445898;w[1631]=446683;w[1632]=446715;w[1633]=447399;w[1634]=447755;w[1635]=448771;w[1636]=448923;w[1637]=449535;w[1638]=450280;w[1639]=451005;w[1640]=451076;w[1641]=452107;w[1642]=452413;w[1643]=453067;w[1644]=453324;w[1645]=454149;w[1646]=454458;w[1647]=455670;w[1648]=455709;w[1649]=456323;w[1650]=456931;w[1651]=457558;w[1652]=457764;w[1653]=458906;w[1654]=459217;w[1655]=459840;w[1656]=460000;w[1657]=460620;w[1658]=460929;w[1659]=462296;w[1660]=462454;w[1661]=463200;w[1662]=463718;w[1663]=464342;w[1664]=464345;w[1665]=465519;w[1666]=465932;w[1667]=466558;w[1668]=466824;w[1669]=467448;w[1670]=467763;w[1671]=468806;w[1672]=468910;w[1673]=469723;w[1674]=470380;w[1675]=471024;w[1676]=471182;w[1677]=472279;w[1678]=472594;w[1679]=473277;w[1680]=473360;w[1681]=473988;w[1682]=474300;w[1683]=475718;w[1684]=475874;w[1685]=476500;w[1686]=477027;w[1687]=477839;w[1688]=477919;w[1689]=478980;w[1690]=479286;w[1691]=479987;w[1692]=480300;w[1693]=480933;w[1694]=481423;w[1695]=482478;w[1696]=482496;w[1697]=483131;w[1698]=483667;w[1699]=484305;w[1700]=484454;w[1701]=486093;w[1702]=486438;w[1703]=487085;w[1704]=487222;w[1705]=488025;w[1706]=488343;w[1707]=489410;w[1708]=489614;w[1709]=490253;w[1710]=490924;w[1711]=491586;w[1712]=491627;w[1713]=492703;w[1714]=493023;w[1715]=493878;w[1716]=494195;w[1717]=494833;w[1718]=495156;w[1719]=496387;w[1720]=496470;w[1721]=497114;w[1722]=497806;w[1723]=498453;w[1724]=498615;w[1725]=499784;w[1726]=500108;w[1727]=500872;w[1728]=500893;w[1729]=501813;w[1730]=502131;w[1731]=503213;w[1732]=503374;w[1733]=504022;w[1734]=504564;w[1735]=505217;w[1736]=505328;w[1737]=506560;w[1738]=506955;w[1739]=507633;w[1740]=507899;w[1741]=508550;w[1742]=508885;w[1743]=510321;w[1744]=510360;w[1745]=511008;w[1746]=511628;w[1747]=512284;w[1748]=512481;w[1749]=513773;w[1750]=514190;w[1751]=514858;w[1752]=514995;w[1753]=515651;w[1754]=515978;w[1755]=517265;w[1756]=517430;w[1757]=518284;w[1758]=518832;w[1759]=519492;w[1760]=519515;w[1761]=520621;w[1762]=520950;w[1763]=521642;w[1764]=522057;w[1765]=522713;w[1766]=523045;w[1767]=524346;w[1768]=524423;w[1769]=525080;w[1770]=525652;w[1771]=526749;w[1772]=526916;w[1773]=528171;w[1774]=528504;w[1775]=529185;w[1776]=529253;w[1777]=529918;w[1778]=530353;w[1779]=531465;w[1780]=531626;w[1781]=532288;w[1782]=533079;w[1783]=533748;w[1784]=533832;w[1785]=535262;w[1786]=535648;w[1787]=536319;w[1788]=536597;w[1789]=537266;w[1790]=537604;w[1791]=538886;w[1792]=538889;w[1793]=539695;w[1794]=540303;w[1795]=540978;w[1796]=541145;w[1797]=542272;w[1798]=542629;w[1799]=543495;w[1800]=543652;w[1801]=544326;w[1802]=544658;w[1803]=545785;w[1804]=545985;w[1805]=546736;w[1806]=547497;w[1807]=548183;w[1808]=548224;w[1809]=549600;w[1810]=549933;w[1811]=550613;w[1812]=550900;w[1813]=551800;w[1814]=552141;w[1815]=553502;w[1816]=553588;w[1817]=554347;w[1818]=554990;w[1819]=555685;w[1820]=555898;w[1821]=557040;w[1822]=557382;w[1823]=558066;w[1824]=558107;w[1825]=558781;w[1826]=559197;w[1827]=560860;w[1828]=561030;w[1829]=561785;w[1830]=562351;w[1831]=563038;w[1832]=563122;w[1833]=564315;w[1834]=564764;w[1835]=565454;w[1836]=565795;w[1837]=566619;w[1838]=566964;w[1839]=568112;w[1840]=568157;w[1841]=569051;w[1842]=569632;w[1843]=570396;w[1844]=570567;w[1845]=571871;w[1846]=572225;w[1847]=572918;w[1848]=573139;w[1849]=573866;w[1850]=574202;w[1851]=575359;w[1852]=575533;w[1853]=576222;w[1854]=576892;w[1855]=577780;w[1856]=577789;w[1857]=578955;w[1858]=579302;w[1859]=580123;w[1860]=580431;w[1861]=581127;w[1862]=581639;w[1863]=583150;w[1864]=583236;w[1865]=583929;w[1866]=584516;w[1867]=585217;w[1868]=585393;w[1869]=586895;w[1870]=587305;w[1871]=588007;w[1872]=588089;w[1873]=588790;w[1874]=589140;w[1875]=590306;w[1876]=590539;w[1877]=591241;w[1878]=591828;w[1879]=592533;w[1880]=592623;w[1881]=594374;w[1882]=594725;w[1883]=595631;w[1884]=595924;w[1885]=596611;w[1886]=596994;w[1887]=598169;w[1888]=598192;w[1889]=598899;w[1890]=599793;w[1891]=600546;w[1892]=600767;w[1893]=601954;w[1894]=602310;w[1895]=603023;w[1896]=603175;w[1897]=604096;w[1898]=604446;w[1899]=605807;w[1900]=606001;w[1901]=606712;w[1902]=607305;w[1903]=608147;w[1904]=608203;w[1905]=609411;w[1906]=609767;w[1907]=610483;w[1908]=610820;w[1909]=611617;w[1910]=611977;w[1911]=613560;w[1912]=613650;w[1913]=614366;w[1914]=615073;w[1915]=615793;w[1916]=615973;w[1917]=617425;w[1918]=617886;w[1919]=618680;w[1920]=618688;w[1921]=619404;w[1922]=619788;w[1923]=620990;w[1924]=621164;w[1925]=622258;w[1926]=622956;w[1927]=623708;w[1928]=623797;w[1929]=625008;w[1930]=625364;w[1931]=626089;w[1932]=626511;w[1933]=627234;w[1934]=627597;w[1935]=629033;w[1936]=629088;w[1937]=629808;w[1938]=630482;w[1939]=631415;w[1940]=631591;w[1941]=632808;w[1942]=633173;w[1943]=633922;w[1944]=634106;w[1945]=634829;w[1946]=635305;w[1947]=636798;w[1948]=636981;w[1949]=637710;w[1950]=638309;w[1951]=639041;w[1952]=639062;w[1953]=640956;w[1954]=641321;w[1955]=642112;w[1956]=642423;w[1957]=643250;w[1958]=643684;w[1959]=644907;w[1960]=645027;w[1961]=645756;w[1962]=646450;w[1963]=647194;w[1964]=647379;w[1965]=648626;w[1966]=648995;w[1967]=649942;w[1968]=650019;w[1969]=650903;w[1970]=651266;w[1971]=652720;w[1972]=652899;w[1973]=653637;w[1974]=654464;w[1975]=655220;w[1976]=655321;w[1977]=656562;w[1978]=656984;w[1979]=657727;w[1980]=658143;w[1981]=659105;w[1982]=659477;w[1983]=660715;w[1984]=660727;w[1985]=661465;w[1986]=662091;w[1987]=662837;w[1988]=663083;w[1989]=664489;w[1990]=664864;w[1991]=665745;w[1992]=665906;w[1993]=666652;w[1994]=667024;w[1995]=668796;w[1996]=668984;w[1997]=669731;w[1998]=670466;w[1999]=671216;w[2000]=671258;w[2001]=672616;w[2002]=673185;w[2003]=673937;w[2004]=674254;w[2005]=675000;w[2006]=675389;w[2007]=676824;w[2008]=676919;w[2009]=677917;w[2010]=678564;w[2011]=679319;w[2012]=679508;w[2013]=680995;w[2014]=681411;w[2015]=682209;w[2016]=682267;w[2017]=683022;w[2018]=683399;w[2019]=684661;w[2020]=684844;w[2021]=685671;w[2022]=686303;w[2023]=687276;w[2024]=687398;w[2025]=688906;w[2026]=689284;w[2027]=690045;w[2028]=690359;w[2029]=691118;w[2030]=691601;w[2031]=692869;w[2032]=692917;w[2033]=693777;w[2034]=694499;w[2035]=695395;w[2036]=695584;w[2037]=697221;w[2038]=697604;w[2039]=698369;w[2040]=698524;w[2041]=699283;w[2042]=699664;w[2043]=701127;w[2044]=701372;w[2045]=702133;w[2046]=702939;w[2047]=703772;w[2048]=703772;w[2049]=705058;w[2050]=705432;w[2051]=706419;w[2052]=706841;w[2053]=707609;w[2054]=708002;w[2055]=709282;w[2056]=709377;w[2057]=710303;w[2058]=711160;w[2059]=711952;w[2060]=712147;w[2061]=713606;w[2062]=713993;w[2063]=714767;w[2064]=714853;w[2065]=715881;w[2066]=716267;w[2067]=717553;w[2068]=717792;w[2069]=718566;w[2070]=719362;w[2071]=720219;w[2072]=720342;w[2073]=721643;w[2074]=722026;w[2075]=722820;w[2076]=723143;w[2077]=723997;w[2078]=724387;w[2079]=726717;w[2080]=726735;w[2081]=727514;w[2082]=728170;w[2083]=728952;w[2084]=729146;w[2085]=730468;w[2086]=730969;w[2087]=731752;w[2088]=731936;w[2089]=732718;w[2090]=733230;w[2091]=734537;w[2092]=734734;w[2093]=735829;w[2094]=736482;w[2095]=737270;w[2096]=737320;w[2097]=738807;w[2098]=739199;w[2099]=739987;w[2100]=740406;w[2101]=741347;w[2102]=741742;w[2103]=743055;w[2104]=743154;w[2105]=743937;w[2106]=744722;w[2107]=745819;w[2108]=746028;w[2109]=747485;w[2110]=747883;w[2111]=748675;w[2112]=748701;w[2113]=749492;w[2114]=750008;w[2115]=751569;w[2116]=751785;w[2117]=752573;w[2118]=753235;w[2119]=754038;w[2120]=754131;w[2121]=755834;w[2122]=756230;w[2123]=757171;w[2124]=757563;w[2125]=758345;w[2126]=758744;w[2127]=760072;w[2128]=760143;w[2129]=760940;w[2130]=761623;w[2131]=762423;w[2132]=762617;w[2133]=764228;w[2134]=764701;w[2135]=765724;w[2136]=765891;w[2137]=766691;w[2138]=767090;w[2139]=768637;w[2140]=768840;w[2141]=769641;w[2142]=770618;w[2143]=771422;w[2144]=771448;w[2145]=773028;w[2146]=773424;w[2147]=774314;w[2148]=774655;w[2149]=775698;w[2150]=776117;w[2151]=777654;w[2152]=777753;w[2153]=778559;w[2154]=779236;w[2155]=780046;w[2156]=780363;w[2157]=781715;w[2158]=782128;w[2159]=782949;w[2160]=783048;w[2161]=783857;w[2162]=784316;w[2163]=786088;w[2164]=786289;w[2165]=787095;w[2166]=787850;w[2167]=788809;w[2168]=788911;w[2169]=790449;w[2170]=791004;w[2171]=791826;w[2172]=792164;w[2173]=792973;w[2174]=793381;w[2175]=794730;w[2176]=794735;w[2177]=795791;w[2178]=796721;w[2179]=797539;w[2180]=797737;w[2181]=799104;w[2182]=799514;w[2183]=800359;w[2184]=800577;w[2185]=801560;w[2186]=801968;w[2187]=803611;w[2188]=803817;w[2189]=804797;w[2190]=805477;w[2191]=806532;w[2192]=806582;w[2193]=808021;w[2194]=808431;w[2195]=809256;w[2196]=809644;w[2197]=810463;w[2198]=810991;w[2199]=812364;w[2200]=812483;w[2201]=813386;w[2202]=814078;w[2203]=814905;w[2204]=815132;w[2205]=817203;w[2206]=817617;w[2207]=818445;w[2208]=818492;w[2209]=819356;w[2210]=819751;w[2211]=821439;w[2212]=821712;w[2213]=822540;w[2214]=823358;w[2215]=824191;w[2216]=824293;w[2217]=825684;w[2218]=826098;w[2219]=827166;w[2220]=827507;w[2221]=828338;w[2222]=828829;w[2223]=830571;w[2224]=830624;w[2225]=831448;w[2226]=832341;w[2227]=833189;w[2228]=833396;w[2229]=834793;w[2230]=835213;w[2231]=836121;w[2232]=836332;w[2233]=837603;w[2234]=838020;w[2235]=839411;w[2236]=839629;w[2237]=840466;w[2238]=841164;w[2239]=842004;w[2240]=842019;w[2241]=843713;w[2242]=844195;w[2243]=845037;w[2244]=845456;w[2245]=846292;w[2246]=846714;w[2247]=848555;w[2248]=848659;w[2249]=849496;w[2250]=850289;w[2251]=851134;w[2252]=851346;w[2253]=852758;w[2254]=853367;w[2255]=854362;w[2256]=854454;w[2257]=855294;w[2258]=855716;w[2259]=857332;w[2260]=857538;w[2261]=858743;w[2262]=859444;w[2263]=860346;w[2264]=860453;w[2265]=861886;w[2266]=862398;w[2267]=863249;w[2268]=863794;w[2269]=864643;w[2270]=865071;w[2271]=866489;w[2272]=866516;w[2273]=867367;w[2274]=868083;w[2275]=869169;w[2276]=869381;w[2277]=871456;w[2278]=871896;w[2279]=872789;w[2280]=872986;w[2281]=873840;w[2282]=874397;w[2283]=875824;w[2284]=876039;w[2285]=876890;w[2286]=877713;w[2287]=878571;w[2288]=878633;w[2289]=880471;w[2290]=880894;w[2291]=881773;w[2292]=882135;w[2293]=882993;w[2294]=883449;w[2295]=885137;w[2296]=885274;w[2297]=886134;w[2298]=886856;w[2299]=888001;w[2300]=888232;w[2301]=889719;w[2302]=890151;w[2303]=891345;w[2304]=891352;w[2305]=892210;w[2306]=892641;w[2307]=894083;w[2308]=894298;w[2309]=895162;w[2310]=896259;w[2311]=897126;w[2312]=897232;w[2313]=898872;w[2314]=899300;w[2315]=900170;w[2316]=900532;w[2317]=901656;w[2318]=902135;w[2319]=903583;w[2320]=903631;w[2321]=904671;w[2322]=905570;w[2323]=906515;w[2324]=906802;w[2325]=908346;w[2326]=908783;w[2327]=909664;w[2328]=909846;w[2329]=910715;w[2330]=911146;w[2331]=913268;w[2332]=913525;w[2333]=914398;w[2334]=915126;w[2335]=916004;w[2336]=916030;w[2337]=917649;w[2338]=918219;w[2339]=919097;w[2340]=919506;w[2341]=920382;w[2342]=920822;w[2343]=922603;w[2344]=922711;w[2345]=923874;w[2346]=924671;w[2347]=925552;w[2348]=925773;w[2349]=927524;w[2350]=927980;w[2351]=928862;w[2352]=928984;w[2353]=929860;w[2354]=930393;w[2355]=931859;w[2356]=932119;w[2357]=933001;w[2358]=933852;w[2359]=934988;w[2360]=935101;w[2361]=936582;w[2362]=937023;w[2363]=937922;w[2364]=938290;w[2365]=939387;w[2366]=939954;w[2367]=941644;w[2368]=941656;w[2369]=942640;w[2370]=943398;w[2371]=944288;w[2372]=944509;w[2373]=946416;w[2374]=946862;w[2375]=947842;w[2376]=948105;w[2377]=948995;w[2378]=949435;w[2379]=950916;w[2380]=951197;w[2381]=952088;w[2382]=952831;w[2383]=953725;w[2384]=953779;w[2385]=955463;w[2386]=955909;w[2387]=957357;w[2388]=957734;w[2389]=958628;w[2390]=959078;w[2391]=960571;w[2392]=960691;w[2393]=961587;w[2394]=962795;w[2395]=963695;w[2396]=963920;w[2397]=965482;w[2398]=966012;w[2399]=966912;w[2400]=966956;w[2401]=968156;w[2402]=968605;w[2403]=970377;w[2404]=970601;w[2405]=971483;w[2406]=972235;w[2407]=973158;w[2408]=973310;w[2409]=975094;w[2410]=975540;w[2411]=976445;w[2412]=976888;w[2413]=977904;w[2414]=978368;w[2415]=980476;w[2416]=980533;w[2417]=981438;w[2418]=982241;w[2419]=983179;w[2420]=983450;w[2421]=985164;w[2422]=985746;w[2423]=986655;w[2424]=986843;w[2425]=987742;w[2426]=988195;w[2427]=989712;w[2428]=989940;w[2429]=991118;w[2430]=992028;w[2431]=993101;w[2432]=993109;w[2433]=994635;w[2434]=995090;w[2435]=996005;w[2436]=996493;w[2437]=997405;w[2438]=997900;w[2439]=999641;w[2440]=999749;w[2441]=1000663;w[2442]=1001565;w[2443]=1002741;w[2444]=1002978;w[2445]=1004525;w[2446]=1004984;w[2447]=1005902;w[2448]=1006012;w[2449]=1007014;w[2450]=1007620;w[2451]=1009398;w[2452]=1009626;w[2453]=1010723;w[2454]=1011490;w[2455]=1012413;w[2456]=1012529;w[2457]=1014854;w[2458]=1015313;w[2459]=1016236;w[2460]=1016616;w[2461]=1017638;w[2462]=1018100;w[2463]=1019638;w[2464]=1019682;w[2465]=1020587;w[2466]=1021462;w[2467]=1022388;w[2468]=1022618;w[2469]=1024165;w[2470]=1024671;w[2471]=1025861;w[2472]=1026058;w[2473]=1026984;w[2474]=1027446;w[2475]=1029518;w[2476]=1029751;w[2477]=1030678;w[2478]=1031709;w[2479]=1032665;w[2480]=1032725;w[2481]=1034281;w[2482]=1034742;w[2483]=1035681;w[2484]=1036179;w[2485]=1037409;w[2486]=1037960;w[2487]=1039513;w[2488]=1039630;w[2489]=1040679;w[2490]=1041476;w[2491]=1042448;w[2492]=1042747;w[2493]=1044512;w[2494]=1045000;w[2495]=1045938;w[2496]=1045961;w[2497]=1047079;w[2498]=1047546;w[2499]=1049618;w[2500]=1049846;w[2501]=1050778;w[2502]=1051680;w[2503]=1052619;w[2504]=1052735;w[2505]=1054318;w[2506]=1054929;w[2507]=1055949;w[2508]=1056467;w[2509]=1057402;w[2510]=1057875;w[2511]=1059869;w[2512]=1059926;w[2513]=1061144;w[2514]=1061935;w[2515]=1062880;w[2516]=1063110;w[2517]=1064687;w[2518]=1065160;w[2519]=1066275;w[2520]=1066561;w[2521]=1067505;w[2522]=1067972;w[2523]=1069546;w[2524]=1069783;w[2525]=1070719;w[2526]=1071507;w[2527]=1072861;w[2528]=1072891;w[2529]=1074684;w[2530]=1075292;w[2531]=1076242;w[2532]=1076643;w[2533]=1077587;w[2534]=1078196;w[2535]=1079770;w[2536]=1079887;w[2537]=1080918;w[2538]=1081893;w[2539]=1082846;w[2540]=1083086;w[2541]=1085536;w[2542]=1086042;w[2543]=1086996;w[2544]=1087094;w[2545]=1088042;w[2546]=1088587;w[2547]=1090407;w[2548]=1090722;w[2549]=1091676;w[2550]=1092464;w[2551]=1093421;w[2552]=1093561;w[2553]=1095294;w[2554]=1095771;w[2555]=1096997;w[2556]=1097463;w[2557]=1098420;w[2558]=1098900;w[2559]=1100498;w[2560]=1100498;w[2561]=1101452;w[2562]=1102480;w[2563]=1103616;w[2564]=1103855;w[2565]=1105945;w[2566]=1106427;w[2567]=1107401;w[2568]=1107607;w[2569]=1108852;w[2570]=1109328;w[2571]=1110935;w[2572]=1111177;w[2573]=1112229;w[2574]=1113308;w[2575]=1114289;w[2576]=1114373;w[2577]=1115989;w[2578]=1116471;w[2579]=1117439;w[2580]=1117861;w[2581]=1118823;w[2582]=1119308;w[2583]=1121662;w[2584]=1121796;w[2585]=1122989;w[2586]=1123801;w[2587]=1124779;w[2588]=1125022;w[2589]=1126644;w[2590]=1127262;w[2591]=1128234;w[2592]=1128296;w[2593]=1129267;w[2594]=1129752;w[2595]=1131368;w[2596]=1131667;w[2597]=1132957;w[2598]=1133769;w[2599]=1134827;w[2600]=1134938;w[2601]=1136783;w[2602]=1137269;w[2603]=1138348;w[2604]=1138905;w[2605]=1139876;w[2606]=1140365;w[2607]=1142341;w[2608]=1142403;w[2609]=1143380;w[2610]=1144299;w[2611]=1145556;w[2612]=1145799;w[2613]=1147481;w[2614]=1147972;w[2615]=1148955;w[2616]=1149158;w[2617]=1150138;w[2618]=1150884;w[2619]=1152815;w[2620]=1153063;w[2621]=1154044;w[2622]=1155030;w[2623]=1156058;w[2624]=1156072;w[2625]=1158177;w[2626]=1158663;w[2627]=1159674;w[2628]=1160141;w[2629]=1161316;w[2630]=1161811;w[2631]=1163454;w[2632]=1163619;w[2633]=1164605;w[2634]=1165432;w[2635]=1166478;w[2636]=1166726;w[2637]=1168593;w[2638]=1169088;w[2639]=1170354;w[2640]=1170476;w[2641]=1171588;w[2642]=1172082;w[2643]=1173734;w[2644]=1173980;w[2645]=1175060;w[2646]=1176353;w[2647]=1177346;w[2648]=1177471;w[2649]=1179132;w[2650]=1179618;w[2651]=1180793;w[2652]=1181203;w[2653]=1182489;w[2654]=1182987;w[2655]=1184933;w[2656]=1184965;w[2657]=1185960;w[2658]=1186796;w[2659]=1187794;w[2660]=1188147;w[2661]=1189814;w[2662]=1190414;w[2663]=1191413;w[2664]=1191648;w[2665]=1192628;w[2666]=1193185;w[2667]=1195362;w[2668]=1195632;w[2669]=1196627;w[2670]=1197457;w[2671]=1198459;w[2672]=1198522;w[2673]=1200894;w[2674]=1201545;w[2675]=1202564;w[2676]=1202986;w[2677]=1203988;w[2678]=1204498;w[2679]=1206429;w[2680]=1206557;w[2681]=1207856;w[2682]=1208805;w[2683]=1209812;w[2684]=1210108;w[2685]=1211805;w[2686]=1212320;w[2687]=1213328;w[2688]=1213345;w[2689]=1214352;w[2690]=1214850;w[2691]=1216921;w[2692]=1217172;w[2693]=1218180;w[2694]=1219022;w[2695]=1220605;w[2696]=1220730;w[2697]=1222523;w[2698]=1223098;w[2699]=1224111;w[2700]=1224606;w[2701]=1225613;w[2702]=1226263;w[2703]=1227948;w[2704]=1228008;w[2705]=1229016;w[2706]=1230020;w[2707]=1231036;w[2708]=1231288;w[2709]=1233873;w[2710]=1234383;w[2711]=1235400;w[2712]=1235612;w[2713]=1236628;w[2714]=1237200;w[2715]=1238891;w[2716]=1239217;w[2717]=1240548;w[2718]=1241524;w[2719]=1242544;w[2720]=1242570;w[2721]=1244276;w[2722]=1244785;w[2723]=1246096;w[2724]=1246527;w[2725]=1247538;w[2726]=1248069;w[2727]=1250076;w[2728]=1250237;w[2729]=1251259;w[2730]=1252350;w[2731]=1253375;w[2732]=1253632;w[2733]=1255344;w[2734]=1255857;w[2735]=1256885;w[2736]=1257022;w[2737]=1258455;w[2738]=1258965;w[2739]=1261043;w[2740]=1261294;w[2741]=1262320;w[2742]=1263177;w[2743]=1264214;w[2744]=1264385;w[2745]=1266324;w[2746]=1266837;w[2747]=1267898;w[2748]=1268326;w[2749]=1269355;w[2750]=1269960;w[2751]=1272206;w[2752]=1272223;w[2753]=1273254;w[2754]=1274285;w[2755]=1275421;w[2756]=1275673;w[2757]=1277400;w[2758]=1278063;w[2759]=1279163;w[2760]=1279396;w[2761]=1280631;w[2762]=1281147;w[2763]=1283120;w[2764]=1283380;w[2765]=1284745;w[2766]=1285608;w[2767]=1286646;w[2768]=1286709;w[2769]=1288487;w[2770]=1289000;w[2771]=1290052;w[2772]=1290801;w[2773]=1291922;w[2774]=1292497;w[2775]=1294221;w[2776]=1294352;w[2777]=1295392;w[2778]=1296264;w[2779]=1297602;w[2780]=1297865;w[2781]=1299953;w[2782]=1300483;w[2783]=1301843;w[2784]=1301896;w[2785]=1302934;w[2786]=1303612;w[2787]=1305354;w[2788]=1305611;w[2789]=1306655;w[2790]=1307706;w[2791]=1308753;w[2792]=1308882;w[2793]=1311443;w[2794]=1312072;w[2795]=1313163;w[2796]=1313600;w[2797]=1314647;w[2798]=1315172;w[2799]=1317168;w[2800]=1317249;w[2801]=1318298;w[2802]=1319179;w[2803]=1320231;w[2804]=1320492;w[2805]=1322564;w[2806]=1323134;w[2807]=1324486;w[2808]=1324744;w[2809]=1325794;w[2810]=1326315;w[2811]=1328072;w[2812]=1328362;w[2813]=1329411;w[2814]=1330577;w[2815]=1331635;w[2816]=1331640;w[2817]=1333637;w[2818]=1334164;w[2819]=1335222;w[2820]=1335680;w[2821]=1337126;w[2822]=1337668;w[2823]=1339431;w[2824]=1339562;w[2825]=1340611;w[2826]=1341611;w[2827]=1342864;w[2828]=1343203;w[2829]=1345125;w[2830]=1345658;w[2831]=1346830;w[2832]=1346946;w[2833]=1348007;w[2834]=1348532;w[2835]=1351249;w[2836]=1351513;w[2837]=1352575;w[2838]=1353678;w[2839]=1354754;w[2840]=1354889;w[2841]=1356670;w[2842]=1357375;w[2843]=1358442;w[2844]=1358959;w[2845]=1360020;w[2846]=1360554;w[2847]=1362329;w[2848]=1362361;w[2849]=1363983;w[2850]=1364966;w[2851]=1366036;w[2852]=1366345;w[2853]=1368365;w[2854]=1368901;w[2855]=1369974;w[2856]=1370261;w[2857]=1371331;w[2858]=1371865;w[2859]=1373652;w[2860]=1373963;w[2861]=1375034;w[2862]=1376087;w[2863]=1377466;w[2864]=1377534;w[2865]=1379342;w[2866]=1379878;w[2867]=1380997;w[2868]=1381449;w[2869]=1382654;w[2870]=1383340;w[2871]=1385745;w[2872]=1385880;w[2873]=1386947;w[2874]=1387849;w[2875]=1389016;w[2876]=1389286;w[2877]=1391598;w[2878]=1392138;w[2879]=1393218;w[2880]=1393249;w[2881]=1394415;w[2882]=1395065;w[2883]=1396987;w[2884]=1397341;w[2885]=1398417;w[2886]=1399313;w[2887]=1400396;w[2888]=1400547;w[2889]=1402718;w[2890]=1403250;w[2891]=1404737;w[2892]=1405189;w[2893]=1406481;w[2894]=1407024;w[2895]=1408829;w[2896]=1408895;w[2897]=1409980;w[2898]=1411415;w[2899]=1412510;w[2900]=1412771;w[2901]=1414588;w[2902]=1415133;w[2903]=1416222;w[2904]=1416497;w[2905]=1417930;w[2906]=1418473;w[2907]=1420758;w[2908]=1421031;w[2909]=1422120;w[2910]=1423025;w[2911]=1424146;w[2912]=1424188;w[2913]=1426014;w[2914]=1426620;w[2915]=1427906;w[2916]=1428455;w[2917]=1429547;w[2918]=1430095;w[2919]=1432476;w[2920]=1432607;w[2921]=1433816;w[2922]=1434733;w[2923]=1435855;w[2924]=1436142;w[2925]=1438204;w[2926]=1439127;w[2927]=1440225;w[2928]=1440338;w[2929]=1441430;w[2930]=1441973;w[2931]=1443805;w[2932]=1444078;w[2933]=1445499;w[2934]=1446554;w[2935]=1447657;w[2936]=1447795;w[2937]=1449969;w[2938]=1450514;w[2939]=1451617;w[2940]=1452225;w[2941]=1453322;w[2942]=1453874;w[2943]=1456040;w[2944]=1456049;w[2945]=1457347;w[2946]=1458273;w[2947]=1459692;w[2948]=1460030;w[2949]=1461877;w[2950]=1462446;w[2951]=1463561;w[2952]=1463824;w[2953]=1464930;w[2954]=1465649;w[2955]=1467490;w[2956]=1467768;w[2957]=1468875;w[2958]=1469795;w[2959]=1471105;w[2960]=1471168;w[2961]=1473980;w[2962]=1474534;w[2963]=1475646;w[2964]=1476158;w[2965]=1477264;w[2966]=1477821;w[2967]=1479932;w[2968]=1480109;w[2969]=1481221;w[2970]=1482516;w[2971]=1483631;w[2972]=1483910;w[2973]=1485772;w[2974]=1486330;w[2975]=1487754;w[2976]=1487816;w[2977]=1488926;w[2978]=1489483;w[2979]=1491609;w[2980]=1491882;w[2981]=1493213;w[2982]=1494445;w[2983]=1495680;w[2984]=1495818;w[2985]=1497701;w[2986]=1498259;w[2987]=1499399;w[2988]=1499944;w[2989]=1501429;w[2990]=1502032;w[2991]=1503900;w[2992]=1503983;w[2993]=1505101;w[2994]=1506042;w[2995]=1507167;w[2996]=1507535;w[2997]=1509769;w[2998]=1510332;w[2999]=1511457;w[3000]=1511687;w[3001]=1512811;w[3002]=1513449;w[3003]=1516301;w[3004]=1516583;w[3005]=1517704;w[3006]=1518782;w[3007]=1519981;w[3008]=1519999;w[3009]=1521948;w[3010]=1522706;w[3011]=1523836;w[3012]=1524312;w[3013]=1525559;w[3014]=1526227;w[3015]=1528428;w[3016]=1528563;w[3017]=1530024;w[3018]=1530971;w[3019]=1532104;w[3020]=1532389;w[3021]=1534476;w[3022]=1535043;w[3023]=1536177;w[3024]=1536357;w[3025]=1537714;w[3026]=1538277;w[3027]=1540169;w[3028]=1540451;w[3029]=1541581;w[3030]=1542522;w[3031]=1543982;w[3032]=1544125;w[3033]=1546275;w[3034]=1546838;w[3035]=1547978;w[3036]=1548589;w[3037]=1549726;w[3038]=1550530;w[3039]=1552428;w[3040]=1552466;w[3041]=1553605;w[3042]=1554680;w[3043]=1555834;w[3044]=1556118;w[3045]=1558559;w[3046]=1559131;w[3047]=1560480;w[3048]=1560722;w[3049]=1561864;w[3050]=1562425;w[3051]=1564674;w[3052]=1565040;w[3053]=1566272;w[3054]=1567225;w[3055]=1568413;w[3056]=1568485;w[3057]=1570401;w[3058]=1571090;w[3059]=1572862;w[3060]=1573401;w[3061]=1574547;w[3062]=1575122;w[3063]=1577035;w[3064]=1577179;w[3065]=1578322;w[3066]=1579554;w[3067]=1580705;w[3068]=1581001;w[3069]=1583739;w[3070]=1584317;w[3071]=1585495;w[3072]=1585497;w[3073]=1586985;w[3074]=1587555;w[3075]=1589468;w[3076]=1589755;w[3077]=1590903;w[3078]=1592177;w[3079]=1593332;w[3080]=1593550;w[3081]=1595523;w[3082]=1596170;w[3083]=1597327;w[3084]=1597809;w[3085]=1598960;w[3086]=1599539;w[3087]=1602453;w[3088]=1602524;w[3089]=1603681;w[3090]=1604664;w[3091]=1606034;w[3092]=1606322;w[3093]=1608259;w[3094]=1608999;w[3095]=1610162;w[3096]=1610452;w[3097]=1611753;w[3098]=1612332;w[3099]=1614269;w[3100]=1614575;w[3101]=1616077;w[3102]=1617273;w[3103]=1618457;w[3104]=1618492;w[3105]=1620976;w[3106]=1621557;w[3107]=1622730;w[3108]=1623353;w[3109]=1624517;w[3110]=1625102;w[3111]=1627042;w[3112]=1627186;w[3113]=1628577;w[3114]=1629679;w[3115]=1631175;w[3116]=1631498;w[3117]=1633450;w[3118]=1634035;w[3119]=1635205;w[3120]=1635321;w[3121]=1636490;w[3122]=1637249;w[3123]=1639477;w[3124]=1639833;w[3125]=1640997;w[3126]=1641974;w[3127]=1643185;w[3128]=1643343;w[3129]=1645856;w[3130]=1646437;w[3131]=1647685;w[3132]=1648261;w[3133]=1649430;w[3134]=1650018;w[3135]=1652582;w[3136]=1652606;w[3137]=1653781;w[3138]=1654767;w[3139]=1655999;w[3140]=1656287;w[3141]=1658511;w[3142]=1659101;w[3143]=1660615;w[3144]=1660866;w[3145]=1662026;w[3146]=1662732;w[3147]=1664699;w[3148]=1664995;w[3149]=1666263;w[3150]=1667695;w[3151]=1668978;w[3152]=1669050;w[3153]=1671026;w[3154]=1671697;w[3155]=1672882;w[3156]=1673379;w[3157]=1675178;w[3158]=1675771;w[3159]=1678136;w[3160]=1678286;w[3161]=1679465;w[3162]=1680517;w[3163]=1681704;w[3164]=1682084;w[3165]=1684081;w[3166]=1684675;w[3167]=1685863;w[3168]=1685949;w[3169]=1687136;w[3170]=1687724;w[3171]=1690306;w[3172]=1690597;w[3173]=1691928;w[3174]=1693010;w[3175]=1694216;w[3176]=1694363;w[3177]=1696615;w[3178]=1697388;w[3179]=1698797;w[3180]=1699288;w[3181]=1700479;w[3182]=1701102;w[3183]=1703090;w[3184]=1703165;w[3185]=1704743;w[3186]=1705960;w[3187]=1707156;w[3188]=1707453;w[3189]=1709450;w[3190]=1710151;w[3191]=1711348;w[3192]=1711704;w[3193]=1713003;w[3194]=1713600;w[3195]=1715926;w[3196]=1716237;w[3197]=1717559;w[3198]=1718554;w[3199]=1720095;w[3200]=1720101;w[3201]=1722470;w[3202]=1723069;w[3203]=1724271;w[3204]=1724840;w[3205]=1726036;w[3206]=1726807;w[3207]=1728810;w[3208]=1728959;w[3209]=1730161;w[3210]=1731183;w[3211]=1732511;w[3212]=1732867;w[3213]=1735911;w[3214]=1736514;w[3215]=1737722;w[3216]=1737853;w[3217]=1739058;w[3218]=1739660;w[3219]=1741666;w[3220]=1742086;w[3221]=1743292;w[3222]=1744449;w[3223]=1745876;w[3224]=1746035;w[3225]=1748143;w[3226]=1748746;w[3227]=1750300;w[3228]=1750803;w[3229]=1752012;w[3230]=1752677;w[3231]=1754979;w[3232]=1755015;w[3233]=1756221;w[3234]=1757807;w[3235]=1759022;w[3236]=1759324;w[3237]=1761396;w[3238]=1762004;w[3239]=1763248;w[3240]=1763550;w[3241]=1765119;w[3242]=1765725;w[3243]=1768022;w[3244]=1768327;w[3245]=1769814;w[3246]=1770827;w[3247]=1772056;w[3248]=1772152;w[3249]=1774714;w[3250]=1775308;w[3251]=1776528;w[3252]=1777040;w[3253]=1778258;w[3254]=1778869;w[3255]=1781652;w[3256]=1781831;w[3257]=1783051;w[3258]=1784204;w[3259]=1785427;w[3260]=1785735;w[3261]=1787777;w[3262]=1788562;w[3263]=1789794;w[3264]=1789826;w[3265]=1791044;w[3266]=1791728;w[3267]=1794618;w[3268]=1794974;w[3269]=1796557;w[3270]=1797573;w[3271]=1798800;w[3272]=1798952;w[3273]=1801003;w[3274]=1801615;w[3275]=1802859;w[3276]=1803604;w[3277]=1804827;w[3278]=1805552;w[3279]=1807600;w[3280]=1807671;w[3281]=1808897;w[3282]=1809928;w[3283]=1811610;w[3284]=1811916;w[3285]=1814240;w[3286]=1814894;w[3287]=1816255;w[3288]=1816512;w[3289]=1818095;w[3290]=1818920;w[3291]=1820977;w[3292]=1821286;w[3293]=1822515;w[3294]=1823727;w[3295]=1824965;w[3296]=1825004;w[3297]=1827652;w[3298]=1828266;w[3299]=1829504;w[3300]=1830112;w[3301]=1831348;w[3302]=1831975;w[3303]=1834328;w[3304]=1834534;w[3305]=1835767;w[3306]=1836909;w[3307]=1838150;w[3308]=1838461;w[3309]=1840533;w[3310]=1841156;w[3311]=1843132;w[3312]=1843292;w[3313]=1844533;w[3314]=1845153;w[3315]=1847207;w[3316]=1847516;w[3317]=1848865;w[3318]=1850232;w[3319]=1851477;w[3320]=1851635;w[3321]=1854115;w[3322]=1854861;w[3323]=1856108;w[3324]=1856626;w[3325]=1858395;w[3326]=1859019;w[3327]=1861097;w[3328]=1861100;w[3329]=1862347;w[3330]=1863521;w[3331]=1864771;w[3332]=1865184;w[3333]=1867646;w[3334]=1868272;w[3335]=1869625;w[3336]=1869891;w[3337]=1871232;w[3338]=1871856;w[3339]=1874896;w[3340]=1875211;w[3341]=1876458;w[3342]=1877501;w[3343]=1878755;w[3344]=1878859;w[3345]=1880967;w[3346]=1881780;w[3347]=1883036;w[3348]=1883693;w[3349]=1884943;w[3350]=1885587;w[3351]=1887680;w[3352]=1887838;w[3353]=1889461;w[3354]=1890558;w[3355]=1892039;w[3356]=1892354;w[3357]=1894731;w[3358]=1895414;w[3359]=1896674;w[3360]=1896757;w[3361]=1898016;w[3362]=1898644;w[3363]=1901052;w[3364]=1901364;w[3365]=1902620;w[3366]=1904038;w[3367]=1905655;w[3368]=1905811;w[3369]=1907922;w[3370]=1908548;w[3371]=1909813;w[3372]=1910340;w[3373]=1911603;w[3374]=1912415;w[3375]=1914896;w[3376]=1914976;w[3377]=1916484;w[3378]=1917545;w[3379]=1918892;w[3380]=1919198;w[3381]=1922245;w[3382]=1922946;w[3383]=1924226;w[3384]=1924539;w[3385]=1925802;w[3386]=1926435;w[3387]=1928552;w[3388]=1929042;w[3389]=1930311;w[3390]=1931366;w[3391]=1932638;w[3392]=1932656;w[3393]=1935054;w[3394]=1935689;w[3395]=1937320;w[3396]=1937856;w[3397]=1939223;w[3398]=1939861;w[3399]=1942422;w[3400]=1942571;w[3401]=1943998;w[3402]=1945637;w[3403]=1946944;w[3404]=1947289;w[3405]=1949436;w[3406]=1950083;w[3407]=1951361;w[3408]=1951498;w[3409]=1953148;w[3410]=1953951;w[3411]=1956383;w[3412]=1956701;w[3413]=1957979;w[3414]=1959046;w[3415]=1960329;w[3416]=1960533;w[3417]=1962737;w[3418]=1963376;w[3419]=1964666;w[3420]=1965337;w[3421]=1966863;w[3422]=1967525;w[3423]=1970311;w[3424]=1970352;w[3425]=1971626;w[3426]=1972702;w[3427]=1974097;w[3428]=1974417;w[3429]=1976982;w[3430]=1977837;w[3431]=1979177;w[3432]=1979494;w[3433]=1980780;w[3434]=1981418;w[3435]=1983559;w[3436]=1983882;w[3437]=1985546;w[3438]=1986777;w[3439]=1988201;w[3440]=1988284;w[3441]=1990572;w[3442]=1991216;w[3443]=1992742;w[3444]=1993434;w[3445]=1994706;w[3446]=1995353;w[3447]=1997808;w[3448]=1997970;w[3449]=1999262;w[3450]=2000431;w[3451]=2002089;w[3452]=2002413;w[3453]=2004575;w[3454]=2005339;w[3455]=2006637;w[3456]=2006658;w[3457]=2007953;w[3458]=2008873;w[3459]=2011035;w[3460]=2011353;w[3461]=2012649;w[3462]=2013731;w[3463]=2015030;w[3464]=2015191;w[3465]=2018922;w[3466]=2019570;w[3467]=2020871;w[3468]=2021413;w[3469]=2022712;w[3470]=2023365;w[3471]=2025530;w[3472]=2025641;w[3473]=2027075;w[3474]=2028307;w[3475]=2029626;w[3476]=2030021;w[3477]=2032423;w[3478]=2033101;w[3479]=2034880;w[3480]=2035146;w[3481]=2036497;w[3482]=2037148;w[3483]=2039871;w[3484]=2040206;w[3485]=2041495;w[3486]=2042931;w[3487]=2044475;w[3488]=2044514;w[3489]=2046700;w[3490]=2047348;w[3491]=2048658;w[3492]=2049278;w[3493]=2050969;w[3494]=2051625;w[3495]=2053805;w[3496]=2054002;w[3497]=2055307;w[3498]=2056599;w[3499]=2057912;w[3500]=2058329;w[3501]=2060808;w[3502]=2061476;w[3503]=2062873;w[3504]=2063010;w[3505]=2064318;w[3506]=2064974;w[3507]=2067826;w[3508]=2068153;w[3509]=2069729;w[3510]=2071016;w[3511]=2072333;w[3512]=2072498;w[3513]=2074699;w[3514]=2075553;w[3515]=2077004;w[3516]=2077552;w[3517]=2078869;w[3518]=2079529;w[3519]=2082240;w[3520]=2082263;w[3521]=2083967;w[3522]=2085073;w[3523]=2086402;w[3524]=2086731;w[3525]=2089025;w[3526]=2089717;w[3527]=2091040;w[3528]=2091455;w[3529]=2092777;w[3530]=2093433;w[3531]=2096096;w[3532]=2096428;w[3533]=2097751;w[3534]=2099052;w[3535]=2100750;w[3536]=2100827;w[3537]=2103475;w[3538]=2104132;w[3539]=2105460;w[3540]=2106032;w[3541]=2107358;w[3542]=2108455;w[3543]=2110668;w[3544]=2110835;w[3545]=2112158;w[3546]=2113413;w[3547]=2114744;w[3548]=2115077;w[3549]=2117926;w[3550]=2118607;w[3551]=2119977;w[3552]=2120045;w[3553]=2121790;w[3554]=2122455;w[3555]=2125036;w[3556]=2125471;w[3557]=2126803;w[3558]=2127915;w[3559]=2129250;w[3560]=2129411;w[3561]=2131642;w[3562]=2132304;w[3563]=2134020;w[3564]=2134811;w[3565]=2136356;w[3566]=2137025;w[3567]=2139250;w[3568]=2139334;w[3569]=2140770;w[3570]=2142200;w[3571]=2143540;w[3572]=2143926;w[3573]=2146456;w[3574]=2147127;w[3575]=2148701;w[3576]=2148979;w[3577]=2150757;w[3578]=2151426;w[3579]=2153663;w[3580]=2154001;w[3581]=2155342;w[3582]=2156624;w[3583]=2157968;w[3584]=2157971;w[3585]=2160229;w[3586]=2161035;w[3587]=2162393;w[3588]=2163001;w[3589]=2164341;w[3590]=2165016;w[3591]=2168777;w[3592]=2168944;w[3593]=2170290;w[3594]=2171417;w[3595]=2172767;w[3596]=2173124;w[3597]=2175781;w[3598]=2176647;w[3599]=2178041;w[3600]=2178198;w[3601]=2179542;w[3602]=2180216;w[3603]=2182468;w[3604]=2182800;w[3605]=2184570;w[3606]=2185697;w[3607]=2187050;w[3608]=2187250;w[3609]=2189808;w[3610]=2190559;w[3611]=2192029;w[3612]=2192790;w[3613]=2194143;w[3614]=2194829;w[3615]=2197084;w[3616]=2197125;w[3617]=2198480;w[3618]=2199856;w[3619]=2202006;w[3620]=2202339;w[3621]=2204666;w[3622]=2205346;w[3623]=2206705;w[3624]=2206992;w[3625]=2208336;w[3626]=2209236;w[3627]=2211970;w[3628]=2212311;w[3629]=2213831;w[3630]=2215192;w[3631]=2216554;w[3632]=2216640;w[3633]=2219558;w[3634]=2220317;w[3635]=2221682;w[3636]=2222325;w[3637]=2223687;w[3638]=2224382;w[3639]=2226655;w[3640]=2226868;w[3641]=2228493;w[3642]=2229635;w[3643]=2231002;w[3644]=2231344;w[3645]=2234077;w[3646]=2234761;w[3647]=2236518;w[3648]=2236559;w[3649]=2237923;w[3650]=2238597;w[3651]=2240879;w[3652]=2241295;w[3653]=2242659;w[3654]=2244322;w[3655]=2245752;w[3656]=2245922;w[3657]=2248405;w[3658]=2249160;w[3659]=2250533;w[3660]=2251099;w[3661]=2252871;w[3662]=2253558;w[3663]=2256626;w[3664]=2256710;w[3665]=2258078;w[3666]=2259271;w[3667]=2260791;w[3668]=2261240;w[3669]=2263537;w[3670]=2264227;w[3671]=2265604;w[3672]=2265945;w[3673]=2267321;w[3674]=2268145;w[3675]=2271189;w[3676]=2271534;w[3677]=2272911;w[3678]=2274059;w[3679]=2275447;w[3680]=2275492;w[3681]=2278101;w[3682]=2278995;w[3683]=2280396;w[3684]=2280977;w[3685]=2282659;w[3686]=2283423;w[3687]=2285726;w[3688]=2285897;w[3689]=2287789;w[3690]=2289093;w[3691]=2290478;w[3692]=2290832;w[3693]=2293144;w[3694]=2293837;w[3695]=2295225;w[3696]=2295446;w[3697]=2296831;w[3698]=2297558;w[3699]=2300284;w[3700]=2300620;w[3701]=2302006;w[3702]=2303163;w[3703]=2305110;w[3704]=2305284;w[3705]=2307839;w[3706]=2308528;w[3707]=2310171;w[3708]=2310841;w[3709]=2312230;w[3710]=2313118;w[3711]=2315436;w[3712]=2315445;w[3713]=2316933;w[3714]=2318099;w[3715]=2319494;w[3716]=2319841;w[3717]=2323344;w[3718]=2324165;w[3719]=2325560;w[3720]=2325868;w[3721]=2327260;w[3722]=2327956;w[3723]=2330283;w[3724]=2330795;w[3725]=2332181;w[3726]=2333692;w[3727]=2335090;w[3728]=2335176;w[3729]=2337935;w[3730]=2338628;w[3731]=2340421;w[3732]=2341008;w[3733]=2342406;w[3734]=2343107;w[3735]=2345818;w[3736]=2345994;w[3737]=2347389;w[3738]=2348891;w[3739]=2350294;w[3740]=2350704;w[3741]=2353151;w[3742]=2353853;w[3743]=2355403;w[3744]=2355485;w[3745]=2357323;w[3746]=2358024;w[3747]=2360366;w[3748]=2360716;w[3749]=2362263;w[3750]=2363429;w[3751]=2365224;w[3752]=2365457;w[3753]=2368264;w[3754]=2368966;w[3755]=2370376;w[3756]=2370963;w[3757]=2372362;w[3758]=2373067;w[3759]=2376123;w[3760]=2376213;w[3761]=2377622;w[3762]=2379373;w[3763]=2380822;w[3764]=2381173;w[3765]=2383545;w[3766]=2384451;w[3767]=2385864;w[3768]=2386157;w[3769]=2387569;w[3770]=2388256;w[3771]=2390943;w[3772]=2391326;w[3773]=2393554;w[3774]=2394729;w[3775]=2396160;w[3776]=2396183;w[3777]=2398549;w[3778]=2399256;w[3779]=2400674;w[3780]=2401568;w[3781]=2403151;w[3782]=2403904;w[3783]=2406264;w[3784]=2406485;w[3785]=2407898;w[3786]=2409085;w[3787]=2410909;w[3788]=2411265;w[3789]=2413948;w[3790]=2414661;w[3791]=2416094;w[3792]=2416246;w[3793]=2417667;w[3794]=2418588;w[3795]=2421635;w[3796]=2421985;w[3797]=2423407;w[3798]=2424768;w[3799]=2426213;w[3800]=2426407;w[3801]=2429460;w[3802]=2430171;w[3803]=2431598;w[3804]=2432191;w[3805]=2433612;w[3806]=2434454;w[3807]=2437414;w[3808]=2437470;w[3809]=2438892;w[3810]=2440100;w[3811]=2441555;w[3812]=2441911;w[3813]=2444448;w[3814]=2445164;w[3815]=2446997;w[3816]=2447334;w[3817]=2449037;w[3818]=2449834;w[3819]=2452557;w[3820]=2452917;w[3821]=2454348;w[3822]=2455931;w[3823]=2457365;w[3824]=2457455;w[3825]=2460157;w[3826]=2460873;w[3827]=2462375;w[3828]=2463082;w[3829]=2464935;w[3830]=2465655;w[3831]=2468048;w[3832]=2468228;w[3833]=2469664;w[3834]=2471116;w[3835]=2472597;w[3836]=2473058;w[3837]=2475460;w[3838]=2476254;w[3839]=2477954;w[3840]=2477962;w[3841]=2479546;w[3842]=2480262;w[3843]=2483761;w[3844]=2484145;w[3845]=2485581;w[3846]=2486783;w[3847]=2488226;w[3848]=2488400;w[3849]=2490811;w[3850]=2491905;w[3851]=2493350;w[3852]=2494048;w[3853]=2495491;w[3854]=2496243;w[3855]=2498648;w[3856]=2498737;w[3857]=2500791;w[3858]=2502002;w[3859]=2503462;w[3860]=2503818;w[3861]=2507180;w[3862]=2507905;w[3863]=2509354;w[3864]=2509776;w[3865]=2511219;w[3866]=2511942;w[3867]=2514359;w[3868]=2514722;w[3869]=2516167;w[3870]=2517603;w[3871]=2519577;w[3872]=2519632;w[3873]=2522058;w[3874]=2522778;w[3875]=2524320;w[3876]=2524994;w[3877]=2526446;w[3878]=2527379;w[3879]=2530140;w[3880]=2530316;w[3881]=2531770;w[3882]=2532987;w[3883]=2534708;w[3884]=2535073;w[3885]=2538189;w[3886]=2538938;w[3887]=2540519;w[3888]=2540703;w[3889]=2542160;w[3890]=2542883;w[3891]=2545315;w[3892]=2545791;w[3893]=2547245;w[3894]=2548738;w[3895]=2550348;w[3896]=2550531;w[3897]=2553293;w[3898]=2554022;w[3899]=2555900;w[3900]=2556499;w[3901]=2558061;w[3902]=2558793;w[3903]=2561231;w[3904]=2561252;w[3905]=2563030;w[3906]=2564924;w[3907]=2566390;w[3908]=2566755;w[3909]=2569202;w[3910]=2569993;w[3911]=2571460;w[3912]=2571771;w[3913]=2573744;w[3914]=2574571;w[3915]=2577448;w[3916]=2577882;w[3917]=2579349;w[3918]=2580572;w[3919]=2582042;w[3920]=2582162;w[3921]=2584618;w[3922]=2585347;w[3923]=2586819;w[3924]=2587513;w[3925]=2588974;w[3926]=2589718;w[3927]=2593452;w[3928]=2593637;w[3929]=2595109;w[3930]=2596356;w[3931]=2597831;w[3932]=2598200;w[3933]=2601550;w[3934]=2602497;w[3935]=2603975;w[3936]=2604052;w[3937]=2605648;w[3938]=2606532;w[3939]=2608988;w[3940]=2609351;w[3941]=2611258;w[3942]=2612712;w[3943]=2614191;w[3944]=2614370;w[3945]=2616853;w[3946]=2617591;w[3947]=2619072;w[3948]=2619899;w[3949]=2621659;w[3950]=2622415;w[3951]=2625227;w[3952]=2625328;w[3953]=2626908;w[3954]=2628149;w[3955]=2630050;w[3956]=2630472;w[3957]=2632949;w[3958]=2633692;w[3959]=2635203;w[3960]=2635619;w[3961]=2637100;w[3962]=2638062;w[3963]=2640539;w[3964]=2640911;w[3965]=2642378;w[3966]=2643616;w[3967]=2645104;w[3968]=2645116;w[3969]=2649042;w[3970]=2649780;w[3971]=2651738;w[3972]=2652364;w[3973]=2653848;w[3974]=2654594;w[3975]=2657068;w[3976]=2657314;w[3977]=2658801;w[3978]=2660207;w[3979]=2661827;w[3980]=2662202;w[3981]=2664694;w[3982]=2665575;w[3983]=2667494;w[3984]=2667655;w[3985]=2669143;w[3986]=2669889;w[3987]=2672729;w[3988]=2673101;w[3989]=2674595;w[3990]=2676367;w[3991]=2677872;w[3992]=2678060;w[3993]=2681059;w[3994]=2681806;w[3995]=2683362;w[3996]=2684097;w[3997]=2686031;w[3998]=2686781;w[3999]=2689567;w[4000]=2689609;w[4001]=2691108;w[4002]=2692466;w[4003]=2693968;w[4004]=2694537;w[4005]=2697371;w[4006]=2698123;w[4007]=2699626;w[4008]=2699943;w[4009]=2701622;w[4010]=2702368;w[4011]=2705625;w[4012]=2706014;w[4013]=2707517;w[4014]=2708952;w[4015]=2710727;w[4016]=2710822;w[4017]=2713380;w[4018]=2714378;w[4019]=2715886;w[4020]=2716533;w[4021]=2718039;w[4022]=2718794;w[4023]=2721755;w[4024]=2721944;w[4025]=2724050;w[4026]=2725537;w[4027]=2727048;w[4028]=2727464;w[4029]=2730046;w[4030]=2730844;w[4031]=2732376;w[4032]=2732434;w[4033]=2733940;w[4034]=2734695;w[4035]=2737211;w[4036]=2737588;w[4037]=2739387;w[4038]=2740649;w[4039]=2742595;w[4040]=2742778;w[4041]=2745642;w[4042]=2746469;w[4043]=2747993;w[4044]=2748625;w[4045]=2750136;w[4046]=2751109;w[4047]=2753985;w[4048]=2754107;w[4049]=2755624;w[4050]=2757132;w[4051]=2758652;w[4052]=2759030;w[4053]=2762287;w[4054]=2763048;w[4055]=2764571;w[4056]=2764885;w[4057]=2766405;w[4058]=2767164;w[4059]=2770571;w[4060]=2771054;w[4061]=2772700;w[4062]=2773968;w[4063]=2775503;w[4064]=2775551;w[4065]=2778109;w[4066]=2778969;w[4067]=2781041;w[4068]=2781763;w[4069]=2783283;w[4070]=2784179;w[4071]=2787040;w[4072]=2787229;w[4073]=2788755;w[4074]=2790392;w[4075]=2791936;w[4076]=2792319;w[4077]=2795361;w[4078]=2796126;w[4079]=2797656;w[4080]=2797811;w[4081]=2800135;w[4082]=2800894;w[4083]=2803446;w[4084]=2803827;w[4085]=2805599;w[4086]=2807062;w[4087]=2808639;w[4088]=2808884;w[4089]=2811547;w[4090]=2812308;w[4091]=2813843;w[4092]=2814649;w[4093]=2816182;w[4094]=2817015;w[4095]=2820739;w[4096]=2820739;w[4097]=2822271;w[4098]=2823557;w[4099]=2825095;w[4100]=2825469;w[4101]=2828036;w[4102]=2829023;w[4103]=2830840;w[4104]=2831262;w[4105]=2832795;w[4106]=2833563;w[4107]=2836127;w[4108]=2836520;w[4109]=2838508;w[4110]=2839788;w[4111]=2841330;w[4112]=2841425;w[4113]=2844340;w[4114]=2845266;w[4115]=2846811;w[4116]=2847668;w[4117]=2849365;w[4118]=2850157;w[4119]=2852730;w[4120]=2852925;w[4121]=2854464;w[4122]=2855923;w[4123]=2858262;w[4124]=2858649;w[4125]=2861693;w[4126]=2862467;w[4127]=2864015;w[4128]=2864101;w[4129]=2865648;w[4130]=2866676;w[4131]=2869774;w[4132]=2870160;w[4133]=2871708;w[4134]=2872994;w[4135]=2874547;w[4136]=2874786;w[4137]=2878109;w[4138]=2878883;w[4139]=2880436;w[4140]=2881232;w[4141]=2882779;w[4142]=2883636;w[4143]=2886224;w[4144]=2886347;w[4145]=2887895;w[4146]=2889196;w[4147]=2891028;w[4148]=2891411;w[4149]=2894349;w[4150]=2895143;w[4151]=2897143;w[4152]=2897466;w[4153]=2899022;w[4154]=2899876;w[4155]=2902467;w[4156]=2902857;w[4157]=2904414;w[4158]=2906744;w[4159]=2908304;w[4160]=2908322;w[4161]=2911201;w[4162]=2911980;w[4163]=2913675;w[4164]=2914331;w[4165]=2916397;w[4166]=2917179;w[4167]=2920144;w[4168]=2920338;w[4169]=2922197;w[4170]=2923519;w[4171]=2925156;w[4172]=2925657;w[4173]=2928314;w[4174]=2929097;w[4175]=2930678;w[4176]=2930862;w[4177]=2932427;w[4178]=2933209;w[4179]=2936601;w[4180]=2937113;w[4181]=2938675;w[4182]=2939982;w[4183]=2941616;w[4184]=2941813;w[4185]=2945092;w[4186]=2946187;w[4187]=2947795;w[4188]=2948448;w[4189]=2950118;w[4190]=2950906;w[4191]=2954052;w[4192]=2954102;w[4193]=2956130;w[4194]=2957617;w[4195]=2959192;w[4196]=2959584;w[4197]=2962211;w[4198]=2962999;w[4199]=2964735;w[4200]=2965154;w[4201]=2966728;w[4202]=2967669;w[4203]=2970662;w[4204]=2971057;w[4205]=2972623;w[4206]=2973936;w[4207]=2975963;w[4208]=2976062;w[4209]=2978920;w[4210]=2979703;w[4211]=2981283;w[4212]=2982068;w[4213]=2983945;w[4214]=2985042;w[4215]=2987672;w[4216]=2987881;w[4217]=2989461;w[4218]=2990918;w[4219]=2992501;w[4220]=2992899;w[4221]=2996861;w[4222]=2997653;w[4223]=2999266;w[4224]=2999292;w[4225]=3000858;w[4226]=3001649;w[4227]=3004291;w[4228]=3004807;w[4229]=3006391;w[4230]=3007952;w[4231]=3009539;w[4232]=3009755;w[4233]=3012469;w[4234]=3013257;w[4235]=3015703;w[4236]=3016365;w[4237]=3018137;w[4238]=3018940;w[4239]=3022060;w[4240]=3022153;w[4241]=3023742;w[4242]=3025445;w[4243]=3027037;w[4244]=3027433;w[4245]=3030105;w[4246]=3031046;w[4247]=3032740;w[4248]=3033132;w[4249]=3035187;w[4250]=3035969;w[4251]=3038620;w[4252]=3039019;w[4253]=3040612;w[4254]=3041940;w[4255]=3043668;w[4256]=3043739;w[4257]=3047479;w[4258]=3048276;w[4259]=3049874;w[4260]=3050557;w[4261]=3052153;w[4262]=3052953;w[4263]=3056486;w[4264]=3056680;w[4265]=3058273;w[4266]=3059884;w[4267]=3061497;w[4268]=3061970;w[4269]=3064642;w[4270]=3065665;w[4271]=3067267;w[4272]=3067434;w[4273]=3069035;w[4274]=3069835;w[4275]=3073182;w[4276]=3073581;w[4277]=3075729;w[4278]=3077276;w[4279]=3079171;w[4280]=3079374;w[4281]=3082055;w[4282]=3082856;w[4283]=3084463;w[4284]=3085440;w[4285]=3087041;w[4286]=3087845;w[4287]=3090523;w[4288]=3090549;w[4289]=3092156;w[4290]=3093736;w[4291]=3095803;w[4292]=3096199;w[4293]=3099399;w[4294]=3100289;w[4295]=3101902;w[4296]=3102243;w[4297]=3103853;w[4298]=3104896;w[4299]=3107583;w[4300]=3108002;w[4301]=3110074;w[4302]=3111611;w[4303]=3113233;w[4304]=3113332;w[4305]=3116787;w[4306]=3117593;w[4307]=3119263;w[4308]=3119940;w[4309]=3121685;w[4310]=3122495;w[4311]=3125562;w[4312]=3125879;w[4313]=3127684;w[4314]=3129036;w[4315]=3130656;w[4316]=3131069;w[4317]=3133771;w[4318]=3134592;w[4319]=3136673;w[4320]=3136772;w[4321]=3138386;w[4322]=3139195;w[4323]=3142443;w[4324]=3142902;w[4325]=3144513;w[4326]=3146285;w[4327]=3147908;w[4328]=3148109;w[4329]=3151170;w[4330]=3151976;w[4331]=3153644;w[4332]=3154399;w[4333]=3156495;w[4334]=3157454;w[4335]=3160156;w[4336]=3160258;w[4337]=3161883;w[4338]=3163421;w[4339]=3165049;w[4340]=3165604;w[4341]=3168321;w[4342]=3169143;w[4343]=3170846;w[4344]=3171184;w[4345]=3173157;w[4346]=3173966;w[4347]=3178439;w[4348]=3178847;w[4349]=3180476;w[4350]=3181825;w[4351]=3183627;w[4352]=3183632;w[4353]=3186358;w[4354]=3187414;w[4355]=3189090;w[4356]=3190020;w[4357]=3191652;w[4358]=3192470;w[4359]=3195193;w[4360]=3195391;w[4361]=3197559;w[4362]=3198926;w[4363]=3200563;w[4364]=3200973;w[4365]=3204062;w[4366]=3204907;w[4367]=3206841;w[4368]=3207059;w[4369]=3208693;w[4370]=3209676;w[4371]=3212708;w[4372]=3213116;w[4373]=3214754;w[4374]=3216397;w[4375]=3218500;w[4376]=3218706;w[4377]=3221447;w[4378]=3222427;w[4379]=3224089;w[4380]=3224769;w[4381]=3226406;w[4382]=3227461;w[4383]=3230579;w[4384]=3230629;w[4385]=3232267;w[4386]=3233706;w[4387]=3235382;w[4388]=3235792;w[4389]=3240405;w[4390]=3241230;w[4391]=3242877;w[4392]=3243265;w[4393]=3245074;w[4394]=3245893;w[4395]=3248634;w[4396]=3249162;w[4397]=3250809;w[4398]=3252182;w[4399]=3253870;w[4400]=3253989;w[4401]=3257273;w[4402]=3258176;w[4403]=3260293;w[4404]=3260985;w[4405]=3262631;w[4406]=3263458;w[4407]=3266208;w[4408]=3266435;w[4409]=3268087;w[4410]=3270158;w[4411]=3272113;w[4412]=3272527;w[4413]=3275289;w[4414]=3276117;w[4415]=3277775;w[4416]=3277822;w[4417]=3279958;w[4418]=3280822;w[4419]=3283968;w[4420]=3284363;w[4421]=3286019;w[4422]=3287707;w[4423]=3289366;w[4424]=3289639;w[4425]=3292497;w[4426]=3293325;w[4427]=3295160;w[4428]=3295978;w[4429]=3297750;w[4430]=3298583;w[4431]=3302179;w[4432]=3302281;w[4433]=3304371;w[4434]=3305762;w[4435]=3307427;w[4436]=3307841;w[4437]=3310981;w[4438]=3312049;w[4439]=3313857;w[4440]=3314198;w[4441]=3315862;w[4442]=3316693;w[4443]=3319470;w[4444]=3319961;w[4445]=3322136;w[4446]=3323878;w[4447]=3325546;w[4448]=3325599;w[4449]=3328385;w[4450]=3329209;w[4451]=3330879;w[4452]=3331772;w[4453]=3333436;w[4454]=3334284;w[4455]=3338213;w[4456]=3338420;w[4457]=3340090;w[4458]=3341487;w[4459]=3343713;w[4460]=3344133;w[4461]=3346925;w[4462]=3347833;w[4463]=3349507;w[4464]=3349718;w[4465]=3351646;w[4466]=3352917;w[4467]=3355709;w[4468]=3356126;w[4469]=3357796;w[4470]=3359187;w[4471]=3360875;w[4472]=3361093;w[4473]=3365282;w[4474]=3366119;w[4475]=3367813;w[4476]=3368511;w[4477]=3370522;w[4478]=3371362;w[4479]=3374160;w[4480]=3374175;w[4481]=3375854;w[4482]=3377548;w[4483]=3379230;w[4484]=3379712;w[4485]=3382753;w[4486]=3383595;w[4487]=3385757;w[4488]=3386176;w[4489]=3387911;w[4490]=3388747;w[4491]=3391944;w[4492]=3392366;w[4493]=3394049;w[4494]=3395890;w[4495]=3397678;w[4496]=3397782;w[4497]=3400598;w[4498]=3401435;w[4499]=3403429;w[4500]=3404222;w[4501]=3406399;w[4502]=3407244;w[4503]=3410435;w[4504]=3410647;w[4505]=3412317;w[4506]=3413729;w[4507]=3415420;w[4508]=3416029;w[4509]=3419389;w[4510]=3420384;w[4511]=3422084;w[4512]=3422176;w[4513]=3423867;w[4514]=3424707;w[4515]=3428504;w[4516]=3428926;w[4517]=3430618;w[4518]=3432234;w[4519]=3433929;w[4520]=3434135;w[4521]=3437479;w[4522]=3438684;w[4523]=3440381;w[4524]=3441082;w[4525]=3442768;w[4526]=3443670;w[4527]=3446890;w[4528]=3446997;w[4529]=3449187;w[4530]=3450620;w[4531]=3452465;w[4532]=3452977;w[4533]=3455814;w[4534]=3456665;w[4535]=3458368;w[4536]=3458913;w[4537]=3460608;w[4538]=3461457;w[4539]=3464294;w[4540]=3464722;w[4541]=3466620;w[4542]=3468038;w[4543]=3470716;w[4544]=3470743;w[4545]=3473957;w[4546]=3474808;w[4547]=3476514;w[4548]=3477230;w[4549]=3478934;w[4550]=3480020;w[4551]=3482860;w[4552]=3483072;w[4553]=3484773;w[4554]=3486848;w[4555]=3488558;w[4556]=3488998;w[4557]=3493020;w[4558]=3493913;w[4559]=3495694;w[4560]=3495891;w[4561]=3497600;w[4562]=3498454;w[4563]=3501811;w[4564]=3502368;w[4565]=3504440;w[4566]=3505867;w[4567]=3507580;w[4568]=3507795;w[4569]=3510656;w[4570]=3511507;w[4571]=3513709;w[4572]=3514532;w[4573]=3516241;w[4574]=3517099;w[4575]=3519948;w[4576]=3520010;w[4577]=3521894;w[4578]=3523732;w[4579]=3525630;w[4580]=3526053;w[4581]=3529297;w[4582]=3530176;w[4583]=3531895;w[4584]=3532257;w[4585]=3534500;w[4586]=3535358;w[4587]=3538801;w[4588]=3539257;w[4589]=3540972;w[4590]=3542660;w[4591]=3544382;w[4592]=3544519;w[4593]=3547395;w[4594]=3548255;w[4595]=3549980;w[4596]=3550702;w[4597]=3552424;w[4598]=3553569;w[4599]=3557759;w[4600]=3557990;w[4601]=3559831;w[4602]=3561318;w[4603]=3563045;w[4604]=3563477;w[4605]=3566374;w[4606]=3567568;w[4607]=3569307;w[4608]=3569314;w[4609]=3571368;w[4610]=3572226;w[4611]=3575102;w[4612]=3575533;w[4613]=3577764;w[4614]=3579206;w[4615]=3580979;w[4616]=3581194;w[4617]=3585021;w[4618]=3585885;w[4619]=3587727;w[4620]=3588824;w[4621]=3590555;w[4622]=3591422;w[4623]=3594658;w[4624]=3594764;w[4625]=3596483;w[4626]=3598123;w[4627]=3600352;w[4628]=3600780;w[4629]=3603677;w[4630]=3604547;w[4631]=3606598;w[4632]=3606960;w[4633]=3608693;w[4634]=3609817;w[4635]=3613163;w[4636]=3613642;w[4637]=3615379;w[4638]=3616827;w[4639]=3618567;w[4640]=3618615;w[4641]=3622340;w[4642]=3623380;w[4643]=3625122;w[4644]=3626021;w[4645]=3627757;w[4646]=3628702;w[4647]=3631605;w[4648]=3631892;w[4649]=3633634;w[4650]=3635178;w[4651]=3636923;w[4652]=3637360;w[4653]=3641424;w[4654]=3642305;w[4655]=3644863;w[4656]=3645045;w[4657]=3646790;w[4658]=3647659;w[4659]=3650571;w[4660]=3651002;w[4661]=3652855;w[4662]=3654977;w[4663]=3656726;w[4664]=3656983;w[4665]=3659916;w[4666]=3660789;w[4667]=3662547;w[4668]=3663275;w[4669]=3665720;w[4670]=3666598;w[4671]=3670036;w[4672]=3670062;w[4673]=3671813;w[4674]=3673432;w[4675]=3675495;w[4676]=3676065;w[4677]=3678992;w[4678]=3679870;w[4679]=3681625;w[4680]=3682034;w[4681]=3683927;w[4682]=3684803;w[4683]=3688600;w[4684]=3689040;w[4685]=3690791;w[4686]=3692572;w[4687]=3694410;w[4688]=3694518;w[4689]=3697841;w[4690]=3699004;w[4691]=3700764;w[4692]=3701561;w[4693]=3703515;w[4694]=3704396;w[4695]=3707326;w[4696]=3707547;w[4697]=3710222;w[4698]=3711973;w[4699]=3713761;w[4700]=3714217;w[4701]=3717159;w[4702]=3718041;w[4703]=3719805;w[4704]=3719927;w[4705]=3721685;w[4706]=3722561;w[4707]=3725911;w[4708]=3726444;w[4709]=3728204;w[4710]=3729670;w[4711]=3731940;w[4712]=3732200;w[4713]=3735151;w[4714]=3736033;w[4715]=3737949;w[4716]=3738800;w[4717]=3740563;w[4718]=3741699;w[4719]=3745235;w[4720]=3745348;w[4721]=3747117;w[4722]=3748598;w[4723]=3750370;w[4724]=3750811;w[4725]=3755281;w[4726]=3756180;w[4727]=3757973;w[4728]=3758341;w[4729]=3760113;w[4730]=3761210;w[4731]=3764563;w[4732]=3765130;w[4733]=3766903;w[4734]=3768593;w[4735]=3770371;w[4736]=3770383;w[4737]=3773349;w[4738]=3774333;w[4739]=3776616;w[4740]=3777374;w[4741]=3779485;w[4742]=3780375;w[4743]=3783953;w[4744]=3784174;w[4745]=3785934;w[4746]=3787841;w[4747]=3789695;w[4748]=3790141;w[4749]=3793113;w[4750]=3794093;w[4751]=3795875;w[4752]=3796138;w[4753]=3798501;w[4754]=3799391;w[4755]=3802357;w[4756]=3802797;w[4757]=3804686;w[4758]=3806167;w[4759]=3807952;w[4760]=3808233;w[4761]=3811912;w[4762]=3812803;w[4763]=3814914;w[4764]=3815657;w[4765]=3817438;w[4766]=3818332;w[4767]=3822198;w[4768]=3822252;w[4769]=3824246;w[4770]=3825930;w[4771]=3827727;w[4772]=3828173;w[4773]=3831295;w[4774]=3832743;w[4775]=3834549;w[4776]=3834926;w[4777]=3836713;w[4778]=3837607;w[4779]=3841296;w[4780]=3841746;w[4781]=3844058;w[4782]=3845551;w[4783]=3847345;w[4784]=3847465;w[4785]=3850995;w[4786]=3851891;w[4787]=3853687;w[4788]=3854895;w[4789]=3856689;w[4790]=3857589;w[4791]=3860582;w[4792]=3860807;w[4793]=3862603;w[4794]=3864165;w[4795]=3866471;w[4796]=3867001;w[4797]=3870396;w[4798]=3871296;w[4799]=3873096;w[4800]=3873140;w[4801]=3874939;w[4802]=3876139;w[4803]=3879141;w[4804]=3879590;w[4805]=3881510;w[4806]=3883282;w[4807]=3885843;w[4808]=3886067;w[4809]=3889930;w[4810]=3890812;w[4811]=3892629;w[4812]=3893381;w[4813]=3895184;w[4814]=3896107;w[4815]=3899583;w[4816]=3899735;w[4817]=3901540;w[4818]=3903324;w[4819]=3905175;w[4820]=3905621;w[4821]=3908638;w[4822]=3909543;w[4823]=3911862;w[4824]=3912305;w[4825]=3914104;w[4826]=3915120;w[4827]=3918137;w[4828]=3918601;w[4829]=3920751;w[4830]=3922859;w[4831]=3924671;w[4832]=3924728;w[4833]=3928330;w[4834]=3929235;w[4835]=3931050;w[4836]=3931853;w[4837]=3934192;w[4838]=3935130;w[4839]=3938153;w[4840]=3938424;w[4841]=3940353;w[4842]=3942067;w[4843]=3943903;w[4844]=3944485;w[4845]=3947832;w[4846]=3948741;w[4847]=3950585;w[4848]=3950773;w[4849]=3952585;w[4850]=3953484;w[4851]=3958874;w[4852]=3959327;w[4853]=3961324;w[4854]=3962841;w[4855]=3964664;w[4856]=3964892;w[4857]=3967933;w[4858]=3969111;w[4859]=3971018;w[4860]=3971928;w[4861]=3973749;w[4862]=3974822;w[4863]=3977860;w[4864]=3977868;w[4865]=3980246;w[4866]=3981772;w[4867]=3983713;w[4868]=3984168;w[4869]=3987616;w[4870]=3988531;w[4871]=3990358;w[4872]=3990846;w[4873]=3993017;w[4874]=3993929;w[4875]=3996961;w[4876]=3997456;w[4877]=3999283;w[4878]=4001024;w[4879]=4003372;w[4880]=4003480;w[4881]=4006536;w[4882]=4007450;w[4883]=4009474;w[4884]=4010376;w[4885]=4012202;w[4886]=4013378;w[4887]=4016975;w[4888]=4017212;w[4889]=4019044;w[4890]=4020591;w[4891]=4022480;w[4892]=4022939;w[4893]=4026871;w[4894]=4027789;w[4895]=4029954;w[4896]=4030064;w[4897]=4032010;w[4898]=4033012;w[4899]=4036434;w[4900]=4037040;w[4901]=4038867;w[4902]=4040645;w[4903]=4042484;w[4904]=4042712;w[4905]=4046181;w[4906]=4047278;w[4907]=4049642;w[4908]=4050409;w[4909]=4052248;w[4910]=4053171;w[4911]=4056239;w[4912]=4056355;w[4913]=4058194;w[4914]=4060519;w[4915]=4062364;w[4916]=4062823;w[4917]=4066455;w[4918]=4067378;w[4919]=4069223;w[4920]=4069603;w[4921]=4072224;w[4922]=4073246;w[4923]=4076749;w[4924]=4077211;w[4925]=4079047;w[4926]=4080585;w[4927]=4082441;w[4928]=4082485;w[4929]=4085763;w[4930]=4086668;w[4931]=4088518;w[4932]=4089393;w[4933]=4091241;w[4934]=4092167;w[4935]=4096300;w[4936]=4096530;w[4937]=4098380;w[4938]=4099927;w[4939]=4102116;w[4940]=4102622;w[4941]=4106305;w[4942]=4107495;w[4943]=4109349;w[4944]=4109546;w[4945]=4111654;w[4946]=4112580;w[4947]=4115672;w[4948]=4116134;w[4949]=4118594;w[4950]=4120666;w[4951]=4122523;w[4952]=4122756;w[4953]=4125899;w[4954]=4126826;w[4955]=4128686;w[4956]=4129717;w[4957]=4131574;w[4958]=4132530;w[4959]=4136414;w[4960]=4136474;w[4961]=4138705;w[4962]=4140261;w[4963]=4142652;w[4964]=4143113;w[4965]=4146235;w[4966]=4147174;w[4967]=4149037;w[4968]=4149535;w[4969]=4151397;w[4970]=4152627;w[4971]=4155734;w[4972]=4156285;w[4973]=4158148;w[4974]=4159701;w[4975]=4161582;w[4976]=4161699;w[4977]=4166347;w[4978]=4167396;w[4979]=4169271;w[4980]=4170068;w[4981]=4171930;w[4982]=4172902;w[4983]=4176633;w[4984]=4176932;w[4985]=4178795;w[4986]=4180560;w[4987]=4182431;w[4988]=4182919;w[4989]=4186041;w[4990]=4186979;w[4991]=4189763;w[4992]=4189786;w[4993]=4191657;w[4994]=4192775;w[4995]=4196447;w[4996]=4196914;w[4997]=4199001;w[4998]=4201073;w[4999]=4202948;w[5000]=4203176;
int n;
cin >> n;
cout << w[n];
}