#include <bits/stdc++.h>
using namespace std;
int x[2550][2550];
long long as[2550];
int main() {
  int n;
  cin >> n;
  memset(as, 0, sizeof(as));
  int i = 1;
  as[i++] = 0;
  as[i++] = 0;
  as[i++] = 0;
  as[i++] = 0;
  as[i++] = 0;
  as[i++] = 1;
  as[i++] = 1;
  as[i++] = 1;
  as[i++] = 1;
  as[i++] = 2;
  as[i++] = 2;
  as[i++] = 5;
  as[i++] = 7;
  as[i++] = 10;
  as[i++] = 10;
  as[i++] = 10;
  as[i++] = 10;
  as[i++] = 11;
  as[i++] = 11;
  as[i++] = 14;
  as[i++] = 16;
  as[i++] = 19;
  as[i++] = 19;
  as[i++] = 26;
  as[i++] = 32;
  as[i++] = 39;
  as[i++] = 43;
  as[i++] = 52;
  as[i++] = 58;
  as[i++] = 65;
  as[i++] = 65;
  as[i++] = 65;
  as[i++] = 65;
  as[i++] = 66;
  as[i++] = 66;
  as[i++] = 69;
  as[i++] = 71;
  as[i++] = 74;
  as[i++] = 74;
  as[i++] = 81;
  as[i++] = 87;
  as[i++] = 94;
  as[i++] = 98;
  as[i++] = 107;
  as[i++] = 113;
  as[i++] = 120;
  as[i++] = 120;
  as[i++] = 135;
  as[i++] = 149;
  as[i++] = 164;
  as[i++] = 176;
  as[i++] = 193;
  as[i++] = 207;
  as[i++] = 222;
  as[i++] = 230;
  as[i++] = 251;
  as[i++] = 269;
  as[i++] = 288;
  as[i++] = 300;
  as[i++] = 321;
  as[i++] = 335;
  as[i++] = 350;
  as[i++] = 350;
  as[i++] = 350;
  as[i++] = 350;
  as[i++] = 351;
  as[i++] = 351;
  as[i++] = 354;
  as[i++] = 356;
  as[i++] = 359;
  as[i++] = 359;
  as[i++] = 366;
  as[i++] = 372;
  as[i++] = 379;
  as[i++] = 383;
  as[i++] = 392;
  as[i++] = 398;
  as[i++] = 405;
  as[i++] = 405;
  as[i++] = 420;
  as[i++] = 434;
  as[i++] = 449;
  as[i++] = 461;
  as[i++] = 478;
  as[i++] = 492;
  as[i++] = 507;
  as[i++] = 515;
  as[i++] = 536;
  as[i++] = 554;
  as[i++] = 573;
  as[i++] = 585;
  as[i++] = 606;
  as[i++] = 620;
  as[i++] = 635;
  as[i++] = 635;
  as[i++] = 666;
  as[i++] = 696;
  as[i++] = 727;
  as[i++] = 755;
  as[i++] = 788;
  as[i++] = 818;
  as[i++] = 849;
  as[i++] = 873;
  as[i++] = 910;
  as[i++] = 944;
  as[i++] = 979;
  as[i++] = 1007;
  as[i++] = 1044;
  as[i++] = 1074;
  as[i++] = 1105;
  as[i++] = 1121;
  as[i++] = 1166;
  as[i++] = 1208;
  as[i++] = 1251;
  as[i++] = 1287;
  as[i++] = 1332;
  as[i++] = 1370;
  as[i++] = 1409;
  as[i++] = 1433;
  as[i++] = 1482;
  as[i++] = 1524;
  as[i++] = 1567;
  as[i++] = 1595;
  as[i++] = 1640;
  as[i++] = 1670;
  as[i++] = 1701;
  as[i++] = 1701;
  as[i++] = 1701;
  as[i++] = 1701;
  as[i++] = 1702;
  as[i++] = 1702;
  as[i++] = 1705;
  as[i++] = 1707;
  as[i++] = 1710;
  as[i++] = 1710;
  as[i++] = 1717;
  as[i++] = 1723;
  as[i++] = 1730;
  as[i++] = 1734;
  as[i++] = 1743;
  as[i++] = 1749;
  as[i++] = 1756;
  as[i++] = 1756;
  as[i++] = 1771;
  as[i++] = 1785;
  as[i++] = 1800;
  as[i++] = 1812;
  as[i++] = 1829;
  as[i++] = 1843;
  as[i++] = 1858;
  as[i++] = 1866;
  as[i++] = 1887;
  as[i++] = 1905;
  as[i++] = 1924;
  as[i++] = 1936;
  as[i++] = 1957;
  as[i++] = 1971;
  as[i++] = 1986;
  as[i++] = 1986;
  as[i++] = 2017;
  as[i++] = 2047;
  as[i++] = 2078;
  as[i++] = 2106;
  as[i++] = 2139;
  as[i++] = 2169;
  as[i++] = 2200;
  as[i++] = 2224;
  as[i++] = 2261;
  as[i++] = 2295;
  as[i++] = 2330;
  as[i++] = 2358;
  as[i++] = 2395;
  as[i++] = 2425;
  as[i++] = 2456;
  as[i++] = 2472;
  as[i++] = 2517;
  as[i++] = 2559;
  as[i++] = 2602;
  as[i++] = 2638;
  as[i++] = 2683;
  as[i++] = 2721;
  as[i++] = 2760;
  as[i++] = 2784;
  as[i++] = 2833;
  as[i++] = 2875;
  as[i++] = 2918;
  as[i++] = 2946;
  as[i++] = 2991;
  as[i++] = 3021;
  as[i++] = 3052;
  as[i++] = 3052;
  as[i++] = 3115;
  as[i++] = 3177;
  as[i++] = 3240;
  as[i++] = 3300;
  as[i++] = 3365;
  as[i++] = 3427;
  as[i++] = 3490;
  as[i++] = 3546;
  as[i++] = 3615;
  as[i++] = 3681;
  as[i++] = 3748;
  as[i++] = 3808;
  as[i++] = 3877;
  as[i++] = 3939;
  as[i++] = 4002;
  as[i++] = 4050;
  as[i++] = 4127;
  as[i++] = 4201;
  as[i++] = 4276;
  as[i++] = 4344;
  as[i++] = 4421;
  as[i++] = 4491;
  as[i++] = 4562;
  as[i++] = 4618;
  as[i++] = 4699;
  as[i++] = 4773;
  as[i++] = 4848;
  as[i++] = 4908;
  as[i++] = 4985;
  as[i++] = 5047;
  as[i++] = 5110;
  as[i++] = 5142;
  as[i++] = 5235;
  as[i++] = 5325;
  as[i++] = 5416;
  as[i++] = 5500;
  as[i++] = 5593;
  as[i++] = 5679;
  as[i++] = 5766;
  as[i++] = 5838;
  as[i++] = 5935;
  as[i++] = 6025;
  as[i++] = 6116;
  as[i++] = 6192;
  as[i++] = 6285;
  as[i++] = 6363;
  as[i++] = 6442;
  as[i++] = 6490;
  as[i++] = 6595;
  as[i++] = 6693;
  as[i++] = 6792;
  as[i++] = 6876;
  as[i++] = 6977;
  as[i++] = 7063;
  as[i++] = 7150;
  as[i++] = 7206;
  as[i++] = 7311;
  as[i++] = 7401;
  as[i++] = 7492;
  as[i++] = 7552;
  as[i++] = 7645;
  as[i++] = 7707;
  as[i++] = 7770;
  as[i++] = 7770;
  as[i++] = 7770;
  as[i++] = 7770;
  as[i++] = 7771;
  as[i++] = 7771;
  as[i++] = 7774;
  as[i++] = 7776;
  as[i++] = 7779;
  as[i++] = 7779;
  as[i++] = 7786;
  as[i++] = 7792;
  as[i++] = 7799;
  as[i++] = 7803;
  as[i++] = 7812;
  as[i++] = 7818;
  as[i++] = 7825;
  as[i++] = 7825;
  as[i++] = 7840;
  as[i++] = 7854;
  as[i++] = 7869;
  as[i++] = 7881;
  as[i++] = 7898;
  as[i++] = 7912;
  as[i++] = 7927;
  as[i++] = 7935;
  as[i++] = 7956;
  as[i++] = 7974;
  as[i++] = 7993;
  as[i++] = 8005;
  as[i++] = 8026;
  as[i++] = 8040;
  as[i++] = 8055;
  as[i++] = 8055;
  as[i++] = 8086;
  as[i++] = 8116;
  as[i++] = 8147;
  as[i++] = 8175;
  as[i++] = 8208;
  as[i++] = 8238;
  as[i++] = 8269;
  as[i++] = 8293;
  as[i++] = 8330;
  as[i++] = 8364;
  as[i++] = 8399;
  as[i++] = 8427;
  as[i++] = 8464;
  as[i++] = 8494;
  as[i++] = 8525;
  as[i++] = 8541;
  as[i++] = 8586;
  as[i++] = 8628;
  as[i++] = 8671;
  as[i++] = 8707;
  as[i++] = 8752;
  as[i++] = 8790;
  as[i++] = 8829;
  as[i++] = 8853;
  as[i++] = 8902;
  as[i++] = 8944;
  as[i++] = 8987;
  as[i++] = 9015;
  as[i++] = 9060;
  as[i++] = 9090;
  as[i++] = 9121;
  as[i++] = 9121;
  as[i++] = 9184;
  as[i++] = 9246;
  as[i++] = 9309;
  as[i++] = 9369;
  as[i++] = 9434;
  as[i++] = 9496;
  as[i++] = 9559;
  as[i++] = 9615;
  as[i++] = 9684;
  as[i++] = 9750;
  as[i++] = 9817;
  as[i++] = 9877;
  as[i++] = 9946;
  as[i++] = 10008;
  as[i++] = 10071;
  as[i++] = 10119;
  as[i++] = 10196;
  as[i++] = 10270;
  as[i++] = 10345;
  as[i++] = 10413;
  as[i++] = 10490;
  as[i++] = 10560;
  as[i++] = 10631;
  as[i++] = 10687;
  as[i++] = 10768;
  as[i++] = 10842;
  as[i++] = 10917;
  as[i++] = 10977;
  as[i++] = 11054;
  as[i++] = 11116;
  as[i++] = 11179;
  as[i++] = 11211;
  as[i++] = 11304;
  as[i++] = 11394;
  as[i++] = 11485;
  as[i++] = 11569;
  as[i++] = 11662;
  as[i++] = 11748;
  as[i++] = 11835;
  as[i++] = 11907;
  as[i++] = 12004;
  as[i++] = 12094;
  as[i++] = 12185;
  as[i++] = 12261;
  as[i++] = 12354;
  as[i++] = 12432;
  as[i++] = 12511;
  as[i++] = 12559;
  as[i++] = 12664;
  as[i++] = 12762;
  as[i++] = 12861;
  as[i++] = 12945;
  as[i++] = 13046;
  as[i++] = 13132;
  as[i++] = 13219;
  as[i++] = 13275;
  as[i++] = 13380;
  as[i++] = 13470;
  as[i++] = 13561;
  as[i++] = 13621;
  as[i++] = 13714;
  as[i++] = 13776;
  as[i++] = 13839;
  as[i++] = 13839;
  as[i++] = 13966;
  as[i++] = 14092;
  as[i++] = 14219;
  as[i++] = 14343;
  as[i++] = 14472;
  as[i++] = 14598;
  as[i++] = 14725;
  as[i++] = 14845;
  as[i++] = 14978;
  as[i++] = 15108;
  as[i++] = 15239;
  as[i++] = 15363;
  as[i++] = 15496;
  as[i++] = 15622;
  as[i++] = 15749;
  as[i++] = 15861;
  as[i++] = 16002;
  as[i++] = 16140;
  as[i++] = 16279;
  as[i++] = 16411;
  as[i++] = 16552;
  as[i++] = 16686;
  as[i++] = 16821;
  as[i++] = 16941;
  as[i++] = 17086;
  as[i++] = 17224;
  as[i++] = 17363;
  as[i++] = 17487;
  as[i++] = 17628;
  as[i++] = 17754;
  as[i++] = 17881;
  as[i++] = 17977;
  as[i++] = 18134;
  as[i++] = 18288;
  as[i++] = 18443;
  as[i++] = 18591;
  as[i++] = 18748;
  as[i++] = 18898;
  as[i++] = 19049;
  as[i++] = 19185;
  as[i++] = 19346;
  as[i++] = 19500;
  as[i++] = 19655;
  as[i++] = 19795;
  as[i++] = 19952;
  as[i++] = 20094;
  as[i++] = 20237;
  as[i++] = 20349;
  as[i++] = 20518;
  as[i++] = 20680;
  as[i++] = 20843;
  as[i++] = 20991;
  as[i++] = 21156;
  as[i++] = 21306;
  as[i++] = 21457;
  as[i++] = 21577;
  as[i++] = 21746;
  as[i++] = 21900;
  as[i++] = 22055;
  as[i++] = 22179;
  as[i++] = 22336;
  as[i++] = 22462;
  as[i++] = 22589;
  as[i++] = 22653;
  as[i++] = 22842;
  as[i++] = 23028;
  as[i++] = 23215;
  as[i++] = 23395;
  as[i++] = 23584;
  as[i++] = 23766;
  as[i++] = 23949;
  as[i++] = 24117;
  as[i++] = 24310;
  as[i++] = 24496;
  as[i++] = 24683;
  as[i++] = 24855;
  as[i++] = 25044;
  as[i++] = 25218;
  as[i++] = 25393;
  as[i++] = 25537;
  as[i++] = 25738;
  as[i++] = 25932;
  as[i++] = 26127;
  as[i++] = 26307;
  as[i++] = 26504;
  as[i++] = 26686;
  as[i++] = 26869;
  as[i++] = 27021;
  as[i++] = 27222;
  as[i++] = 27408;
  as[i++] = 27595;
  as[i++] = 27751;
  as[i++] = 27940;
  as[i++] = 28098;
  as[i++] = 28257;
  as[i++] = 28353;
  as[i++] = 28570;
  as[i++] = 28780;
  as[i++] = 28991;
  as[i++] = 29187;
  as[i++] = 29400;
  as[i++] = 29598;
  as[i++] = 29797;
  as[i++] = 29965;
  as[i++] = 30182;
  as[i++] = 30384;
  as[i++] = 30587;
  as[i++] = 30759;
  as[i++] = 30964;
  as[i++] = 31138;
  as[i++] = 31313;
  as[i++] = 31425;
  as[i++] = 31650;
  as[i++] = 31860;
  as[i++] = 32071;
  as[i++] = 32251;
  as[i++] = 32464;
  as[i++] = 32646;
  as[i++] = 32829;
  as[i++] = 32949;
  as[i++] = 33166;
  as[i++] = 33352;
  as[i++] = 33539;
  as[i++] = 33663;
  as[i++] = 33852;
  as[i++] = 33978;
  as[i++] = 34105;
  as[i++] = 34105;
  as[i++] = 34105;
  as[i++] = 34105;
  as[i++] = 34106;
  as[i++] = 34106;
  as[i++] = 34109;
  as[i++] = 34111;
  as[i++] = 34114;
  as[i++] = 34114;
  as[i++] = 34121;
  as[i++] = 34127;
  as[i++] = 34134;
  as[i++] = 34138;
  as[i++] = 34147;
  as[i++] = 34153;
  as[i++] = 34160;
  as[i++] = 34160;
  as[i++] = 34175;
  as[i++] = 34189;
  as[i++] = 34204;
  as[i++] = 34216;
  as[i++] = 34233;
  as[i++] = 34247;
  as[i++] = 34262;
  as[i++] = 34270;
  as[i++] = 34291;
  as[i++] = 34309;
  as[i++] = 34328;
  as[i++] = 34340;
  as[i++] = 34361;
  as[i++] = 34375;
  as[i++] = 34390;
  as[i++] = 34390;
  as[i++] = 34421;
  as[i++] = 34451;
  as[i++] = 34482;
  as[i++] = 34510;
  as[i++] = 34543;
  as[i++] = 34573;
  as[i++] = 34604;
  as[i++] = 34628;
  as[i++] = 34665;
  as[i++] = 34699;
  as[i++] = 34734;
  as[i++] = 34762;
  as[i++] = 34799;
  as[i++] = 34829;
  as[i++] = 34860;
  as[i++] = 34876;
  as[i++] = 34921;
  as[i++] = 34963;
  as[i++] = 35006;
  as[i++] = 35042;
  as[i++] = 35087;
  as[i++] = 35125;
  as[i++] = 35164;
  as[i++] = 35188;
  as[i++] = 35237;
  as[i++] = 35279;
  as[i++] = 35322;
  as[i++] = 35350;
  as[i++] = 35395;
  as[i++] = 35425;
  as[i++] = 35456;
  as[i++] = 35456;
  as[i++] = 35519;
  as[i++] = 35581;
  as[i++] = 35644;
  as[i++] = 35704;
  as[i++] = 35769;
  as[i++] = 35831;
  as[i++] = 35894;
  as[i++] = 35950;
  as[i++] = 36019;
  as[i++] = 36085;
  as[i++] = 36152;
  as[i++] = 36212;
  as[i++] = 36281;
  as[i++] = 36343;
  as[i++] = 36406;
  as[i++] = 36454;
  as[i++] = 36531;
  as[i++] = 36605;
  as[i++] = 36680;
  as[i++] = 36748;
  as[i++] = 36825;
  as[i++] = 36895;
  as[i++] = 36966;
  as[i++] = 37022;
  as[i++] = 37103;
  as[i++] = 37177;
  as[i++] = 37252;
  as[i++] = 37312;
  as[i++] = 37389;
  as[i++] = 37451;
  as[i++] = 37514;
  as[i++] = 37546;
  as[i++] = 37639;
  as[i++] = 37729;
  as[i++] = 37820;
  as[i++] = 37904;
  as[i++] = 37997;
  as[i++] = 38083;
  as[i++] = 38170;
  as[i++] = 38242;
  as[i++] = 38339;
  as[i++] = 38429;
  as[i++] = 38520;
  as[i++] = 38596;
  as[i++] = 38689;
  as[i++] = 38767;
  as[i++] = 38846;
  as[i++] = 38894;
  as[i++] = 38999;
  as[i++] = 39097;
  as[i++] = 39196;
  as[i++] = 39280;
  as[i++] = 39381;
  as[i++] = 39467;
  as[i++] = 39554;
  as[i++] = 39610;
  as[i++] = 39715;
  as[i++] = 39805;
  as[i++] = 39896;
  as[i++] = 39956;
  as[i++] = 40049;
  as[i++] = 40111;
  as[i++] = 40174;
  as[i++] = 40174;
  as[i++] = 40301;
  as[i++] = 40427;
  as[i++] = 40554;
  as[i++] = 40678;
  as[i++] = 40807;
  as[i++] = 40933;
  as[i++] = 41060;
  as[i++] = 41180;
  as[i++] = 41313;
  as[i++] = 41443;
  as[i++] = 41574;
  as[i++] = 41698;
  as[i++] = 41831;
  as[i++] = 41957;
  as[i++] = 42084;
  as[i++] = 42196;
  as[i++] = 42337;
  as[i++] = 42475;
  as[i++] = 42614;
  as[i++] = 42746;
  as[i++] = 42887;
  as[i++] = 43021;
  as[i++] = 43156;
  as[i++] = 43276;
  as[i++] = 43421;
  as[i++] = 43559;
  as[i++] = 43698;
  as[i++] = 43822;
  as[i++] = 43963;
  as[i++] = 44089;
  as[i++] = 44216;
  as[i++] = 44312;
  as[i++] = 44469;
  as[i++] = 44623;
  as[i++] = 44778;
  as[i++] = 44926;
  as[i++] = 45083;
  as[i++] = 45233;
  as[i++] = 45384;
  as[i++] = 45520;
  as[i++] = 45681;
  as[i++] = 45835;
  as[i++] = 45990;
  as[i++] = 46130;
  as[i++] = 46287;
  as[i++] = 46429;
  as[i++] = 46572;
  as[i++] = 46684;
  as[i++] = 46853;
  as[i++] = 47015;
  as[i++] = 47178;
  as[i++] = 47326;
  as[i++] = 47491;
  as[i++] = 47641;
  as[i++] = 47792;
  as[i++] = 47912;
  as[i++] = 48081;
  as[i++] = 48235;
  as[i++] = 48390;
  as[i++] = 48514;
  as[i++] = 48671;
  as[i++] = 48797;
  as[i++] = 48924;
  as[i++] = 48988;
  as[i++] = 49177;
  as[i++] = 49363;
  as[i++] = 49550;
  as[i++] = 49730;
  as[i++] = 49919;
  as[i++] = 50101;
  as[i++] = 50284;
  as[i++] = 50452;
  as[i++] = 50645;
  as[i++] = 50831;
  as[i++] = 51018;
  as[i++] = 51190;
  as[i++] = 51379;
  as[i++] = 51553;
  as[i++] = 51728;
  as[i++] = 51872;
  as[i++] = 52073;
  as[i++] = 52267;
  as[i++] = 52462;
  as[i++] = 52642;
  as[i++] = 52839;
  as[i++] = 53021;
  as[i++] = 53204;
  as[i++] = 53356;
  as[i++] = 53557;
  as[i++] = 53743;
  as[i++] = 53930;
  as[i++] = 54086;
  as[i++] = 54275;
  as[i++] = 54433;
  as[i++] = 54592;
  as[i++] = 54688;
  as[i++] = 54905;
  as[i++] = 55115;
  as[i++] = 55326;
  as[i++] = 55522;
  as[i++] = 55735;
  as[i++] = 55933;
  as[i++] = 56132;
  as[i++] = 56300;
  as[i++] = 56517;
  as[i++] = 56719;
  as[i++] = 56922;
  as[i++] = 57094;
  as[i++] = 57299;
  as[i++] = 57473;
  as[i++] = 57648;
  as[i++] = 57760;
  as[i++] = 57985;
  as[i++] = 58195;
  as[i++] = 58406;
  as[i++] = 58586;
  as[i++] = 58799;
  as[i++] = 58981;
  as[i++] = 59164;
  as[i++] = 59284;
  as[i++] = 59501;
  as[i++] = 59687;
  as[i++] = 59874;
  as[i++] = 59998;
  as[i++] = 60187;
  as[i++] = 60313;
  as[i++] = 60440;
  as[i++] = 60440;
  as[i++] = 60695;
  as[i++] = 60949;
  as[i++] = 61204;
  as[i++] = 61456;
  as[i++] = 61713;
  as[i++] = 61967;
  as[i++] = 62222;
  as[i++] = 62470;
  as[i++] = 62731;
  as[i++] = 62989;
  as[i++] = 63248;
  as[i++] = 63500;
  as[i++] = 63761;
  as[i++] = 64015;
  as[i++] = 64270;
  as[i++] = 64510;
  as[i++] = 64779;
  as[i++] = 65045;
  as[i++] = 65312;
  as[i++] = 65572;
  as[i++] = 65841;
  as[i++] = 66103;
  as[i++] = 66366;
  as[i++] = 66614;
  as[i++] = 66887;
  as[i++] = 67153;
  as[i++] = 67420;
  as[i++] = 67672;
  as[i++] = 67941;
  as[i++] = 68195;
  as[i++] = 68450;
  as[i++] = 68674;
  as[i++] = 68959;
  as[i++] = 69241;
  as[i++] = 69524;
  as[i++] = 69800;
  as[i++] = 70085;
  as[i++] = 70363;
  as[i++] = 70642;
  as[i++] = 70906;
  as[i++] = 71195;
  as[i++] = 71477;
  as[i++] = 71760;
  as[i++] = 72028;
  as[i++] = 72313;
  as[i++] = 72583;
  as[i++] = 72854;
  as[i++] = 73094;
  as[i++] = 73391;
  as[i++] = 73681;
  as[i++] = 73972;
  as[i++] = 74248;
  as[i++] = 74541;
  as[i++] = 74819;
  as[i++] = 75098;
  as[i++] = 75346;
  as[i++] = 75643;
  as[i++] = 75925;
  as[i++] = 76208;
  as[i++] = 76460;
  as[i++] = 76745;
  as[i++] = 76999;
  as[i++] = 77254;
  as[i++] = 77446;
  as[i++] = 77763;
  as[i++] = 78077;
  as[i++] = 78392;
  as[i++] = 78700;
  as[i++] = 79017;
  as[i++] = 79327;
  as[i++] = 79638;
  as[i++] = 79934;
  as[i++] = 80255;
  as[i++] = 80569;
  as[i++] = 80884;
  as[i++] = 81184;
  as[i++] = 81501;
  as[i++] = 81803;
  as[i++] = 82106;
  as[i++] = 82378;
  as[i++] = 82707;
  as[i++] = 83029;
  as[i++] = 83352;
  as[i++] = 83660;
  as[i++] = 83985;
  as[i++] = 84295;
  as[i++] = 84606;
  as[i++] = 84886;
  as[i++] = 85215;
  as[i++] = 85529;
  as[i++] = 85844;
  as[i++] = 86128;
  as[i++] = 86445;
  as[i++] = 86731;
  as[i++] = 87018;
  as[i++] = 87242;
  as[i++] = 87587;
  as[i++] = 87925;
  as[i++] = 88264;
  as[i++] = 88588;
  as[i++] = 88929;
  as[i++] = 89255;
  as[i++] = 89582;
  as[i++] = 89878;
  as[i++] = 90223;
  as[i++] = 90553;
  as[i++] = 90884;
  as[i++] = 91184;
  as[i++] = 91517;
  as[i++] = 91819;
  as[i++] = 92122;
  as[i++] = 92362;
  as[i++] = 92715;
  as[i++] = 93053;
  as[i++] = 93392;
  as[i++] = 93700;
  as[i++] = 94041;
  as[i++] = 94351;
  as[i++] = 94662;
  as[i++] = 94910;
  as[i++] = 95255;
  as[i++] = 95569;
  as[i++] = 95884;
  as[i++] = 96136;
  as[i++] = 96453;
  as[i++] = 96707;
  as[i++] = 96962;
  as[i++] = 97090;
  as[i++] = 97471;
  as[i++] = 97849;
  as[i++] = 98228;
  as[i++] = 98600;
  as[i++] = 98981;
  as[i++] = 99355;
  as[i++] = 99730;
  as[i++] = 100090;
  as[i++] = 100475;
  as[i++] = 100853;
  as[i++] = 101232;
  as[i++] = 101596;
  as[i++] = 101977;
  as[i++] = 102343;
  as[i++] = 102710;
  as[i++] = 103046;
  as[i++] = 103439;
  as[i++] = 103825;
  as[i++] = 104212;
  as[i++] = 104584;
  as[i++] = 104973;
  as[i++] = 105347;
  as[i++] = 105722;
  as[i++] = 106066;
  as[i++] = 106459;
  as[i++] = 106837;
  as[i++] = 107216;
  as[i++] = 107564;
  as[i++] = 107945;
  as[i++] = 108295;
  as[i++] = 108646;
  as[i++] = 108934;
  as[i++] = 109343;
  as[i++] = 109745;
  as[i++] = 110148;
  as[i++] = 110536;
  as[i++] = 110941;
  as[i++] = 111331;
  as[i++] = 111722;
  as[i++] = 112082;
  as[i++] = 112491;
  as[i++] = 112885;
  as[i++] = 113280;
  as[i++] = 113644;
  as[i++] = 114041;
  as[i++] = 114407;
  as[i++] = 114774;
  as[i++] = 115078;
  as[i++] = 115495;
  as[i++] = 115897;
  as[i++] = 116300;
  as[i++] = 116672;
  as[i++] = 117077;
  as[i++] = 117451;
  as[i++] = 117826;
  as[i++] = 118138;
  as[i++] = 118547;
  as[i++] = 118925;
  as[i++] = 119304;
  as[i++] = 119620;
  as[i++] = 120001;
  as[i++] = 120319;
  as[i++] = 120638;
  as[i++] = 120830;
  as[i++] = 121271;
  as[i++] = 121705;
  as[i++] = 122140;
  as[i++] = 122560;
  as[i++] = 122997;
  as[i++] = 123419;
  as[i++] = 123842;
  as[i++] = 124234;
  as[i++] = 124675;
  as[i++] = 125101;
  as[i++] = 125528;
  as[i++] = 125924;
  as[i++] = 126353;
  as[i++] = 126751;
  as[i++] = 127150;
  as[i++] = 127486;
  as[i++] = 127935;
  as[i++] = 128369;
  as[i++] = 128804;
  as[i++] = 129208;
  as[i++] = 129645;
  as[i++] = 130051;
  as[i++] = 130458;
  as[i++] = 130802;
  as[i++] = 131243;
  as[i++] = 131653;
  as[i++] = 132064;
  as[i++] = 132412;
  as[i++] = 132825;
  as[i++] = 133175;
  as[i++] = 133526;
  as[i++] = 133750;
  as[i++] = 134215;
  as[i++] = 134665;
  as[i++] = 135116;
  as[i++] = 135536;
  as[i++] = 135989;
  as[i++] = 136411;
  as[i++] = 136834;
  as[i++] = 137194;
  as[i++] = 137651;
  as[i++] = 138077;
  as[i++] = 138504;
  as[i++] = 138868;
  as[i++] = 139297;
  as[i++] = 139663;
  as[i++] = 140030;
  as[i++] = 140270;
  as[i++] = 140735;
  as[i++] = 141169;
  as[i++] = 141604;
  as[i++] = 141976;
  as[i++] = 142413;
  as[i++] = 142787;
  as[i++] = 143162;
  as[i++] = 143410;
  as[i++] = 143851;
  as[i++] = 144229;
  as[i++] = 144608;
  as[i++] = 144860;
  as[i++] = 145241;
  as[i++] = 145495;
  as[i++] = 145750;
  as[i++] = 145750;
  as[i++] = 145750;
  as[i++] = 145750;
  as[i++] = 145751;
  as[i++] = 145751;
  as[i++] = 145754;
  as[i++] = 145756;
  as[i++] = 145759;
  as[i++] = 145759;
  as[i++] = 145766;
  as[i++] = 145772;
  as[i++] = 145779;
  as[i++] = 145783;
  as[i++] = 145792;
  as[i++] = 145798;
  as[i++] = 145805;
  as[i++] = 145805;
  as[i++] = 145820;
  as[i++] = 145834;
  as[i++] = 145849;
  as[i++] = 145861;
  as[i++] = 145878;
  as[i++] = 145892;
  as[i++] = 145907;
  as[i++] = 145915;
  as[i++] = 145936;
  as[i++] = 145954;
  as[i++] = 145973;
  as[i++] = 145985;
  as[i++] = 146006;
  as[i++] = 146020;
  as[i++] = 146035;
  as[i++] = 146035;
  as[i++] = 146066;
  as[i++] = 146096;
  as[i++] = 146127;
  as[i++] = 146155;
  as[i++] = 146188;
  as[i++] = 146218;
  as[i++] = 146249;
  as[i++] = 146273;
  as[i++] = 146310;
  as[i++] = 146344;
  as[i++] = 146379;
  as[i++] = 146407;
  as[i++] = 146444;
  as[i++] = 146474;
  as[i++] = 146505;
  as[i++] = 146521;
  as[i++] = 146566;
  as[i++] = 146608;
  as[i++] = 146651;
  as[i++] = 146687;
  as[i++] = 146732;
  as[i++] = 146770;
  as[i++] = 146809;
  as[i++] = 146833;
  as[i++] = 146882;
  as[i++] = 146924;
  as[i++] = 146967;
  as[i++] = 146995;
  as[i++] = 147040;
  as[i++] = 147070;
  as[i++] = 147101;
  as[i++] = 147101;
  as[i++] = 147164;
  as[i++] = 147226;
  as[i++] = 147289;
  as[i++] = 147349;
  as[i++] = 147414;
  as[i++] = 147476;
  as[i++] = 147539;
  as[i++] = 147595;
  as[i++] = 147664;
  as[i++] = 147730;
  as[i++] = 147797;
  as[i++] = 147857;
  as[i++] = 147926;
  as[i++] = 147988;
  as[i++] = 148051;
  as[i++] = 148099;
  as[i++] = 148176;
  as[i++] = 148250;
  as[i++] = 148325;
  as[i++] = 148393;
  as[i++] = 148470;
  as[i++] = 148540;
  as[i++] = 148611;
  as[i++] = 148667;
  as[i++] = 148748;
  as[i++] = 148822;
  as[i++] = 148897;
  as[i++] = 148957;
  as[i++] = 149034;
  as[i++] = 149096;
  as[i++] = 149159;
  as[i++] = 149191;
  as[i++] = 149284;
  as[i++] = 149374;
  as[i++] = 149465;
  as[i++] = 149549;
  as[i++] = 149642;
  as[i++] = 149728;
  as[i++] = 149815;
  as[i++] = 149887;
  as[i++] = 149984;
  as[i++] = 150074;
  as[i++] = 150165;
  as[i++] = 150241;
  as[i++] = 150334;
  as[i++] = 150412;
  as[i++] = 150491;
  as[i++] = 150539;
  as[i++] = 150644;
  as[i++] = 150742;
  as[i++] = 150841;
  as[i++] = 150925;
  as[i++] = 151026;
  as[i++] = 151112;
  as[i++] = 151199;
  as[i++] = 151255;
  as[i++] = 151360;
  as[i++] = 151450;
  as[i++] = 151541;
  as[i++] = 151601;
  as[i++] = 151694;
  as[i++] = 151756;
  as[i++] = 151819;
  as[i++] = 151819;
  as[i++] = 151946;
  as[i++] = 152072;
  as[i++] = 152199;
  as[i++] = 152323;
  as[i++] = 152452;
  as[i++] = 152578;
  as[i++] = 152705;
  as[i++] = 152825;
  as[i++] = 152958;
  as[i++] = 153088;
  as[i++] = 153219;
  as[i++] = 153343;
  as[i++] = 153476;
  as[i++] = 153602;
  as[i++] = 153729;
  as[i++] = 153841;
  as[i++] = 153982;
  as[i++] = 154120;
  as[i++] = 154259;
  as[i++] = 154391;
  as[i++] = 154532;
  as[i++] = 154666;
  as[i++] = 154801;
  as[i++] = 154921;
  as[i++] = 155066;
  as[i++] = 155204;
  as[i++] = 155343;
  as[i++] = 155467;
  as[i++] = 155608;
  as[i++] = 155734;
  as[i++] = 155861;
  as[i++] = 155957;
  as[i++] = 156114;
  as[i++] = 156268;
  as[i++] = 156423;
  as[i++] = 156571;
  as[i++] = 156728;
  as[i++] = 156878;
  as[i++] = 157029;
  as[i++] = 157165;
  as[i++] = 157326;
  as[i++] = 157480;
  as[i++] = 157635;
  as[i++] = 157775;
  as[i++] = 157932;
  as[i++] = 158074;
  as[i++] = 158217;
  as[i++] = 158329;
  as[i++] = 158498;
  as[i++] = 158660;
  as[i++] = 158823;
  as[i++] = 158971;
  as[i++] = 159136;
  as[i++] = 159286;
  as[i++] = 159437;
  as[i++] = 159557;
  as[i++] = 159726;
  as[i++] = 159880;
  as[i++] = 160035;
  as[i++] = 160159;
  as[i++] = 160316;
  as[i++] = 160442;
  as[i++] = 160569;
  as[i++] = 160633;
  as[i++] = 160822;
  as[i++] = 161008;
  as[i++] = 161195;
  as[i++] = 161375;
  as[i++] = 161564;
  as[i++] = 161746;
  as[i++] = 161929;
  as[i++] = 162097;
  as[i++] = 162290;
  as[i++] = 162476;
  as[i++] = 162663;
  as[i++] = 162835;
  as[i++] = 163024;
  as[i++] = 163198;
  as[i++] = 163373;
  as[i++] = 163517;
  as[i++] = 163718;
  as[i++] = 163912;
  as[i++] = 164107;
  as[i++] = 164287;
  as[i++] = 164484;
  as[i++] = 164666;
  as[i++] = 164849;
  as[i++] = 165001;
  as[i++] = 165202;
  as[i++] = 165388;
  as[i++] = 165575;
  as[i++] = 165731;
  as[i++] = 165920;
  as[i++] = 166078;
  as[i++] = 166237;
  as[i++] = 166333;
  as[i++] = 166550;
  as[i++] = 166760;
  as[i++] = 166971;
  as[i++] = 167167;
  as[i++] = 167380;
  as[i++] = 167578;
  as[i++] = 167777;
  as[i++] = 167945;
  as[i++] = 168162;
  as[i++] = 168364;
  as[i++] = 168567;
  as[i++] = 168739;
  as[i++] = 168944;
  as[i++] = 169118;
  as[i++] = 169293;
  as[i++] = 169405;
  as[i++] = 169630;
  as[i++] = 169840;
  as[i++] = 170051;
  as[i++] = 170231;
  as[i++] = 170444;
  as[i++] = 170626;
  as[i++] = 170809;
  as[i++] = 170929;
  as[i++] = 171146;
  as[i++] = 171332;
  as[i++] = 171519;
  as[i++] = 171643;
  as[i++] = 171832;
  as[i++] = 171958;
  as[i++] = 172085;
  as[i++] = 172085;
  as[i++] = 172340;
  as[i++] = 172594;
  as[i++] = 172849;
  as[i++] = 173101;
  as[i++] = 173358;
  as[i++] = 173612;
  as[i++] = 173867;
  as[i++] = 174115;
  as[i++] = 174376;
  as[i++] = 174634;
  as[i++] = 174893;
  as[i++] = 175145;
  as[i++] = 175406;
  as[i++] = 175660;
  as[i++] = 175915;
  as[i++] = 176155;
  as[i++] = 176424;
  as[i++] = 176690;
  as[i++] = 176957;
  as[i++] = 177217;
  as[i++] = 177486;
  as[i++] = 177748;
  as[i++] = 178011;
  as[i++] = 178259;
  as[i++] = 178532;
  as[i++] = 178798;
  as[i++] = 179065;
  as[i++] = 179317;
  as[i++] = 179586;
  as[i++] = 179840;
  as[i++] = 180095;
  as[i++] = 180319;
  as[i++] = 180604;
  as[i++] = 180886;
  as[i++] = 181169;
  as[i++] = 181445;
  as[i++] = 181730;
  as[i++] = 182008;
  as[i++] = 182287;
  as[i++] = 182551;
  as[i++] = 182840;
  as[i++] = 183122;
  as[i++] = 183405;
  as[i++] = 183673;
  as[i++] = 183958;
  as[i++] = 184228;
  as[i++] = 184499;
  as[i++] = 184739;
  as[i++] = 185036;
  as[i++] = 185326;
  as[i++] = 185617;
  as[i++] = 185893;
  as[i++] = 186186;
  as[i++] = 186464;
  as[i++] = 186743;
  as[i++] = 186991;
  as[i++] = 187288;
  as[i++] = 187570;
  as[i++] = 187853;
  as[i++] = 188105;
  as[i++] = 188390;
  as[i++] = 188644;
  as[i++] = 188899;
  as[i++] = 189091;
  as[i++] = 189408;
  as[i++] = 189722;
  as[i++] = 190037;
  as[i++] = 190345;
  as[i++] = 190662;
  as[i++] = 190972;
  as[i++] = 191283;
  as[i++] = 191579;
  as[i++] = 191900;
  as[i++] = 192214;
  as[i++] = 192529;
  as[i++] = 192829;
  as[i++] = 193146;
  as[i++] = 193448;
  as[i++] = 193751;
  as[i++] = 194023;
  as[i++] = 194352;
  as[i++] = 194674;
  as[i++] = 194997;
  as[i++] = 195305;
  as[i++] = 195630;
  as[i++] = 195940;
  as[i++] = 196251;
  as[i++] = 196531;
  as[i++] = 196860;
  as[i++] = 197174;
  as[i++] = 197489;
  as[i++] = 197773;
  as[i++] = 198090;
  as[i++] = 198376;
  as[i++] = 198663;
  as[i++] = 198887;
  as[i++] = 199232;
  as[i++] = 199570;
  as[i++] = 199909;
  as[i++] = 200233;
  as[i++] = 200574;
  as[i++] = 200900;
  as[i++] = 201227;
  as[i++] = 201523;
  as[i++] = 201868;
  as[i++] = 202198;
  as[i++] = 202529;
  as[i++] = 202829;
  as[i++] = 203162;
  as[i++] = 203464;
  as[i++] = 203767;
  as[i++] = 204007;
  as[i++] = 204360;
  as[i++] = 204698;
  as[i++] = 205037;
  as[i++] = 205345;
  as[i++] = 205686;
  as[i++] = 205996;
  as[i++] = 206307;
  as[i++] = 206555;
  as[i++] = 206900;
  as[i++] = 207214;
  as[i++] = 207529;
  as[i++] = 207781;
  as[i++] = 208098;
  as[i++] = 208352;
  as[i++] = 208607;
  as[i++] = 208735;
  as[i++] = 209116;
  as[i++] = 209494;
  as[i++] = 209873;
  as[i++] = 210245;
  as[i++] = 210626;
  as[i++] = 211000;
  as[i++] = 211375;
  as[i++] = 211735;
  as[i++] = 212120;
  as[i++] = 212498;
  as[i++] = 212877;
  as[i++] = 213241;
  as[i++] = 213622;
  as[i++] = 213988;
  as[i++] = 214355;
  as[i++] = 214691;
  as[i++] = 215084;
  as[i++] = 215470;
  as[i++] = 215857;
  as[i++] = 216229;
  as[i++] = 216618;
  as[i++] = 216992;
  as[i++] = 217367;
  as[i++] = 217711;
  as[i++] = 218104;
  as[i++] = 218482;
  as[i++] = 218861;
  as[i++] = 219209;
  as[i++] = 219590;
  as[i++] = 219940;
  as[i++] = 220291;
  as[i++] = 220579;
  as[i++] = 220988;
  as[i++] = 221390;
  as[i++] = 221793;
  as[i++] = 222181;
  as[i++] = 222586;
  as[i++] = 222976;
  as[i++] = 223367;
  as[i++] = 223727;
  as[i++] = 224136;
  as[i++] = 224530;
  as[i++] = 224925;
  as[i++] = 225289;
  as[i++] = 225686;
  as[i++] = 226052;
  as[i++] = 226419;
  as[i++] = 226723;
  as[i++] = 227140;
  as[i++] = 227542;
  as[i++] = 227945;
  as[i++] = 228317;
  as[i++] = 228722;
  as[i++] = 229096;
  as[i++] = 229471;
  as[i++] = 229783;
  as[i++] = 230192;
  as[i++] = 230570;
  as[i++] = 230949;
  as[i++] = 231265;
  as[i++] = 231646;
  as[i++] = 231964;
  as[i++] = 232283;
  as[i++] = 232475;
  as[i++] = 232916;
  as[i++] = 233350;
  as[i++] = 233785;
  as[i++] = 234205;
  as[i++] = 234642;
  as[i++] = 235064;
  as[i++] = 235487;
  as[i++] = 235879;
  as[i++] = 236320;
  as[i++] = 236746;
  as[i++] = 237173;
  as[i++] = 237569;
  as[i++] = 237998;
  as[i++] = 238396;
  as[i++] = 238795;
  as[i++] = 239131;
  as[i++] = 239580;
  as[i++] = 240014;
  as[i++] = 240449;
  as[i++] = 240853;
  as[i++] = 241290;
  as[i++] = 241696;
  as[i++] = 242103;
  as[i++] = 242447;
  as[i++] = 242888;
  as[i++] = 243298;
  as[i++] = 243709;
  as[i++] = 244057;
  as[i++] = 244470;
  as[i++] = 244820;
  as[i++] = 245171;
  as[i++] = 245395;
  as[i++] = 245860;
  as[i++] = 246310;
  as[i++] = 246761;
  as[i++] = 247181;
  as[i++] = 247634;
  as[i++] = 248056;
  as[i++] = 248479;
  as[i++] = 248839;
  as[i++] = 249296;
  as[i++] = 249722;
  as[i++] = 250149;
  as[i++] = 250513;
  as[i++] = 250942;
  as[i++] = 251308;
  as[i++] = 251675;
  as[i++] = 251915;
  as[i++] = 252380;
  as[i++] = 252814;
  as[i++] = 253249;
  as[i++] = 253621;
  as[i++] = 254058;
  as[i++] = 254432;
  as[i++] = 254807;
  as[i++] = 255055;
  as[i++] = 255496;
  as[i++] = 255874;
  as[i++] = 256253;
  as[i++] = 256505;
  as[i++] = 256886;
  as[i++] = 257140;
  as[i++] = 257395;
  as[i++] = 257395;
  as[i++] = 257906;
  as[i++] = 258416;
  as[i++] = 258927;
  as[i++] = 259435;
  as[i++] = 259948;
  as[i++] = 260458;
  as[i++] = 260969;
  as[i++] = 261473;
  as[i++] = 261990;
  as[i++] = 262504;
  as[i++] = 263019;
  as[i++] = 263527;
  as[i++] = 264044;
  as[i++] = 264554;
  as[i++] = 265065;
  as[i++] = 265561;
  as[i++] = 266086;
  as[i++] = 266608;
  as[i++] = 267131;
  as[i++] = 267647;
  as[i++] = 268172;
  as[i++] = 268690;
  as[i++] = 269209;
  as[i++] = 269713;
  as[i++] = 270242;
  as[i++] = 270764;
  as[i++] = 271287;
  as[i++] = 271795;
  as[i++] = 272320;
  as[i++] = 272830;
  as[i++] = 273341;
  as[i++] = 273821;
  as[i++] = 274362;
  as[i++] = 274900;
  as[i++] = 275439;
  as[i++] = 275971;
  as[i++] = 276512;
  as[i++] = 277046;
  as[i++] = 277581;
  as[i++] = 278101;
  as[i++] = 278646;
  as[i++] = 279184;
  as[i++] = 279723;
  as[i++] = 280247;
  as[i++] = 280788;
  as[i++] = 281314;
  as[i++] = 281841;
  as[i++] = 282337;
  as[i++] = 282890;
  as[i++] = 283436;
  as[i++] = 283983;
  as[i++] = 284515;
  as[i++] = 285064;
  as[i++] = 285598;
  as[i++] = 286133;
  as[i++] = 286637;
  as[i++] = 287190;
  as[i++] = 287728;
  as[i++] = 288267;
  as[i++] = 288775;
  as[i++] = 289316;
  as[i++] = 289826;
  as[i++] = 290337;
  as[i++] = 290785;
  as[i++] = 291358;
  as[i++] = 291928;
  as[i++] = 292499;
  as[i++] = 293063;
  as[i++] = 293636;
  as[i++] = 294202;
  as[i++] = 294769;
  as[i++] = 295321;
  as[i++] = 295898;
  as[i++] = 296468;
  as[i++] = 297039;
  as[i++] = 297595;
  as[i++] = 298168;
  as[i++] = 298726;
  as[i++] = 299285;
  as[i++] = 299813;
  as[i++] = 300398;
  as[i++] = 300976;
  as[i++] = 301555;
  as[i++] = 302119;
  as[i++] = 302700;
  as[i++] = 303266;
  as[i++] = 303833;
  as[i++] = 304369;
  as[i++] = 304954;
  as[i++] = 305524;
  as[i++] = 306095;
  as[i++] = 306635;
  as[i++] = 307208;
  as[i++] = 307750;
  as[i++] = 308293;
  as[i++] = 308773;
  as[i++] = 309374;
  as[i++] = 309968;
  as[i++] = 310563;
  as[i++] = 311143;
  as[i++] = 311740;
  as[i++] = 312322;
  as[i++] = 312905;
  as[i++] = 313457;
  as[i++] = 314058;
  as[i++] = 314644;
  as[i++] = 315231;
  as[i++] = 315787;
  as[i++] = 316376;
  as[i++] = 316934;
  as[i++] = 317493;
  as[i++] = 317989;
  as[i++] = 318598;
  as[i++] = 319192;
  as[i++] = 319787;
  as[i++] = 320351;
  as[i++] = 320948;
  as[i++] = 321514;
  as[i++] = 322081;
  as[i++] = 322585;
  as[i++] = 323186;
  as[i++] = 323756;
  as[i++] = 324327;
  as[i++] = 324835;
  as[i++] = 325408;
  as[i++] = 325918;
  as[i++] = 326429;
  as[i++] = 326813;
  as[i++] = 327450;
  as[i++] = 328084;
  as[i++] = 328719;
  as[i++] = 329347;
  as[i++] = 329984;
  as[i++] = 330614;
  as[i++] = 331245;
  as[i++] = 331861;
  as[i++] = 332502;
  as[i++] = 333136;
  as[i++] = 333771;
  as[i++] = 334391;
  as[i++] = 335028;
  as[i++] = 335650;
  as[i++] = 336273;
  as[i++] = 336865;
  as[i++] = 337514;
  as[i++] = 338156;
  as[i++] = 338799;
  as[i++] = 339427;
  as[i++] = 340072;
  as[i++] = 340702;
  as[i++] = 341333;
  as[i++] = 341933;
  as[i++] = 342582;
  as[i++] = 343216;
  as[i++] = 343851;
  as[i++] = 344455;
  as[i++] = 345092;
  as[i++] = 345698;
  as[i++] = 346305;
  as[i++] = 346849;
  as[i++] = 347514;
  as[i++] = 348172;
  as[i++] = 348831;
  as[i++] = 349475;
  as[i++] = 350136;
  as[i++] = 350782;
  as[i++] = 351429;
  as[i++] = 352045;
  as[i++] = 352710;
  as[i++] = 353360;
  as[i++] = 354011;
  as[i++] = 354631;
  as[i++] = 355284;
  as[i++] = 355906;
  as[i++] = 356529;
  as[i++] = 357089;
  as[i++] = 357762;
  as[i++] = 358420;
  as[i++] = 359079;
  as[i++] = 359707;
  as[i++] = 360368;
  as[i++] = 360998;
  as[i++] = 361629;
  as[i++] = 362197;
  as[i++] = 362862;
  as[i++] = 363496;
  as[i++] = 364131;
  as[i++] = 364703;
  as[i++] = 365340;
  as[i++] = 365914;
  as[i++] = 366489;
  as[i++] = 366937;
  as[i++] = 367634;
  as[i++] = 368324;
  as[i++] = 369015;
  as[i++] = 369691;
  as[i++] = 370384;
  as[i++] = 371062;
  as[i++] = 371741;
  as[i++] = 372389;
  as[i++] = 373086;
  as[i++] = 373768;
  as[i++] = 374451;
  as[i++] = 375103;
  as[i++] = 375788;
  as[i++] = 376442;
  as[i++] = 377097;
  as[i++] = 377689;
  as[i++] = 378394;
  as[i++] = 379084;
  as[i++] = 379775;
  as[i++] = 380435;
  as[i++] = 381128;
  as[i++] = 381790;
  as[i++] = 382453;
  as[i++] = 383053;
  as[i++] = 383750;
  as[i++] = 384416;
  as[i++] = 385083;
  as[i++] = 385687;
  as[i++] = 386356;
  as[i++] = 386962;
  as[i++] = 387569;
  as[i++] = 388049;
  as[i++] = 388770;
  as[i++] = 389476;
  as[i++] = 390183;
  as[i++] = 390859;
  as[i++] = 391568;
  as[i++] = 392246;
  as[i++] = 392925;
  as[i++] = 393541;
  as[i++] = 394254;
  as[i++] = 394936;
  as[i++] = 395619;
  as[i++] = 396239;
  as[i++] = 396924;
  as[i++] = 397546;
  as[i++] = 398169;
  as[i++] = 398665;
  as[i++] = 399386;
  as[i++] = 400076;
  as[i++] = 400767;
  as[i++] = 401395;
  as[i++] = 402088;
  as[i++] = 402718;
  as[i++] = 403349;
  as[i++] = 403853;
  as[i++] = 404550;
  as[i++] = 405184;
  as[i++] = 405819;
  as[i++] = 406327;
  as[i++] = 406964;
  as[i++] = 407474;
  as[i++] = 407985;
  as[i++] = 408241;
  as[i++] = 409006;
  as[i++] = 409768;
  as[i++] = 410531;
  as[i++] = 411287;
  as[i++] = 412052;
  as[i++] = 412810;
  as[i++] = 413569;
  as[i++] = 414313;
  as[i++] = 415082;
  as[i++] = 415844;
  as[i++] = 416607;
  as[i++] = 417355;
  as[i++] = 418120;
  as[i++] = 418870;
  as[i++] = 419621;
  as[i++] = 420341;
  as[i++] = 421118;
  as[i++] = 421888;
  as[i++] = 422659;
  as[i++] = 423415;
  as[i++] = 424188;
  as[i++] = 424946;
  as[i++] = 425705;
  as[i++] = 426433;
  as[i++] = 427210;
  as[i++] = 427972;
  as[i++] = 428735;
  as[i++] = 429467;
  as[i++] = 430232;
  as[i++] = 430966;
  as[i++] = 431701;
  as[i++] = 432373;
  as[i++] = 433166;
  as[i++] = 433952;
  as[i++] = 434739;
  as[i++] = 435511;
  as[i++] = 436300;
  as[i++] = 437074;
  as[i++] = 437849;
  as[i++] = 438593;
  as[i++] = 439386;
  as[i++] = 440164;
  as[i++] = 440943;
  as[i++] = 441691;
  as[i++] = 442472;
  as[i++] = 443222;
  as[i++] = 443973;
  as[i++] = 444661;
  as[i++] = 445462;
  as[i++] = 446248;
  as[i++] = 447035;
  as[i++] = 447791;
  as[i++] = 448580;
  as[i++] = 449338;
  as[i++] = 450097;
  as[i++] = 450793;
  as[i++] = 451586;
  as[i++] = 452348;
  as[i++] = 453111;
  as[i++] = 453811;
  as[i++] = 454576;
  as[i++] = 455278;
  as[i++] = 455981;
  as[i++] = 456557;
  as[i++] = 457382;
  as[i++] = 458200;
  as[i++] = 459019;
  as[i++] = 459823;
  as[i++] = 460644;
  as[i++] = 461450;
  as[i++] = 462257;
  as[i++] = 463033;
  as[i++] = 463858;
  as[i++] = 464668;
  as[i++] = 465479;
  as[i++] = 466259;
  as[i++] = 467072;
  as[i++] = 467854;
  as[i++] = 468637;
  as[i++] = 469357;
  as[i++] = 470190;
  as[i++] = 471008;
  as[i++] = 471827;
  as[i++] = 472615;
  as[i++] = 473436;
  as[i++] = 474226;
  as[i++] = 475017;
  as[i++] = 475745;
  as[i++] = 476570;
  as[i++] = 477364;
  as[i++] = 478159;
  as[i++] = 478891;
  as[i++] = 479688;
  as[i++] = 480422;
  as[i++] = 481157;
  as[i++] = 481765;
  as[i++] = 482614;
  as[i++] = 483448;
  as[i++] = 484283;
  as[i++] = 485087;
  as[i++] = 485924;
  as[i++] = 486730;
  as[i++] = 487537;
  as[i++] = 488281;
  as[i++] = 489122;
  as[i++] = 489932;
  as[i++] = 490743;
  as[i++] = 491491;
  as[i++] = 492304;
  as[i++] = 493054;
  as[i++] = 493805;
  as[i++] = 494429;
  as[i++] = 495278;
  as[i++] = 496096;
  as[i++] = 496915;
  as[i++] = 497671;
  as[i++] = 498492;
  as[i++] = 499250;
  as[i++] = 500009;
  as[i++] = 500641;
  as[i++] = 501466;
  as[i++] = 502228;
  as[i++] = 502991;
  as[i++] = 503627;
  as[i++] = 504392;
  as[i++] = 505030;
  as[i++] = 505669;
  as[i++] = 506053;
  as[i++] = 506942;
  as[i++] = 507824;
  as[i++] = 508707;
  as[i++] = 509575;
  as[i++] = 510460;
  as[i++] = 511330;
  as[i++] = 512201;
  as[i++] = 513041;
  as[i++] = 513930;
  as[i++] = 514804;
  as[i++] = 515679;
  as[i++] = 516523;
  as[i++] = 517400;
  as[i++] = 518246;
  as[i++] = 519093;
  as[i++] = 519877;
  as[i++] = 520774;
  as[i++] = 521656;
  as[i++] = 522539;
  as[i++] = 523391;
  as[i++] = 524276;
  as[i++] = 525130;
  as[i++] = 525985;
  as[i++] = 526777;
  as[i++] = 527666;
  as[i++] = 528524;
  as[i++] = 529383;
  as[i++] = 530179;
  as[i++] = 531040;
  as[i++] = 531838;
  as[i++] = 532637;
  as[i++] = 533309;
  as[i++] = 534222;
  as[i++] = 535120;
  as[i++] = 536019;
  as[i++] = 536887;
  as[i++] = 537788;
  as[i++] = 538658;
  as[i++] = 539529;
  as[i++] = 540337;
  as[i++] = 541242;
  as[i++] = 542116;
  as[i++] = 542991;
  as[i++] = 543803;
  as[i++] = 544680;
  as[i++] = 545494;
  as[i++] = 546309;
  as[i++] = 546997;
  as[i++] = 547910;
  as[i++] = 548792;
  as[i++] = 549675;
  as[i++] = 550495;
  as[i++] = 551380;
  as[i++] = 552202;
  as[i++] = 553025;
  as[i++] = 553721;
  as[i++] = 554610;
  as[i++] = 555436;
  as[i++] = 556263;
  as[i++] = 556963;
  as[i++] = 557792;
  as[i++] = 558494;
  as[i++] = 559197;
  as[i++] = 559645;
  as[i++] = 560590;
  as[i++] = 561520;
  as[i++] = 562451;
  as[i++] = 563351;
  as[i++] = 564284;
  as[i++] = 565186;
  as[i++] = 566089;
  as[i++] = 566929;
  as[i++] = 567866;
  as[i++] = 568772;
  as[i++] = 569679;
  as[i++] = 570523;
  as[i++] = 571432;
  as[i++] = 572278;
  as[i++] = 573125;
  as[i++] = 573845;
  as[i++] = 574790;
  as[i++] = 575704;
  as[i++] = 576619;
  as[i++] = 577471;
  as[i++] = 578388;
  as[i++] = 579242;
  as[i++] = 580097;
  as[i++] = 580825;
  as[i++] = 581746;
  as[i++] = 582604;
  as[i++] = 583463;
  as[i++] = 584195;
  as[i++] = 585056;
  as[i++] = 585790;
  as[i++] = 586525;
  as[i++] = 587005;
  as[i++] = 587966;
  as[i++] = 588896;
  as[i++] = 589827;
  as[i++] = 590695;
  as[i++] = 591628;
  as[i++] = 592498;
  as[i++] = 593369;
  as[i++] = 594113;
  as[i++] = 595050;
  as[i++] = 595924;
  as[i++] = 596799;
  as[i++] = 597547;
  as[i++] = 598424;
  as[i++] = 599174;
  as[i++] = 599925;
  as[i++] = 600421;
  as[i++] = 601366;
  as[i++] = 602248;
  as[i++] = 603131;
  as[i++] = 603887;
  as[i++] = 604772;
  as[i++] = 605530;
  as[i++] = 606289;
  as[i++] = 606793;
  as[i++] = 607682;
  as[i++] = 608444;
  as[i++] = 609207;
  as[i++] = 609715;
  as[i++] = 610480;
  as[i++] = 610990;
  as[i++] = 611501;
  as[i++] = 611501;
  as[i++] = 611501;
  as[i++] = 611501;
  as[i++] = 611502;
  as[i++] = 611502;
  as[i++] = 611505;
  as[i++] = 611507;
  as[i++] = 611510;
  as[i++] = 611510;
  as[i++] = 611517;
  as[i++] = 611523;
  as[i++] = 611530;
  as[i++] = 611534;
  as[i++] = 611543;
  as[i++] = 611549;
  as[i++] = 611556;
  as[i++] = 611556;
  as[i++] = 611571;
  as[i++] = 611585;
  as[i++] = 611600;
  as[i++] = 611612;
  as[i++] = 611629;
  as[i++] = 611643;
  as[i++] = 611658;
  as[i++] = 611666;
  as[i++] = 611687;
  as[i++] = 611705;
  as[i++] = 611724;
  as[i++] = 611736;
  as[i++] = 611757;
  as[i++] = 611771;
  as[i++] = 611786;
  as[i++] = 611786;
  as[i++] = 611817;
  as[i++] = 611847;
  as[i++] = 611878;
  as[i++] = 611906;
  as[i++] = 611939;
  as[i++] = 611969;
  as[i++] = 612000;
  as[i++] = 612024;
  as[i++] = 612061;
  as[i++] = 612095;
  as[i++] = 612130;
  as[i++] = 612158;
  as[i++] = 612195;
  as[i++] = 612225;
  as[i++] = 612256;
  as[i++] = 612272;
  as[i++] = 612317;
  as[i++] = 612359;
  as[i++] = 612402;
  as[i++] = 612438;
  as[i++] = 612483;
  as[i++] = 612521;
  as[i++] = 612560;
  as[i++] = 612584;
  as[i++] = 612633;
  as[i++] = 612675;
  as[i++] = 612718;
  as[i++] = 612746;
  as[i++] = 612791;
  as[i++] = 612821;
  as[i++] = 612852;
  as[i++] = 612852;
  as[i++] = 612915;
  as[i++] = 612977;
  as[i++] = 613040;
  as[i++] = 613100;
  as[i++] = 613165;
  as[i++] = 613227;
  as[i++] = 613290;
  as[i++] = 613346;
  as[i++] = 613415;
  as[i++] = 613481;
  as[i++] = 613548;
  as[i++] = 613608;
  as[i++] = 613677;
  as[i++] = 613739;
  as[i++] = 613802;
  as[i++] = 613850;
  as[i++] = 613927;
  as[i++] = 614001;
  as[i++] = 614076;
  as[i++] = 614144;
  as[i++] = 614221;
  as[i++] = 614291;
  as[i++] = 614362;
  as[i++] = 614418;
  as[i++] = 614499;
  as[i++] = 614573;
  as[i++] = 614648;
  as[i++] = 614708;
  as[i++] = 614785;
  as[i++] = 614847;
  as[i++] = 614910;
  as[i++] = 614942;
  as[i++] = 615035;
  as[i++] = 615125;
  as[i++] = 615216;
  as[i++] = 615300;
  as[i++] = 615393;
  as[i++] = 615479;
  as[i++] = 615566;
  as[i++] = 615638;
  as[i++] = 615735;
  as[i++] = 615825;
  as[i++] = 615916;
  as[i++] = 615992;
  as[i++] = 616085;
  as[i++] = 616163;
  as[i++] = 616242;
  as[i++] = 616290;
  as[i++] = 616395;
  as[i++] = 616493;
  as[i++] = 616592;
  as[i++] = 616676;
  as[i++] = 616777;
  as[i++] = 616863;
  as[i++] = 616950;
  as[i++] = 617006;
  as[i++] = 617111;
  as[i++] = 617201;
  as[i++] = 617292;
  as[i++] = 617352;
  as[i++] = 617445;
  as[i++] = 617507;
  as[i++] = 617570;
  as[i++] = 617570;
  as[i++] = 617697;
  as[i++] = 617823;
  as[i++] = 617950;
  as[i++] = 618074;
  as[i++] = 618203;
  as[i++] = 618329;
  as[i++] = 618456;
  as[i++] = 618576;
  as[i++] = 618709;
  as[i++] = 618839;
  as[i++] = 618970;
  as[i++] = 619094;
  as[i++] = 619227;
  as[i++] = 619353;
  as[i++] = 619480;
  as[i++] = 619592;
  as[i++] = 619733;
  as[i++] = 619871;
  as[i++] = 620010;
  as[i++] = 620142;
  as[i++] = 620283;
  as[i++] = 620417;
  as[i++] = 620552;
  as[i++] = 620672;
  as[i++] = 620817;
  as[i++] = 620955;
  as[i++] = 621094;
  as[i++] = 621218;
  as[i++] = 621359;
  as[i++] = 621485;
  as[i++] = 621612;
  as[i++] = 621708;
  as[i++] = 621865;
  as[i++] = 622019;
  as[i++] = 622174;
  as[i++] = 622322;
  as[i++] = 622479;
  as[i++] = 622629;
  as[i++] = 622780;
  as[i++] = 622916;
  as[i++] = 623077;
  as[i++] = 623231;
  as[i++] = 623386;
  as[i++] = 623526;
  as[i++] = 623683;
  as[i++] = 623825;
  as[i++] = 623968;
  as[i++] = 624080;
  as[i++] = 624249;
  as[i++] = 624411;
  as[i++] = 624574;
  as[i++] = 624722;
  as[i++] = 624887;
  as[i++] = 625037;
  as[i++] = 625188;
  as[i++] = 625308;
  as[i++] = 625477;
  as[i++] = 625631;
  as[i++] = 625786;
  as[i++] = 625910;
  as[i++] = 626067;
  as[i++] = 626193;
  as[i++] = 626320;
  as[i++] = 626384;
  as[i++] = 626573;
  as[i++] = 626759;
  as[i++] = 626946;
  as[i++] = 627126;
  as[i++] = 627315;
  as[i++] = 627497;
  as[i++] = 627680;
  as[i++] = 627848;
  as[i++] = 628041;
  as[i++] = 628227;
  as[i++] = 628414;
  as[i++] = 628586;
  as[i++] = 628775;
  as[i++] = 628949;
  as[i++] = 629124;
  as[i++] = 629268;
  as[i++] = 629469;
  as[i++] = 629663;
  as[i++] = 629858;
  as[i++] = 630038;
  as[i++] = 630235;
  as[i++] = 630417;
  as[i++] = 630600;
  as[i++] = 630752;
  as[i++] = 630953;
  as[i++] = 631139;
  as[i++] = 631326;
  as[i++] = 631482;
  as[i++] = 631671;
  as[i++] = 631829;
  as[i++] = 631988;
  as[i++] = 632084;
  as[i++] = 632301;
  as[i++] = 632511;
  as[i++] = 632722;
  as[i++] = 632918;
  as[i++] = 633131;
  as[i++] = 633329;
  as[i++] = 633528;
  as[i++] = 633696;
  as[i++] = 633913;
  as[i++] = 634115;
  as[i++] = 634318;
  as[i++] = 634490;
  as[i++] = 634695;
  as[i++] = 634869;
  as[i++] = 635044;
  as[i++] = 635156;
  as[i++] = 635381;
  as[i++] = 635591;
  as[i++] = 635802;
  as[i++] = 635982;
  as[i++] = 636195;
  as[i++] = 636377;
  as[i++] = 636560;
  as[i++] = 636680;
  as[i++] = 636897;
  as[i++] = 637083;
  as[i++] = 637270;
  as[i++] = 637394;
  as[i++] = 637583;
  as[i++] = 637709;
  as[i++] = 637836;
  as[i++] = 637836;
  as[i++] = 638091;
  as[i++] = 638345;
  as[i++] = 638600;
  as[i++] = 638852;
  as[i++] = 639109;
  as[i++] = 639363;
  as[i++] = 639618;
  as[i++] = 639866;
  as[i++] = 640127;
  as[i++] = 640385;
  as[i++] = 640644;
  as[i++] = 640896;
  as[i++] = 641157;
  as[i++] = 641411;
  as[i++] = 641666;
  as[i++] = 641906;
  as[i++] = 642175;
  as[i++] = 642441;
  as[i++] = 642708;
  as[i++] = 642968;
  as[i++] = 643237;
  as[i++] = 643499;
  as[i++] = 643762;
  as[i++] = 644010;
  as[i++] = 644283;
  as[i++] = 644549;
  as[i++] = 644816;
  as[i++] = 645068;
  as[i++] = 645337;
  as[i++] = 645591;
  as[i++] = 645846;
  as[i++] = 646070;
  as[i++] = 646355;
  as[i++] = 646637;
  as[i++] = 646920;
  as[i++] = 647196;
  as[i++] = 647481;
  as[i++] = 647759;
  as[i++] = 648038;
  as[i++] = 648302;
  as[i++] = 648591;
  as[i++] = 648873;
  as[i++] = 649156;
  as[i++] = 649424;
  as[i++] = 649709;
  as[i++] = 649979;
  as[i++] = 650250;
  as[i++] = 650490;
  as[i++] = 650787;
  as[i++] = 651077;
  as[i++] = 651368;
  as[i++] = 651644;
  as[i++] = 651937;
  as[i++] = 652215;
  as[i++] = 652494;
  as[i++] = 652742;
  as[i++] = 653039;
  as[i++] = 653321;
  as[i++] = 653604;
  as[i++] = 653856;
  as[i++] = 654141;
  as[i++] = 654395;
  as[i++] = 654650;
  as[i++] = 654842;
  as[i++] = 655159;
  as[i++] = 655473;
  as[i++] = 655788;
  as[i++] = 656096;
  as[i++] = 656413;
  as[i++] = 656723;
  as[i++] = 657034;
  as[i++] = 657330;
  as[i++] = 657651;
  as[i++] = 657965;
  as[i++] = 658280;
  as[i++] = 658580;
  as[i++] = 658897;
  as[i++] = 659199;
  as[i++] = 659502;
  as[i++] = 659774;
  as[i++] = 660103;
  as[i++] = 660425;
  as[i++] = 660748;
  as[i++] = 661056;
  as[i++] = 661381;
  as[i++] = 661691;
  as[i++] = 662002;
  as[i++] = 662282;
  as[i++] = 662611;
  as[i++] = 662925;
  as[i++] = 663240;
  as[i++] = 663524;
  as[i++] = 663841;
  as[i++] = 664127;
  as[i++] = 664414;
  as[i++] = 664638;
  as[i++] = 664983;
  as[i++] = 665321;
  as[i++] = 665660;
  as[i++] = 665984;
  as[i++] = 666325;
  as[i++] = 666651;
  as[i++] = 666978;
  as[i++] = 667274;
  as[i++] = 667619;
  as[i++] = 667949;
  as[i++] = 668280;
  as[i++] = 668580;
  as[i++] = 668913;
  as[i++] = 669215;
  as[i++] = 669518;
  as[i++] = 669758;
  as[i++] = 670111;
  as[i++] = 670449;
  as[i++] = 670788;
  as[i++] = 671096;
  as[i++] = 671437;
  as[i++] = 671747;
  as[i++] = 672058;
  as[i++] = 672306;
  as[i++] = 672651;
  as[i++] = 672965;
  as[i++] = 673280;
  as[i++] = 673532;
  as[i++] = 673849;
  as[i++] = 674103;
  as[i++] = 674358;
  as[i++] = 674486;
  as[i++] = 674867;
  as[i++] = 675245;
  as[i++] = 675624;
  as[i++] = 675996;
  as[i++] = 676377;
  as[i++] = 676751;
  as[i++] = 677126;
  as[i++] = 677486;
  as[i++] = 677871;
  as[i++] = 678249;
  as[i++] = 678628;
  as[i++] = 678992;
  as[i++] = 679373;
  as[i++] = 679739;
  as[i++] = 680106;
  as[i++] = 680442;
  as[i++] = 680835;
  as[i++] = 681221;
  as[i++] = 681608;
  as[i++] = 681980;
  as[i++] = 682369;
  as[i++] = 682743;
  as[i++] = 683118;
  as[i++] = 683462;
  as[i++] = 683855;
  as[i++] = 684233;
  as[i++] = 684612;
  as[i++] = 684960;
  as[i++] = 685341;
  as[i++] = 685691;
  as[i++] = 686042;
  as[i++] = 686330;
  as[i++] = 686739;
  as[i++] = 687141;
  as[i++] = 687544;
  as[i++] = 687932;
  as[i++] = 688337;
  as[i++] = 688727;
  as[i++] = 689118;
  as[i++] = 689478;
  as[i++] = 689887;
  as[i++] = 690281;
  as[i++] = 690676;
  as[i++] = 691040;
  as[i++] = 691437;
  as[i++] = 691803;
  as[i++] = 692170;
  as[i++] = 692474;
  as[i++] = 692891;
  as[i++] = 693293;
  as[i++] = 693696;
  as[i++] = 694068;
  as[i++] = 694473;
  as[i++] = 694847;
  as[i++] = 695222;
  as[i++] = 695534;
  as[i++] = 695943;
  as[i++] = 696321;
  as[i++] = 696700;
  as[i++] = 697016;
  as[i++] = 697397;
  as[i++] = 697715;
  as[i++] = 698034;
  as[i++] = 698226;
  as[i++] = 698667;
  as[i++] = 699101;
  as[i++] = 699536;
  as[i++] = 699956;
  as[i++] = 700393;
  cout << as[n];
  return 0;
}

### Prompt

Please create a solution in Cpp to the following problem:

Imp is in a magic forest, where xorangles grow (wut?)

<image>

A xorangle of order n is such a non-degenerate triangle, that lengths of its sides are integers not exceeding n, and the xor-sum of the lengths is equal to zero. Imp has to count the number of distinct xorangles of order n to get out of the forest. 

Formally, for a given integer n you have to find the number of such triples (a, b, c), that:

  * 1 ≤ a ≤ b ≤ c ≤ n; 
  * <image>, where <image> denotes the [bitwise xor](https://en.wikipedia.org/wiki/Bitwise_operation#XOR) of integers x and y. 
  * (a, b, c) form a non-degenerate (with strictly positive area) triangle. 

Input

The only line contains a single integer n (1 ≤ n ≤ 2500).

Output

Print the number of xorangles of order n.

Examples

Input

6


Output

1


Input

10


Output

2

Note

The only xorangle in the first sample is (3, 5, 6).

### Response

```cpp
#include <bits/stdc++.h>
using namespace std;
int x[2550][2550];
long long as[2550];
int main() {
  int n;
  cin >> n;
  memset(as, 0, sizeof(as));
  int i = 1;
  as[i++] = 0;
  as[i++] = 0;
  as[i++] = 0;
  as[i++] = 0;
  as[i++] = 0;
  as[i++] = 1;
  as[i++] = 1;
  as[i++] = 1;
  as[i++] = 1;
  as[i++] = 2;
  as[i++] = 2;
  as[i++] = 5;
  as[i++] = 7;
  as[i++] = 10;
  as[i++] = 10;
  as[i++] = 10;
  as[i++] = 10;
  as[i++] = 11;
  as[i++] = 11;
  as[i++] = 14;
  as[i++] = 16;
  as[i++] = 19;
  as[i++] = 19;
  as[i++] = 26;
  as[i++] = 32;
  as[i++] = 39;
  as[i++] = 43;
  as[i++] = 52;
  as[i++] = 58;
  as[i++] = 65;
  as[i++] = 65;
  as[i++] = 65;
  as[i++] = 65;
  as[i++] = 66;
  as[i++] = 66;
  as[i++] = 69;
  as[i++] = 71;
  as[i++] = 74;
  as[i++] = 74;
  as[i++] = 81;
  as[i++] = 87;
  as[i++] = 94;
  as[i++] = 98;
  as[i++] = 107;
  as[i++] = 113;
  as[i++] = 120;
  as[i++] = 120;
  as[i++] = 135;
  as[i++] = 149;
  as[i++] = 164;
  as[i++] = 176;
  as[i++] = 193;
  as[i++] = 207;
  as[i++] = 222;
  as[i++] = 230;
  as[i++] = 251;
  as[i++] = 269;
  as[i++] = 288;
  as[i++] = 300;
  as[i++] = 321;
  as[i++] = 335;
  as[i++] = 350;
  as[i++] = 350;
  as[i++] = 350;
  as[i++] = 350;
  as[i++] = 351;
  as[i++] = 351;
  as[i++] = 354;
  as[i++] = 356;
  as[i++] = 359;
  as[i++] = 359;
  as[i++] = 366;
  as[i++] = 372;
  as[i++] = 379;
  as[i++] = 383;
  as[i++] = 392;
  as[i++] = 398;
  as[i++] = 405;
  as[i++] = 405;
  as[i++] = 420;
  as[i++] = 434;
  as[i++] = 449;
  as[i++] = 461;
  as[i++] = 478;
  as[i++] = 492;
  as[i++] = 507;
  as[i++] = 515;
  as[i++] = 536;
  as[i++] = 554;
  as[i++] = 573;
  as[i++] = 585;
  as[i++] = 606;
  as[i++] = 620;
  as[i++] = 635;
  as[i++] = 635;
  as[i++] = 666;
  as[i++] = 696;
  as[i++] = 727;
  as[i++] = 755;
  as[i++] = 788;
  as[i++] = 818;
  as[i++] = 849;
  as[i++] = 873;
  as[i++] = 910;
  as[i++] = 944;
  as[i++] = 979;
  as[i++] = 1007;
  as[i++] = 1044;
  as[i++] = 1074;
  as[i++] = 1105;
  as[i++] = 1121;
  as[i++] = 1166;
  as[i++] = 1208;
  as[i++] = 1251;
  as[i++] = 1287;
  as[i++] = 1332;
  as[i++] = 1370;
  as[i++] = 1409;
  as[i++] = 1433;
  as[i++] = 1482;
  as[i++] = 1524;
  as[i++] = 1567;
  as[i++] = 1595;
  as[i++] = 1640;
  as[i++] = 1670;
  as[i++] = 1701;
  as[i++] = 1701;
  as[i++] = 1701;
  as[i++] = 1701;
  as[i++] = 1702;
  as[i++] = 1702;
  as[i++] = 1705;
  as[i++] = 1707;
  as[i++] = 1710;
  as[i++] = 1710;
  as[i++] = 1717;
  as[i++] = 1723;
  as[i++] = 1730;
  as[i++] = 1734;
  as[i++] = 1743;
  as[i++] = 1749;
  as[i++] = 1756;
  as[i++] = 1756;
  as[i++] = 1771;
  as[i++] = 1785;
  as[i++] = 1800;
  as[i++] = 1812;
  as[i++] = 1829;
  as[i++] = 1843;
  as[i++] = 1858;
  as[i++] = 1866;
  as[i++] = 1887;
  as[i++] = 1905;
  as[i++] = 1924;
  as[i++] = 1936;
  as[i++] = 1957;
  as[i++] = 1971;
  as[i++] = 1986;
  as[i++] = 1986;
  as[i++] = 2017;
  as[i++] = 2047;
  as[i++] = 2078;
  as[i++] = 2106;
  as[i++] = 2139;
  as[i++] = 2169;
  as[i++] = 2200;
  as[i++] = 2224;
  as[i++] = 2261;
  as[i++] = 2295;
  as[i++] = 2330;
  as[i++] = 2358;
  as[i++] = 2395;
  as[i++] = 2425;
  as[i++] = 2456;
  as[i++] = 2472;
  as[i++] = 2517;
  as[i++] = 2559;
  as[i++] = 2602;
  as[i++] = 2638;
  as[i++] = 2683;
  as[i++] = 2721;
  as[i++] = 2760;
  as[i++] = 2784;
  as[i++] = 2833;
  as[i++] = 2875;
  as[i++] = 2918;
  as[i++] = 2946;
  as[i++] = 2991;
  as[i++] = 3021;
  as[i++] = 3052;
  as[i++] = 3052;
  as[i++] = 3115;
  as[i++] = 3177;
  as[i++] = 3240;
  as[i++] = 3300;
  as[i++] = 3365;
  as[i++] = 3427;
  as[i++] = 3490;
  as[i++] = 3546;
  as[i++] = 3615;
  as[i++] = 3681;
  as[i++] = 3748;
  as[i++] = 3808;
  as[i++] = 3877;
  as[i++] = 3939;
  as[i++] = 4002;
  as[i++] = 4050;
  as[i++] = 4127;
  as[i++] = 4201;
  as[i++] = 4276;
  as[i++] = 4344;
  as[i++] = 4421;
  as[i++] = 4491;
  as[i++] = 4562;
  as[i++] = 4618;
  as[i++] = 4699;
  as[i++] = 4773;
  as[i++] = 4848;
  as[i++] = 4908;
  as[i++] = 4985;
  as[i++] = 5047;
  as[i++] = 5110;
  as[i++] = 5142;
  as[i++] = 5235;
  as[i++] = 5325;
  as[i++] = 5416;
  as[i++] = 5500;
  as[i++] = 5593;
  as[i++] = 5679;
  as[i++] = 5766;
  as[i++] = 5838;
  as[i++] = 5935;
  as[i++] = 6025;
  as[i++] = 6116;
  as[i++] = 6192;
  as[i++] = 6285;
  as[i++] = 6363;
  as[i++] = 6442;
  as[i++] = 6490;
  as[i++] = 6595;
  as[i++] = 6693;
  as[i++] = 6792;
  as[i++] = 6876;
  as[i++] = 6977;
  as[i++] = 7063;
  as[i++] = 7150;
  as[i++] = 7206;
  as[i++] = 7311;
  as[i++] = 7401;
  as[i++] = 7492;
  as[i++] = 7552;
  as[i++] = 7645;
  as[i++] = 7707;
  as[i++] = 7770;
  as[i++] = 7770;
  as[i++] = 7770;
  as[i++] = 7770;
  as[i++] = 7771;
  as[i++] = 7771;
  as[i++] = 7774;
  as[i++] = 7776;
  as[i++] = 7779;
  as[i++] = 7779;
  as[i++] = 7786;
  as[i++] = 7792;
  as[i++] = 7799;
  as[i++] = 7803;
  as[i++] = 7812;
  as[i++] = 7818;
  as[i++] = 7825;
  as[i++] = 7825;
  as[i++] = 7840;
  as[i++] = 7854;
  as[i++] = 7869;
  as[i++] = 7881;
  as[i++] = 7898;
  as[i++] = 7912;
  as[i++] = 7927;
  as[i++] = 7935;
  as[i++] = 7956;
  as[i++] = 7974;
  as[i++] = 7993;
  as[i++] = 8005;
  as[i++] = 8026;
  as[i++] = 8040;
  as[i++] = 8055;
  as[i++] = 8055;
  as[i++] = 8086;
  as[i++] = 8116;
  as[i++] = 8147;
  as[i++] = 8175;
  as[i++] = 8208;
  as[i++] = 8238;
  as[i++] = 8269;
  as[i++] = 8293;
  as[i++] = 8330;
  as[i++] = 8364;
  as[i++] = 8399;
  as[i++] = 8427;
  as[i++] = 8464;
  as[i++] = 8494;
  as[i++] = 8525;
  as[i++] = 8541;
  as[i++] = 8586;
  as[i++] = 8628;
  as[i++] = 8671;
  as[i++] = 8707;
  as[i++] = 8752;
  as[i++] = 8790;
  as[i++] = 8829;
  as[i++] = 8853;
  as[i++] = 8902;
  as[i++] = 8944;
  as[i++] = 8987;
  as[i++] = 9015;
  as[i++] = 9060;
  as[i++] = 9090;
  as[i++] = 9121;
  as[i++] = 9121;
  as[i++] = 9184;
  as[i++] = 9246;
  as[i++] = 9309;
  as[i++] = 9369;
  as[i++] = 9434;
  as[i++] = 9496;
  as[i++] = 9559;
  as[i++] = 9615;
  as[i++] = 9684;
  as[i++] = 9750;
  as[i++] = 9817;
  as[i++] = 9877;
  as[i++] = 9946;
  as[i++] = 10008;
  as[i++] = 10071;
  as[i++] = 10119;
  as[i++] = 10196;
  as[i++] = 10270;
  as[i++] = 10345;
  as[i++] = 10413;
  as[i++] = 10490;
  as[i++] = 10560;
  as[i++] = 10631;
  as[i++] = 10687;
  as[i++] = 10768;
  as[i++] = 10842;
  as[i++] = 10917;
  as[i++] = 10977;
  as[i++] = 11054;
  as[i++] = 11116;
  as[i++] = 11179;
  as[i++] = 11211;
  as[i++] = 11304;
  as[i++] = 11394;
  as[i++] = 11485;
  as[i++] = 11569;
  as[i++] = 11662;
  as[i++] = 11748;
  as[i++] = 11835;
  as[i++] = 11907;
  as[i++] = 12004;
  as[i++] = 12094;
  as[i++] = 12185;
  as[i++] = 12261;
  as[i++] = 12354;
  as[i++] = 12432;
  as[i++] = 12511;
  as[i++] = 12559;
  as[i++] = 12664;
  as[i++] = 12762;
  as[i++] = 12861;
  as[i++] = 12945;
  as[i++] = 13046;
  as[i++] = 13132;
  as[i++] = 13219;
  as[i++] = 13275;
  as[i++] = 13380;
  as[i++] = 13470;
  as[i++] = 13561;
  as[i++] = 13621;
  as[i++] = 13714;
  as[i++] = 13776;
  as[i++] = 13839;
  as[i++] = 13839;
  as[i++] = 13966;
  as[i++] = 14092;
  as[i++] = 14219;
  as[i++] = 14343;
  as[i++] = 14472;
  as[i++] = 14598;
  as[i++] = 14725;
  as[i++] = 14845;
  as[i++] = 14978;
  as[i++] = 15108;
  as[i++] = 15239;
  as[i++] = 15363;
  as[i++] = 15496;
  as[i++] = 15622;
  as[i++] = 15749;
  as[i++] = 15861;
  as[i++] = 16002;
  as[i++] = 16140;
  as[i++] = 16279;
  as[i++] = 16411;
  as[i++] = 16552;
  as[i++] = 16686;
  as[i++] = 16821;
  as[i++] = 16941;
  as[i++] = 17086;
  as[i++] = 17224;
  as[i++] = 17363;
  as[i++] = 17487;
  as[i++] = 17628;
  as[i++] = 17754;
  as[i++] = 17881;
  as[i++] = 17977;
  as[i++] = 18134;
  as[i++] = 18288;
  as[i++] = 18443;
  as[i++] = 18591;
  as[i++] = 18748;
  as[i++] = 18898;
  as[i++] = 19049;
  as[i++] = 19185;
  as[i++] = 19346;
  as[i++] = 19500;
  as[i++] = 19655;
  as[i++] = 19795;
  as[i++] = 19952;
  as[i++] = 20094;
  as[i++] = 20237;
  as[i++] = 20349;
  as[i++] = 20518;
  as[i++] = 20680;
  as[i++] = 20843;
  as[i++] = 20991;
  as[i++] = 21156;
  as[i++] = 21306;
  as[i++] = 21457;
  as[i++] = 21577;
  as[i++] = 21746;
  as[i++] = 21900;
  as[i++] = 22055;
  as[i++] = 22179;
  as[i++] = 22336;
  as[i++] = 22462;
  as[i++] = 22589;
  as[i++] = 22653;
  as[i++] = 22842;
  as[i++] = 23028;
  as[i++] = 23215;
  as[i++] = 23395;
  as[i++] = 23584;
  as[i++] = 23766;
  as[i++] = 23949;
  as[i++] = 24117;
  as[i++] = 24310;
  as[i++] = 24496;
  as[i++] = 24683;
  as[i++] = 24855;
  as[i++] = 25044;
  as[i++] = 25218;
  as[i++] = 25393;
  as[i++] = 25537;
  as[i++] = 25738;
  as[i++] = 25932;
  as[i++] = 26127;
  as[i++] = 26307;
  as[i++] = 26504;
  as[i++] = 26686;
  as[i++] = 26869;
  as[i++] = 27021;
  as[i++] = 27222;
  as[i++] = 27408;
  as[i++] = 27595;
  as[i++] = 27751;
  as[i++] = 27940;
  as[i++] = 28098;
  as[i++] = 28257;
  as[i++] = 28353;
  as[i++] = 28570;
  as[i++] = 28780;
  as[i++] = 28991;
  as[i++] = 29187;
  as[i++] = 29400;
  as[i++] = 29598;
  as[i++] = 29797;
  as[i++] = 29965;
  as[i++] = 30182;
  as[i++] = 30384;
  as[i++] = 30587;
  as[i++] = 30759;
  as[i++] = 30964;
  as[i++] = 31138;
  as[i++] = 31313;
  as[i++] = 31425;
  as[i++] = 31650;
  as[i++] = 31860;
  as[i++] = 32071;
  as[i++] = 32251;
  as[i++] = 32464;
  as[i++] = 32646;
  as[i++] = 32829;
  as[i++] = 32949;
  as[i++] = 33166;
  as[i++] = 33352;
  as[i++] = 33539;
  as[i++] = 33663;
  as[i++] = 33852;
  as[i++] = 33978;
  as[i++] = 34105;
  as[i++] = 34105;
  as[i++] = 34105;
  as[i++] = 34105;
  as[i++] = 34106;
  as[i++] = 34106;
  as[i++] = 34109;
  as[i++] = 34111;
  as[i++] = 34114;
  as[i++] = 34114;
  as[i++] = 34121;
  as[i++] = 34127;
  as[i++] = 34134;
  as[i++] = 34138;
  as[i++] = 34147;
  as[i++] = 34153;
  as[i++] = 34160;
  as[i++] = 34160;
  as[i++] = 34175;
  as[i++] = 34189;
  as[i++] = 34204;
  as[i++] = 34216;
  as[i++] = 34233;
  as[i++] = 34247;
  as[i++] = 34262;
  as[i++] = 34270;
  as[i++] = 34291;
  as[i++] = 34309;
  as[i++] = 34328;
  as[i++] = 34340;
  as[i++] = 34361;
  as[i++] = 34375;
  as[i++] = 34390;
  as[i++] = 34390;
  as[i++] = 34421;
  as[i++] = 34451;
  as[i++] = 34482;
  as[i++] = 34510;
  as[i++] = 34543;
  as[i++] = 34573;
  as[i++] = 34604;
  as[i++] = 34628;
  as[i++] = 34665;
  as[i++] = 34699;
  as[i++] = 34734;
  as[i++] = 34762;
  as[i++] = 34799;
  as[i++] = 34829;
  as[i++] = 34860;
  as[i++] = 34876;
  as[i++] = 34921;
  as[i++] = 34963;
  as[i++] = 35006;
  as[i++] = 35042;
  as[i++] = 35087;
  as[i++] = 35125;
  as[i++] = 35164;
  as[i++] = 35188;
  as[i++] = 35237;
  as[i++] = 35279;
  as[i++] = 35322;
  as[i++] = 35350;
  as[i++] = 35395;
  as[i++] = 35425;
  as[i++] = 35456;
  as[i++] = 35456;
  as[i++] = 35519;
  as[i++] = 35581;
  as[i++] = 35644;
  as[i++] = 35704;
  as[i++] = 35769;
  as[i++] = 35831;
  as[i++] = 35894;
  as[i++] = 35950;
  as[i++] = 36019;
  as[i++] = 36085;
  as[i++] = 36152;
  as[i++] = 36212;
  as[i++] = 36281;
  as[i++] = 36343;
  as[i++] = 36406;
  as[i++] = 36454;
  as[i++] = 36531;
  as[i++] = 36605;
  as[i++] = 36680;
  as[i++] = 36748;
  as[i++] = 36825;
  as[i++] = 36895;
  as[i++] = 36966;
  as[i++] = 37022;
  as[i++] = 37103;
  as[i++] = 37177;
  as[i++] = 37252;
  as[i++] = 37312;
  as[i++] = 37389;
  as[i++] = 37451;
  as[i++] = 37514;
  as[i++] = 37546;
  as[i++] = 37639;
  as[i++] = 37729;
  as[i++] = 37820;
  as[i++] = 37904;
  as[i++] = 37997;
  as[i++] = 38083;
  as[i++] = 38170;
  as[i++] = 38242;
  as[i++] = 38339;
  as[i++] = 38429;
  as[i++] = 38520;
  as[i++] = 38596;
  as[i++] = 38689;
  as[i++] = 38767;
  as[i++] = 38846;
  as[i++] = 38894;
  as[i++] = 38999;
  as[i++] = 39097;
  as[i++] = 39196;
  as[i++] = 39280;
  as[i++] = 39381;
  as[i++] = 39467;
  as[i++] = 39554;
  as[i++] = 39610;
  as[i++] = 39715;
  as[i++] = 39805;
  as[i++] = 39896;
  as[i++] = 39956;
  as[i++] = 40049;
  as[i++] = 40111;
  as[i++] = 40174;
  as[i++] = 40174;
  as[i++] = 40301;
  as[i++] = 40427;
  as[i++] = 40554;
  as[i++] = 40678;
  as[i++] = 40807;
  as[i++] = 40933;
  as[i++] = 41060;
  as[i++] = 41180;
  as[i++] = 41313;
  as[i++] = 41443;
  as[i++] = 41574;
  as[i++] = 41698;
  as[i++] = 41831;
  as[i++] = 41957;
  as[i++] = 42084;
  as[i++] = 42196;
  as[i++] = 42337;
  as[i++] = 42475;
  as[i++] = 42614;
  as[i++] = 42746;
  as[i++] = 42887;
  as[i++] = 43021;
  as[i++] = 43156;
  as[i++] = 43276;
  as[i++] = 43421;
  as[i++] = 43559;
  as[i++] = 43698;
  as[i++] = 43822;
  as[i++] = 43963;
  as[i++] = 44089;
  as[i++] = 44216;
  as[i++] = 44312;
  as[i++] = 44469;
  as[i++] = 44623;
  as[i++] = 44778;
  as[i++] = 44926;
  as[i++] = 45083;
  as[i++] = 45233;
  as[i++] = 45384;
  as[i++] = 45520;
  as[i++] = 45681;
  as[i++] = 45835;
  as[i++] = 45990;
  as[i++] = 46130;
  as[i++] = 46287;
  as[i++] = 46429;
  as[i++] = 46572;
  as[i++] = 46684;
  as[i++] = 46853;
  as[i++] = 47015;
  as[i++] = 47178;
  as[i++] = 47326;
  as[i++] = 47491;
  as[i++] = 47641;
  as[i++] = 47792;
  as[i++] = 47912;
  as[i++] = 48081;
  as[i++] = 48235;
  as[i++] = 48390;
  as[i++] = 48514;
  as[i++] = 48671;
  as[i++] = 48797;
  as[i++] = 48924;
  as[i++] = 48988;
  as[i++] = 49177;
  as[i++] = 49363;
  as[i++] = 49550;
  as[i++] = 49730;
  as[i++] = 49919;
  as[i++] = 50101;
  as[i++] = 50284;
  as[i++] = 50452;
  as[i++] = 50645;
  as[i++] = 50831;
  as[i++] = 51018;
  as[i++] = 51190;
  as[i++] = 51379;
  as[i++] = 51553;
  as[i++] = 51728;
  as[i++] = 51872;
  as[i++] = 52073;
  as[i++] = 52267;
  as[i++] = 52462;
  as[i++] = 52642;
  as[i++] = 52839;
  as[i++] = 53021;
  as[i++] = 53204;
  as[i++] = 53356;
  as[i++] = 53557;
  as[i++] = 53743;
  as[i++] = 53930;
  as[i++] = 54086;
  as[i++] = 54275;
  as[i++] = 54433;
  as[i++] = 54592;
  as[i++] = 54688;
  as[i++] = 54905;
  as[i++] = 55115;
  as[i++] = 55326;
  as[i++] = 55522;
  as[i++] = 55735;
  as[i++] = 55933;
  as[i++] = 56132;
  as[i++] = 56300;
  as[i++] = 56517;
  as[i++] = 56719;
  as[i++] = 56922;
  as[i++] = 57094;
  as[i++] = 57299;
  as[i++] = 57473;
  as[i++] = 57648;
  as[i++] = 57760;
  as[i++] = 57985;
  as[i++] = 58195;
  as[i++] = 58406;
  as[i++] = 58586;
  as[i++] = 58799;
  as[i++] = 58981;
  as[i++] = 59164;
  as[i++] = 59284;
  as[i++] = 59501;
  as[i++] = 59687;
  as[i++] = 59874;
  as[i++] = 59998;
  as[i++] = 60187;
  as[i++] = 60313;
  as[i++] = 60440;
  as[i++] = 60440;
  as[i++] = 60695;
  as[i++] = 60949;
  as[i++] = 61204;
  as[i++] = 61456;
  as[i++] = 61713;
  as[i++] = 61967;
  as[i++] = 62222;
  as[i++] = 62470;
  as[i++] = 62731;
  as[i++] = 62989;
  as[i++] = 63248;
  as[i++] = 63500;
  as[i++] = 63761;
  as[i++] = 64015;
  as[i++] = 64270;
  as[i++] = 64510;
  as[i++] = 64779;
  as[i++] = 65045;
  as[i++] = 65312;
  as[i++] = 65572;
  as[i++] = 65841;
  as[i++] = 66103;
  as[i++] = 66366;
  as[i++] = 66614;
  as[i++] = 66887;
  as[i++] = 67153;
  as[i++] = 67420;
  as[i++] = 67672;
  as[i++] = 67941;
  as[i++] = 68195;
  as[i++] = 68450;
  as[i++] = 68674;
  as[i++] = 68959;
  as[i++] = 69241;
  as[i++] = 69524;
  as[i++] = 69800;
  as[i++] = 70085;
  as[i++] = 70363;
  as[i++] = 70642;
  as[i++] = 70906;
  as[i++] = 71195;
  as[i++] = 71477;
  as[i++] = 71760;
  as[i++] = 72028;
  as[i++] = 72313;
  as[i++] = 72583;
  as[i++] = 72854;
  as[i++] = 73094;
  as[i++] = 73391;
  as[i++] = 73681;
  as[i++] = 73972;
  as[i++] = 74248;
  as[i++] = 74541;
  as[i++] = 74819;
  as[i++] = 75098;
  as[i++] = 75346;
  as[i++] = 75643;
  as[i++] = 75925;
  as[i++] = 76208;
  as[i++] = 76460;
  as[i++] = 76745;
  as[i++] = 76999;
  as[i++] = 77254;
  as[i++] = 77446;
  as[i++] = 77763;
  as[i++] = 78077;
  as[i++] = 78392;
  as[i++] = 78700;
  as[i++] = 79017;
  as[i++] = 79327;
  as[i++] = 79638;
  as[i++] = 79934;
  as[i++] = 80255;
  as[i++] = 80569;
  as[i++] = 80884;
  as[i++] = 81184;
  as[i++] = 81501;
  as[i++] = 81803;
  as[i++] = 82106;
  as[i++] = 82378;
  as[i++] = 82707;
  as[i++] = 83029;
  as[i++] = 83352;
  as[i++] = 83660;
  as[i++] = 83985;
  as[i++] = 84295;
  as[i++] = 84606;
  as[i++] = 84886;
  as[i++] = 85215;
  as[i++] = 85529;
  as[i++] = 85844;
  as[i++] = 86128;
  as[i++] = 86445;
  as[i++] = 86731;
  as[i++] = 87018;
  as[i++] = 87242;
  as[i++] = 87587;
  as[i++] = 87925;
  as[i++] = 88264;
  as[i++] = 88588;
  as[i++] = 88929;
  as[i++] = 89255;
  as[i++] = 89582;
  as[i++] = 89878;
  as[i++] = 90223;
  as[i++] = 90553;
  as[i++] = 90884;
  as[i++] = 91184;
  as[i++] = 91517;
  as[i++] = 91819;
  as[i++] = 92122;
  as[i++] = 92362;
  as[i++] = 92715;
  as[i++] = 93053;
  as[i++] = 93392;
  as[i++] = 93700;
  as[i++] = 94041;
  as[i++] = 94351;
  as[i++] = 94662;
  as[i++] = 94910;
  as[i++] = 95255;
  as[i++] = 95569;
  as[i++] = 95884;
  as[i++] = 96136;
  as[i++] = 96453;
  as[i++] = 96707;
  as[i++] = 96962;
  as[i++] = 97090;
  as[i++] = 97471;
  as[i++] = 97849;
  as[i++] = 98228;
  as[i++] = 98600;
  as[i++] = 98981;
  as[i++] = 99355;
  as[i++] = 99730;
  as[i++] = 100090;
  as[i++] = 100475;
  as[i++] = 100853;
  as[i++] = 101232;
  as[i++] = 101596;
  as[i++] = 101977;
  as[i++] = 102343;
  as[i++] = 102710;
  as[i++] = 103046;
  as[i++] = 103439;
  as[i++] = 103825;
  as[i++] = 104212;
  as[i++] = 104584;
  as[i++] = 104973;
  as[i++] = 105347;
  as[i++] = 105722;
  as[i++] = 106066;
  as[i++] = 106459;
  as[i++] = 106837;
  as[i++] = 107216;
  as[i++] = 107564;
  as[i++] = 107945;
  as[i++] = 108295;
  as[i++] = 108646;
  as[i++] = 108934;
  as[i++] = 109343;
  as[i++] = 109745;
  as[i++] = 110148;
  as[i++] = 110536;
  as[i++] = 110941;
  as[i++] = 111331;
  as[i++] = 111722;
  as[i++] = 112082;
  as[i++] = 112491;
  as[i++] = 112885;
  as[i++] = 113280;
  as[i++] = 113644;
  as[i++] = 114041;
  as[i++] = 114407;
  as[i++] = 114774;
  as[i++] = 115078;
  as[i++] = 115495;
  as[i++] = 115897;
  as[i++] = 116300;
  as[i++] = 116672;
  as[i++] = 117077;
  as[i++] = 117451;
  as[i++] = 117826;
  as[i++] = 118138;
  as[i++] = 118547;
  as[i++] = 118925;
  as[i++] = 119304;
  as[i++] = 119620;
  as[i++] = 120001;
  as[i++] = 120319;
  as[i++] = 120638;
  as[i++] = 120830;
  as[i++] = 121271;
  as[i++] = 121705;
  as[i++] = 122140;
  as[i++] = 122560;
  as[i++] = 122997;
  as[i++] = 123419;
  as[i++] = 123842;
  as[i++] = 124234;
  as[i++] = 124675;
  as[i++] = 125101;
  as[i++] = 125528;
  as[i++] = 125924;
  as[i++] = 126353;
  as[i++] = 126751;
  as[i++] = 127150;
  as[i++] = 127486;
  as[i++] = 127935;
  as[i++] = 128369;
  as[i++] = 128804;
  as[i++] = 129208;
  as[i++] = 129645;
  as[i++] = 130051;
  as[i++] = 130458;
  as[i++] = 130802;
  as[i++] = 131243;
  as[i++] = 131653;
  as[i++] = 132064;
  as[i++] = 132412;
  as[i++] = 132825;
  as[i++] = 133175;
  as[i++] = 133526;
  as[i++] = 133750;
  as[i++] = 134215;
  as[i++] = 134665;
  as[i++] = 135116;
  as[i++] = 135536;
  as[i++] = 135989;
  as[i++] = 136411;
  as[i++] = 136834;
  as[i++] = 137194;
  as[i++] = 137651;
  as[i++] = 138077;
  as[i++] = 138504;
  as[i++] = 138868;
  as[i++] = 139297;
  as[i++] = 139663;
  as[i++] = 140030;
  as[i++] = 140270;
  as[i++] = 140735;
  as[i++] = 141169;
  as[i++] = 141604;
  as[i++] = 141976;
  as[i++] = 142413;
  as[i++] = 142787;
  as[i++] = 143162;
  as[i++] = 143410;
  as[i++] = 143851;
  as[i++] = 144229;
  as[i++] = 144608;
  as[i++] = 144860;
  as[i++] = 145241;
  as[i++] = 145495;
  as[i++] = 145750;
  as[i++] = 145750;
  as[i++] = 145750;
  as[i++] = 145750;
  as[i++] = 145751;
  as[i++] = 145751;
  as[i++] = 145754;
  as[i++] = 145756;
  as[i++] = 145759;
  as[i++] = 145759;
  as[i++] = 145766;
  as[i++] = 145772;
  as[i++] = 145779;
  as[i++] = 145783;
  as[i++] = 145792;
  as[i++] = 145798;
  as[i++] = 145805;
  as[i++] = 145805;
  as[i++] = 145820;
  as[i++] = 145834;
  as[i++] = 145849;
  as[i++] = 145861;
  as[i++] = 145878;
  as[i++] = 145892;
  as[i++] = 145907;
  as[i++] = 145915;
  as[i++] = 145936;
  as[i++] = 145954;
  as[i++] = 145973;
  as[i++] = 145985;
  as[i++] = 146006;
  as[i++] = 146020;
  as[i++] = 146035;
  as[i++] = 146035;
  as[i++] = 146066;
  as[i++] = 146096;
  as[i++] = 146127;
  as[i++] = 146155;
  as[i++] = 146188;
  as[i++] = 146218;
  as[i++] = 146249;
  as[i++] = 146273;
  as[i++] = 146310;
  as[i++] = 146344;
  as[i++] = 146379;
  as[i++] = 146407;
  as[i++] = 146444;
  as[i++] = 146474;
  as[i++] = 146505;
  as[i++] = 146521;
  as[i++] = 146566;
  as[i++] = 146608;
  as[i++] = 146651;
  as[i++] = 146687;
  as[i++] = 146732;
  as[i++] = 146770;
  as[i++] = 146809;
  as[i++] = 146833;
  as[i++] = 146882;
  as[i++] = 146924;
  as[i++] = 146967;
  as[i++] = 146995;
  as[i++] = 147040;
  as[i++] = 147070;
  as[i++] = 147101;
  as[i++] = 147101;
  as[i++] = 147164;
  as[i++] = 147226;
  as[i++] = 147289;
  as[i++] = 147349;
  as[i++] = 147414;
  as[i++] = 147476;
  as[i++] = 147539;
  as[i++] = 147595;
  as[i++] = 147664;
  as[i++] = 147730;
  as[i++] = 147797;
  as[i++] = 147857;
  as[i++] = 147926;
  as[i++] = 147988;
  as[i++] = 148051;
  as[i++] = 148099;
  as[i++] = 148176;
  as[i++] = 148250;
  as[i++] = 148325;
  as[i++] = 148393;
  as[i++] = 148470;
  as[i++] = 148540;
  as[i++] = 148611;
  as[i++] = 148667;
  as[i++] = 148748;
  as[i++] = 148822;
  as[i++] = 148897;
  as[i++] = 148957;
  as[i++] = 149034;
  as[i++] = 149096;
  as[i++] = 149159;
  as[i++] = 149191;
  as[i++] = 149284;
  as[i++] = 149374;
  as[i++] = 149465;
  as[i++] = 149549;
  as[i++] = 149642;
  as[i++] = 149728;
  as[i++] = 149815;
  as[i++] = 149887;
  as[i++] = 149984;
  as[i++] = 150074;
  as[i++] = 150165;
  as[i++] = 150241;
  as[i++] = 150334;
  as[i++] = 150412;
  as[i++] = 150491;
  as[i++] = 150539;
  as[i++] = 150644;
  as[i++] = 150742;
  as[i++] = 150841;
  as[i++] = 150925;
  as[i++] = 151026;
  as[i++] = 151112;
  as[i++] = 151199;
  as[i++] = 151255;
  as[i++] = 151360;
  as[i++] = 151450;
  as[i++] = 151541;
  as[i++] = 151601;
  as[i++] = 151694;
  as[i++] = 151756;
  as[i++] = 151819;
  as[i++] = 151819;
  as[i++] = 151946;
  as[i++] = 152072;
  as[i++] = 152199;
  as[i++] = 152323;
  as[i++] = 152452;
  as[i++] = 152578;
  as[i++] = 152705;
  as[i++] = 152825;
  as[i++] = 152958;
  as[i++] = 153088;
  as[i++] = 153219;
  as[i++] = 153343;
  as[i++] = 153476;
  as[i++] = 153602;
  as[i++] = 153729;
  as[i++] = 153841;
  as[i++] = 153982;
  as[i++] = 154120;
  as[i++] = 154259;
  as[i++] = 154391;
  as[i++] = 154532;
  as[i++] = 154666;
  as[i++] = 154801;
  as[i++] = 154921;
  as[i++] = 155066;
  as[i++] = 155204;
  as[i++] = 155343;
  as[i++] = 155467;
  as[i++] = 155608;
  as[i++] = 155734;
  as[i++] = 155861;
  as[i++] = 155957;
  as[i++] = 156114;
  as[i++] = 156268;
  as[i++] = 156423;
  as[i++] = 156571;
  as[i++] = 156728;
  as[i++] = 156878;
  as[i++] = 157029;
  as[i++] = 157165;
  as[i++] = 157326;
  as[i++] = 157480;
  as[i++] = 157635;
  as[i++] = 157775;
  as[i++] = 157932;
  as[i++] = 158074;
  as[i++] = 158217;
  as[i++] = 158329;
  as[i++] = 158498;
  as[i++] = 158660;
  as[i++] = 158823;
  as[i++] = 158971;
  as[i++] = 159136;
  as[i++] = 159286;
  as[i++] = 159437;
  as[i++] = 159557;
  as[i++] = 159726;
  as[i++] = 159880;
  as[i++] = 160035;
  as[i++] = 160159;
  as[i++] = 160316;
  as[i++] = 160442;
  as[i++] = 160569;
  as[i++] = 160633;
  as[i++] = 160822;
  as[i++] = 161008;
  as[i++] = 161195;
  as[i++] = 161375;
  as[i++] = 161564;
  as[i++] = 161746;
  as[i++] = 161929;
  as[i++] = 162097;
  as[i++] = 162290;
  as[i++] = 162476;
  as[i++] = 162663;
  as[i++] = 162835;
  as[i++] = 163024;
  as[i++] = 163198;
  as[i++] = 163373;
  as[i++] = 163517;
  as[i++] = 163718;
  as[i++] = 163912;
  as[i++] = 164107;
  as[i++] = 164287;
  as[i++] = 164484;
  as[i++] = 164666;
  as[i++] = 164849;
  as[i++] = 165001;
  as[i++] = 165202;
  as[i++] = 165388;
  as[i++] = 165575;
  as[i++] = 165731;
  as[i++] = 165920;
  as[i++] = 166078;
  as[i++] = 166237;
  as[i++] = 166333;
  as[i++] = 166550;
  as[i++] = 166760;
  as[i++] = 166971;
  as[i++] = 167167;
  as[i++] = 167380;
  as[i++] = 167578;
  as[i++] = 167777;
  as[i++] = 167945;
  as[i++] = 168162;
  as[i++] = 168364;
  as[i++] = 168567;
  as[i++] = 168739;
  as[i++] = 168944;
  as[i++] = 169118;
  as[i++] = 169293;
  as[i++] = 169405;
  as[i++] = 169630;
  as[i++] = 169840;
  as[i++] = 170051;
  as[i++] = 170231;
  as[i++] = 170444;
  as[i++] = 170626;
  as[i++] = 170809;
  as[i++] = 170929;
  as[i++] = 171146;
  as[i++] = 171332;
  as[i++] = 171519;
  as[i++] = 171643;
  as[i++] = 171832;
  as[i++] = 171958;
  as[i++] = 172085;
  as[i++] = 172085;
  as[i++] = 172340;
  as[i++] = 172594;
  as[i++] = 172849;
  as[i++] = 173101;
  as[i++] = 173358;
  as[i++] = 173612;
  as[i++] = 173867;
  as[i++] = 174115;
  as[i++] = 174376;
  as[i++] = 174634;
  as[i++] = 174893;
  as[i++] = 175145;
  as[i++] = 175406;
  as[i++] = 175660;
  as[i++] = 175915;
  as[i++] = 176155;
  as[i++] = 176424;
  as[i++] = 176690;
  as[i++] = 176957;
  as[i++] = 177217;
  as[i++] = 177486;
  as[i++] = 177748;
  as[i++] = 178011;
  as[i++] = 178259;
  as[i++] = 178532;
  as[i++] = 178798;
  as[i++] = 179065;
  as[i++] = 179317;
  as[i++] = 179586;
  as[i++] = 179840;
  as[i++] = 180095;
  as[i++] = 180319;
  as[i++] = 180604;
  as[i++] = 180886;
  as[i++] = 181169;
  as[i++] = 181445;
  as[i++] = 181730;
  as[i++] = 182008;
  as[i++] = 182287;
  as[i++] = 182551;
  as[i++] = 182840;
  as[i++] = 183122;
  as[i++] = 183405;
  as[i++] = 183673;
  as[i++] = 183958;
  as[i++] = 184228;
  as[i++] = 184499;
  as[i++] = 184739;
  as[i++] = 185036;
  as[i++] = 185326;
  as[i++] = 185617;
  as[i++] = 185893;
  as[i++] = 186186;
  as[i++] = 186464;
  as[i++] = 186743;
  as[i++] = 186991;
  as[i++] = 187288;
  as[i++] = 187570;
  as[i++] = 187853;
  as[i++] = 188105;
  as[i++] = 188390;
  as[i++] = 188644;
  as[i++] = 188899;
  as[i++] = 189091;
  as[i++] = 189408;
  as[i++] = 189722;
  as[i++] = 190037;
  as[i++] = 190345;
  as[i++] = 190662;
  as[i++] = 190972;
  as[i++] = 191283;
  as[i++] = 191579;
  as[i++] = 191900;
  as[i++] = 192214;
  as[i++] = 192529;
  as[i++] = 192829;
  as[i++] = 193146;
  as[i++] = 193448;
  as[i++] = 193751;
  as[i++] = 194023;
  as[i++] = 194352;
  as[i++] = 194674;
  as[i++] = 194997;
  as[i++] = 195305;
  as[i++] = 195630;
  as[i++] = 195940;
  as[i++] = 196251;
  as[i++] = 196531;
  as[i++] = 196860;
  as[i++] = 197174;
  as[i++] = 197489;
  as[i++] = 197773;
  as[i++] = 198090;
  as[i++] = 198376;
  as[i++] = 198663;
  as[i++] = 198887;
  as[i++] = 199232;
  as[i++] = 199570;
  as[i++] = 199909;
  as[i++] = 200233;
  as[i++] = 200574;
  as[i++] = 200900;
  as[i++] = 201227;
  as[i++] = 201523;
  as[i++] = 201868;
  as[i++] = 202198;
  as[i++] = 202529;
  as[i++] = 202829;
  as[i++] = 203162;
  as[i++] = 203464;
  as[i++] = 203767;
  as[i++] = 204007;
  as[i++] = 204360;
  as[i++] = 204698;
  as[i++] = 205037;
  as[i++] = 205345;
  as[i++] = 205686;
  as[i++] = 205996;
  as[i++] = 206307;
  as[i++] = 206555;
  as[i++] = 206900;
  as[i++] = 207214;
  as[i++] = 207529;
  as[i++] = 207781;
  as[i++] = 208098;
  as[i++] = 208352;
  as[i++] = 208607;
  as[i++] = 208735;
  as[i++] = 209116;
  as[i++] = 209494;
  as[i++] = 209873;
  as[i++] = 210245;
  as[i++] = 210626;
  as[i++] = 211000;
  as[i++] = 211375;
  as[i++] = 211735;
  as[i++] = 212120;
  as[i++] = 212498;
  as[i++] = 212877;
  as[i++] = 213241;
  as[i++] = 213622;
  as[i++] = 213988;
  as[i++] = 214355;
  as[i++] = 214691;
  as[i++] = 215084;
  as[i++] = 215470;
  as[i++] = 215857;
  as[i++] = 216229;
  as[i++] = 216618;
  as[i++] = 216992;
  as[i++] = 217367;
  as[i++] = 217711;
  as[i++] = 218104;
  as[i++] = 218482;
  as[i++] = 218861;
  as[i++] = 219209;
  as[i++] = 219590;
  as[i++] = 219940;
  as[i++] = 220291;
  as[i++] = 220579;
  as[i++] = 220988;
  as[i++] = 221390;
  as[i++] = 221793;
  as[i++] = 222181;
  as[i++] = 222586;
  as[i++] = 222976;
  as[i++] = 223367;
  as[i++] = 223727;
  as[i++] = 224136;
  as[i++] = 224530;
  as[i++] = 224925;
  as[i++] = 225289;
  as[i++] = 225686;
  as[i++] = 226052;
  as[i++] = 226419;
  as[i++] = 226723;
  as[i++] = 227140;
  as[i++] = 227542;
  as[i++] = 227945;
  as[i++] = 228317;
  as[i++] = 228722;
  as[i++] = 229096;
  as[i++] = 229471;
  as[i++] = 229783;
  as[i++] = 230192;
  as[i++] = 230570;
  as[i++] = 230949;
  as[i++] = 231265;
  as[i++] = 231646;
  as[i++] = 231964;
  as[i++] = 232283;
  as[i++] = 232475;
  as[i++] = 232916;
  as[i++] = 233350;
  as[i++] = 233785;
  as[i++] = 234205;
  as[i++] = 234642;
  as[i++] = 235064;
  as[i++] = 235487;
  as[i++] = 235879;
  as[i++] = 236320;
  as[i++] = 236746;
  as[i++] = 237173;
  as[i++] = 237569;
  as[i++] = 237998;
  as[i++] = 238396;
  as[i++] = 238795;
  as[i++] = 239131;
  as[i++] = 239580;
  as[i++] = 240014;
  as[i++] = 240449;
  as[i++] = 240853;
  as[i++] = 241290;
  as[i++] = 241696;
  as[i++] = 242103;
  as[i++] = 242447;
  as[i++] = 242888;
  as[i++] = 243298;
  as[i++] = 243709;
  as[i++] = 244057;
  as[i++] = 244470;
  as[i++] = 244820;
  as[i++] = 245171;
  as[i++] = 245395;
  as[i++] = 245860;
  as[i++] = 246310;
  as[i++] = 246761;
  as[i++] = 247181;
  as[i++] = 247634;
  as[i++] = 248056;
  as[i++] = 248479;
  as[i++] = 248839;
  as[i++] = 249296;
  as[i++] = 249722;
  as[i++] = 250149;
  as[i++] = 250513;
  as[i++] = 250942;
  as[i++] = 251308;
  as[i++] = 251675;
  as[i++] = 251915;
  as[i++] = 252380;
  as[i++] = 252814;
  as[i++] = 253249;
  as[i++] = 253621;
  as[i++] = 254058;
  as[i++] = 254432;
  as[i++] = 254807;
  as[i++] = 255055;
  as[i++] = 255496;
  as[i++] = 255874;
  as[i++] = 256253;
  as[i++] = 256505;
  as[i++] = 256886;
  as[i++] = 257140;
  as[i++] = 257395;
  as[i++] = 257395;
  as[i++] = 257906;
  as[i++] = 258416;
  as[i++] = 258927;
  as[i++] = 259435;
  as[i++] = 259948;
  as[i++] = 260458;
  as[i++] = 260969;
  as[i++] = 261473;
  as[i++] = 261990;
  as[i++] = 262504;
  as[i++] = 263019;
  as[i++] = 263527;
  as[i++] = 264044;
  as[i++] = 264554;
  as[i++] = 265065;
  as[i++] = 265561;
  as[i++] = 266086;
  as[i++] = 266608;
  as[i++] = 267131;
  as[i++] = 267647;
  as[i++] = 268172;
  as[i++] = 268690;
  as[i++] = 269209;
  as[i++] = 269713;
  as[i++] = 270242;
  as[i++] = 270764;
  as[i++] = 271287;
  as[i++] = 271795;
  as[i++] = 272320;
  as[i++] = 272830;
  as[i++] = 273341;
  as[i++] = 273821;
  as[i++] = 274362;
  as[i++] = 274900;
  as[i++] = 275439;
  as[i++] = 275971;
  as[i++] = 276512;
  as[i++] = 277046;
  as[i++] = 277581;
  as[i++] = 278101;
  as[i++] = 278646;
  as[i++] = 279184;
  as[i++] = 279723;
  as[i++] = 280247;
  as[i++] = 280788;
  as[i++] = 281314;
  as[i++] = 281841;
  as[i++] = 282337;
  as[i++] = 282890;
  as[i++] = 283436;
  as[i++] = 283983;
  as[i++] = 284515;
  as[i++] = 285064;
  as[i++] = 285598;
  as[i++] = 286133;
  as[i++] = 286637;
  as[i++] = 287190;
  as[i++] = 287728;
  as[i++] = 288267;
  as[i++] = 288775;
  as[i++] = 289316;
  as[i++] = 289826;
  as[i++] = 290337;
  as[i++] = 290785;
  as[i++] = 291358;
  as[i++] = 291928;
  as[i++] = 292499;
  as[i++] = 293063;
  as[i++] = 293636;
  as[i++] = 294202;
  as[i++] = 294769;
  as[i++] = 295321;
  as[i++] = 295898;
  as[i++] = 296468;
  as[i++] = 297039;
  as[i++] = 297595;
  as[i++] = 298168;
  as[i++] = 298726;
  as[i++] = 299285;
  as[i++] = 299813;
  as[i++] = 300398;
  as[i++] = 300976;
  as[i++] = 301555;
  as[i++] = 302119;
  as[i++] = 302700;
  as[i++] = 303266;
  as[i++] = 303833;
  as[i++] = 304369;
  as[i++] = 304954;
  as[i++] = 305524;
  as[i++] = 306095;
  as[i++] = 306635;
  as[i++] = 307208;
  as[i++] = 307750;
  as[i++] = 308293;
  as[i++] = 308773;
  as[i++] = 309374;
  as[i++] = 309968;
  as[i++] = 310563;
  as[i++] = 311143;
  as[i++] = 311740;
  as[i++] = 312322;
  as[i++] = 312905;
  as[i++] = 313457;
  as[i++] = 314058;
  as[i++] = 314644;
  as[i++] = 315231;
  as[i++] = 315787;
  as[i++] = 316376;
  as[i++] = 316934;
  as[i++] = 317493;
  as[i++] = 317989;
  as[i++] = 318598;
  as[i++] = 319192;
  as[i++] = 319787;
  as[i++] = 320351;
  as[i++] = 320948;
  as[i++] = 321514;
  as[i++] = 322081;
  as[i++] = 322585;
  as[i++] = 323186;
  as[i++] = 323756;
  as[i++] = 324327;
  as[i++] = 324835;
  as[i++] = 325408;
  as[i++] = 325918;
  as[i++] = 326429;
  as[i++] = 326813;
  as[i++] = 327450;
  as[i++] = 328084;
  as[i++] = 328719;
  as[i++] = 329347;
  as[i++] = 329984;
  as[i++] = 330614;
  as[i++] = 331245;
  as[i++] = 331861;
  as[i++] = 332502;
  as[i++] = 333136;
  as[i++] = 333771;
  as[i++] = 334391;
  as[i++] = 335028;
  as[i++] = 335650;
  as[i++] = 336273;
  as[i++] = 336865;
  as[i++] = 337514;
  as[i++] = 338156;
  as[i++] = 338799;
  as[i++] = 339427;
  as[i++] = 340072;
  as[i++] = 340702;
  as[i++] = 341333;
  as[i++] = 341933;
  as[i++] = 342582;
  as[i++] = 343216;
  as[i++] = 343851;
  as[i++] = 344455;
  as[i++] = 345092;
  as[i++] = 345698;
  as[i++] = 346305;
  as[i++] = 346849;
  as[i++] = 347514;
  as[i++] = 348172;
  as[i++] = 348831;
  as[i++] = 349475;
  as[i++] = 350136;
  as[i++] = 350782;
  as[i++] = 351429;
  as[i++] = 352045;
  as[i++] = 352710;
  as[i++] = 353360;
  as[i++] = 354011;
  as[i++] = 354631;
  as[i++] = 355284;
  as[i++] = 355906;
  as[i++] = 356529;
  as[i++] = 357089;
  as[i++] = 357762;
  as[i++] = 358420;
  as[i++] = 359079;
  as[i++] = 359707;
  as[i++] = 360368;
  as[i++] = 360998;
  as[i++] = 361629;
  as[i++] = 362197;
  as[i++] = 362862;
  as[i++] = 363496;
  as[i++] = 364131;
  as[i++] = 364703;
  as[i++] = 365340;
  as[i++] = 365914;
  as[i++] = 366489;
  as[i++] = 366937;
  as[i++] = 367634;
  as[i++] = 368324;
  as[i++] = 369015;
  as[i++] = 369691;
  as[i++] = 370384;
  as[i++] = 371062;
  as[i++] = 371741;
  as[i++] = 372389;
  as[i++] = 373086;
  as[i++] = 373768;
  as[i++] = 374451;
  as[i++] = 375103;
  as[i++] = 375788;
  as[i++] = 376442;
  as[i++] = 377097;
  as[i++] = 377689;
  as[i++] = 378394;
  as[i++] = 379084;
  as[i++] = 379775;
  as[i++] = 380435;
  as[i++] = 381128;
  as[i++] = 381790;
  as[i++] = 382453;
  as[i++] = 383053;
  as[i++] = 383750;
  as[i++] = 384416;
  as[i++] = 385083;
  as[i++] = 385687;
  as[i++] = 386356;
  as[i++] = 386962;
  as[i++] = 387569;
  as[i++] = 388049;
  as[i++] = 388770;
  as[i++] = 389476;
  as[i++] = 390183;
  as[i++] = 390859;
  as[i++] = 391568;
  as[i++] = 392246;
  as[i++] = 392925;
  as[i++] = 393541;
  as[i++] = 394254;
  as[i++] = 394936;
  as[i++] = 395619;
  as[i++] = 396239;
  as[i++] = 396924;
  as[i++] = 397546;
  as[i++] = 398169;
  as[i++] = 398665;
  as[i++] = 399386;
  as[i++] = 400076;
  as[i++] = 400767;
  as[i++] = 401395;
  as[i++] = 402088;
  as[i++] = 402718;
  as[i++] = 403349;
  as[i++] = 403853;
  as[i++] = 404550;
  as[i++] = 405184;
  as[i++] = 405819;
  as[i++] = 406327;
  as[i++] = 406964;
  as[i++] = 407474;
  as[i++] = 407985;
  as[i++] = 408241;
  as[i++] = 409006;
  as[i++] = 409768;
  as[i++] = 410531;
  as[i++] = 411287;
  as[i++] = 412052;
  as[i++] = 412810;
  as[i++] = 413569;
  as[i++] = 414313;
  as[i++] = 415082;
  as[i++] = 415844;
  as[i++] = 416607;
  as[i++] = 417355;
  as[i++] = 418120;
  as[i++] = 418870;
  as[i++] = 419621;
  as[i++] = 420341;
  as[i++] = 421118;
  as[i++] = 421888;
  as[i++] = 422659;
  as[i++] = 423415;
  as[i++] = 424188;
  as[i++] = 424946;
  as[i++] = 425705;
  as[i++] = 426433;
  as[i++] = 427210;
  as[i++] = 427972;
  as[i++] = 428735;
  as[i++] = 429467;
  as[i++] = 430232;
  as[i++] = 430966;
  as[i++] = 431701;
  as[i++] = 432373;
  as[i++] = 433166;
  as[i++] = 433952;
  as[i++] = 434739;
  as[i++] = 435511;
  as[i++] = 436300;
  as[i++] = 437074;
  as[i++] = 437849;
  as[i++] = 438593;
  as[i++] = 439386;
  as[i++] = 440164;
  as[i++] = 440943;
  as[i++] = 441691;
  as[i++] = 442472;
  as[i++] = 443222;
  as[i++] = 443973;
  as[i++] = 444661;
  as[i++] = 445462;
  as[i++] = 446248;
  as[i++] = 447035;
  as[i++] = 447791;
  as[i++] = 448580;
  as[i++] = 449338;
  as[i++] = 450097;
  as[i++] = 450793;
  as[i++] = 451586;
  as[i++] = 452348;
  as[i++] = 453111;
  as[i++] = 453811;
  as[i++] = 454576;
  as[i++] = 455278;
  as[i++] = 455981;
  as[i++] = 456557;
  as[i++] = 457382;
  as[i++] = 458200;
  as[i++] = 459019;
  as[i++] = 459823;
  as[i++] = 460644;
  as[i++] = 461450;
  as[i++] = 462257;
  as[i++] = 463033;
  as[i++] = 463858;
  as[i++] = 464668;
  as[i++] = 465479;
  as[i++] = 466259;
  as[i++] = 467072;
  as[i++] = 467854;
  as[i++] = 468637;
  as[i++] = 469357;
  as[i++] = 470190;
  as[i++] = 471008;
  as[i++] = 471827;
  as[i++] = 472615;
  as[i++] = 473436;
  as[i++] = 474226;
  as[i++] = 475017;
  as[i++] = 475745;
  as[i++] = 476570;
  as[i++] = 477364;
  as[i++] = 478159;
  as[i++] = 478891;
  as[i++] = 479688;
  as[i++] = 480422;
  as[i++] = 481157;
  as[i++] = 481765;
  as[i++] = 482614;
  as[i++] = 483448;
  as[i++] = 484283;
  as[i++] = 485087;
  as[i++] = 485924;
  as[i++] = 486730;
  as[i++] = 487537;
  as[i++] = 488281;
  as[i++] = 489122;
  as[i++] = 489932;
  as[i++] = 490743;
  as[i++] = 491491;
  as[i++] = 492304;
  as[i++] = 493054;
  as[i++] = 493805;
  as[i++] = 494429;
  as[i++] = 495278;
  as[i++] = 496096;
  as[i++] = 496915;
  as[i++] = 497671;
  as[i++] = 498492;
  as[i++] = 499250;
  as[i++] = 500009;
  as[i++] = 500641;
  as[i++] = 501466;
  as[i++] = 502228;
  as[i++] = 502991;
  as[i++] = 503627;
  as[i++] = 504392;
  as[i++] = 505030;
  as[i++] = 505669;
  as[i++] = 506053;
  as[i++] = 506942;
  as[i++] = 507824;
  as[i++] = 508707;
  as[i++] = 509575;
  as[i++] = 510460;
  as[i++] = 511330;
  as[i++] = 512201;
  as[i++] = 513041;
  as[i++] = 513930;
  as[i++] = 514804;
  as[i++] = 515679;
  as[i++] = 516523;
  as[i++] = 517400;
  as[i++] = 518246;
  as[i++] = 519093;
  as[i++] = 519877;
  as[i++] = 520774;
  as[i++] = 521656;
  as[i++] = 522539;
  as[i++] = 523391;
  as[i++] = 524276;
  as[i++] = 525130;
  as[i++] = 525985;
  as[i++] = 526777;
  as[i++] = 527666;
  as[i++] = 528524;
  as[i++] = 529383;
  as[i++] = 530179;
  as[i++] = 531040;
  as[i++] = 531838;
  as[i++] = 532637;
  as[i++] = 533309;
  as[i++] = 534222;
  as[i++] = 535120;
  as[i++] = 536019;
  as[i++] = 536887;
  as[i++] = 537788;
  as[i++] = 538658;
  as[i++] = 539529;
  as[i++] = 540337;
  as[i++] = 541242;
  as[i++] = 542116;
  as[i++] = 542991;
  as[i++] = 543803;
  as[i++] = 544680;
  as[i++] = 545494;
  as[i++] = 546309;
  as[i++] = 546997;
  as[i++] = 547910;
  as[i++] = 548792;
  as[i++] = 549675;
  as[i++] = 550495;
  as[i++] = 551380;
  as[i++] = 552202;
  as[i++] = 553025;
  as[i++] = 553721;
  as[i++] = 554610;
  as[i++] = 555436;
  as[i++] = 556263;
  as[i++] = 556963;
  as[i++] = 557792;
  as[i++] = 558494;
  as[i++] = 559197;
  as[i++] = 559645;
  as[i++] = 560590;
  as[i++] = 561520;
  as[i++] = 562451;
  as[i++] = 563351;
  as[i++] = 564284;
  as[i++] = 565186;
  as[i++] = 566089;
  as[i++] = 566929;
  as[i++] = 567866;
  as[i++] = 568772;
  as[i++] = 569679;
  as[i++] = 570523;
  as[i++] = 571432;
  as[i++] = 572278;
  as[i++] = 573125;
  as[i++] = 573845;
  as[i++] = 574790;
  as[i++] = 575704;
  as[i++] = 576619;
  as[i++] = 577471;
  as[i++] = 578388;
  as[i++] = 579242;
  as[i++] = 580097;
  as[i++] = 580825;
  as[i++] = 581746;
  as[i++] = 582604;
  as[i++] = 583463;
  as[i++] = 584195;
  as[i++] = 585056;
  as[i++] = 585790;
  as[i++] = 586525;
  as[i++] = 587005;
  as[i++] = 587966;
  as[i++] = 588896;
  as[i++] = 589827;
  as[i++] = 590695;
  as[i++] = 591628;
  as[i++] = 592498;
  as[i++] = 593369;
  as[i++] = 594113;
  as[i++] = 595050;
  as[i++] = 595924;
  as[i++] = 596799;
  as[i++] = 597547;
  as[i++] = 598424;
  as[i++] = 599174;
  as[i++] = 599925;
  as[i++] = 600421;
  as[i++] = 601366;
  as[i++] = 602248;
  as[i++] = 603131;
  as[i++] = 603887;
  as[i++] = 604772;
  as[i++] = 605530;
  as[i++] = 606289;
  as[i++] = 606793;
  as[i++] = 607682;
  as[i++] = 608444;
  as[i++] = 609207;
  as[i++] = 609715;
  as[i++] = 610480;
  as[i++] = 610990;
  as[i++] = 611501;
  as[i++] = 611501;
  as[i++] = 611501;
  as[i++] = 611501;
  as[i++] = 611502;
  as[i++] = 611502;
  as[i++] = 611505;
  as[i++] = 611507;
  as[i++] = 611510;
  as[i++] = 611510;
  as[i++] = 611517;
  as[i++] = 611523;
  as[i++] = 611530;
  as[i++] = 611534;
  as[i++] = 611543;
  as[i++] = 611549;
  as[i++] = 611556;
  as[i++] = 611556;
  as[i++] = 611571;
  as[i++] = 611585;
  as[i++] = 611600;
  as[i++] = 611612;
  as[i++] = 611629;
  as[i++] = 611643;
  as[i++] = 611658;
  as[i++] = 611666;
  as[i++] = 611687;
  as[i++] = 611705;
  as[i++] = 611724;
  as[i++] = 611736;
  as[i++] = 611757;
  as[i++] = 611771;
  as[i++] = 611786;
  as[i++] = 611786;
  as[i++] = 611817;
  as[i++] = 611847;
  as[i++] = 611878;
  as[i++] = 611906;
  as[i++] = 611939;
  as[i++] = 611969;
  as[i++] = 612000;
  as[i++] = 612024;
  as[i++] = 612061;
  as[i++] = 612095;
  as[i++] = 612130;
  as[i++] = 612158;
  as[i++] = 612195;
  as[i++] = 612225;
  as[i++] = 612256;
  as[i++] = 612272;
  as[i++] = 612317;
  as[i++] = 612359;
  as[i++] = 612402;
  as[i++] = 612438;
  as[i++] = 612483;
  as[i++] = 612521;
  as[i++] = 612560;
  as[i++] = 612584;
  as[i++] = 612633;
  as[i++] = 612675;
  as[i++] = 612718;
  as[i++] = 612746;
  as[i++] = 612791;
  as[i++] = 612821;
  as[i++] = 612852;
  as[i++] = 612852;
  as[i++] = 612915;
  as[i++] = 612977;
  as[i++] = 613040;
  as[i++] = 613100;
  as[i++] = 613165;
  as[i++] = 613227;
  as[i++] = 613290;
  as[i++] = 613346;
  as[i++] = 613415;
  as[i++] = 613481;
  as[i++] = 613548;
  as[i++] = 613608;
  as[i++] = 613677;
  as[i++] = 613739;
  as[i++] = 613802;
  as[i++] = 613850;
  as[i++] = 613927;
  as[i++] = 614001;
  as[i++] = 614076;
  as[i++] = 614144;
  as[i++] = 614221;
  as[i++] = 614291;
  as[i++] = 614362;
  as[i++] = 614418;
  as[i++] = 614499;
  as[i++] = 614573;
  as[i++] = 614648;
  as[i++] = 614708;
  as[i++] = 614785;
  as[i++] = 614847;
  as[i++] = 614910;
  as[i++] = 614942;
  as[i++] = 615035;
  as[i++] = 615125;
  as[i++] = 615216;
  as[i++] = 615300;
  as[i++] = 615393;
  as[i++] = 615479;
  as[i++] = 615566;
  as[i++] = 615638;
  as[i++] = 615735;
  as[i++] = 615825;
  as[i++] = 615916;
  as[i++] = 615992;
  as[i++] = 616085;
  as[i++] = 616163;
  as[i++] = 616242;
  as[i++] = 616290;
  as[i++] = 616395;
  as[i++] = 616493;
  as[i++] = 616592;
  as[i++] = 616676;
  as[i++] = 616777;
  as[i++] = 616863;
  as[i++] = 616950;
  as[i++] = 617006;
  as[i++] = 617111;
  as[i++] = 617201;
  as[i++] = 617292;
  as[i++] = 617352;
  as[i++] = 617445;
  as[i++] = 617507;
  as[i++] = 617570;
  as[i++] = 617570;
  as[i++] = 617697;
  as[i++] = 617823;
  as[i++] = 617950;
  as[i++] = 618074;
  as[i++] = 618203;
  as[i++] = 618329;
  as[i++] = 618456;
  as[i++] = 618576;
  as[i++] = 618709;
  as[i++] = 618839;
  as[i++] = 618970;
  as[i++] = 619094;
  as[i++] = 619227;
  as[i++] = 619353;
  as[i++] = 619480;
  as[i++] = 619592;
  as[i++] = 619733;
  as[i++] = 619871;
  as[i++] = 620010;
  as[i++] = 620142;
  as[i++] = 620283;
  as[i++] = 620417;
  as[i++] = 620552;
  as[i++] = 620672;
  as[i++] = 620817;
  as[i++] = 620955;
  as[i++] = 621094;
  as[i++] = 621218;
  as[i++] = 621359;
  as[i++] = 621485;
  as[i++] = 621612;
  as[i++] = 621708;
  as[i++] = 621865;
  as[i++] = 622019;
  as[i++] = 622174;
  as[i++] = 622322;
  as[i++] = 622479;
  as[i++] = 622629;
  as[i++] = 622780;
  as[i++] = 622916;
  as[i++] = 623077;
  as[i++] = 623231;
  as[i++] = 623386;
  as[i++] = 623526;
  as[i++] = 623683;
  as[i++] = 623825;
  as[i++] = 623968;
  as[i++] = 624080;
  as[i++] = 624249;
  as[i++] = 624411;
  as[i++] = 624574;
  as[i++] = 624722;
  as[i++] = 624887;
  as[i++] = 625037;
  as[i++] = 625188;
  as[i++] = 625308;
  as[i++] = 625477;
  as[i++] = 625631;
  as[i++] = 625786;
  as[i++] = 625910;
  as[i++] = 626067;
  as[i++] = 626193;
  as[i++] = 626320;
  as[i++] = 626384;
  as[i++] = 626573;
  as[i++] = 626759;
  as[i++] = 626946;
  as[i++] = 627126;
  as[i++] = 627315;
  as[i++] = 627497;
  as[i++] = 627680;
  as[i++] = 627848;
  as[i++] = 628041;
  as[i++] = 628227;
  as[i++] = 628414;
  as[i++] = 628586;
  as[i++] = 628775;
  as[i++] = 628949;
  as[i++] = 629124;
  as[i++] = 629268;
  as[i++] = 629469;
  as[i++] = 629663;
  as[i++] = 629858;
  as[i++] = 630038;
  as[i++] = 630235;
  as[i++] = 630417;
  as[i++] = 630600;
  as[i++] = 630752;
  as[i++] = 630953;
  as[i++] = 631139;
  as[i++] = 631326;
  as[i++] = 631482;
  as[i++] = 631671;
  as[i++] = 631829;
  as[i++] = 631988;
  as[i++] = 632084;
  as[i++] = 632301;
  as[i++] = 632511;
  as[i++] = 632722;
  as[i++] = 632918;
  as[i++] = 633131;
  as[i++] = 633329;
  as[i++] = 633528;
  as[i++] = 633696;
  as[i++] = 633913;
  as[i++] = 634115;
  as[i++] = 634318;
  as[i++] = 634490;
  as[i++] = 634695;
  as[i++] = 634869;
  as[i++] = 635044;
  as[i++] = 635156;
  as[i++] = 635381;
  as[i++] = 635591;
  as[i++] = 635802;
  as[i++] = 635982;
  as[i++] = 636195;
  as[i++] = 636377;
  as[i++] = 636560;
  as[i++] = 636680;
  as[i++] = 636897;
  as[i++] = 637083;
  as[i++] = 637270;
  as[i++] = 637394;
  as[i++] = 637583;
  as[i++] = 637709;
  as[i++] = 637836;
  as[i++] = 637836;
  as[i++] = 638091;
  as[i++] = 638345;
  as[i++] = 638600;
  as[i++] = 638852;
  as[i++] = 639109;
  as[i++] = 639363;
  as[i++] = 639618;
  as[i++] = 639866;
  as[i++] = 640127;
  as[i++] = 640385;
  as[i++] = 640644;
  as[i++] = 640896;
  as[i++] = 641157;
  as[i++] = 641411;
  as[i++] = 641666;
  as[i++] = 641906;
  as[i++] = 642175;
  as[i++] = 642441;
  as[i++] = 642708;
  as[i++] = 642968;
  as[i++] = 643237;
  as[i++] = 643499;
  as[i++] = 643762;
  as[i++] = 644010;
  as[i++] = 644283;
  as[i++] = 644549;
  as[i++] = 644816;
  as[i++] = 645068;
  as[i++] = 645337;
  as[i++] = 645591;
  as[i++] = 645846;
  as[i++] = 646070;
  as[i++] = 646355;
  as[i++] = 646637;
  as[i++] = 646920;
  as[i++] = 647196;
  as[i++] = 647481;
  as[i++] = 647759;
  as[i++] = 648038;
  as[i++] = 648302;
  as[i++] = 648591;
  as[i++] = 648873;
  as[i++] = 649156;
  as[i++] = 649424;
  as[i++] = 649709;
  as[i++] = 649979;
  as[i++] = 650250;
  as[i++] = 650490;
  as[i++] = 650787;
  as[i++] = 651077;
  as[i++] = 651368;
  as[i++] = 651644;
  as[i++] = 651937;
  as[i++] = 652215;
  as[i++] = 652494;
  as[i++] = 652742;
  as[i++] = 653039;
  as[i++] = 653321;
  as[i++] = 653604;
  as[i++] = 653856;
  as[i++] = 654141;
  as[i++] = 654395;
  as[i++] = 654650;
  as[i++] = 654842;
  as[i++] = 655159;
  as[i++] = 655473;
  as[i++] = 655788;
  as[i++] = 656096;
  as[i++] = 656413;
  as[i++] = 656723;
  as[i++] = 657034;
  as[i++] = 657330;
  as[i++] = 657651;
  as[i++] = 657965;
  as[i++] = 658280;
  as[i++] = 658580;
  as[i++] = 658897;
  as[i++] = 659199;
  as[i++] = 659502;
  as[i++] = 659774;
  as[i++] = 660103;
  as[i++] = 660425;
  as[i++] = 660748;
  as[i++] = 661056;
  as[i++] = 661381;
  as[i++] = 661691;
  as[i++] = 662002;
  as[i++] = 662282;
  as[i++] = 662611;
  as[i++] = 662925;
  as[i++] = 663240;
  as[i++] = 663524;
  as[i++] = 663841;
  as[i++] = 664127;
  as[i++] = 664414;
  as[i++] = 664638;
  as[i++] = 664983;
  as[i++] = 665321;
  as[i++] = 665660;
  as[i++] = 665984;
  as[i++] = 666325;
  as[i++] = 666651;
  as[i++] = 666978;
  as[i++] = 667274;
  as[i++] = 667619;
  as[i++] = 667949;
  as[i++] = 668280;
  as[i++] = 668580;
  as[i++] = 668913;
  as[i++] = 669215;
  as[i++] = 669518;
  as[i++] = 669758;
  as[i++] = 670111;
  as[i++] = 670449;
  as[i++] = 670788;
  as[i++] = 671096;
  as[i++] = 671437;
  as[i++] = 671747;
  as[i++] = 672058;
  as[i++] = 672306;
  as[i++] = 672651;
  as[i++] = 672965;
  as[i++] = 673280;
  as[i++] = 673532;
  as[i++] = 673849;
  as[i++] = 674103;
  as[i++] = 674358;
  as[i++] = 674486;
  as[i++] = 674867;
  as[i++] = 675245;
  as[i++] = 675624;
  as[i++] = 675996;
  as[i++] = 676377;
  as[i++] = 676751;
  as[i++] = 677126;
  as[i++] = 677486;
  as[i++] = 677871;
  as[i++] = 678249;
  as[i++] = 678628;
  as[i++] = 678992;
  as[i++] = 679373;
  as[i++] = 679739;
  as[i++] = 680106;
  as[i++] = 680442;
  as[i++] = 680835;
  as[i++] = 681221;
  as[i++] = 681608;
  as[i++] = 681980;
  as[i++] = 682369;
  as[i++] = 682743;
  as[i++] = 683118;
  as[i++] = 683462;
  as[i++] = 683855;
  as[i++] = 684233;
  as[i++] = 684612;
  as[i++] = 684960;
  as[i++] = 685341;
  as[i++] = 685691;
  as[i++] = 686042;
  as[i++] = 686330;
  as[i++] = 686739;
  as[i++] = 687141;
  as[i++] = 687544;
  as[i++] = 687932;
  as[i++] = 688337;
  as[i++] = 688727;
  as[i++] = 689118;
  as[i++] = 689478;
  as[i++] = 689887;
  as[i++] = 690281;
  as[i++] = 690676;
  as[i++] = 691040;
  as[i++] = 691437;
  as[i++] = 691803;
  as[i++] = 692170;
  as[i++] = 692474;
  as[i++] = 692891;
  as[i++] = 693293;
  as[i++] = 693696;
  as[i++] = 694068;
  as[i++] = 694473;
  as[i++] = 694847;
  as[i++] = 695222;
  as[i++] = 695534;
  as[i++] = 695943;
  as[i++] = 696321;
  as[i++] = 696700;
  as[i++] = 697016;
  as[i++] = 697397;
  as[i++] = 697715;
  as[i++] = 698034;
  as[i++] = 698226;
  as[i++] = 698667;
  as[i++] = 699101;
  as[i++] = 699536;
  as[i++] = 699956;
  as[i++] = 700393;
  cout << as[n];
  return 0;
}

```