比赛 |
20101101 |
评测结果 |
AAAAAAAATT |
题目名称 |
整数合并 |
最终得分 |
80 |
用户昵称 |
Achilles |
运行时间 |
0.000 s |
代码语言 |
Pascal |
内存使用 |
0.00 MiB |
提交时间 |
2010-11-01 20:22:55 |
显示代码纯文本
program setb;
var
a,b,p,f,i,j,temp,add:longint;
flag:boolean;
sz,ss:array[0..10000]of longint;
s:array[1..100000]of longint;
function father(a:longint):longint;
var
t:longint;
begin
if s[a]=a then begin
father:=a;
end
else begin
t:=father(s[a]);
father:=t;
s[a]:=t;
end;
end;
begin
sz[1]:=2;
sz[2]:=3;
sz[3]:=5;
sz[4]:=7;
sz[5]:=11;
sz[6]:=13;
sz[7]:=17;
sz[8]:=19;
sz[9]:=23;
sz[10]:=29;
sz[11]:=31;
sz[12]:=37;
sz[13]:=41;
sz[14]:=43;
sz[15]:=47;
sz[16]:=53;
sz[17]:=59;
sz[18]:=61;
sz[19]:=67;
sz[20]:=71;
sz[21]:=73;
sz[22]:=79;
sz[23]:=83;
sz[24]:=89;
sz[25]:=97;
sz[26]:=101;
sz[27]:=103;
sz[28]:=107;
sz[29]:=109;
sz[30]:=113;
sz[31]:=127;
sz[32]:=131;
sz[33]:=137;
sz[34]:=139;
sz[35]:=149;
sz[36]:=151;
sz[37]:=157;
sz[38]:=163;
sz[39]:=167;
sz[40]:=173;
sz[41]:=179;
sz[42]:=181;
sz[43]:=191;
sz[44]:=193;
sz[45]:=197;
sz[46]:=199;
sz[47]:=211;
sz[48]:=223;
sz[49]:=227;
sz[50]:=229;
sz[51]:=233;
sz[52]:=239;
sz[53]:=241;
sz[54]:=251;
sz[55]:=257;
sz[56]:=263;
sz[57]:=269;
sz[58]:=271;
sz[59]:=277;
sz[60]:=281;
sz[61]:=283;
sz[62]:=293;
sz[63]:=307;
sz[64]:=311;
sz[65]:=313;
sz[66]:=317;
sz[67]:=331;
sz[68]:=337;
sz[69]:=347;
sz[70]:=349;
sz[71]:=353;
sz[72]:=359;
sz[73]:=367;
sz[74]:=373;
sz[75]:=379;
sz[76]:=383;
sz[77]:=389;
sz[78]:=397;
sz[79]:=401;
sz[80]:=409;
sz[81]:=419;
sz[82]:=421;
sz[83]:=431;
sz[84]:=433;
sz[85]:=439;
sz[86]:=443;
sz[87]:=449;
sz[88]:=457;
sz[89]:=461;
sz[90]:=463;
sz[91]:=467;
sz[92]:=479;
sz[93]:=487;
sz[94]:=491;
sz[95]:=499;
sz[96]:=503;
sz[97]:=509;
sz[98]:=521;
sz[99]:=523;
sz[100]:=541;
sz[101]:=547;
sz[102]:=557;
sz[103]:=563;
sz[104]:=569;
sz[105]:=571;
sz[106]:=577;
sz[107]:=587;
sz[108]:=593;
sz[109]:=599;
sz[110]:=601;
sz[111]:=607;
sz[112]:=613;
sz[113]:=617;
sz[114]:=619;
sz[115]:=631;
sz[116]:=641;
sz[117]:=643;
sz[118]:=647;
sz[119]:=653;
sz[120]:=659;
sz[121]:=661;
sz[122]:=673;
sz[123]:=677;
sz[124]:=683;
sz[125]:=691;
sz[126]:=701;
sz[127]:=709;
sz[128]:=719;
sz[129]:=727;
sz[130]:=733;
sz[131]:=739;
sz[132]:=743;
sz[133]:=751;
sz[134]:=757;
sz[135]:=761;
sz[136]:=769;
sz[137]:=773;
sz[138]:=787;
sz[139]:=797;
sz[140]:=809;
sz[141]:=811;
sz[142]:=821;
sz[143]:=823;
sz[144]:=827;
sz[145]:=829;
sz[146]:=839;
sz[147]:=853;
sz[148]:=857;
sz[149]:=859;
sz[150]:=863;
sz[151]:=877;
sz[152]:=881;
sz[153]:=883;
sz[154]:=887;
sz[155]:=907;
sz[156]:=911;
sz[157]:=919;
sz[158]:=929;
sz[159]:=937;
sz[160]:=941;
sz[161]:=947;
sz[162]:=953;
sz[163]:=967;
sz[164]:=971;
sz[165]:=977;
sz[166]:=983;
sz[167]:=991;
sz[168]:=997;
sz[169]:=1009;
sz[170]:=1013;
sz[171]:=1019;
sz[172]:=1021;
sz[173]:=1031;
sz[174]:=1033;
sz[175]:=1039;
sz[176]:=1049;
sz[177]:=1051;
sz[178]:=1061;
sz[179]:=1063;
sz[180]:=1069;
sz[181]:=1087;
sz[182]:=1091;
sz[183]:=1093;
sz[184]:=1097;
sz[185]:=1103;
sz[186]:=1109;
sz[187]:=1117;
sz[188]:=1123;
sz[189]:=1129;
sz[190]:=1151;
sz[191]:=1153;
sz[192]:=1163;
sz[193]:=1171;
sz[194]:=1181;
sz[195]:=1187;
sz[196]:=1193;
sz[197]:=1201;
sz[198]:=1213;
sz[199]:=1217;
sz[200]:=1223;
sz[201]:=1229;
sz[202]:=1231;
sz[203]:=1237;
sz[204]:=1249;
sz[205]:=1259;
sz[206]:=1277;
sz[207]:=1279;
sz[208]:=1283;
sz[209]:=1289;
sz[210]:=1291;
sz[211]:=1297;
sz[212]:=1301;
sz[213]:=1303;
sz[214]:=1307;
sz[215]:=1319;
sz[216]:=1321;
sz[217]:=1327;
sz[218]:=1361;
sz[219]:=1367;
sz[220]:=1373;
sz[221]:=1381;
sz[222]:=1399;
sz[223]:=1409;
sz[224]:=1423;
sz[225]:=1427;
sz[226]:=1429;
sz[227]:=1433;
sz[228]:=1439;
sz[229]:=1447;
sz[230]:=1451;
sz[231]:=1453;
sz[232]:=1459;
sz[233]:=1471;
sz[234]:=1481;
sz[235]:=1483;
sz[236]:=1487;
sz[237]:=1489;
sz[238]:=1493;
sz[239]:=1499;
sz[240]:=1511;
sz[241]:=1523;
sz[242]:=1531;
sz[243]:=1543;
sz[244]:=1549;
sz[245]:=1553;
sz[246]:=1559;
sz[247]:=1567;
sz[248]:=1571;
sz[249]:=1579;
sz[250]:=1583;
sz[251]:=1597;
sz[252]:=1601;
sz[253]:=1607;
sz[254]:=1609;
sz[255]:=1613;
sz[256]:=1619;
sz[257]:=1621;
sz[258]:=1627;
sz[259]:=1637;
sz[260]:=1657;
sz[261]:=1663;
sz[262]:=1667;
sz[263]:=1669;
sz[264]:=1693;
sz[265]:=1697;
sz[266]:=1699;
sz[267]:=1709;
sz[268]:=1721;
sz[269]:=1723;
sz[270]:=1733;
sz[271]:=1741;
sz[272]:=1747;
sz[273]:=1753;
sz[274]:=1759;
sz[275]:=1777;
sz[276]:=1783;
sz[277]:=1787;
sz[278]:=1789;
sz[279]:=1801;
sz[280]:=1811;
sz[281]:=1823;
sz[282]:=1831;
sz[283]:=1847;
sz[284]:=1861;
sz[285]:=1867;
sz[286]:=1871;
sz[287]:=1873;
sz[288]:=1877;
sz[289]:=1879;
sz[290]:=1889;
sz[291]:=1901;
sz[292]:=1907;
sz[293]:=1913;
sz[294]:=1931;
sz[295]:=1933;
sz[296]:=1949;
sz[297]:=1951;
sz[298]:=1973;
sz[299]:=1979;
sz[300]:=1987;
sz[301]:=1993;
sz[302]:=1997;
sz[303]:=1999;
sz[304]:=2003;
sz[305]:=2011;
sz[306]:=2017;
sz[307]:=2027;
sz[308]:=2029;
sz[309]:=2039;
sz[310]:=2053;
sz[311]:=2063;
sz[312]:=2069;
sz[313]:=2081;
sz[314]:=2083;
sz[315]:=2087;
sz[316]:=2089;
sz[317]:=2099;
sz[318]:=2111;
sz[319]:=2113;
sz[320]:=2129;
sz[321]:=2131;
sz[322]:=2137;
sz[323]:=2141;
sz[324]:=2143;
sz[325]:=2153;
sz[326]:=2161;
sz[327]:=2179;
sz[328]:=2203;
sz[329]:=2207;
sz[330]:=2213;
sz[331]:=2221;
sz[332]:=2237;
sz[333]:=2239;
sz[334]:=2243;
sz[335]:=2251;
sz[336]:=2267;
sz[337]:=2269;
sz[338]:=2273;
sz[339]:=2281;
sz[340]:=2287;
sz[341]:=2293;
sz[342]:=2297;
sz[343]:=2309;
sz[344]:=2311;
sz[345]:=2333;
sz[346]:=2339;
sz[347]:=2341;
sz[348]:=2347;
sz[349]:=2351;
sz[350]:=2357;
sz[351]:=2371;
sz[352]:=2377;
sz[353]:=2381;
sz[354]:=2383;
sz[355]:=2389;
sz[356]:=2393;
sz[357]:=2399;
sz[358]:=2411;
sz[359]:=2417;
sz[360]:=2423;
sz[361]:=2437;
sz[362]:=2441;
sz[363]:=2447;
sz[364]:=2459;
sz[365]:=2467;
sz[366]:=2473;
sz[367]:=2477;
sz[368]:=2503;
sz[369]:=2521;
sz[370]:=2531;
sz[371]:=2539;
sz[372]:=2543;
sz[373]:=2549;
sz[374]:=2551;
sz[375]:=2557;
sz[376]:=2579;
sz[377]:=2591;
sz[378]:=2593;
sz[379]:=2609;
sz[380]:=2617;
sz[381]:=2621;
sz[382]:=2633;
sz[383]:=2647;
sz[384]:=2657;
sz[385]:=2659;
sz[386]:=2663;
sz[387]:=2671;
sz[388]:=2677;
sz[389]:=2683;
sz[390]:=2687;
sz[391]:=2689;
sz[392]:=2693;
sz[393]:=2699;
sz[394]:=2707;
sz[395]:=2711;
sz[396]:=2713;
sz[397]:=2719;
sz[398]:=2729;
sz[399]:=2731;
sz[400]:=2741;
sz[401]:=2749;
sz[402]:=2753;
sz[403]:=2767;
sz[404]:=2777;
sz[405]:=2789;
sz[406]:=2791;
sz[407]:=2797;
sz[408]:=2801;
sz[409]:=2803;
sz[410]:=2819;
sz[411]:=2833;
sz[412]:=2837;
sz[413]:=2843;
sz[414]:=2851;
sz[415]:=2857;
sz[416]:=2861;
sz[417]:=2879;
sz[418]:=2887;
sz[419]:=2897;
sz[420]:=2903;
sz[421]:=2909;
sz[422]:=2917;
sz[423]:=2927;
sz[424]:=2939;
sz[425]:=2953;
sz[426]:=2957;
sz[427]:=2963;
sz[428]:=2969;
sz[429]:=2971;
sz[430]:=2999;
sz[431]:=3001;
sz[432]:=3011;
sz[433]:=3019;
sz[434]:=3023;
sz[435]:=3037;
sz[436]:=3041;
sz[437]:=3049;
sz[438]:=3061;
sz[439]:=3067;
sz[440]:=3079;
sz[441]:=3083;
sz[442]:=3089;
sz[443]:=3109;
sz[444]:=3119;
sz[445]:=3121;
sz[446]:=3137;
sz[447]:=3163;
sz[448]:=3167;
sz[449]:=3169;
sz[450]:=3181;
sz[451]:=3187;
sz[452]:=3191;
sz[453]:=3203;
sz[454]:=3209;
sz[455]:=3217;
sz[456]:=3221;
sz[457]:=3229;
sz[458]:=3251;
sz[459]:=3253;
sz[460]:=3257;
sz[461]:=3259;
sz[462]:=3271;
sz[463]:=3299;
sz[464]:=3301;
sz[465]:=3307;
sz[466]:=3313;
sz[467]:=3319;
sz[468]:=3323;
sz[469]:=3329;
sz[470]:=3331;
sz[471]:=3343;
sz[472]:=3347;
sz[473]:=3359;
sz[474]:=3361;
sz[475]:=3371;
sz[476]:=3373;
sz[477]:=3389;
sz[478]:=3391;
sz[479]:=3407;
sz[480]:=3413;
sz[481]:=3433;
sz[482]:=3449;
sz[483]:=3457;
sz[484]:=3461;
sz[485]:=3463;
sz[486]:=3467;
sz[487]:=3469;
sz[488]:=3491;
sz[489]:=3499;
sz[490]:=3511;
sz[491]:=3517;
sz[492]:=3527;
sz[493]:=3529;
sz[494]:=3533;
sz[495]:=3539;
sz[496]:=3541;
sz[497]:=3547;
sz[498]:=3557;
sz[499]:=3559;
sz[500]:=3571;
sz[501]:=3581;
sz[502]:=3583;
sz[503]:=3593;
sz[504]:=3607;
sz[505]:=3613;
sz[506]:=3617;
sz[507]:=3623;
sz[508]:=3631;
sz[509]:=3637;
sz[510]:=3643;
sz[511]:=3659;
sz[512]:=3671;
sz[513]:=3673;
sz[514]:=3677;
sz[515]:=3691;
sz[516]:=3697;
sz[517]:=3701;
sz[518]:=3709;
sz[519]:=3719;
sz[520]:=3727;
sz[521]:=3733;
sz[522]:=3739;
sz[523]:=3761;
sz[524]:=3767;
sz[525]:=3769;
sz[526]:=3779;
sz[527]:=3793;
sz[528]:=3797;
sz[529]:=3803;
sz[530]:=3821;
sz[531]:=3823;
sz[532]:=3833;
sz[533]:=3847;
sz[534]:=3851;
sz[535]:=3853;
sz[536]:=3863;
sz[537]:=3877;
sz[538]:=3881;
sz[539]:=3889;
sz[540]:=3907;
sz[541]:=3911;
sz[542]:=3917;
sz[543]:=3919;
sz[544]:=3923;
sz[545]:=3929;
sz[546]:=3931;
sz[547]:=3943;
sz[548]:=3947;
sz[549]:=3967;
sz[550]:=3989;
sz[551]:=4001;
sz[552]:=4003;
sz[553]:=4007;
sz[554]:=4013;
sz[555]:=4019;
sz[556]:=4021;
sz[557]:=4027;
sz[558]:=4049;
sz[559]:=4051;
sz[560]:=4057;
sz[561]:=4073;
sz[562]:=4079;
sz[563]:=4091;
sz[564]:=4093;
sz[565]:=4099;
sz[566]:=4111;
sz[567]:=4127;
sz[568]:=4129;
sz[569]:=4133;
sz[570]:=4139;
sz[571]:=4153;
sz[572]:=4157;
sz[573]:=4159;
sz[574]:=4177;
sz[575]:=4201;
sz[576]:=4211;
sz[577]:=4217;
sz[578]:=4219;
sz[579]:=4229;
sz[580]:=4231;
sz[581]:=4241;
sz[582]:=4243;
sz[583]:=4253;
sz[584]:=4259;
sz[585]:=4261;
sz[586]:=4271;
sz[587]:=4273;
sz[588]:=4283;
sz[589]:=4289;
sz[590]:=4297;
sz[591]:=4327;
sz[592]:=4337;
sz[593]:=4339;
sz[594]:=4349;
sz[595]:=4357;
sz[596]:=4363;
sz[597]:=4373;
sz[598]:=4391;
sz[599]:=4397;
sz[600]:=4409;
sz[601]:=4421;
sz[602]:=4423;
sz[603]:=4441;
sz[604]:=4447;
sz[605]:=4451;
sz[606]:=4457;
sz[607]:=4463;
sz[608]:=4481;
sz[609]:=4483;
sz[610]:=4493;
sz[611]:=4507;
sz[612]:=4513;
sz[613]:=4517;
sz[614]:=4519;
sz[615]:=4523;
sz[616]:=4547;
sz[617]:=4549;
sz[618]:=4561;
sz[619]:=4567;
sz[620]:=4583;
sz[621]:=4591;
sz[622]:=4597;
sz[623]:=4603;
sz[624]:=4621;
sz[625]:=4637;
sz[626]:=4639;
sz[627]:=4643;
sz[628]:=4649;
sz[629]:=4651;
sz[630]:=4657;
sz[631]:=4663;
sz[632]:=4673;
sz[633]:=4679;
sz[634]:=4691;
sz[635]:=4703;
sz[636]:=4721;
sz[637]:=4723;
sz[638]:=4729;
sz[639]:=4733;
sz[640]:=4751;
sz[641]:=4759;
sz[642]:=4783;
sz[643]:=4787;
sz[644]:=4789;
sz[645]:=4793;
sz[646]:=4799;
sz[647]:=4801;
sz[648]:=4813;
sz[649]:=4817;
sz[650]:=4831;
sz[651]:=4861;
sz[652]:=4871;
sz[653]:=4877;
sz[654]:=4889;
sz[655]:=4903;
sz[656]:=4909;
sz[657]:=4919;
sz[658]:=4931;
sz[659]:=4933;
sz[660]:=4937;
sz[661]:=4943;
sz[662]:=4951;
sz[663]:=4957;
sz[664]:=4967;
sz[665]:=4969;
sz[666]:=4973;
sz[667]:=4987;
sz[668]:=4993;
sz[669]:=4999;
sz[670]:=5003;
sz[671]:=5009;
sz[672]:=5011;
sz[673]:=5021;
sz[674]:=5023;
sz[675]:=5039;
sz[676]:=5051;
sz[677]:=5059;
sz[678]:=5077;
sz[679]:=5081;
sz[680]:=5087;
sz[681]:=5099;
sz[682]:=5101;
sz[683]:=5107;
sz[684]:=5113;
sz[685]:=5119;
sz[686]:=5147;
sz[687]:=5153;
sz[688]:=5167;
sz[689]:=5171;
sz[690]:=5179;
sz[691]:=5189;
sz[692]:=5197;
sz[693]:=5209;
sz[694]:=5227;
sz[695]:=5231;
sz[696]:=5233;
sz[697]:=5237;
sz[698]:=5261;
sz[699]:=5273;
sz[700]:=5279;
sz[701]:=5281;
sz[702]:=5297;
sz[703]:=5303;
sz[704]:=5309;
sz[705]:=5323;
sz[706]:=5333;
sz[707]:=5347;
sz[708]:=5351;
sz[709]:=5381;
sz[710]:=5387;
sz[711]:=5393;
sz[712]:=5399;
sz[713]:=5407;
sz[714]:=5413;
sz[715]:=5417;
sz[716]:=5419;
sz[717]:=5431;
sz[718]:=5437;
sz[719]:=5441;
sz[720]:=5443;
sz[721]:=5449;
sz[722]:=5471;
sz[723]:=5477;
sz[724]:=5479;
sz[725]:=5483;
sz[726]:=5501;
sz[727]:=5503;
sz[728]:=5507;
sz[729]:=5519;
sz[730]:=5521;
sz[731]:=5527;
sz[732]:=5531;
sz[733]:=5557;
sz[734]:=5563;
sz[735]:=5569;
sz[736]:=5573;
sz[737]:=5581;
sz[738]:=5591;
sz[739]:=5623;
sz[740]:=5639;
sz[741]:=5641;
sz[742]:=5647;
sz[743]:=5651;
sz[744]:=5653;
sz[745]:=5657;
sz[746]:=5659;
sz[747]:=5669;
sz[748]:=5683;
sz[749]:=5689;
sz[750]:=5693;
sz[751]:=5701;
sz[752]:=5711;
sz[753]:=5717;
sz[754]:=5737;
sz[755]:=5741;
sz[756]:=5743;
sz[757]:=5749;
sz[758]:=5779;
sz[759]:=5783;
sz[760]:=5791;
sz[761]:=5801;
sz[762]:=5807;
sz[763]:=5813;
sz[764]:=5821;
sz[765]:=5827;
sz[766]:=5839;
sz[767]:=5843;
sz[768]:=5849;
sz[769]:=5851;
sz[770]:=5857;
sz[771]:=5861;
sz[772]:=5867;
sz[773]:=5869;
sz[774]:=5879;
sz[775]:=5881;
sz[776]:=5897;
sz[777]:=5903;
sz[778]:=5923;
sz[779]:=5927;
sz[780]:=5939;
sz[781]:=5953;
sz[782]:=5981;
sz[783]:=5987;
sz[784]:=6007;
sz[785]:=6011;
sz[786]:=6029;
sz[787]:=6037;
sz[788]:=6043;
sz[789]:=6047;
sz[790]:=6053;
sz[791]:=6067;
sz[792]:=6073;
sz[793]:=6079;
sz[794]:=6089;
sz[795]:=6091;
sz[796]:=6101;
sz[797]:=6113;
sz[798]:=6121;
sz[799]:=6131;
sz[800]:=6133;
sz[801]:=6143;
sz[802]:=6151;
sz[803]:=6163;
sz[804]:=6173;
sz[805]:=6197;
sz[806]:=6199;
sz[807]:=6203;
sz[808]:=6211;
sz[809]:=6217;
sz[810]:=6221;
sz[811]:=6229;
sz[812]:=6247;
sz[813]:=6257;
sz[814]:=6263;
sz[815]:=6269;
sz[816]:=6271;
sz[817]:=6277;
sz[818]:=6287;
sz[819]:=6299;
sz[820]:=6301;
sz[821]:=6311;
sz[822]:=6317;
sz[823]:=6323;
sz[824]:=6329;
sz[825]:=6337;
sz[826]:=6343;
sz[827]:=6353;
sz[828]:=6359;
sz[829]:=6361;
sz[830]:=6367;
sz[831]:=6373;
sz[832]:=6379;
sz[833]:=6389;
sz[834]:=6397;
sz[835]:=6421;
sz[836]:=6427;
sz[837]:=6449;
sz[838]:=6451;
sz[839]:=6469;
sz[840]:=6473;
sz[841]:=6481;
sz[842]:=6491;
sz[843]:=6521;
sz[844]:=6529;
sz[845]:=6547;
sz[846]:=6551;
sz[847]:=6553;
sz[848]:=6563;
sz[849]:=6569;
sz[850]:=6571;
sz[851]:=6577;
sz[852]:=6581;
sz[853]:=6599;
sz[854]:=6607;
sz[855]:=6619;
sz[856]:=6637;
sz[857]:=6653;
sz[858]:=6659;
sz[859]:=6661;
sz[860]:=6673;
sz[861]:=6679;
sz[862]:=6689;
sz[863]:=6691;
sz[864]:=6701;
sz[865]:=6703;
sz[866]:=6709;
sz[867]:=6719;
sz[868]:=6733;
sz[869]:=6737;
sz[870]:=6761;
sz[871]:=6763;
sz[872]:=6779;
sz[873]:=6781;
sz[874]:=6791;
sz[875]:=6793;
sz[876]:=6803;
sz[877]:=6823;
sz[878]:=6827;
sz[879]:=6829;
sz[880]:=6833;
sz[881]:=6841;
sz[882]:=6857;
sz[883]:=6863;
sz[884]:=6869;
sz[885]:=6871;
sz[886]:=6883;
sz[887]:=6899;
sz[888]:=6907;
sz[889]:=6911;
sz[890]:=6917;
sz[891]:=6947;
sz[892]:=6949;
sz[893]:=6959;
sz[894]:=6961;
sz[895]:=6967;
sz[896]:=6971;
sz[897]:=6977;
sz[898]:=6983;
sz[899]:=6991;
sz[900]:=6997;
sz[901]:=7001;
sz[902]:=7013;
sz[903]:=7019;
sz[904]:=7027;
sz[905]:=7039;
sz[906]:=7043;
sz[907]:=7057;
sz[908]:=7069;
sz[909]:=7079;
sz[910]:=7103;
sz[911]:=7109;
sz[912]:=7121;
sz[913]:=7127;
sz[914]:=7129;
sz[915]:=7151;
sz[916]:=7159;
sz[917]:=7177;
sz[918]:=7187;
sz[919]:=7193;
sz[920]:=7207;
sz[921]:=7211;
sz[922]:=7213;
sz[923]:=7219;
sz[924]:=7229;
sz[925]:=7237;
sz[926]:=7243;
sz[927]:=7247;
sz[928]:=7253;
sz[929]:=7283;
sz[930]:=7297;
sz[931]:=7307;
sz[932]:=7309;
sz[933]:=7321;
sz[934]:=7331;
sz[935]:=7333;
sz[936]:=7349;
sz[937]:=7351;
sz[938]:=7369;
sz[939]:=7393;
sz[940]:=7411;
sz[941]:=7417;
sz[942]:=7433;
sz[943]:=7451;
sz[944]:=7457;
sz[945]:=7459;
sz[946]:=7477;
sz[947]:=7481;
sz[948]:=7487;
sz[949]:=7489;
sz[950]:=7499;
sz[951]:=7507;
sz[952]:=7517;
sz[953]:=7523;
sz[954]:=7529;
sz[955]:=7537;
sz[956]:=7541;
sz[957]:=7547;
sz[958]:=7549;
sz[959]:=7559;
sz[960]:=7561;
sz[961]:=7573;
sz[962]:=7577;
sz[963]:=7583;
sz[964]:=7589;
sz[965]:=7591;
sz[966]:=7603;
sz[967]:=7607;
sz[968]:=7621;
sz[969]:=7639;
sz[970]:=7643;
sz[971]:=7649;
sz[972]:=7669;
sz[973]:=7673;
sz[974]:=7681;
sz[975]:=7687;
sz[976]:=7691;
sz[977]:=7699;
sz[978]:=7703;
sz[979]:=7717;
sz[980]:=7723;
sz[981]:=7727;
sz[982]:=7741;
sz[983]:=7753;
sz[984]:=7757;
sz[985]:=7759;
sz[986]:=7789;
sz[987]:=7793;
sz[988]:=7817;
sz[989]:=7823;
sz[990]:=7829;
sz[991]:=7841;
sz[992]:=7853;
sz[993]:=7867;
sz[994]:=7873;
sz[995]:=7877;
sz[996]:=7879;
sz[997]:=7883;
sz[998]:=7901;
sz[999]:=7907;
sz[1000]:=7919;
sz[1001]:=7927;
sz[1002]:=7933;
sz[1003]:=7937;
sz[1004]:=7949;
sz[1005]:=7951;
sz[1006]:=7963;
sz[1007]:=7993;
sz[1008]:=8009;
sz[1009]:=8011;
sz[1010]:=8017;
sz[1011]:=8039;
sz[1012]:=8053;
sz[1013]:=8059;
sz[1014]:=8069;
sz[1015]:=8081;
sz[1016]:=8087;
sz[1017]:=8089;
sz[1018]:=8093;
sz[1019]:=8101;
sz[1020]:=8111;
sz[1021]:=8117;
sz[1022]:=8123;
sz[1023]:=8147;
sz[1024]:=8161;
sz[1025]:=8167;
sz[1026]:=8171;
sz[1027]:=8179;
sz[1028]:=8191;
sz[1029]:=8209;
sz[1030]:=8219;
sz[1031]:=8221;
sz[1032]:=8231;
sz[1033]:=8233;
sz[1034]:=8237;
sz[1035]:=8243;
sz[1036]:=8263;
sz[1037]:=8269;
sz[1038]:=8273;
sz[1039]:=8287;
sz[1040]:=8291;
sz[1041]:=8293;
sz[1042]:=8297;
sz[1043]:=8311;
sz[1044]:=8317;
sz[1045]:=8329;
sz[1046]:=8353;
sz[1047]:=8363;
sz[1048]:=8369;
sz[1049]:=8377;
sz[1050]:=8387;
sz[1051]:=8389;
sz[1052]:=8419;
sz[1053]:=8423;
sz[1054]:=8429;
sz[1055]:=8431;
sz[1056]:=8443;
sz[1057]:=8447;
sz[1058]:=8461;
sz[1059]:=8467;
sz[1060]:=8501;
sz[1061]:=8513;
sz[1062]:=8521;
sz[1063]:=8527;
sz[1064]:=8537;
sz[1065]:=8539;
sz[1066]:=8543;
sz[1067]:=8563;
sz[1068]:=8573;
sz[1069]:=8581;
sz[1070]:=8597;
sz[1071]:=8599;
sz[1072]:=8609;
sz[1073]:=8623;
sz[1074]:=8627;
sz[1075]:=8629;
sz[1076]:=8641;
sz[1077]:=8647;
sz[1078]:=8663;
sz[1079]:=8669;
sz[1080]:=8677;
sz[1081]:=8681;
sz[1082]:=8689;
sz[1083]:=8693;
sz[1084]:=8699;
sz[1085]:=8707;
sz[1086]:=8713;
sz[1087]:=8719;
sz[1088]:=8731;
sz[1089]:=8737;
sz[1090]:=8741;
sz[1091]:=8747;
sz[1092]:=8753;
sz[1093]:=8761;
sz[1094]:=8779;
sz[1095]:=8783;
sz[1096]:=8803;
sz[1097]:=8807;
sz[1098]:=8819;
sz[1099]:=8821;
sz[1100]:=8831;
sz[1101]:=8837;
sz[1102]:=8839;
sz[1103]:=8849;
sz[1104]:=8861;
sz[1105]:=8863;
sz[1106]:=8867;
sz[1107]:=8887;
sz[1108]:=8893;
sz[1109]:=8923;
sz[1110]:=8929;
sz[1111]:=8933;
sz[1112]:=8941;
sz[1113]:=8951;
sz[1114]:=8963;
sz[1115]:=8969;
sz[1116]:=8971;
sz[1117]:=8999;
sz[1118]:=9001;
sz[1119]:=9007;
sz[1120]:=9011;
sz[1121]:=9013;
sz[1122]:=9029;
sz[1123]:=9041;
sz[1124]:=9043;
sz[1125]:=9049;
sz[1126]:=9059;
sz[1127]:=9067;
sz[1128]:=9091;
sz[1129]:=9103;
sz[1130]:=9109;
sz[1131]:=9127;
sz[1132]:=9133;
sz[1133]:=9137;
sz[1134]:=9151;
sz[1135]:=9157;
sz[1136]:=9161;
sz[1137]:=9173;
sz[1138]:=9181;
sz[1139]:=9187;
sz[1140]:=9199;
sz[1141]:=9203;
sz[1142]:=9209;
sz[1143]:=9221;
sz[1144]:=9227;
sz[1145]:=9239;
sz[1146]:=9241;
sz[1147]:=9257;
sz[1148]:=9277;
sz[1149]:=9281;
sz[1150]:=9283;
sz[1151]:=9293;
sz[1152]:=9311;
sz[1153]:=9319;
sz[1154]:=9323;
sz[1155]:=9337;
sz[1156]:=9341;
sz[1157]:=9343;
sz[1158]:=9349;
sz[1159]:=9371;
sz[1160]:=9377;
sz[1161]:=9391;
sz[1162]:=9397;
sz[1163]:=9403;
sz[1164]:=9413;
sz[1165]:=9419;
sz[1166]:=9421;
sz[1167]:=9431;
sz[1168]:=9433;
sz[1169]:=9437;
sz[1170]:=9439;
sz[1171]:=9461;
sz[1172]:=9463;
sz[1173]:=9467;
sz[1174]:=9473;
sz[1175]:=9479;
sz[1176]:=9491;
sz[1177]:=9497;
sz[1178]:=9511;
sz[1179]:=9521;
sz[1180]:=9533;
sz[1181]:=9539;
sz[1182]:=9547;
sz[1183]:=9551;
sz[1184]:=9587;
sz[1185]:=9601;
sz[1186]:=9613;
sz[1187]:=9619;
sz[1188]:=9623;
sz[1189]:=9629;
sz[1190]:=9631;
sz[1191]:=9643;
sz[1192]:=9649;
sz[1193]:=9661;
sz[1194]:=9677;
sz[1195]:=9679;
sz[1196]:=9689;
sz[1197]:=9697;
sz[1198]:=9719;
sz[1199]:=9721;
sz[1200]:=9733;
sz[1201]:=9739;
sz[1202]:=9743;
sz[1203]:=9749;
sz[1204]:=9767;
sz[1205]:=9769;
sz[1206]:=9781;
sz[1207]:=9787;
sz[1208]:=9791;
sz[1209]:=9803;
sz[1210]:=9811;
sz[1211]:=9817;
sz[1212]:=9829;
sz[1213]:=9833;
sz[1214]:=9839;
sz[1215]:=9851;
sz[1216]:=9857;
sz[1217]:=9859;
sz[1218]:=9871;
sz[1219]:=9883;
sz[1220]:=9887;
sz[1221]:=9901;
sz[1222]:=9907;
sz[1223]:=9923;
sz[1224]:=9929;
sz[1225]:=9931;
sz[1226]:=9941;
sz[1227]:=9949;
sz[1228]:=9967;
sz[1229]:=9973;
sz[1230]:=10007;
sz[1231]:=10009;
sz[1232]:=10037;
sz[1233]:=10039;
sz[1234]:=10061;
sz[1235]:=10067;
sz[1236]:=10069;
sz[1237]:=10079;
sz[1238]:=10091;
sz[1239]:=10093;
sz[1240]:=10099;
sz[1241]:=10103;
sz[1242]:=10111;
sz[1243]:=10133;
sz[1244]:=10139;
sz[1245]:=10141;
sz[1246]:=10151;
sz[1247]:=10159;
sz[1248]:=10163;
sz[1249]:=10169;
sz[1250]:=10177;
sz[1251]:=10181;
sz[1252]:=10193;
sz[1253]:=10211;
sz[1254]:=10223;
sz[1255]:=10243;
sz[1256]:=10247;
sz[1257]:=10253;
sz[1258]:=10259;
sz[1259]:=10267;
sz[1260]:=10271;
sz[1261]:=10273;
sz[1262]:=10289;
sz[1263]:=10301;
sz[1264]:=10303;
sz[1265]:=10313;
sz[1266]:=10321;
sz[1267]:=10331;
sz[1268]:=10333;
sz[1269]:=10337;
sz[1270]:=10343;
sz[1271]:=10357;
sz[1272]:=10369;
sz[1273]:=10391;
sz[1274]:=10399;
sz[1275]:=10427;
sz[1276]:=10429;
sz[1277]:=10433;
sz[1278]:=10453;
sz[1279]:=10457;
sz[1280]:=10459;
sz[1281]:=10463;
sz[1282]:=10477;
sz[1283]:=10487;
sz[1284]:=10499;
sz[1285]:=10501;
sz[1286]:=10513;
sz[1287]:=10529;
sz[1288]:=10531;
sz[1289]:=10559;
sz[1290]:=10567;
sz[1291]:=10589;
sz[1292]:=10597;
sz[1293]:=10601;
sz[1294]:=10607;
sz[1295]:=10613;
sz[1296]:=10627;
sz[1297]:=10631;
sz[1298]:=10639;
sz[1299]:=10651;
sz[1300]:=10657;
sz[1301]:=10663;
sz[1302]:=10667;
sz[1303]:=10687;
sz[1304]:=10691;
sz[1305]:=10709;
sz[1306]:=10711;
sz[1307]:=10723;
sz[1308]:=10729;
sz[1309]:=10733;
sz[1310]:=10739;
sz[1311]:=10753;
sz[1312]:=10771;
sz[1313]:=10781;
sz[1314]:=10789;
sz[1315]:=10799;
sz[1316]:=10831;
sz[1317]:=10837;
sz[1318]:=10847;
sz[1319]:=10853;
sz[1320]:=10859;
sz[1321]:=10861;
sz[1322]:=10867;
sz[1323]:=10883;
sz[1324]:=10889;
sz[1325]:=10891;
sz[1326]:=10903;
sz[1327]:=10909;
sz[1328]:=10937;
sz[1329]:=10939;
sz[1330]:=10949;
sz[1331]:=10957;
sz[1332]:=10973;
sz[1333]:=10979;
sz[1334]:=10987;
sz[1335]:=10993;
sz[1336]:=11003;
sz[1337]:=11027;
sz[1338]:=11047;
sz[1339]:=11057;
sz[1340]:=11059;
sz[1341]:=11069;
sz[1342]:=11071;
sz[1343]:=11083;
sz[1344]:=11087;
sz[1345]:=11093;
sz[1346]:=11113;
sz[1347]:=11117;
sz[1348]:=11119;
sz[1349]:=11131;
sz[1350]:=11149;
sz[1351]:=11159;
sz[1352]:=11161;
sz[1353]:=11171;
sz[1354]:=11173;
sz[1355]:=11177;
sz[1356]:=11197;
sz[1357]:=11213;
sz[1358]:=11239;
sz[1359]:=11243;
sz[1360]:=11251;
sz[1361]:=11257;
sz[1362]:=11261;
sz[1363]:=11273;
sz[1364]:=11279;
sz[1365]:=11287;
sz[1366]:=11299;
sz[1367]:=11311;
sz[1368]:=11317;
sz[1369]:=11321;
sz[1370]:=11329;
sz[1371]:=11351;
sz[1372]:=11353;
sz[1373]:=11369;
sz[1374]:=11383;
sz[1375]:=11393;
sz[1376]:=11399;
sz[1377]:=11411;
sz[1378]:=11423;
sz[1379]:=11437;
sz[1380]:=11443;
sz[1381]:=11447;
sz[1382]:=11467;
sz[1383]:=11471;
sz[1384]:=11483;
sz[1385]:=11489;
sz[1386]:=11491;
sz[1387]:=11497;
sz[1388]:=11503;
sz[1389]:=11519;
sz[1390]:=11527;
sz[1391]:=11549;
sz[1392]:=11551;
sz[1393]:=11579;
sz[1394]:=11587;
sz[1395]:=11593;
sz[1396]:=11597;
sz[1397]:=11617;
sz[1398]:=11621;
sz[1399]:=11633;
sz[1400]:=11657;
sz[1401]:=11677;
sz[1402]:=11681;
sz[1403]:=11689;
sz[1404]:=11699;
sz[1405]:=11701;
sz[1406]:=11717;
sz[1407]:=11719;
sz[1408]:=11731;
sz[1409]:=11743;
sz[1410]:=11777;
sz[1411]:=11779;
sz[1412]:=11783;
sz[1413]:=11789;
sz[1414]:=11801;
sz[1415]:=11807;
sz[1416]:=11813;
sz[1417]:=11821;
sz[1418]:=11827;
sz[1419]:=11831;
sz[1420]:=11833;
sz[1421]:=11839;
sz[1422]:=11863;
sz[1423]:=11867;
sz[1424]:=11887;
sz[1425]:=11897;
sz[1426]:=11903;
sz[1427]:=11909;
sz[1428]:=11923;
sz[1429]:=11927;
sz[1430]:=11933;
sz[1431]:=11939;
sz[1432]:=11941;
sz[1433]:=11953;
sz[1434]:=11959;
sz[1435]:=11969;
sz[1436]:=11971;
sz[1437]:=11981;
sz[1438]:=11987;
sz[1439]:=12007;
sz[1440]:=12011;
sz[1441]:=12037;
sz[1442]:=12041;
sz[1443]:=12043;
sz[1444]:=12049;
sz[1445]:=12071;
sz[1446]:=12073;
sz[1447]:=12097;
sz[1448]:=12101;
sz[1449]:=12107;
sz[1450]:=12109;
sz[1451]:=12113;
sz[1452]:=12119;
sz[1453]:=12143;
sz[1454]:=12149;
sz[1455]:=12157;
sz[1456]:=12161;
sz[1457]:=12163;
sz[1458]:=12197;
sz[1459]:=12203;
sz[1460]:=12211;
sz[1461]:=12227;
sz[1462]:=12239;
sz[1463]:=12241;
sz[1464]:=12251;
sz[1465]:=12253;
sz[1466]:=12263;
sz[1467]:=12269;
sz[1468]:=12277;
sz[1469]:=12281;
sz[1470]:=12289;
sz[1471]:=12301;
sz[1472]:=12323;
sz[1473]:=12329;
sz[1474]:=12343;
sz[1475]:=12347;
sz[1476]:=12373;
sz[1477]:=12377;
sz[1478]:=12379;
sz[1479]:=12391;
sz[1480]:=12401;
sz[1481]:=12409;
sz[1482]:=12413;
sz[1483]:=12421;
sz[1484]:=12433;
sz[1485]:=12437;
sz[1486]:=12451;
sz[1487]:=12457;
sz[1488]:=12473;
sz[1489]:=12479;
sz[1490]:=12487;
sz[1491]:=12491;
sz[1492]:=12497;
sz[1493]:=12503;
sz[1494]:=12511;
sz[1495]:=12517;
sz[1496]:=12527;
sz[1497]:=12539;
sz[1498]:=12541;
sz[1499]:=12547;
sz[1500]:=12553;
sz[1501]:=12569;
sz[1502]:=12577;
sz[1503]:=12583;
sz[1504]:=12589;
sz[1505]:=12601;
sz[1506]:=12611;
sz[1507]:=12613;
sz[1508]:=12619;
sz[1509]:=12637;
sz[1510]:=12641;
sz[1511]:=12647;
sz[1512]:=12653;
sz[1513]:=12659;
sz[1514]:=12671;
sz[1515]:=12689;
sz[1516]:=12697;
sz[1517]:=12703;
sz[1518]:=12713;
sz[1519]:=12721;
sz[1520]:=12739;
sz[1521]:=12743;
sz[1522]:=12757;
sz[1523]:=12763;
sz[1524]:=12781;
sz[1525]:=12791;
sz[1526]:=12799;
sz[1527]:=12809;
sz[1528]:=12821;
sz[1529]:=12823;
sz[1530]:=12829;
sz[1531]:=12841;
sz[1532]:=12853;
sz[1533]:=12889;
sz[1534]:=12893;
sz[1535]:=12899;
sz[1536]:=12907;
sz[1537]:=12911;
sz[1538]:=12917;
sz[1539]:=12919;
sz[1540]:=12923;
sz[1541]:=12941;
sz[1542]:=12953;
sz[1543]:=12959;
sz[1544]:=12967;
sz[1545]:=12973;
sz[1546]:=12979;
sz[1547]:=12983;
sz[1548]:=13001;
sz[1549]:=13003;
sz[1550]:=13007;
sz[1551]:=13009;
sz[1552]:=13033;
sz[1553]:=13037;
sz[1554]:=13043;
sz[1555]:=13049;
sz[1556]:=13063;
sz[1557]:=13093;
sz[1558]:=13099;
sz[1559]:=13103;
sz[1560]:=13109;
sz[1561]:=13121;
sz[1562]:=13127;
sz[1563]:=13147;
sz[1564]:=13151;
sz[1565]:=13159;
sz[1566]:=13163;
sz[1567]:=13171;
sz[1568]:=13177;
sz[1569]:=13183;
sz[1570]:=13187;
sz[1571]:=13217;
sz[1572]:=13219;
sz[1573]:=13229;
sz[1574]:=13241;
sz[1575]:=13249;
sz[1576]:=13259;
sz[1577]:=13267;
sz[1578]:=13291;
sz[1579]:=13297;
sz[1580]:=13309;
sz[1581]:=13313;
sz[1582]:=13327;
sz[1583]:=13331;
sz[1584]:=13337;
sz[1585]:=13339;
sz[1586]:=13367;
sz[1587]:=13381;
sz[1588]:=13397;
sz[1589]:=13399;
sz[1590]:=13411;
sz[1591]:=13417;
sz[1592]:=13421;
sz[1593]:=13441;
sz[1594]:=13451;
sz[1595]:=13457;
sz[1596]:=13463;
sz[1597]:=13469;
sz[1598]:=13477;
sz[1599]:=13487;
sz[1600]:=13499;
sz[1601]:=13513;
sz[1602]:=13523;
sz[1603]:=13537;
sz[1604]:=13553;
sz[1605]:=13567;
sz[1606]:=13577;
sz[1607]:=13591;
sz[1608]:=13597;
sz[1609]:=13613;
sz[1610]:=13619;
sz[1611]:=13627;
sz[1612]:=13633;
sz[1613]:=13649;
sz[1614]:=13669;
sz[1615]:=13679;
sz[1616]:=13681;
sz[1617]:=13687;
sz[1618]:=13691;
sz[1619]:=13693;
sz[1620]:=13697;
sz[1621]:=13709;
sz[1622]:=13711;
sz[1623]:=13721;
sz[1624]:=13723;
sz[1625]:=13729;
sz[1626]:=13751;
sz[1627]:=13757;
sz[1628]:=13759;
sz[1629]:=13763;
sz[1630]:=13781;
sz[1631]:=13789;
sz[1632]:=13799;
sz[1633]:=13807;
sz[1634]:=13829;
sz[1635]:=13831;
sz[1636]:=13841;
sz[1637]:=13859;
sz[1638]:=13873;
sz[1639]:=13877;
sz[1640]:=13879;
sz[1641]:=13883;
sz[1642]:=13901;
sz[1643]:=13903;
sz[1644]:=13907;
sz[1645]:=13913;
sz[1646]:=13921;
sz[1647]:=13931;
sz[1648]:=13933;
sz[1649]:=13963;
sz[1650]:=13967;
sz[1651]:=13997;
sz[1652]:=13999;
sz[1653]:=14009;
sz[1654]:=14011;
sz[1655]:=14029;
sz[1656]:=14033;
sz[1657]:=14051;
sz[1658]:=14057;
sz[1659]:=14071;
sz[1660]:=14081;
sz[1661]:=14083;
sz[1662]:=14087;
sz[1663]:=14107;
sz[1664]:=14143;
sz[1665]:=14149;
sz[1666]:=14153;
sz[1667]:=14159;
sz[1668]:=14173;
sz[1669]:=14177;
sz[1670]:=14197;
sz[1671]:=14207;
sz[1672]:=14221;
sz[1673]:=14243;
sz[1674]:=14249;
sz[1675]:=14251;
sz[1676]:=14281;
sz[1677]:=14293;
sz[1678]:=14303;
sz[1679]:=14321;
sz[1680]:=14323;
sz[1681]:=14327;
sz[1682]:=14341;
sz[1683]:=14347;
sz[1684]:=14369;
sz[1685]:=14387;
sz[1686]:=14389;
sz[1687]:=14401;
sz[1688]:=14407;
sz[1689]:=14411;
sz[1690]:=14419;
sz[1691]:=14423;
sz[1692]:=14431;
sz[1693]:=14437;
sz[1694]:=14447;
sz[1695]:=14449;
sz[1696]:=14461;
sz[1697]:=14479;
sz[1698]:=14489;
sz[1699]:=14503;
sz[1700]:=14519;
sz[1701]:=14533;
sz[1702]:=14537;
sz[1703]:=14543;
sz[1704]:=14549;
sz[1705]:=14551;
sz[1706]:=14557;
sz[1707]:=14561;
sz[1708]:=14563;
sz[1709]:=14591;
sz[1710]:=14593;
sz[1711]:=14621;
sz[1712]:=14627;
sz[1713]:=14629;
sz[1714]:=14633;
sz[1715]:=14639;
sz[1716]:=14653;
sz[1717]:=14657;
sz[1718]:=14669;
sz[1719]:=14683;
sz[1720]:=14699;
sz[1721]:=14713;
sz[1722]:=14717;
sz[1723]:=14723;
sz[1724]:=14731;
sz[1725]:=14737;
sz[1726]:=14741;
sz[1727]:=14747;
sz[1728]:=14753;
sz[1729]:=14759;
sz[1730]:=14767;
sz[1731]:=14771;
sz[1732]:=14779;
sz[1733]:=14783;
sz[1734]:=14797;
sz[1735]:=14813;
sz[1736]:=14821;
sz[1737]:=14827;
sz[1738]:=14831;
sz[1739]:=14843;
sz[1740]:=14851;
sz[1741]:=14867;
sz[1742]:=14869;
sz[1743]:=14879;
sz[1744]:=14887;
sz[1745]:=14891;
sz[1746]:=14897;
sz[1747]:=14923;
sz[1748]:=14929;
sz[1749]:=14939;
sz[1750]:=14947;
sz[1751]:=14951;
sz[1752]:=14957;
sz[1753]:=14969;
sz[1754]:=14983;
sz[1755]:=15013;
sz[1756]:=15017;
sz[1757]:=15031;
sz[1758]:=15053;
sz[1759]:=15061;
sz[1760]:=15073;
sz[1761]:=15077;
sz[1762]:=15083;
sz[1763]:=15091;
sz[1764]:=15101;
sz[1765]:=15107;
sz[1766]:=15121;
sz[1767]:=15131;
sz[1768]:=15137;
sz[1769]:=15139;
sz[1770]:=15149;
sz[1771]:=15161;
sz[1772]:=15173;
sz[1773]:=15187;
sz[1774]:=15193;
sz[1775]:=15199;
sz[1776]:=15217;
sz[1777]:=15227;
sz[1778]:=15233;
sz[1779]:=15241;
sz[1780]:=15259;
sz[1781]:=15263;
sz[1782]:=15269;
sz[1783]:=15271;
sz[1784]:=15277;
sz[1785]:=15287;
sz[1786]:=15289;
sz[1787]:=15299;
sz[1788]:=15307;
sz[1789]:=15313;
sz[1790]:=15319;
sz[1791]:=15329;
sz[1792]:=15331;
sz[1793]:=15349;
sz[1794]:=15359;
sz[1795]:=15361;
sz[1796]:=15373;
sz[1797]:=15377;
sz[1798]:=15383;
sz[1799]:=15391;
sz[1800]:=15401;
sz[1801]:=15413;
sz[1802]:=15427;
sz[1803]:=15439;
sz[1804]:=15443;
sz[1805]:=15451;
sz[1806]:=15461;
sz[1807]:=15467;
sz[1808]:=15473;
sz[1809]:=15493;
sz[1810]:=15497;
sz[1811]:=15511;
sz[1812]:=15527;
sz[1813]:=15541;
sz[1814]:=15551;
sz[1815]:=15559;
sz[1816]:=15569;
sz[1817]:=15581;
sz[1818]:=15583;
sz[1819]:=15601;
sz[1820]:=15607;
sz[1821]:=15619;
sz[1822]:=15629;
sz[1823]:=15641;
sz[1824]:=15643;
sz[1825]:=15647;
sz[1826]:=15649;
sz[1827]:=15661;
sz[1828]:=15667;
sz[1829]:=15671;
sz[1830]:=15679;
sz[1831]:=15683;
sz[1832]:=15727;
sz[1833]:=15731;
sz[1834]:=15733;
sz[1835]:=15737;
sz[1836]:=15739;
sz[1837]:=15749;
sz[1838]:=15761;
sz[1839]:=15767;
sz[1840]:=15773;
sz[1841]:=15787;
sz[1842]:=15791;
sz[1843]:=15797;
sz[1844]:=15803;
sz[1845]:=15809;
sz[1846]:=15817;
sz[1847]:=15823;
sz[1848]:=15859;
sz[1849]:=15877;
sz[1850]:=15881;
sz[1851]:=15887;
sz[1852]:=15889;
sz[1853]:=15901;
sz[1854]:=15907;
sz[1855]:=15913;
sz[1856]:=15919;
sz[1857]:=15923;
sz[1858]:=15937;
sz[1859]:=15959;
sz[1860]:=15971;
sz[1861]:=15973;
sz[1862]:=15991;
sz[1863]:=16001;
sz[1864]:=16007;
sz[1865]:=16033;
sz[1866]:=16057;
sz[1867]:=16061;
sz[1868]:=16063;
sz[1869]:=16067;
sz[1870]:=16069;
sz[1871]:=16073;
sz[1872]:=16087;
sz[1873]:=16091;
sz[1874]:=16097;
sz[1875]:=16103;
sz[1876]:=16111;
sz[1877]:=16127;
sz[1878]:=16139;
sz[1879]:=16141;
sz[1880]:=16183;
sz[1881]:=16187;
sz[1882]:=16189;
sz[1883]:=16193;
sz[1884]:=16217;
sz[1885]:=16223;
sz[1886]:=16229;
sz[1887]:=16231;
sz[1888]:=16249;
sz[1889]:=16253;
sz[1890]:=16267;
sz[1891]:=16273;
sz[1892]:=16301;
sz[1893]:=16319;
sz[1894]:=16333;
sz[1895]:=16339;
sz[1896]:=16349;
sz[1897]:=16361;
sz[1898]:=16363;
sz[1899]:=16369;
sz[1900]:=16381;
sz[1901]:=16411;
sz[1902]:=16417;
sz[1903]:=16421;
sz[1904]:=16427;
sz[1905]:=16433;
sz[1906]:=16447;
sz[1907]:=16451;
sz[1908]:=16453;
sz[1909]:=16477;
sz[1910]:=16481;
sz[1911]:=16487;
sz[1912]:=16493;
sz[1913]:=16519;
sz[1914]:=16529;
sz[1915]:=16547;
sz[1916]:=16553;
sz[1917]:=16561;
sz[1918]:=16567;
sz[1919]:=16573;
sz[1920]:=16603;
sz[1921]:=16607;
sz[1922]:=16619;
sz[1923]:=16631;
sz[1924]:=16633;
sz[1925]:=16649;
sz[1926]:=16651;
sz[1927]:=16657;
sz[1928]:=16661;
sz[1929]:=16673;
sz[1930]:=16691;
sz[1931]:=16693;
sz[1932]:=16699;
sz[1933]:=16703;
sz[1934]:=16729;
sz[1935]:=16741;
sz[1936]:=16747;
sz[1937]:=16759;
sz[1938]:=16763;
sz[1939]:=16787;
sz[1940]:=16811;
sz[1941]:=16823;
sz[1942]:=16829;
sz[1943]:=16831;
sz[1944]:=16843;
sz[1945]:=16871;
sz[1946]:=16879;
sz[1947]:=16883;
sz[1948]:=16889;
sz[1949]:=16901;
sz[1950]:=16903;
sz[1951]:=16921;
sz[1952]:=16927;
sz[1953]:=16931;
sz[1954]:=16937;
sz[1955]:=16943;
sz[1956]:=16963;
sz[1957]:=16979;
sz[1958]:=16981;
sz[1959]:=16987;
sz[1960]:=16993;
sz[1961]:=17011;
sz[1962]:=17021;
sz[1963]:=17027;
sz[1964]:=17029;
sz[1965]:=17033;
sz[1966]:=17041;
sz[1967]:=17047;
sz[1968]:=17053;
sz[1969]:=17077;
sz[1970]:=17093;
sz[1971]:=17099;
sz[1972]:=17107;
sz[1973]:=17117;
sz[1974]:=17123;
sz[1975]:=17137;
sz[1976]:=17159;
sz[1977]:=17167;
sz[1978]:=17183;
sz[1979]:=17189;
sz[1980]:=17191;
sz[1981]:=17203;
sz[1982]:=17207;
sz[1983]:=17209;
sz[1984]:=17231;
sz[1985]:=17239;
sz[1986]:=17257;
sz[1987]:=17291;
sz[1988]:=17293;
sz[1989]:=17299;
sz[1990]:=17317;
sz[1991]:=17321;
sz[1992]:=17327;
sz[1993]:=17333;
sz[1994]:=17341;
sz[1995]:=17351;
sz[1996]:=17359;
sz[1997]:=17377;
sz[1998]:=17383;
sz[1999]:=17387;
sz[2000]:=17389;
sz[2001]:=17393;
sz[2002]:=17401;
sz[2003]:=17417;
sz[2004]:=17419;
sz[2005]:=17431;
sz[2006]:=17443;
sz[2007]:=17449;
sz[2008]:=17467;
sz[2009]:=17471;
sz[2010]:=17477;
sz[2011]:=17483;
sz[2012]:=17489;
sz[2013]:=17491;
sz[2014]:=17497;
sz[2015]:=17509;
sz[2016]:=17519;
sz[2017]:=17539;
sz[2018]:=17551;
sz[2019]:=17569;
sz[2020]:=17573;
sz[2021]:=17579;
sz[2022]:=17581;
sz[2023]:=17597;
sz[2024]:=17599;
sz[2025]:=17609;
sz[2026]:=17623;
sz[2027]:=17627;
sz[2028]:=17657;
sz[2029]:=17659;
sz[2030]:=17669;
sz[2031]:=17681;
sz[2032]:=17683;
sz[2033]:=17707;
sz[2034]:=17713;
sz[2035]:=17729;
sz[2036]:=17737;
sz[2037]:=17747;
sz[2038]:=17749;
sz[2039]:=17761;
sz[2040]:=17783;
sz[2041]:=17789;
sz[2042]:=17791;
sz[2043]:=17807;
sz[2044]:=17827;
sz[2045]:=17837;
sz[2046]:=17839;
sz[2047]:=17851;
sz[2048]:=17863;
sz[2049]:=17881;
sz[2050]:=17891;
sz[2051]:=17903;
sz[2052]:=17909;
sz[2053]:=17911;
sz[2054]:=17921;
sz[2055]:=17923;
sz[2056]:=17929;
sz[2057]:=17939;
sz[2058]:=17957;
sz[2059]:=17959;
sz[2060]:=17971;
sz[2061]:=17977;
sz[2062]:=17981;
sz[2063]:=17987;
sz[2064]:=17989;
sz[2065]:=18013;
sz[2066]:=18041;
sz[2067]:=18043;
sz[2068]:=18047;
sz[2069]:=18049;
sz[2070]:=18059;
sz[2071]:=18061;
sz[2072]:=18077;
sz[2073]:=18089;
sz[2074]:=18097;
sz[2075]:=18119;
sz[2076]:=18121;
sz[2077]:=18127;
sz[2078]:=18131;
sz[2079]:=18133;
sz[2080]:=18143;
sz[2081]:=18149;
sz[2082]:=18169;
sz[2083]:=18181;
sz[2084]:=18191;
sz[2085]:=18199;
sz[2086]:=18211;
sz[2087]:=18217;
sz[2088]:=18223;
sz[2089]:=18229;
sz[2090]:=18233;
sz[2091]:=18251;
sz[2092]:=18253;
sz[2093]:=18257;
sz[2094]:=18269;
sz[2095]:=18287;
sz[2096]:=18289;
sz[2097]:=18301;
sz[2098]:=18307;
sz[2099]:=18311;
sz[2100]:=18313;
sz[2101]:=18329;
sz[2102]:=18341;
sz[2103]:=18353;
sz[2104]:=18367;
sz[2105]:=18371;
sz[2106]:=18379;
sz[2107]:=18397;
sz[2108]:=18401;
sz[2109]:=18413;
sz[2110]:=18427;
sz[2111]:=18433;
sz[2112]:=18439;
sz[2113]:=18443;
sz[2114]:=18451;
sz[2115]:=18457;
sz[2116]:=18461;
sz[2117]:=18481;
sz[2118]:=18493;
sz[2119]:=18503;
sz[2120]:=18517;
sz[2121]:=18521;
sz[2122]:=18523;
sz[2123]:=18539;
sz[2124]:=18541;
sz[2125]:=18553;
sz[2126]:=18583;
sz[2127]:=18587;
sz[2128]:=18593;
sz[2129]:=18617;
sz[2130]:=18637;
sz[2131]:=18661;
sz[2132]:=18671;
sz[2133]:=18679;
sz[2134]:=18691;
sz[2135]:=18701;
sz[2136]:=18713;
sz[2137]:=18719;
sz[2138]:=18731;
sz[2139]:=18743;
sz[2140]:=18749;
sz[2141]:=18757;
sz[2142]:=18773;
sz[2143]:=18787;
sz[2144]:=18793;
sz[2145]:=18797;
sz[2146]:=18803;
sz[2147]:=18839;
sz[2148]:=18859;
sz[2149]:=18869;
sz[2150]:=18899;
sz[2151]:=18911;
sz[2152]:=18913;
sz[2153]:=18917;
sz[2154]:=18919;
sz[2155]:=18947;
sz[2156]:=18959;
sz[2157]:=18973;
sz[2158]:=18979;
sz[2159]:=19001;
sz[2160]:=19009;
sz[2161]:=19013;
sz[2162]:=19031;
sz[2163]:=19037;
sz[2164]:=19051;
sz[2165]:=19069;
sz[2166]:=19073;
sz[2167]:=19079;
sz[2168]:=19081;
sz[2169]:=19087;
sz[2170]:=19121;
sz[2171]:=19139;
sz[2172]:=19141;
sz[2173]:=19157;
sz[2174]:=19163;
sz[2175]:=19181;
sz[2176]:=19183;
sz[2177]:=19207;
sz[2178]:=19211;
sz[2179]:=19213;
sz[2180]:=19219;
sz[2181]:=19231;
sz[2182]:=19237;
sz[2183]:=19249;
sz[2184]:=19259;
sz[2185]:=19267;
sz[2186]:=19273;
sz[2187]:=19289;
sz[2188]:=19301;
sz[2189]:=19309;
sz[2190]:=19319;
sz[2191]:=19333;
sz[2192]:=19373;
sz[2193]:=19379;
sz[2194]:=19381;
sz[2195]:=19387;
sz[2196]:=19391;
sz[2197]:=19403;
sz[2198]:=19417;
sz[2199]:=19421;
sz[2200]:=19423;
sz[2201]:=19427;
sz[2202]:=19429;
sz[2203]:=19433;
sz[2204]:=19441;
sz[2205]:=19447;
sz[2206]:=19457;
sz[2207]:=19463;
sz[2208]:=19469;
sz[2209]:=19471;
sz[2210]:=19477;
sz[2211]:=19483;
sz[2212]:=19489;
sz[2213]:=19501;
sz[2214]:=19507;
sz[2215]:=19531;
sz[2216]:=19541;
sz[2217]:=19543;
sz[2218]:=19553;
sz[2219]:=19559;
sz[2220]:=19571;
sz[2221]:=19577;
sz[2222]:=19583;
sz[2223]:=19597;
sz[2224]:=19603;
sz[2225]:=19609;
sz[2226]:=19661;
sz[2227]:=19681;
sz[2228]:=19687;
sz[2229]:=19697;
sz[2230]:=19699;
sz[2231]:=19709;
sz[2232]:=19717;
sz[2233]:=19727;
sz[2234]:=19739;
sz[2235]:=19751;
sz[2236]:=19753;
sz[2237]:=19759;
sz[2238]:=19763;
sz[2239]:=19777;
sz[2240]:=19793;
sz[2241]:=19801;
sz[2242]:=19813;
sz[2243]:=19819;
sz[2244]:=19841;
sz[2245]:=19843;
sz[2246]:=19853;
sz[2247]:=19861;
sz[2248]:=19867;
sz[2249]:=19889;
sz[2250]:=19891;
sz[2251]:=19913;
sz[2252]:=19919;
sz[2253]:=19927;
sz[2254]:=19937;
sz[2255]:=19949;
sz[2256]:=19961;
sz[2257]:=19963;
sz[2258]:=19973;
sz[2259]:=19979;
sz[2260]:=19991;
sz[2261]:=19993;
sz[2262]:=19997;
sz[2263]:=20011;
sz[2264]:=20021;
sz[2265]:=20023;
sz[2266]:=20029;
sz[2267]:=20047;
sz[2268]:=20051;
sz[2269]:=20063;
sz[2270]:=20071;
sz[2271]:=20089;
sz[2272]:=20101;
sz[2273]:=20107;
sz[2274]:=20113;
sz[2275]:=20117;
sz[2276]:=20123;
sz[2277]:=20129;
sz[2278]:=20143;
sz[2279]:=20147;
sz[2280]:=20149;
sz[2281]:=20161;
sz[2282]:=20173;
sz[2283]:=20177;
sz[2284]:=20183;
sz[2285]:=20201;
sz[2286]:=20219;
sz[2287]:=20231;
sz[2288]:=20233;
sz[2289]:=20249;
sz[2290]:=20261;
sz[2291]:=20269;
sz[2292]:=20287;
sz[2293]:=20297;
sz[2294]:=20323;
sz[2295]:=20327;
sz[2296]:=20333;
sz[2297]:=20341;
sz[2298]:=20347;
sz[2299]:=20353;
sz[2300]:=20357;
sz[2301]:=20359;
sz[2302]:=20369;
sz[2303]:=20389;
sz[2304]:=20393;
sz[2305]:=20399;
sz[2306]:=20407;
sz[2307]:=20411;
sz[2308]:=20431;
sz[2309]:=20441;
sz[2310]:=20443;
sz[2311]:=20477;
sz[2312]:=20479;
sz[2313]:=20483;
sz[2314]:=20507;
sz[2315]:=20509;
sz[2316]:=20521;
sz[2317]:=20533;
sz[2318]:=20543;
sz[2319]:=20549;
sz[2320]:=20551;
sz[2321]:=20563;
sz[2322]:=20593;
sz[2323]:=20599;
sz[2324]:=20611;
sz[2325]:=20627;
sz[2326]:=20639;
sz[2327]:=20641;
sz[2328]:=20663;
sz[2329]:=20681;
sz[2330]:=20693;
sz[2331]:=20707;
sz[2332]:=20717;
sz[2333]:=20719;
sz[2334]:=20731;
sz[2335]:=20743;
sz[2336]:=20747;
sz[2337]:=20749;
sz[2338]:=20753;
sz[2339]:=20759;
sz[2340]:=20771;
sz[2341]:=20773;
sz[2342]:=20789;
sz[2343]:=20807;
sz[2344]:=20809;
sz[2345]:=20849;
sz[2346]:=20857;
sz[2347]:=20873;
sz[2348]:=20879;
sz[2349]:=20887;
sz[2350]:=20897;
sz[2351]:=20899;
sz[2352]:=20903;
sz[2353]:=20921;
sz[2354]:=20929;
sz[2355]:=20939;
sz[2356]:=20947;
sz[2357]:=20959;
sz[2358]:=20963;
sz[2359]:=20981;
sz[2360]:=20983;
sz[2361]:=21001;
sz[2362]:=21011;
sz[2363]:=21013;
sz[2364]:=21017;
sz[2365]:=21019;
sz[2366]:=21023;
sz[2367]:=21031;
sz[2368]:=21059;
sz[2369]:=21061;
sz[2370]:=21067;
sz[2371]:=21089;
sz[2372]:=21101;
sz[2373]:=21107;
sz[2374]:=21121;
sz[2375]:=21139;
sz[2376]:=21143;
sz[2377]:=21149;
sz[2378]:=21157;
sz[2379]:=21163;
sz[2380]:=21169;
sz[2381]:=21179;
sz[2382]:=21187;
sz[2383]:=21191;
sz[2384]:=21193;
sz[2385]:=21211;
sz[2386]:=21221;
sz[2387]:=21227;
sz[2388]:=21247;
sz[2389]:=21269;
sz[2390]:=21277;
sz[2391]:=21283;
sz[2392]:=21313;
sz[2393]:=21317;
sz[2394]:=21319;
sz[2395]:=21323;
sz[2396]:=21341;
sz[2397]:=21347;
sz[2398]:=21377;
sz[2399]:=21379;
sz[2400]:=21383;
sz[2401]:=21391;
sz[2402]:=21397;
sz[2403]:=21401;
sz[2404]:=21407;
sz[2405]:=21419;
sz[2406]:=21433;
sz[2407]:=21467;
sz[2408]:=21481;
sz[2409]:=21487;
sz[2410]:=21491;
sz[2411]:=21493;
sz[2412]:=21499;
sz[2413]:=21503;
sz[2414]:=21517;
sz[2415]:=21521;
sz[2416]:=21523;
sz[2417]:=21529;
sz[2418]:=21557;
sz[2419]:=21559;
sz[2420]:=21563;
sz[2421]:=21569;
sz[2422]:=21577;
sz[2423]:=21587;
sz[2424]:=21589;
sz[2425]:=21599;
sz[2426]:=21601;
sz[2427]:=21611;
sz[2428]:=21613;
sz[2429]:=21617;
sz[2430]:=21647;
sz[2431]:=21649;
sz[2432]:=21661;
sz[2433]:=21673;
sz[2434]:=21683;
sz[2435]:=21701;
sz[2436]:=21713;
sz[2437]:=21727;
sz[2438]:=21737;
sz[2439]:=21739;
sz[2440]:=21751;
sz[2441]:=21757;
sz[2442]:=21767;
sz[2443]:=21773;
sz[2444]:=21787;
sz[2445]:=21799;
sz[2446]:=21803;
sz[2447]:=21817;
sz[2448]:=21821;
sz[2449]:=21839;
sz[2450]:=21841;
sz[2451]:=21851;
sz[2452]:=21859;
sz[2453]:=21863;
sz[2454]:=21871;
sz[2455]:=21881;
sz[2456]:=21893;
sz[2457]:=21911;
sz[2458]:=21929;
sz[2459]:=21937;
sz[2460]:=21943;
sz[2461]:=21961;
sz[2462]:=21977;
sz[2463]:=21991;
sz[2464]:=21997;
sz[2465]:=22003;
sz[2466]:=22013;
sz[2467]:=22027;
sz[2468]:=22031;
sz[2469]:=22037;
sz[2470]:=22039;
sz[2471]:=22051;
sz[2472]:=22063;
sz[2473]:=22067;
sz[2474]:=22073;
sz[2475]:=22079;
sz[2476]:=22091;
sz[2477]:=22093;
sz[2478]:=22109;
sz[2479]:=22111;
sz[2480]:=22123;
sz[2481]:=22129;
sz[2482]:=22133;
sz[2483]:=22147;
sz[2484]:=22153;
sz[2485]:=22157;
sz[2486]:=22159;
sz[2487]:=22171;
sz[2488]:=22189;
sz[2489]:=22193;
sz[2490]:=22229;
sz[2491]:=22247;
sz[2492]:=22259;
sz[2493]:=22271;
sz[2494]:=22273;
sz[2495]:=22277;
sz[2496]:=22279;
sz[2497]:=22283;
sz[2498]:=22291;
sz[2499]:=22303;
sz[2500]:=22307;
sz[2501]:=22343;
sz[2502]:=22349;
sz[2503]:=22367;
sz[2504]:=22369;
sz[2505]:=22381;
sz[2506]:=22391;
sz[2507]:=22397;
sz[2508]:=22409;
sz[2509]:=22433;
sz[2510]:=22441;
sz[2511]:=22447;
sz[2512]:=22453;
sz[2513]:=22469;
sz[2514]:=22481;
sz[2515]:=22483;
sz[2516]:=22501;
sz[2517]:=22511;
sz[2518]:=22531;
sz[2519]:=22541;
sz[2520]:=22543;
sz[2521]:=22549;
sz[2522]:=22567;
sz[2523]:=22571;
sz[2524]:=22573;
sz[2525]:=22613;
sz[2526]:=22619;
sz[2527]:=22621;
sz[2528]:=22637;
sz[2529]:=22639;
sz[2530]:=22643;
sz[2531]:=22651;
sz[2532]:=22669;
sz[2533]:=22679;
sz[2534]:=22691;
sz[2535]:=22697;
sz[2536]:=22699;
sz[2537]:=22709;
sz[2538]:=22717;
sz[2539]:=22721;
sz[2540]:=22727;
sz[2541]:=22739;
sz[2542]:=22741;
sz[2543]:=22751;
sz[2544]:=22769;
sz[2545]:=22777;
sz[2546]:=22783;
sz[2547]:=22787;
sz[2548]:=22807;
sz[2549]:=22811;
sz[2550]:=22817;
sz[2551]:=22853;
sz[2552]:=22859;
sz[2553]:=22861;
sz[2554]:=22871;
sz[2555]:=22877;
sz[2556]:=22901;
sz[2557]:=22907;
sz[2558]:=22921;
sz[2559]:=22937;
sz[2560]:=22943;
sz[2561]:=22961;
sz[2562]:=22963;
sz[2563]:=22973;
sz[2564]:=22993;
sz[2565]:=23003;
sz[2566]:=23011;
sz[2567]:=23017;
sz[2568]:=23021;
sz[2569]:=23027;
sz[2570]:=23029;
sz[2571]:=23039;
sz[2572]:=23041;
sz[2573]:=23053;
sz[2574]:=23057;
sz[2575]:=23059;
sz[2576]:=23063;
sz[2577]:=23071;
sz[2578]:=23081;
sz[2579]:=23087;
sz[2580]:=23099;
sz[2581]:=23117;
sz[2582]:=23131;
sz[2583]:=23143;
sz[2584]:=23159;
sz[2585]:=23167;
sz[2586]:=23173;
sz[2587]:=23189;
sz[2588]:=23197;
sz[2589]:=23201;
sz[2590]:=23203;
sz[2591]:=23209;
sz[2592]:=23227;
sz[2593]:=23251;
sz[2594]:=23269;
sz[2595]:=23279;
sz[2596]:=23291;
sz[2597]:=23293;
sz[2598]:=23297;
sz[2599]:=23311;
sz[2600]:=23321;
sz[2601]:=23327;
sz[2602]:=23333;
sz[2603]:=23339;
sz[2604]:=23357;
sz[2605]:=23369;
sz[2606]:=23371;
sz[2607]:=23399;
sz[2608]:=23417;
sz[2609]:=23431;
sz[2610]:=23447;
sz[2611]:=23459;
sz[2612]:=23473;
sz[2613]:=23497;
sz[2614]:=23509;
sz[2615]:=23531;
sz[2616]:=23537;
sz[2617]:=23539;
sz[2618]:=23549;
sz[2619]:=23557;
sz[2620]:=23561;
sz[2621]:=23563;
sz[2622]:=23567;
sz[2623]:=23581;
sz[2624]:=23593;
sz[2625]:=23599;
sz[2626]:=23603;
sz[2627]:=23609;
sz[2628]:=23623;
sz[2629]:=23627;
sz[2630]:=23629;
sz[2631]:=23633;
sz[2632]:=23663;
sz[2633]:=23669;
sz[2634]:=23671;
sz[2635]:=23677;
sz[2636]:=23687;
sz[2637]:=23689;
sz[2638]:=23719;
sz[2639]:=23741;
sz[2640]:=23743;
sz[2641]:=23747;
sz[2642]:=23753;
sz[2643]:=23761;
sz[2644]:=23767;
sz[2645]:=23773;
sz[2646]:=23789;
sz[2647]:=23801;
sz[2648]:=23813;
sz[2649]:=23819;
sz[2650]:=23827;
sz[2651]:=23831;
sz[2652]:=23833;
sz[2653]:=23857;
sz[2654]:=23869;
sz[2655]:=23873;
sz[2656]:=23879;
sz[2657]:=23887;
sz[2658]:=23893;
sz[2659]:=23899;
sz[2660]:=23909;
sz[2661]:=23911;
sz[2662]:=23917;
sz[2663]:=23929;
sz[2664]:=23957;
sz[2665]:=23971;
sz[2666]:=23977;
sz[2667]:=23981;
sz[2668]:=23993;
sz[2669]:=24001;
sz[2670]:=24007;
sz[2671]:=24019;
sz[2672]:=24023;
sz[2673]:=24029;
sz[2674]:=24043;
sz[2675]:=24049;
sz[2676]:=24061;
sz[2677]:=24071;
sz[2678]:=24077;
sz[2679]:=24083;
sz[2680]:=24091;
sz[2681]:=24097;
sz[2682]:=24103;
sz[2683]:=24107;
sz[2684]:=24109;
sz[2685]:=24113;
sz[2686]:=24121;
sz[2687]:=24133;
sz[2688]:=24137;
sz[2689]:=24151;
sz[2690]:=24169;
sz[2691]:=24179;
sz[2692]:=24181;
sz[2693]:=24197;
sz[2694]:=24203;
sz[2695]:=24223;
sz[2696]:=24229;
sz[2697]:=24239;
sz[2698]:=24247;
sz[2699]:=24251;
sz[2700]:=24281;
sz[2701]:=24317;
sz[2702]:=24329;
sz[2703]:=24337;
sz[2704]:=24359;
sz[2705]:=24371;
sz[2706]:=24373;
sz[2707]:=24379;
sz[2708]:=24391;
sz[2709]:=24407;
sz[2710]:=24413;
sz[2711]:=24419;
sz[2712]:=24421;
sz[2713]:=24439;
sz[2714]:=24443;
sz[2715]:=24469;
sz[2716]:=24473;
sz[2717]:=24481;
sz[2718]:=24499;
sz[2719]:=24509;
sz[2720]:=24517;
sz[2721]:=24527;
sz[2722]:=24533;
sz[2723]:=24547;
sz[2724]:=24551;
sz[2725]:=24571;
sz[2726]:=24593;
sz[2727]:=24611;
sz[2728]:=24623;
sz[2729]:=24631;
sz[2730]:=24659;
sz[2731]:=24671;
sz[2732]:=24677;
sz[2733]:=24683;
sz[2734]:=24691;
sz[2735]:=24697;
sz[2736]:=24709;
sz[2737]:=24733;
sz[2738]:=24749;
sz[2739]:=24763;
sz[2740]:=24767;
sz[2741]:=24781;
sz[2742]:=24793;
sz[2743]:=24799;
sz[2744]:=24809;
sz[2745]:=24821;
sz[2746]:=24841;
sz[2747]:=24847;
sz[2748]:=24851;
sz[2749]:=24859;
sz[2750]:=24877;
sz[2751]:=24889;
sz[2752]:=24907;
sz[2753]:=24917;
sz[2754]:=24919;
sz[2755]:=24923;
sz[2756]:=24943;
sz[2757]:=24953;
sz[2758]:=24967;
sz[2759]:=24971;
sz[2760]:=24977;
sz[2761]:=24979;
sz[2762]:=24989;
sz[2763]:=25013;
sz[2764]:=25031;
sz[2765]:=25033;
sz[2766]:=25037;
sz[2767]:=25057;
sz[2768]:=25073;
sz[2769]:=25087;
sz[2770]:=25097;
sz[2771]:=25111;
sz[2772]:=25117;
sz[2773]:=25121;
sz[2774]:=25127;
sz[2775]:=25147;
sz[2776]:=25153;
sz[2777]:=25163;
sz[2778]:=25169;
sz[2779]:=25171;
sz[2780]:=25183;
sz[2781]:=25189;
sz[2782]:=25219;
sz[2783]:=25229;
sz[2784]:=25237;
sz[2785]:=25243;
sz[2786]:=25247;
sz[2787]:=25253;
sz[2788]:=25261;
sz[2789]:=25301;
sz[2790]:=25303;
sz[2791]:=25307;
sz[2792]:=25309;
sz[2793]:=25321;
sz[2794]:=25339;
sz[2795]:=25343;
sz[2796]:=25349;
sz[2797]:=25357;
sz[2798]:=25367;
sz[2799]:=25373;
sz[2800]:=25391;
sz[2801]:=25409;
sz[2802]:=25411;
sz[2803]:=25423;
sz[2804]:=25439;
sz[2805]:=25447;
sz[2806]:=25453;
sz[2807]:=25457;
sz[2808]:=25463;
sz[2809]:=25469;
sz[2810]:=25471;
sz[2811]:=25523;
sz[2812]:=25537;
sz[2813]:=25541;
sz[2814]:=25561;
sz[2815]:=25577;
sz[2816]:=25579;
sz[2817]:=25583;
sz[2818]:=25589;
sz[2819]:=25601;
sz[2820]:=25603;
sz[2821]:=25609;
sz[2822]:=25621;
sz[2823]:=25633;
sz[2824]:=25639;
sz[2825]:=25643;
sz[2826]:=25657;
sz[2827]:=25667;
sz[2828]:=25673;
sz[2829]:=25679;
sz[2830]:=25693;
sz[2831]:=25703;
sz[2832]:=25717;
sz[2833]:=25733;
sz[2834]:=25741;
sz[2835]:=25747;
sz[2836]:=25759;
sz[2837]:=25763;
sz[2838]:=25771;
sz[2839]:=25793;
sz[2840]:=25799;
sz[2841]:=25801;
sz[2842]:=25819;
sz[2843]:=25841;
sz[2844]:=25847;
sz[2845]:=25849;
sz[2846]:=25867;
sz[2847]:=25873;
sz[2848]:=25889;
sz[2849]:=25903;
sz[2850]:=25913;
sz[2851]:=25919;
sz[2852]:=25931;
sz[2853]:=25933;
sz[2854]:=25939;
sz[2855]:=25943;
sz[2856]:=25951;
sz[2857]:=25969;
sz[2858]:=25981;
sz[2859]:=25997;
sz[2860]:=25999;
sz[2861]:=26003;
sz[2862]:=26017;
sz[2863]:=26021;
sz[2864]:=26029;
sz[2865]:=26041;
sz[2866]:=26053;
sz[2867]:=26083;
sz[2868]:=26099;
sz[2869]:=26107;
sz[2870]:=26111;
sz[2871]:=26113;
sz[2872]:=26119;
sz[2873]:=26141;
sz[2874]:=26153;
sz[2875]:=26161;
sz[2876]:=26171;
sz[2877]:=26177;
sz[2878]:=26183;
sz[2879]:=26189;
sz[2880]:=26203;
sz[2881]:=26209;
sz[2882]:=26227;
sz[2883]:=26237;
sz[2884]:=26249;
sz[2885]:=26251;
sz[2886]:=26261;
sz[2887]:=26263;
sz[2888]:=26267;
sz[2889]:=26293;
sz[2890]:=26297;
sz[2891]:=26309;
sz[2892]:=26317;
sz[2893]:=26321;
sz[2894]:=26339;
sz[2895]:=26347;
sz[2896]:=26357;
sz[2897]:=26371;
sz[2898]:=26387;
sz[2899]:=26393;
sz[2900]:=26399;
sz[2901]:=26407;
sz[2902]:=26417;
sz[2903]:=26423;
sz[2904]:=26431;
sz[2905]:=26437;
sz[2906]:=26449;
sz[2907]:=26459;
sz[2908]:=26479;
sz[2909]:=26489;
sz[2910]:=26497;
sz[2911]:=26501;
sz[2912]:=26513;
sz[2913]:=26539;
sz[2914]:=26557;
sz[2915]:=26561;
sz[2916]:=26573;
sz[2917]:=26591;
sz[2918]:=26597;
sz[2919]:=26627;
sz[2920]:=26633;
sz[2921]:=26641;
sz[2922]:=26647;
sz[2923]:=26669;
sz[2924]:=26681;
sz[2925]:=26683;
sz[2926]:=26687;
sz[2927]:=26693;
sz[2928]:=26699;
sz[2929]:=26701;
sz[2930]:=26711;
sz[2931]:=26713;
sz[2932]:=26717;
sz[2933]:=26723;
sz[2934]:=26729;
sz[2935]:=26731;
sz[2936]:=26737;
sz[2937]:=26759;
sz[2938]:=26777;
sz[2939]:=26783;
sz[2940]:=26801;
sz[2941]:=26813;
sz[2942]:=26821;
sz[2943]:=26833;
sz[2944]:=26839;
sz[2945]:=26849;
sz[2946]:=26861;
sz[2947]:=26863;
sz[2948]:=26879;
sz[2949]:=26881;
sz[2950]:=26891;
sz[2951]:=26893;
sz[2952]:=26903;
sz[2953]:=26921;
sz[2954]:=26927;
sz[2955]:=26947;
sz[2956]:=26951;
sz[2957]:=26953;
sz[2958]:=26959;
sz[2959]:=26981;
sz[2960]:=26987;
sz[2961]:=26993;
sz[2962]:=27011;
sz[2963]:=27017;
sz[2964]:=27031;
sz[2965]:=27043;
sz[2966]:=27059;
sz[2967]:=27061;
sz[2968]:=27067;
sz[2969]:=27073;
sz[2970]:=27077;
sz[2971]:=27091;
sz[2972]:=27103;
sz[2973]:=27107;
sz[2974]:=27109;
sz[2975]:=27127;
sz[2976]:=27143;
sz[2977]:=27179;
sz[2978]:=27191;
sz[2979]:=27197;
sz[2980]:=27211;
sz[2981]:=27239;
sz[2982]:=27241;
sz[2983]:=27253;
sz[2984]:=27259;
sz[2985]:=27271;
sz[2986]:=27277;
sz[2987]:=27281;
sz[2988]:=27283;
sz[2989]:=27299;
sz[2990]:=27329;
sz[2991]:=27337;
sz[2992]:=27361;
sz[2993]:=27367;
sz[2994]:=27397;
sz[2995]:=27407;
sz[2996]:=27409;
sz[2997]:=27427;
sz[2998]:=27431;
sz[2999]:=27437;
sz[3000]:=27449;
sz[3001]:=27457;
sz[3002]:=27479;
sz[3003]:=27481;
sz[3004]:=27487;
sz[3005]:=27509;
sz[3006]:=27527;
sz[3007]:=27529;
sz[3008]:=27539;
sz[3009]:=27541;
sz[3010]:=27551;
sz[3011]:=27581;
sz[3012]:=27583;
sz[3013]:=27611;
sz[3014]:=27617;
sz[3015]:=27631;
sz[3016]:=27647;
sz[3017]:=27653;
sz[3018]:=27673;
sz[3019]:=27689;
sz[3020]:=27691;
sz[3021]:=27697;
sz[3022]:=27701;
sz[3023]:=27733;
sz[3024]:=27737;
sz[3025]:=27739;
sz[3026]:=27743;
sz[3027]:=27749;
sz[3028]:=27751;
sz[3029]:=27763;
sz[3030]:=27767;
sz[3031]:=27773;
sz[3032]:=27779;
sz[3033]:=27791;
sz[3034]:=27793;
sz[3035]:=27799;
sz[3036]:=27803;
sz[3037]:=27809;
sz[3038]:=27817;
sz[3039]:=27823;
sz[3040]:=27827;
sz[3041]:=27847;
sz[3042]:=27851;
sz[3043]:=27883;
sz[3044]:=27893;
sz[3045]:=27901;
sz[3046]:=27917;
sz[3047]:=27919;
sz[3048]:=27941;
sz[3049]:=27943;
sz[3050]:=27947;
sz[3051]:=27953;
sz[3052]:=27961;
sz[3053]:=27967;
sz[3054]:=27983;
sz[3055]:=27997;
sz[3056]:=28001;
sz[3057]:=28019;
sz[3058]:=28027;
sz[3059]:=28031;
sz[3060]:=28051;
sz[3061]:=28057;
sz[3062]:=28069;
sz[3063]:=28081;
sz[3064]:=28087;
sz[3065]:=28097;
sz[3066]:=28099;
sz[3067]:=28109;
sz[3068]:=28111;
sz[3069]:=28123;
sz[3070]:=28151;
sz[3071]:=28163;
sz[3072]:=28181;
sz[3073]:=28183;
sz[3074]:=28201;
sz[3075]:=28211;
sz[3076]:=28219;
sz[3077]:=28229;
sz[3078]:=28277;
sz[3079]:=28279;
sz[3080]:=28283;
sz[3081]:=28289;
sz[3082]:=28297;
sz[3083]:=28307;
sz[3084]:=28309;
sz[3085]:=28319;
sz[3086]:=28349;
sz[3087]:=28351;
sz[3088]:=28387;
sz[3089]:=28393;
sz[3090]:=28403;
sz[3091]:=28409;
sz[3092]:=28411;
sz[3093]:=28429;
sz[3094]:=28433;
sz[3095]:=28439;
sz[3096]:=28447;
sz[3097]:=28463;
sz[3098]:=28477;
sz[3099]:=28493;
sz[3100]:=28499;
sz[3101]:=28513;
sz[3102]:=28517;
sz[3103]:=28537;
sz[3104]:=28541;
sz[3105]:=28547;
sz[3106]:=28549;
sz[3107]:=28559;
sz[3108]:=28571;
sz[3109]:=28573;
sz[3110]:=28579;
sz[3111]:=28591;
sz[3112]:=28597;
sz[3113]:=28603;
sz[3114]:=28607;
sz[3115]:=28619;
sz[3116]:=28621;
sz[3117]:=28627;
sz[3118]:=28631;
sz[3119]:=28643;
sz[3120]:=28649;
sz[3121]:=28657;
sz[3122]:=28661;
sz[3123]:=28663;
sz[3124]:=28669;
sz[3125]:=28687;
sz[3126]:=28697;
sz[3127]:=28703;
sz[3128]:=28711;
sz[3129]:=28723;
sz[3130]:=28729;
sz[3131]:=28751;
sz[3132]:=28753;
sz[3133]:=28759;
sz[3134]:=28771;
sz[3135]:=28789;
sz[3136]:=28793;
sz[3137]:=28807;
sz[3138]:=28813;
sz[3139]:=28817;
sz[3140]:=28837;
sz[3141]:=28843;
sz[3142]:=28859;
sz[3143]:=28867;
sz[3144]:=28871;
sz[3145]:=28879;
sz[3146]:=28901;
sz[3147]:=28909;
sz[3148]:=28921;
sz[3149]:=28927;
sz[3150]:=28933;
sz[3151]:=28949;
sz[3152]:=28961;
sz[3153]:=28979;
sz[3154]:=29009;
sz[3155]:=29017;
sz[3156]:=29021;
sz[3157]:=29023;
sz[3158]:=29027;
sz[3159]:=29033;
sz[3160]:=29059;
sz[3161]:=29063;
sz[3162]:=29077;
sz[3163]:=29101;
sz[3164]:=29123;
sz[3165]:=29129;
sz[3166]:=29131;
sz[3167]:=29137;
sz[3168]:=29147;
sz[3169]:=29153;
sz[3170]:=29167;
sz[3171]:=29173;
sz[3172]:=29179;
sz[3173]:=29191;
sz[3174]:=29201;
sz[3175]:=29207;
sz[3176]:=29209;
sz[3177]:=29221;
sz[3178]:=29231;
sz[3179]:=29243;
sz[3180]:=29251;
sz[3181]:=29269;
sz[3182]:=29287;
sz[3183]:=29297;
sz[3184]:=29303;
sz[3185]:=29311;
sz[3186]:=29327;
sz[3187]:=29333;
sz[3188]:=29339;
sz[3189]:=29347;
sz[3190]:=29363;
sz[3191]:=29383;
sz[3192]:=29387;
sz[3193]:=29389;
sz[3194]:=29399;
sz[3195]:=29401;
sz[3196]:=29411;
sz[3197]:=29423;
sz[3198]:=29429;
sz[3199]:=29437;
sz[3200]:=29443;
sz[3201]:=29453;
sz[3202]:=29473;
sz[3203]:=29483;
sz[3204]:=29501;
sz[3205]:=29527;
sz[3206]:=29531;
sz[3207]:=29537;
sz[3208]:=29567;
sz[3209]:=29569;
sz[3210]:=29573;
sz[3211]:=29581;
sz[3212]:=29587;
sz[3213]:=29599;
sz[3214]:=29611;
sz[3215]:=29629;
sz[3216]:=29633;
sz[3217]:=29641;
sz[3218]:=29663;
sz[3219]:=29669;
sz[3220]:=29671;
sz[3221]:=29683;
sz[3222]:=29717;
sz[3223]:=29723;
sz[3224]:=29741;
sz[3225]:=29753;
sz[3226]:=29759;
sz[3227]:=29761;
sz[3228]:=29789;
sz[3229]:=29803;
sz[3230]:=29819;
sz[3231]:=29833;
sz[3232]:=29837;
sz[3233]:=29851;
sz[3234]:=29863;
sz[3235]:=29867;
sz[3236]:=29873;
sz[3237]:=29879;
sz[3238]:=29881;
sz[3239]:=29917;
sz[3240]:=29921;
sz[3241]:=29927;
sz[3242]:=29947;
sz[3243]:=29959;
sz[3244]:=29983;
sz[3245]:=29989;
sz[3246]:=30011;
sz[3247]:=30013;
sz[3248]:=30029;
sz[3249]:=30047;
sz[3250]:=30059;
sz[3251]:=30071;
sz[3252]:=30089;
sz[3253]:=30091;
sz[3254]:=30097;
sz[3255]:=30103;
sz[3256]:=30109;
sz[3257]:=30113;
sz[3258]:=30119;
sz[3259]:=30133;
sz[3260]:=30137;
sz[3261]:=30139;
sz[3262]:=30161;
sz[3263]:=30169;
sz[3264]:=30181;
sz[3265]:=30187;
sz[3266]:=30197;
sz[3267]:=30203;
sz[3268]:=30211;
sz[3269]:=30223;
sz[3270]:=30241;
sz[3271]:=30253;
sz[3272]:=30259;
sz[3273]:=30269;
sz[3274]:=30271;
sz[3275]:=30293;
sz[3276]:=30307;
sz[3277]:=30313;
sz[3278]:=30319;
sz[3279]:=30323;
sz[3280]:=30341;
sz[3281]:=30347;
sz[3282]:=30367;
sz[3283]:=30389;
sz[3284]:=30391;
sz[3285]:=30403;
sz[3286]:=30427;
sz[3287]:=30431;
sz[3288]:=30449;
sz[3289]:=30467;
sz[3290]:=30469;
sz[3291]:=30491;
sz[3292]:=30493;
sz[3293]:=30497;
sz[3294]:=30509;
sz[3295]:=30517;
sz[3296]:=30529;
sz[3297]:=30539;
sz[3298]:=30553;
sz[3299]:=30557;
sz[3300]:=30559;
sz[3301]:=30577;
sz[3302]:=30593;
sz[3303]:=30631;
sz[3304]:=30637;
sz[3305]:=30643;
sz[3306]:=30649;
sz[3307]:=30661;
sz[3308]:=30671;
sz[3309]:=30677;
sz[3310]:=30689;
sz[3311]:=30697;
sz[3312]:=30703;
sz[3313]:=30707;
sz[3314]:=30713;
sz[3315]:=30727;
sz[3316]:=30757;
sz[3317]:=30763;
sz[3318]:=30773;
sz[3319]:=30781;
sz[3320]:=30803;
sz[3321]:=30809;
sz[3322]:=30817;
sz[3323]:=30829;
sz[3324]:=30839;
sz[3325]:=30841;
sz[3326]:=30851;
sz[3327]:=30853;
sz[3328]:=30859;
sz[3329]:=30869;
sz[3330]:=30871;
sz[3331]:=30881;
sz[3332]:=30893;
sz[3333]:=30911;
sz[3334]:=30931;
sz[3335]:=30937;
sz[3336]:=30941;
sz[3337]:=30949;
sz[3338]:=30971;
sz[3339]:=30977;
sz[3340]:=30983;
sz[3341]:=31013;
sz[3342]:=31019;
sz[3343]:=31033;
sz[3344]:=31039;
sz[3345]:=31051;
sz[3346]:=31063;
sz[3347]:=31069;
sz[3348]:=31079;
sz[3349]:=31081;
sz[3350]:=31091;
sz[3351]:=31121;
sz[3352]:=31123;
sz[3353]:=31139;
sz[3354]:=31147;
sz[3355]:=31151;
sz[3356]:=31153;
sz[3357]:=31159;
sz[3358]:=31177;
sz[3359]:=31181;
sz[3360]:=31183;
sz[3361]:=31189;
sz[3362]:=31193;
sz[3363]:=31219;
sz[3364]:=31223;
sz[3365]:=31231;
sz[3366]:=31237;
sz[3367]:=31247;
sz[3368]:=31249;
sz[3369]:=31253;
sz[3370]:=31259;
sz[3371]:=31267;
sz[3372]:=31271;
sz[3373]:=31277;
sz[3374]:=31307;
sz[3375]:=31319;
sz[3376]:=31321;
sz[3377]:=31327;
sz[3378]:=31333;
sz[3379]:=31337;
sz[3380]:=31357;
sz[3381]:=31379;
sz[3382]:=31387;
sz[3383]:=31391;
sz[3384]:=31393;
sz[3385]:=31397;
sz[3386]:=31469;
sz[3387]:=31477;
sz[3388]:=31481;
sz[3389]:=31489;
sz[3390]:=31511;
sz[3391]:=31513;
sz[3392]:=31517;
sz[3393]:=31531;
sz[3394]:=31541;
sz[3395]:=31543;
sz[3396]:=31547;
sz[3397]:=31567;
sz[3398]:=31573;
sz[3399]:=31583;
sz[3400]:=31601;
sz[3401]:=31607;
sz[3402]:=31627;
sz[3403]:=31643;
sz[3404]:=31649;
sz[3405]:=31657;
sz[3406]:=31663;
sz[3407]:=31667;
sz[3408]:=31687;
sz[3409]:=31699;
sz[3410]:=31721;
sz[3411]:=31723;
sz[3412]:=31727;
sz[3413]:=31729;
sz[3414]:=31741;
sz[3415]:=31751;
sz[3416]:=31769;
sz[3417]:=31771;
sz[3418]:=31793;
sz[3419]:=31799;
sz[3420]:=31817;
sz[3421]:=31847;
sz[3422]:=31849;
sz[3423]:=31859;
sz[3424]:=31873;
sz[3425]:=31883;
sz[3426]:=31891;
sz[3427]:=31907;
sz[3428]:=31957;
sz[3429]:=31963;
sz[3430]:=31973;
sz[3431]:=31981;
sz[3432]:=31991;
sz[3433]:=32003;
sz[3434]:=32009;
sz[3435]:=32027;
sz[3436]:=32029;
sz[3437]:=32051;
sz[3438]:=32057;
sz[3439]:=32059;
sz[3440]:=32063;
sz[3441]:=32069;
sz[3442]:=32077;
sz[3443]:=32083;
sz[3444]:=32089;
sz[3445]:=32099;
sz[3446]:=32117;
sz[3447]:=32119;
sz[3448]:=32141;
sz[3449]:=32143;
sz[3450]:=32159;
sz[3451]:=32173;
sz[3452]:=32183;
sz[3453]:=32189;
sz[3454]:=32191;
sz[3455]:=32203;
sz[3456]:=32213;
sz[3457]:=32233;
sz[3458]:=32237;
sz[3459]:=32251;
sz[3460]:=32257;
sz[3461]:=32261;
sz[3462]:=32297;
sz[3463]:=32299;
sz[3464]:=32303;
sz[3465]:=32309;
sz[3466]:=32321;
sz[3467]:=32323;
sz[3468]:=32327;
sz[3469]:=32341;
sz[3470]:=32353;
sz[3471]:=32359;
sz[3472]:=32363;
sz[3473]:=32369;
sz[3474]:=32371;
sz[3475]:=32377;
sz[3476]:=32381;
sz[3477]:=32401;
sz[3478]:=32411;
sz[3479]:=32413;
sz[3480]:=32423;
sz[3481]:=32429;
sz[3482]:=32441;
sz[3483]:=32443;
sz[3484]:=32467;
sz[3485]:=32479;
sz[3486]:=32491;
sz[3487]:=32497;
sz[3488]:=32503;
sz[3489]:=32507;
sz[3490]:=32531;
sz[3491]:=32533;
sz[3492]:=32537;
sz[3493]:=32561;
sz[3494]:=32563;
sz[3495]:=32569;
sz[3496]:=32573;
sz[3497]:=32579;
sz[3498]:=32587;
sz[3499]:=32603;
sz[3500]:=32609;
sz[3501]:=32611;
sz[3502]:=32621;
sz[3503]:=32633;
sz[3504]:=32647;
sz[3505]:=32653;
sz[3506]:=32687;
sz[3507]:=32693;
sz[3508]:=32707;
sz[3509]:=32713;
sz[3510]:=32717;
sz[3511]:=32719;
sz[3512]:=32749;
sz[3513]:=32771;
sz[3514]:=32779;
sz[3515]:=32783;
sz[3516]:=32789;
sz[3517]:=32797;
sz[3518]:=32801;
sz[3519]:=32803;
sz[3520]:=32831;
sz[3521]:=32833;
sz[3522]:=32839;
sz[3523]:=32843;
sz[3524]:=32869;
sz[3525]:=32887;
sz[3526]:=32909;
sz[3527]:=32911;
sz[3528]:=32917;
sz[3529]:=32933;
sz[3530]:=32939;
sz[3531]:=32941;
sz[3532]:=32957;
sz[3533]:=32969;
sz[3534]:=32971;
sz[3535]:=32983;
sz[3536]:=32987;
sz[3537]:=32993;
sz[3538]:=32999;
sz[3539]:=33013;
sz[3540]:=33023;
sz[3541]:=33029;
sz[3542]:=33037;
sz[3543]:=33049;
sz[3544]:=33053;
sz[3545]:=33071;
sz[3546]:=33073;
sz[3547]:=33083;
sz[3548]:=33091;
sz[3549]:=33107;
sz[3550]:=33113;
sz[3551]:=33119;
sz[3552]:=33149;
sz[3553]:=33151;
sz[3554]:=33161;
sz[3555]:=33179;
sz[3556]:=33181;
sz[3557]:=33191;
sz[3558]:=33199;
sz[3559]:=33203;
sz[3560]:=33211;
sz[3561]:=33223;
sz[3562]:=33247;
sz[3563]:=33287;
sz[3564]:=33289;
sz[3565]:=33301;
sz[3566]:=33311;
sz[3567]:=33317;
sz[3568]:=33329;
sz[3569]:=33331;
sz[3570]:=33343;
sz[3571]:=33347;
sz[3572]:=33349;
sz[3573]:=33353;
sz[3574]:=33359;
sz[3575]:=33377;
sz[3576]:=33391;
sz[3577]:=33403;
sz[3578]:=33409;
sz[3579]:=33413;
sz[3580]:=33427;
sz[3581]:=33457;
sz[3582]:=33461;
sz[3583]:=33469;
sz[3584]:=33479;
sz[3585]:=33487;
sz[3586]:=33493;
sz[3587]:=33503;
sz[3588]:=33521;
sz[3589]:=33529;
sz[3590]:=33533;
sz[3591]:=33547;
sz[3592]:=33563;
sz[3593]:=33569;
sz[3594]:=33577;
sz[3595]:=33581;
sz[3596]:=33587;
sz[3597]:=33589;
sz[3598]:=33599;
sz[3599]:=33601;
sz[3600]:=33613;
sz[3601]:=33617;
sz[3602]:=33619;
sz[3603]:=33623;
sz[3604]:=33629;
sz[3605]:=33637;
sz[3606]:=33641;
sz[3607]:=33647;
sz[3608]:=33679;
sz[3609]:=33703;
sz[3610]:=33713;
sz[3611]:=33721;
sz[3612]:=33739;
sz[3613]:=33749;
sz[3614]:=33751;
sz[3615]:=33757;
sz[3616]:=33767;
sz[3617]:=33769;
sz[3618]:=33773;
sz[3619]:=33791;
sz[3620]:=33797;
sz[3621]:=33809;
sz[3622]:=33811;
sz[3623]:=33827;
sz[3624]:=33829;
sz[3625]:=33851;
sz[3626]:=33857;
sz[3627]:=33863;
sz[3628]:=33871;
sz[3629]:=33889;
sz[3630]:=33893;
sz[3631]:=33911;
sz[3632]:=33923;
sz[3633]:=33931;
sz[3634]:=33937;
sz[3635]:=33941;
sz[3636]:=33961;
sz[3637]:=33967;
sz[3638]:=33997;
sz[3639]:=34019;
sz[3640]:=34031;
sz[3641]:=34033;
sz[3642]:=34039;
sz[3643]:=34057;
sz[3644]:=34061;
sz[3645]:=34123;
sz[3646]:=34127;
sz[3647]:=34129;
sz[3648]:=34141;
sz[3649]:=34147;
sz[3650]:=34157;
sz[3651]:=34159;
sz[3652]:=34171;
sz[3653]:=34183;
sz[3654]:=34211;
sz[3655]:=34213;
sz[3656]:=34217;
sz[3657]:=34231;
sz[3658]:=34253;
sz[3659]:=34259;
sz[3660]:=34261;
sz[3661]:=34267;
sz[3662]:=34273;
sz[3663]:=34283;
sz[3664]:=34297;
sz[3665]:=34301;
sz[3666]:=34303;
sz[3667]:=34313;
sz[3668]:=34319;
sz[3669]:=34327;
sz[3670]:=34337;
sz[3671]:=34351;
sz[3672]:=34361;
sz[3673]:=34367;
sz[3674]:=34369;
sz[3675]:=34381;
sz[3676]:=34403;
sz[3677]:=34421;
sz[3678]:=34429;
sz[3679]:=34439;
sz[3680]:=34457;
sz[3681]:=34469;
sz[3682]:=34471;
sz[3683]:=34483;
sz[3684]:=34487;
sz[3685]:=34499;
sz[3686]:=34501;
sz[3687]:=34511;
sz[3688]:=34513;
sz[3689]:=34519;
sz[3690]:=34537;
sz[3691]:=34543;
sz[3692]:=34549;
sz[3693]:=34583;
sz[3694]:=34589;
sz[3695]:=34591;
sz[3696]:=34603;
sz[3697]:=34607;
sz[3698]:=34613;
sz[3699]:=34631;
sz[3700]:=34649;
sz[3701]:=34651;
sz[3702]:=34667;
sz[3703]:=34673;
sz[3704]:=34679;
sz[3705]:=34687;
sz[3706]:=34693;
sz[3707]:=34703;
sz[3708]:=34721;
sz[3709]:=34729;
sz[3710]:=34739;
sz[3711]:=34747;
sz[3712]:=34757;
sz[3713]:=34759;
sz[3714]:=34763;
sz[3715]:=34781;
sz[3716]:=34807;
sz[3717]:=34819;
sz[3718]:=34841;
sz[3719]:=34843;
sz[3720]:=34847;
sz[3721]:=34849;
sz[3722]:=34871;
sz[3723]:=34877;
sz[3724]:=34883;
sz[3725]:=34897;
sz[3726]:=34913;
sz[3727]:=34919;
sz[3728]:=34939;
sz[3729]:=34949;
sz[3730]:=34961;
sz[3731]:=34963;
sz[3732]:=34981;
sz[3733]:=35023;
sz[3734]:=35027;
sz[3735]:=35051;
sz[3736]:=35053;
sz[3737]:=35059;
sz[3738]:=35069;
sz[3739]:=35081;
sz[3740]:=35083;
sz[3741]:=35089;
sz[3742]:=35099;
sz[3743]:=35107;
sz[3744]:=35111;
sz[3745]:=35117;
sz[3746]:=35129;
sz[3747]:=35141;
sz[3748]:=35149;
sz[3749]:=35153;
sz[3750]:=35159;
sz[3751]:=35171;
sz[3752]:=35201;
sz[3753]:=35221;
sz[3754]:=35227;
sz[3755]:=35251;
sz[3756]:=35257;
sz[3757]:=35267;
sz[3758]:=35279;
sz[3759]:=35281;
sz[3760]:=35291;
sz[3761]:=35311;
sz[3762]:=35317;
sz[3763]:=35323;
sz[3764]:=35327;
sz[3765]:=35339;
sz[3766]:=35353;
sz[3767]:=35363;
sz[3768]:=35381;
sz[3769]:=35393;
sz[3770]:=35401;
sz[3771]:=35407;
sz[3772]:=35419;
sz[3773]:=35423;
sz[3774]:=35437;
sz[3775]:=35447;
sz[3776]:=35449;
sz[3777]:=35461;
sz[3778]:=35491;
sz[3779]:=35507;
sz[3780]:=35509;
sz[3781]:=35521;
sz[3782]:=35527;
sz[3783]:=35531;
sz[3784]:=35533;
sz[3785]:=35537;
sz[3786]:=35543;
sz[3787]:=35569;
sz[3788]:=35573;
sz[3789]:=35591;
sz[3790]:=35593;
sz[3791]:=35597;
sz[3792]:=35603;
sz[3793]:=35617;
sz[3794]:=35671;
sz[3795]:=35677;
sz[3796]:=35729;
sz[3797]:=35731;
sz[3798]:=35747;
sz[3799]:=35753;
sz[3800]:=35759;
sz[3801]:=35771;
sz[3802]:=35797;
sz[3803]:=35801;
sz[3804]:=35803;
sz[3805]:=35809;
sz[3806]:=35831;
sz[3807]:=35837;
sz[3808]:=35839;
sz[3809]:=35851;
sz[3810]:=35863;
sz[3811]:=35869;
sz[3812]:=35879;
sz[3813]:=35897;
sz[3814]:=35899;
sz[3815]:=35911;
sz[3816]:=35923;
sz[3817]:=35933;
sz[3818]:=35951;
sz[3819]:=35963;
sz[3820]:=35969;
sz[3821]:=35977;
sz[3822]:=35983;
sz[3823]:=35993;
sz[3824]:=35999;
sz[3825]:=36007;
sz[3826]:=36011;
sz[3827]:=36013;
sz[3828]:=36017;
sz[3829]:=36037;
sz[3830]:=36061;
sz[3831]:=36067;
sz[3832]:=36073;
sz[3833]:=36083;
sz[3834]:=36097;
sz[3835]:=36107;
sz[3836]:=36109;
sz[3837]:=36131;
sz[3838]:=36137;
sz[3839]:=36151;
sz[3840]:=36161;
sz[3841]:=36187;
sz[3842]:=36191;
sz[3843]:=36209;
sz[3844]:=36217;
sz[3845]:=36229;
sz[3846]:=36241;
sz[3847]:=36251;
sz[3848]:=36263;
sz[3849]:=36269;
sz[3850]:=36277;
sz[3851]:=36293;
sz[3852]:=36299;
sz[3853]:=36307;
sz[3854]:=36313;
sz[3855]:=36319;
sz[3856]:=36341;
sz[3857]:=36343;
sz[3858]:=36353;
sz[3859]:=36373;
sz[3860]:=36383;
sz[3861]:=36389;
sz[3862]:=36433;
sz[3863]:=36451;
sz[3864]:=36457;
sz[3865]:=36467;
sz[3866]:=36469;
sz[3867]:=36473;
sz[3868]:=36479;
sz[3869]:=36493;
sz[3870]:=36497;
sz[3871]:=36523;
sz[3872]:=36527;
sz[3873]:=36529;
sz[3874]:=36541;
sz[3875]:=36551;
sz[3876]:=36559;
sz[3877]:=36563;
sz[3878]:=36571;
sz[3879]:=36583;
sz[3880]:=36587;
sz[3881]:=36599;
sz[3882]:=36607;
sz[3883]:=36629;
sz[3884]:=36637;
sz[3885]:=36643;
sz[3886]:=36653;
sz[3887]:=36671;
sz[3888]:=36677;
sz[3889]:=36683;
sz[3890]:=36691;
sz[3891]:=36697;
sz[3892]:=36709;
sz[3893]:=36713;
sz[3894]:=36721;
sz[3895]:=36739;
sz[3896]:=36749;
sz[3897]:=36761;
sz[3898]:=36767;
sz[3899]:=36779;
sz[3900]:=36781;
sz[3901]:=36787;
sz[3902]:=36791;
sz[3903]:=36793;
sz[3904]:=36809;
sz[3905]:=36821;
sz[3906]:=36833;
sz[3907]:=36847;
sz[3908]:=36857;
sz[3909]:=36871;
sz[3910]:=36877;
sz[3911]:=36887;
sz[3912]:=36899;
sz[3913]:=36901;
sz[3914]:=36913;
sz[3915]:=36919;
sz[3916]:=36923;
sz[3917]:=36929;
sz[3918]:=36931;
sz[3919]:=36943;
sz[3920]:=36947;
sz[3921]:=36973;
sz[3922]:=36979;
sz[3923]:=36997;
sz[3924]:=37003;
sz[3925]:=37013;
sz[3926]:=37019;
sz[3927]:=37021;
sz[3928]:=37039;
sz[3929]:=37049;
sz[3930]:=37057;
sz[3931]:=37061;
sz[3932]:=37087;
sz[3933]:=37097;
sz[3934]:=37117;
sz[3935]:=37123;
sz[3936]:=37139;
sz[3937]:=37159;
sz[3938]:=37171;
sz[3939]:=37181;
sz[3940]:=37189;
sz[3941]:=37199;
sz[3942]:=37201;
sz[3943]:=37217;
sz[3944]:=37223;
sz[3945]:=37243;
sz[3946]:=37253;
sz[3947]:=37273;
sz[3948]:=37277;
sz[3949]:=37307;
sz[3950]:=37309;
sz[3951]:=37313;
sz[3952]:=37321;
sz[3953]:=37337;
sz[3954]:=37339;
sz[3955]:=37357;
sz[3956]:=37361;
sz[3957]:=37363;
sz[3958]:=37369;
sz[3959]:=37379;
sz[3960]:=37397;
sz[3961]:=37409;
sz[3962]:=37423;
sz[3963]:=37441;
sz[3964]:=37447;
sz[3965]:=37463;
sz[3966]:=37483;
sz[3967]:=37489;
sz[3968]:=37493;
sz[3969]:=37501;
sz[3970]:=37507;
sz[3971]:=37511;
sz[3972]:=37517;
sz[3973]:=37529;
sz[3974]:=37537;
sz[3975]:=37547;
sz[3976]:=37549;
sz[3977]:=37561;
sz[3978]:=37567;
sz[3979]:=37571;
sz[3980]:=37573;
sz[3981]:=37579;
sz[3982]:=37589;
sz[3983]:=37591;
sz[3984]:=37607;
sz[3985]:=37619;
sz[3986]:=37633;
sz[3987]:=37643;
sz[3988]:=37649;
sz[3989]:=37657;
sz[3990]:=37663;
sz[3991]:=37691;
sz[3992]:=37693;
sz[3993]:=37699;
sz[3994]:=37717;
sz[3995]:=37747;
sz[3996]:=37781;
sz[3997]:=37783;
sz[3998]:=37799;
sz[3999]:=37811;
sz[4000]:=37813;
sz[4001]:=37831;
sz[4002]:=37847;
sz[4003]:=37853;
sz[4004]:=37861;
sz[4005]:=37871;
sz[4006]:=37879;
sz[4007]:=37889;
sz[4008]:=37897;
sz[4009]:=37907;
sz[4010]:=37951;
sz[4011]:=37957;
sz[4012]:=37963;
sz[4013]:=37967;
sz[4014]:=37987;
sz[4015]:=37991;
sz[4016]:=37993;
sz[4017]:=37997;
sz[4018]:=38011;
sz[4019]:=38039;
sz[4020]:=38047;
sz[4021]:=38053;
sz[4022]:=38069;
sz[4023]:=38083;
sz[4024]:=38113;
sz[4025]:=38119;
sz[4026]:=38149;
sz[4027]:=38153;
sz[4028]:=38167;
sz[4029]:=38177;
sz[4030]:=38183;
sz[4031]:=38189;
sz[4032]:=38197;
sz[4033]:=38201;
sz[4034]:=38219;
sz[4035]:=38231;
sz[4036]:=38237;
sz[4037]:=38239;
sz[4038]:=38261;
sz[4039]:=38273;
sz[4040]:=38281;
sz[4041]:=38287;
sz[4042]:=38299;
sz[4043]:=38303;
sz[4044]:=38317;
sz[4045]:=38321;
sz[4046]:=38327;
sz[4047]:=38329;
sz[4048]:=38333;
sz[4049]:=38351;
sz[4050]:=38371;
sz[4051]:=38377;
sz[4052]:=38393;
sz[4053]:=38431;
sz[4054]:=38447;
sz[4055]:=38449;
sz[4056]:=38453;
sz[4057]:=38459;
sz[4058]:=38461;
sz[4059]:=38501;
sz[4060]:=38543;
sz[4061]:=38557;
sz[4062]:=38561;
sz[4063]:=38567;
sz[4064]:=38569;
sz[4065]:=38593;
sz[4066]:=38603;
sz[4067]:=38609;
sz[4068]:=38611;
sz[4069]:=38629;
sz[4070]:=38639;
sz[4071]:=38651;
sz[4072]:=38653;
sz[4073]:=38669;
sz[4074]:=38671;
sz[4075]:=38677;
sz[4076]:=38693;
sz[4077]:=38699;
sz[4078]:=38707;
sz[4079]:=38711;
sz[4080]:=38713;
sz[4081]:=38723;
sz[4082]:=38729;
sz[4083]:=38737;
sz[4084]:=38747;
sz[4085]:=38749;
sz[4086]:=38767;
sz[4087]:=38783;
sz[4088]:=38791;
sz[4089]:=38803;
sz[4090]:=38821;
sz[4091]:=38833;
sz[4092]:=38839;
sz[4093]:=38851;
sz[4094]:=38861;
sz[4095]:=38867;
sz[4096]:=38873;
sz[4097]:=38891;
sz[4098]:=38903;
sz[4099]:=38917;
sz[4100]:=38921;
sz[4101]:=38923;
sz[4102]:=38933;
sz[4103]:=38953;
sz[4104]:=38959;
sz[4105]:=38971;
sz[4106]:=38977;
sz[4107]:=38993;
sz[4108]:=39019;
sz[4109]:=39023;
sz[4110]:=39041;
sz[4111]:=39043;
sz[4112]:=39047;
sz[4113]:=39079;
sz[4114]:=39089;
sz[4115]:=39097;
sz[4116]:=39103;
sz[4117]:=39107;
sz[4118]:=39113;
sz[4119]:=39119;
sz[4120]:=39133;
sz[4121]:=39139;
sz[4122]:=39157;
sz[4123]:=39161;
sz[4124]:=39163;
sz[4125]:=39181;
sz[4126]:=39191;
sz[4127]:=39199;
sz[4128]:=39209;
sz[4129]:=39217;
sz[4130]:=39227;
sz[4131]:=39229;
sz[4132]:=39233;
sz[4133]:=39239;
sz[4134]:=39241;
sz[4135]:=39251;
sz[4136]:=39293;
sz[4137]:=39301;
sz[4138]:=39313;
sz[4139]:=39317;
sz[4140]:=39323;
sz[4141]:=39341;
sz[4142]:=39343;
sz[4143]:=39359;
sz[4144]:=39367;
sz[4145]:=39371;
sz[4146]:=39373;
sz[4147]:=39383;
sz[4148]:=39397;
sz[4149]:=39409;
sz[4150]:=39419;
sz[4151]:=39439;
sz[4152]:=39443;
sz[4153]:=39451;
sz[4154]:=39461;
sz[4155]:=39499;
sz[4156]:=39503;
sz[4157]:=39509;
sz[4158]:=39511;
sz[4159]:=39521;
sz[4160]:=39541;
sz[4161]:=39551;
sz[4162]:=39563;
sz[4163]:=39569;
sz[4164]:=39581;
sz[4165]:=39607;
sz[4166]:=39619;
sz[4167]:=39623;
sz[4168]:=39631;
sz[4169]:=39659;
sz[4170]:=39667;
sz[4171]:=39671;
sz[4172]:=39679;
sz[4173]:=39703;
sz[4174]:=39709;
sz[4175]:=39719;
sz[4176]:=39727;
sz[4177]:=39733;
sz[4178]:=39749;
sz[4179]:=39761;
sz[4180]:=39769;
sz[4181]:=39779;
sz[4182]:=39791;
sz[4183]:=39799;
sz[4184]:=39821;
sz[4185]:=39827;
sz[4186]:=39829;
sz[4187]:=39839;
sz[4188]:=39841;
sz[4189]:=39847;
sz[4190]:=39857;
sz[4191]:=39863;
sz[4192]:=39869;
sz[4193]:=39877;
sz[4194]:=39883;
sz[4195]:=39887;
sz[4196]:=39901;
sz[4197]:=39929;
sz[4198]:=39937;
sz[4199]:=39953;
sz[4200]:=39971;
sz[4201]:=39979;
sz[4202]:=39983;
sz[4203]:=39989;
sz[4204]:=40009;
sz[4205]:=40013;
sz[4206]:=40031;
sz[4207]:=40037;
sz[4208]:=40039;
sz[4209]:=40063;
sz[4210]:=40087;
sz[4211]:=40093;
sz[4212]:=40099;
sz[4213]:=40111;
sz[4214]:=40123;
sz[4215]:=40127;
sz[4216]:=40129;
sz[4217]:=40151;
sz[4218]:=40153;
sz[4219]:=40163;
sz[4220]:=40169;
sz[4221]:=40177;
sz[4222]:=40189;
sz[4223]:=40193;
sz[4224]:=40213;
sz[4225]:=40231;
sz[4226]:=40237;
sz[4227]:=40241;
sz[4228]:=40253;
sz[4229]:=40277;
sz[4230]:=40283;
sz[4231]:=40289;
sz[4232]:=40343;
sz[4233]:=40351;
sz[4234]:=40357;
sz[4235]:=40361;
sz[4236]:=40387;
sz[4237]:=40423;
sz[4238]:=40427;
sz[4239]:=40429;
sz[4240]:=40433;
sz[4241]:=40459;
sz[4242]:=40471;
sz[4243]:=40483;
sz[4244]:=40487;
sz[4245]:=40493;
sz[4246]:=40499;
sz[4247]:=40507;
sz[4248]:=40519;
sz[4249]:=40529;
sz[4250]:=40531;
sz[4251]:=40543;
sz[4252]:=40559;
sz[4253]:=40577;
sz[4254]:=40583;
sz[4255]:=40591;
sz[4256]:=40597;
sz[4257]:=40609;
sz[4258]:=40627;
sz[4259]:=40637;
sz[4260]:=40639;
sz[4261]:=40693;
sz[4262]:=40697;
sz[4263]:=40699;
sz[4264]:=40709;
sz[4265]:=40739;
sz[4266]:=40751;
sz[4267]:=40759;
sz[4268]:=40763;
sz[4269]:=40771;
sz[4270]:=40787;
sz[4271]:=40801;
sz[4272]:=40813;
sz[4273]:=40819;
sz[4274]:=40823;
sz[4275]:=40829;
sz[4276]:=40841;
sz[4277]:=40847;
sz[4278]:=40849;
sz[4279]:=40853;
sz[4280]:=40867;
sz[4281]:=40879;
sz[4282]:=40883;
sz[4283]:=40897;
sz[4284]:=40903;
sz[4285]:=40927;
sz[4286]:=40933;
sz[4287]:=40939;
sz[4288]:=40949;
sz[4289]:=40961;
sz[4290]:=40973;
sz[4291]:=40993;
sz[4292]:=41011;
sz[4293]:=41017;
sz[4294]:=41023;
sz[4295]:=41039;
sz[4296]:=41047;
sz[4297]:=41051;
sz[4298]:=41057;
sz[4299]:=41077;
sz[4300]:=41081;
sz[4301]:=41113;
sz[4302]:=41117;
sz[4303]:=41131;
sz[4304]:=41141;
sz[4305]:=41143;
sz[4306]:=41149;
sz[4307]:=41161;
sz[4308]:=41177;
sz[4309]:=41179;
sz[4310]:=41183;
sz[4311]:=41189;
sz[4312]:=41201;
sz[4313]:=41203;
sz[4314]:=41213;
sz[4315]:=41221;
sz[4316]:=41227;
sz[4317]:=41231;
sz[4318]:=41233;
sz[4319]:=41243;
sz[4320]:=41257;
sz[4321]:=41263;
sz[4322]:=41269;
sz[4323]:=41281;
sz[4324]:=41299;
sz[4325]:=41333;
sz[4326]:=41341;
sz[4327]:=41351;
sz[4328]:=41357;
sz[4329]:=41381;
sz[4330]:=41387;
sz[4331]:=41389;
sz[4332]:=41399;
sz[4333]:=41411;
sz[4334]:=41413;
sz[4335]:=41443;
sz[4336]:=41453;
sz[4337]:=41467;
sz[4338]:=41479;
sz[4339]:=41491;
sz[4340]:=41507;
sz[4341]:=41513;
sz[4342]:=41519;
sz[4343]:=41521;
sz[4344]:=41539;
sz[4345]:=41543;
sz[4346]:=41549;
sz[4347]:=41579;
sz[4348]:=41593;
sz[4349]:=41597;
sz[4350]:=41603;
sz[4351]:=41609;
sz[4352]:=41611;
sz[4353]:=41617;
sz[4354]:=41621;
sz[4355]:=41627;
sz[4356]:=41641;
sz[4357]:=41647;
sz[4358]:=41651;
sz[4359]:=41659;
sz[4360]:=41669;
sz[4361]:=41681;
sz[4362]:=41687;
sz[4363]:=41719;
sz[4364]:=41729;
sz[4365]:=41737;
sz[4366]:=41759;
sz[4367]:=41761;
sz[4368]:=41771;
sz[4369]:=41777;
sz[4370]:=41801;
sz[4371]:=41809;
sz[4372]:=41813;
sz[4373]:=41843;
sz[4374]:=41849;
sz[4375]:=41851;
sz[4376]:=41863;
sz[4377]:=41879;
sz[4378]:=41887;
sz[4379]:=41893;
sz[4380]:=41897;
sz[4381]:=41903;
sz[4382]:=41911;
sz[4383]:=41927;
sz[4384]:=41941;
sz[4385]:=41947;
sz[4386]:=41953;
sz[4387]:=41957;
sz[4388]:=41959;
sz[4389]:=41969;
sz[4390]:=41981;
sz[4391]:=41983;
sz[4392]:=41999;
sz[4393]:=42013;
sz[4394]:=42017;
sz[4395]:=42019;
sz[4396]:=42023;
sz[4397]:=42043;
sz[4398]:=42061;
sz[4399]:=42071;
sz[4400]:=42073;
sz[4401]:=42083;
sz[4402]:=42089;
sz[4403]:=42101;
sz[4404]:=42131;
sz[4405]:=42139;
sz[4406]:=42157;
sz[4407]:=42169;
sz[4408]:=42179;
sz[4409]:=42181;
sz[4410]:=42187;
sz[4411]:=42193;
sz[4412]:=42197;
sz[4413]:=42209;
sz[4414]:=42221;
sz[4415]:=42223;
sz[4416]:=42227;
sz[4417]:=42239;
sz[4418]:=42257;
sz[4419]:=42281;
sz[4420]:=42283;
sz[4421]:=42293;
sz[4422]:=42299;
sz[4423]:=42307;
sz[4424]:=42323;
sz[4425]:=42331;
sz[4426]:=42337;
sz[4427]:=42349;
sz[4428]:=42359;
sz[4429]:=42373;
sz[4430]:=42379;
sz[4431]:=42391;
sz[4432]:=42397;
sz[4433]:=42403;
sz[4434]:=42407;
sz[4435]:=42409;
sz[4436]:=42433;
sz[4437]:=42437;
sz[4438]:=42443;
sz[4439]:=42451;
sz[4440]:=42457;
sz[4441]:=42461;
sz[4442]:=42463;
sz[4443]:=42467;
sz[4444]:=42473;
sz[4445]:=42487;
sz[4446]:=42491;
sz[4447]:=42499;
sz[4448]:=42509;
sz[4449]:=42533;
sz[4450]:=42557;
sz[4451]:=42569;
sz[4452]:=42571;
sz[4453]:=42577;
sz[4454]:=42589;
sz[4455]:=42611;
sz[4456]:=42641;
sz[4457]:=42643;
sz[4458]:=42649;
sz[4459]:=42667;
sz[4460]:=42677;
sz[4461]:=42683;
sz[4462]:=42689;
sz[4463]:=42697;
sz[4464]:=42701;
sz[4465]:=42703;
sz[4466]:=42709;
sz[4467]:=42719;
sz[4468]:=42727;
sz[4469]:=42737;
sz[4470]:=42743;
sz[4471]:=42751;
sz[4472]:=42767;
sz[4473]:=42773;
sz[4474]:=42787;
sz[4475]:=42793;
sz[4476]:=42797;
sz[4477]:=42821;
sz[4478]:=42829;
sz[4479]:=42839;
sz[4480]:=42841;
sz[4481]:=42853;
sz[4482]:=42859;
sz[4483]:=42863;
sz[4484]:=42899;
sz[4485]:=42901;
sz[4486]:=42923;
sz[4487]:=42929;
sz[4488]:=42937;
sz[4489]:=42943;
sz[4490]:=42953;
sz[4491]:=42961;
sz[4492]:=42967;
sz[4493]:=42979;
sz[4494]:=42989;
sz[4495]:=43003;
sz[4496]:=43013;
sz[4497]:=43019;
sz[4498]:=43037;
sz[4499]:=43049;
sz[4500]:=43051;
sz[4501]:=43063;
sz[4502]:=43067;
sz[4503]:=43093;
sz[4504]:=43103;
sz[4505]:=43117;
sz[4506]:=43133;
sz[4507]:=43151;
sz[4508]:=43159;
sz[4509]:=43177;
sz[4510]:=43189;
sz[4511]:=43201;
sz[4512]:=43207;
sz[4513]:=43223;
sz[4514]:=43237;
sz[4515]:=43261;
sz[4516]:=43271;
sz[4517]:=43283;
sz[4518]:=43291;
sz[4519]:=43313;
sz[4520]:=43319;
sz[4521]:=43321;
sz[4522]:=43331;
sz[4523]:=43391;
sz[4524]:=43397;
sz[4525]:=43399;
sz[4526]:=43403;
sz[4527]:=43411;
sz[4528]:=43427;
sz[4529]:=43441;
sz[4530]:=43451;
sz[4531]:=43457;
sz[4532]:=43481;
sz[4533]:=43487;
sz[4534]:=43499;
sz[4535]:=43517;
sz[4536]:=43541;
sz[4537]:=43543;
sz[4538]:=43573;
sz[4539]:=43577;
sz[4540]:=43579;
sz[4541]:=43591;
sz[4542]:=43597;
sz[4543]:=43607;
sz[4544]:=43609;
sz[4545]:=43613;
sz[4546]:=43627;
sz[4547]:=43633;
sz[4548]:=43649;
sz[4549]:=43651;
sz[4550]:=43661;
sz[4551]:=43669;
sz[4552]:=43691;
sz[4553]:=43711;
sz[4554]:=43717;
sz[4555]:=43721;
sz[4556]:=43753;
sz[4557]:=43759;
sz[4558]:=43777;
sz[4559]:=43781;
sz[4560]:=43783;
sz[4561]:=43787;
sz[4562]:=43789;
sz[4563]:=43793;
sz[4564]:=43801;
sz[4565]:=43853;
sz[4566]:=43867;
sz[4567]:=43889;
sz[4568]:=43891;
sz[4569]:=43913;
sz[4570]:=43933;
sz[4571]:=43943;
sz[4572]:=43951;
sz[4573]:=43961;
sz[4574]:=43963;
sz[4575]:=43969;
sz[4576]:=43973;
sz[4577]:=43987;
sz[4578]:=43991;
sz[4579]:=43997;
sz[4580]:=44017;
sz[4581]:=44021;
sz[4582]:=44027;
sz[4583]:=44029;
sz[4584]:=44041;
sz[4585]:=44053;
sz[4586]:=44059;
sz[4587]:=44071;
sz[4588]:=44087;
sz[4589]:=44089;
sz[4590]:=44101;
sz[4591]:=44111;
sz[4592]:=44119;
sz[4593]:=44123;
sz[4594]:=44129;
sz[4595]:=44131;
sz[4596]:=44159;
sz[4597]:=44171;
sz[4598]:=44179;
sz[4599]:=44189;
sz[4600]:=44201;
sz[4601]:=44203;
sz[4602]:=44207;
sz[4603]:=44221;
sz[4604]:=44249;
sz[4605]:=44257;
sz[4606]:=44263;
sz[4607]:=44267;
sz[4608]:=44269;
sz[4609]:=44273;
sz[4610]:=44279;
sz[4611]:=44281;
sz[4612]:=44293;
sz[4613]:=44351;
sz[4614]:=44357;
sz[4615]:=44371;
sz[4616]:=44381;
sz[4617]:=44383;
sz[4618]:=44389;
sz[4619]:=44417;
sz[4620]:=44449;
sz[4621]:=44453;
sz[4622]:=44483;
sz[4623]:=44491;
sz[4624]:=44497;
sz[4625]:=44501;
sz[4626]:=44507;
sz[4627]:=44519;
sz[4628]:=44531;
sz[4629]:=44533;
sz[4630]:=44537;
sz[4631]:=44543;
sz[4632]:=44549;
sz[4633]:=44563;
sz[4634]:=44579;
sz[4635]:=44587;
sz[4636]:=44617;
sz[4637]:=44621;
sz[4638]:=44623;
sz[4639]:=44633;
sz[4640]:=44641;
sz[4641]:=44647;
sz[4642]:=44651;
sz[4643]:=44657;
sz[4644]:=44683;
sz[4645]:=44687;
sz[4646]:=44699;
sz[4647]:=44701;
sz[4648]:=44711;
sz[4649]:=44729;
sz[4650]:=44741;
sz[4651]:=44753;
sz[4652]:=44771;
sz[4653]:=44773;
sz[4654]:=44777;
sz[4655]:=44789;
sz[4656]:=44797;
sz[4657]:=44809;
sz[4658]:=44819;
sz[4659]:=44839;
sz[4660]:=44843;
sz[4661]:=44851;
sz[4662]:=44867;
sz[4663]:=44879;
sz[4664]:=44887;
sz[4665]:=44893;
sz[4666]:=44909;
sz[4667]:=44917;
sz[4668]:=44927;
sz[4669]:=44939;
sz[4670]:=44953;
sz[4671]:=44959;
sz[4672]:=44963;
sz[4673]:=44971;
sz[4674]:=44983;
sz[4675]:=44987;
sz[4676]:=45007;
sz[4677]:=45013;
sz[4678]:=45053;
sz[4679]:=45061;
sz[4680]:=45077;
sz[4681]:=45083;
sz[4682]:=45119;
sz[4683]:=45121;
sz[4684]:=45127;
sz[4685]:=45131;
sz[4686]:=45137;
sz[4687]:=45139;
sz[4688]:=45161;
sz[4689]:=45179;
sz[4690]:=45181;
sz[4691]:=45191;
sz[4692]:=45197;
sz[4693]:=45233;
sz[4694]:=45247;
sz[4695]:=45259;
sz[4696]:=45263;
sz[4697]:=45281;
sz[4698]:=45289;
sz[4699]:=45293;
sz[4700]:=45307;
sz[4701]:=45317;
sz[4702]:=45319;
sz[4703]:=45329;
sz[4704]:=45337;
sz[4705]:=45341;
sz[4706]:=45343;
sz[4707]:=45361;
sz[4708]:=45377;
sz[4709]:=45389;
sz[4710]:=45403;
sz[4711]:=45413;
sz[4712]:=45427;
sz[4713]:=45433;
sz[4714]:=45439;
sz[4715]:=45481;
sz[4716]:=45491;
sz[4717]:=45497;
sz[4718]:=45503;
sz[4719]:=45523;
sz[4720]:=45533;
sz[4721]:=45541;
sz[4722]:=45553;
sz[4723]:=45557;
sz[4724]:=45569;
sz[4725]:=45587;
sz[4726]:=45589;
sz[4727]:=45599;
sz[4728]:=45613;
sz[4729]:=45631;
sz[4730]:=45641;
sz[4731]:=45659;
sz[4732]:=45667;
sz[4733]:=45673;
sz[4734]:=45677;
sz[4735]:=45691;
sz[4736]:=45697;
sz[4737]:=45707;
sz[4738]:=45737;
sz[4739]:=45751;
sz[4740]:=45757;
sz[4741]:=45763;
sz[4742]:=45767;
sz[4743]:=45779;
sz[4744]:=45817;
sz[4745]:=45821;
sz[4746]:=45823;
sz[4747]:=45827;
sz[4748]:=45833;
sz[4749]:=45841;
sz[4750]:=45853;
sz[4751]:=45863;
sz[4752]:=45869;
sz[4753]:=45887;
sz[4754]:=45893;
sz[4755]:=45943;
sz[4756]:=45949;
sz[4757]:=45953;
sz[4758]:=45959;
sz[4759]:=45971;
sz[4760]:=45979;
sz[4761]:=45989;
sz[4762]:=46021;
sz[4763]:=46027;
sz[4764]:=46049;
sz[4765]:=46051;
sz[4766]:=46061;
sz[4767]:=46073;
sz[4768]:=46091;
sz[4769]:=46093;
sz[4770]:=46099;
sz[4771]:=46103;
sz[4772]:=46133;
sz[4773]:=46141;
sz[4774]:=46147;
sz[4775]:=46153;
sz[4776]:=46171;
sz[4777]:=46181;
sz[4778]:=46183;
sz[4779]:=46187;
sz[4780]:=46199;
sz[4781]:=46219;
sz[4782]:=46229;
sz[4783]:=46237;
sz[4784]:=46261;
sz[4785]:=46271;
sz[4786]:=46273;
sz[4787]:=46279;
sz[4788]:=46301;
sz[4789]:=46307;
sz[4790]:=46309;
sz[4791]:=46327;
sz[4792]:=46337;
sz[4793]:=46349;
sz[4794]:=46351;
sz[4795]:=46381;
sz[4796]:=46399;
sz[4797]:=46411;
sz[4798]:=46439;
sz[4799]:=46441;
sz[4800]:=46447;
sz[4801]:=46451;
sz[4802]:=46457;
sz[4803]:=46471;
sz[4804]:=46477;
sz[4805]:=46489;
sz[4806]:=46499;
sz[4807]:=46507;
sz[4808]:=46511;
sz[4809]:=46523;
sz[4810]:=46549;
sz[4811]:=46559;
sz[4812]:=46567;
sz[4813]:=46573;
sz[4814]:=46589;
sz[4815]:=46591;
sz[4816]:=46601;
sz[4817]:=46619;
sz[4818]:=46633;
sz[4819]:=46639;
sz[4820]:=46643;
sz[4821]:=46649;
sz[4822]:=46663;
sz[4823]:=46679;
sz[4824]:=46681;
sz[4825]:=46687;
sz[4826]:=46691;
sz[4827]:=46703;
sz[4828]:=46723;
sz[4829]:=46727;
sz[4830]:=46747;
sz[4831]:=46751;
sz[4832]:=46757;
sz[4833]:=46769;
sz[4834]:=46771;
sz[4835]:=46807;
sz[4836]:=46811;
sz[4837]:=46817;
sz[4838]:=46819;
sz[4839]:=46829;
sz[4840]:=46831;
sz[4841]:=46853;
sz[4842]:=46861;
sz[4843]:=46867;
sz[4844]:=46877;
sz[4845]:=46889;
sz[4846]:=46901;
sz[4847]:=46919;
sz[4848]:=46933;
sz[4849]:=46957;
sz[4850]:=46993;
sz[4851]:=46997;
sz[4852]:=47017;
sz[4853]:=47041;
sz[4854]:=47051;
sz[4855]:=47057;
sz[4856]:=47059;
sz[4857]:=47087;
sz[4858]:=47093;
sz[4859]:=47111;
sz[4860]:=47119;
sz[4861]:=47123;
sz[4862]:=47129;
sz[4863]:=47137;
sz[4864]:=47143;
sz[4865]:=47147;
sz[4866]:=47149;
sz[4867]:=47161;
sz[4868]:=47189;
sz[4869]:=47207;
sz[4870]:=47221;
sz[4871]:=47237;
sz[4872]:=47251;
sz[4873]:=47269;
sz[4874]:=47279;
sz[4875]:=47287;
sz[4876]:=47293;
sz[4877]:=47297;
sz[4878]:=47303;
sz[4879]:=47309;
sz[4880]:=47317;
sz[4881]:=47339;
sz[4882]:=47351;
sz[4883]:=47353;
sz[4884]:=47363;
sz[4885]:=47381;
sz[4886]:=47387;
sz[4887]:=47389;
sz[4888]:=47407;
sz[4889]:=47417;
sz[4890]:=47419;
sz[4891]:=47431;
sz[4892]:=47441;
sz[4893]:=47459;
sz[4894]:=47491;
sz[4895]:=47497;
sz[4896]:=47501;
sz[4897]:=47507;
sz[4898]:=47513;
sz[4899]:=47521;
sz[4900]:=47527;
sz[4901]:=47533;
sz[4902]:=47543;
sz[4903]:=47563;
sz[4904]:=47569;
sz[4905]:=47581;
sz[4906]:=47591;
sz[4907]:=47599;
sz[4908]:=47609;
sz[4909]:=47623;
sz[4910]:=47629;
sz[4911]:=47639;
sz[4912]:=47653;
sz[4913]:=47657;
sz[4914]:=47659;
sz[4915]:=47681;
sz[4916]:=47699;
sz[4917]:=47701;
sz[4918]:=47711;
sz[4919]:=47713;
sz[4920]:=47717;
sz[4921]:=47737;
sz[4922]:=47741;
sz[4923]:=47743;
sz[4924]:=47777;
sz[4925]:=47779;
sz[4926]:=47791;
sz[4927]:=47797;
sz[4928]:=47807;
sz[4929]:=47809;
sz[4930]:=47819;
sz[4931]:=47837;
sz[4932]:=47843;
sz[4933]:=47857;
sz[4934]:=47869;
sz[4935]:=47881;
sz[4936]:=47903;
sz[4937]:=47911;
sz[4938]:=47917;
sz[4939]:=47933;
sz[4940]:=47939;
sz[4941]:=47947;
sz[4942]:=47951;
sz[4943]:=47963;
sz[4944]:=47969;
sz[4945]:=47977;
sz[4946]:=47981;
sz[4947]:=48017;
sz[4948]:=48023;
sz[4949]:=48029;
sz[4950]:=48049;
sz[4951]:=48073;
sz[4952]:=48079;
sz[4953]:=48091;
sz[4954]:=48109;
sz[4955]:=48119;
sz[4956]:=48121;
sz[4957]:=48131;
sz[4958]:=48157;
sz[4959]:=48163;
sz[4960]:=48179;
sz[4961]:=48187;
sz[4962]:=48193;
sz[4963]:=48197;
sz[4964]:=48221;
sz[4965]:=48239;
sz[4966]:=48247;
sz[4967]:=48259;
sz[4968]:=48271;
sz[4969]:=48281;
sz[4970]:=48299;
sz[4971]:=48311;
sz[4972]:=48313;
sz[4973]:=48337;
sz[4974]:=48341;
sz[4975]:=48353;
sz[4976]:=48371;
sz[4977]:=48383;
sz[4978]:=48397;
sz[4979]:=48407;
sz[4980]:=48409;
sz[4981]:=48413;
sz[4982]:=48437;
sz[4983]:=48449;
sz[4984]:=48463;
sz[4985]:=48473;
sz[4986]:=48479;
sz[4987]:=48481;
sz[4988]:=48487;
sz[4989]:=48491;
sz[4990]:=48497;
sz[4991]:=48523;
sz[4992]:=48527;
sz[4993]:=48533;
sz[4994]:=48539;
sz[4995]:=48541;
sz[4996]:=48563;
sz[4997]:=48571;
sz[4998]:=48589;
sz[4999]:=48593;
sz[5000]:=48611;
sz[5001]:=48619;
sz[5002]:=48623;
sz[5003]:=48647;
sz[5004]:=48649;
sz[5005]:=48661;
sz[5006]:=48673;
sz[5007]:=48677;
sz[5008]:=48679;
sz[5009]:=48731;
sz[5010]:=48733;
sz[5011]:=48751;
sz[5012]:=48757;
sz[5013]:=48761;
sz[5014]:=48767;
sz[5015]:=48779;
sz[5016]:=48781;
sz[5017]:=48787;
sz[5018]:=48799;
sz[5019]:=48809;
sz[5020]:=48817;
sz[5021]:=48821;
sz[5022]:=48823;
sz[5023]:=48847;
sz[5024]:=48857;
sz[5025]:=48859;
sz[5026]:=48869;
sz[5027]:=48871;
sz[5028]:=48883;
sz[5029]:=48889;
sz[5030]:=48907;
sz[5031]:=48947;
sz[5032]:=48953;
sz[5033]:=48973;
sz[5034]:=48989;
sz[5035]:=48991;
sz[5036]:=49003;
sz[5037]:=49009;
sz[5038]:=49019;
sz[5039]:=49031;
sz[5040]:=49033;
sz[5041]:=49037;
sz[5042]:=49043;
sz[5043]:=49057;
sz[5044]:=49069;
sz[5045]:=49081;
sz[5046]:=49103;
sz[5047]:=49109;
sz[5048]:=49117;
sz[5049]:=49121;
sz[5050]:=49123;
sz[5051]:=49139;
sz[5052]:=49157;
sz[5053]:=49169;
sz[5054]:=49171;
sz[5055]:=49177;
sz[5056]:=49193;
sz[5057]:=49199;
sz[5058]:=49201;
sz[5059]:=49207;
sz[5060]:=49211;
sz[5061]:=49223;
sz[5062]:=49253;
sz[5063]:=49261;
sz[5064]:=49277;
sz[5065]:=49279;
sz[5066]:=49297;
sz[5067]:=49307;
sz[5068]:=49331;
sz[5069]:=49333;
sz[5070]:=49339;
sz[5071]:=49363;
sz[5072]:=49367;
sz[5073]:=49369;
sz[5074]:=49391;
sz[5075]:=49393;
sz[5076]:=49409;
sz[5077]:=49411;
sz[5078]:=49417;
sz[5079]:=49429;
sz[5080]:=49433;
sz[5081]:=49451;
sz[5082]:=49459;
sz[5083]:=49463;
sz[5084]:=49477;
sz[5085]:=49481;
sz[5086]:=49499;
sz[5087]:=49523;
sz[5088]:=49529;
sz[5089]:=49531;
sz[5090]:=49537;
sz[5091]:=49547;
sz[5092]:=49549;
sz[5093]:=49559;
sz[5094]:=49597;
sz[5095]:=49603;
sz[5096]:=49613;
sz[5097]:=49627;
sz[5098]:=49633;
sz[5099]:=49639;
sz[5100]:=49663;
sz[5101]:=49667;
sz[5102]:=49669;
sz[5103]:=49681;
sz[5104]:=49697;
sz[5105]:=49711;
sz[5106]:=49727;
sz[5107]:=49739;
sz[5108]:=49741;
sz[5109]:=49747;
sz[5110]:=49757;
sz[5111]:=49783;
sz[5112]:=49787;
sz[5113]:=49789;
sz[5114]:=49801;
sz[5115]:=49807;
sz[5116]:=49811;
sz[5117]:=49823;
sz[5118]:=49831;
sz[5119]:=49843;
sz[5120]:=49853;
sz[5121]:=49871;
sz[5122]:=49877;
sz[5123]:=49891;
sz[5124]:=49919;
sz[5125]:=49921;
sz[5126]:=49927;
sz[5127]:=49937;
sz[5128]:=49939;
sz[5129]:=49943;
sz[5130]:=49957;
sz[5131]:=49991;
sz[5132]:=49993;
sz[5133]:=49999;
sz[5134]:=50021;
sz[5135]:=50023;
sz[5136]:=50033;
sz[5137]:=50047;
sz[5138]:=50051;
sz[5139]:=50053;
sz[5140]:=50069;
sz[5141]:=50077;
sz[5142]:=50087;
sz[5143]:=50093;
sz[5144]:=50101;
sz[5145]:=50111;
sz[5146]:=50119;
sz[5147]:=50123;
sz[5148]:=50129;
sz[5149]:=50131;
sz[5150]:=50147;
sz[5151]:=50153;
sz[5152]:=50159;
sz[5153]:=50177;
sz[5154]:=50207;
sz[5155]:=50221;
sz[5156]:=50227;
sz[5157]:=50231;
sz[5158]:=50261;
sz[5159]:=50263;
sz[5160]:=50273;
sz[5161]:=50287;
sz[5162]:=50291;
sz[5163]:=50311;
sz[5164]:=50321;
sz[5165]:=50329;
sz[5166]:=50333;
sz[5167]:=50341;
sz[5168]:=50359;
sz[5169]:=50363;
sz[5170]:=50377;
sz[5171]:=50383;
sz[5172]:=50387;
sz[5173]:=50411;
sz[5174]:=50417;
sz[5175]:=50423;
sz[5176]:=50441;
sz[5177]:=50459;
sz[5178]:=50461;
sz[5179]:=50497;
sz[5180]:=50503;
sz[5181]:=50513;
sz[5182]:=50527;
sz[5183]:=50539;
sz[5184]:=50543;
sz[5185]:=50549;
sz[5186]:=50551;
sz[5187]:=50581;
sz[5188]:=50587;
sz[5189]:=50591;
sz[5190]:=50593;
sz[5191]:=50599;
sz[5192]:=50627;
sz[5193]:=50647;
sz[5194]:=50651;
sz[5195]:=50671;
sz[5196]:=50683;
sz[5197]:=50707;
sz[5198]:=50723;
sz[5199]:=50741;
sz[5200]:=50753;
sz[5201]:=50767;
sz[5202]:=50773;
sz[5203]:=50777;
sz[5204]:=50789;
sz[5205]:=50821;
sz[5206]:=50833;
sz[5207]:=50839;
sz[5208]:=50849;
sz[5209]:=50857;
sz[5210]:=50867;
sz[5211]:=50873;
sz[5212]:=50891;
sz[5213]:=50893;
sz[5214]:=50909;
sz[5215]:=50923;
sz[5216]:=50929;
sz[5217]:=50951;
sz[5218]:=50957;
sz[5219]:=50969;
sz[5220]:=50971;
sz[5221]:=50989;
sz[5222]:=50993;
sz[5223]:=51001;
sz[5224]:=51031;
sz[5225]:=51043;
sz[5226]:=51047;
sz[5227]:=51059;
sz[5228]:=51061;
sz[5229]:=51071;
sz[5230]:=51109;
sz[5231]:=51131;
sz[5232]:=51133;
sz[5233]:=51137;
sz[5234]:=51151;
sz[5235]:=51157;
sz[5236]:=51169;
sz[5237]:=51193;
sz[5238]:=51197;
sz[5239]:=51199;
sz[5240]:=51203;
sz[5241]:=51217;
sz[5242]:=51229;
sz[5243]:=51239;
sz[5244]:=51241;
sz[5245]:=51257;
sz[5246]:=51263;
sz[5247]:=51283;
sz[5248]:=51287;
sz[5249]:=51307;
sz[5250]:=51329;
sz[5251]:=51341;
sz[5252]:=51343;
sz[5253]:=51347;
sz[5254]:=51349;
sz[5255]:=51361;
sz[5256]:=51383;
sz[5257]:=51407;
sz[5258]:=51413;
sz[5259]:=51419;
sz[5260]:=51421;
sz[5261]:=51427;
sz[5262]:=51431;
sz[5263]:=51437;
sz[5264]:=51439;
sz[5265]:=51449;
sz[5266]:=51461;
sz[5267]:=51473;
sz[5268]:=51479;
sz[5269]:=51481;
sz[5270]:=51487;
sz[5271]:=51503;
sz[5272]:=51511;
sz[5273]:=51517;
sz[5274]:=51521;
sz[5275]:=51539;
sz[5276]:=51551;
sz[5277]:=51563;
sz[5278]:=51577;
sz[5279]:=51581;
sz[5280]:=51593;
sz[5281]:=51599;
sz[5282]:=51607;
sz[5283]:=51613;
sz[5284]:=51631;
sz[5285]:=51637;
sz[5286]:=51647;
sz[5287]:=51659;
sz[5288]:=51673;
sz[5289]:=51679;
sz[5290]:=51683;
sz[5291]:=51691;
sz[5292]:=51713;
sz[5293]:=51719;
sz[5294]:=51721;
sz[5295]:=51749;
sz[5296]:=51767;
sz[5297]:=51769;
sz[5298]:=51787;
sz[5299]:=51797;
sz[5300]:=51803;
sz[5301]:=51817;
sz[5302]:=51827;
sz[5303]:=51829;
sz[5304]:=51839;
sz[5305]:=51853;
sz[5306]:=51859;
sz[5307]:=51869;
sz[5308]:=51871;
sz[5309]:=51893;
sz[5310]:=51899;
sz[5311]:=51907;
sz[5312]:=51913;
sz[5313]:=51929;
sz[5314]:=51941;
sz[5315]:=51949;
sz[5316]:=51971;
sz[5317]:=51973;
sz[5318]:=51977;
sz[5319]:=51991;
sz[5320]:=52009;
sz[5321]:=52021;
sz[5322]:=52027;
sz[5323]:=52051;
sz[5324]:=52057;
sz[5325]:=52067;
sz[5326]:=52069;
sz[5327]:=52081;
sz[5328]:=52103;
sz[5329]:=52121;
sz[5330]:=52127;
sz[5331]:=52147;
sz[5332]:=52153;
sz[5333]:=52163;
sz[5334]:=52177;
sz[5335]:=52181;
sz[5336]:=52183;
sz[5337]:=52189;
sz[5338]:=52201;
sz[5339]:=52223;
sz[5340]:=52237;
sz[5341]:=52249;
sz[5342]:=52253;
sz[5343]:=52259;
sz[5344]:=52267;
sz[5345]:=52289;
sz[5346]:=52291;
sz[5347]:=52301;
sz[5348]:=52313;
sz[5349]:=52321;
sz[5350]:=52361;
sz[5351]:=52363;
sz[5352]:=52369;
sz[5353]:=52379;
sz[5354]:=52387;
sz[5355]:=52391;
sz[5356]:=52433;
sz[5357]:=52453;
sz[5358]:=52457;
sz[5359]:=52489;
sz[5360]:=52501;
sz[5361]:=52511;
sz[5362]:=52517;
sz[5363]:=52529;
sz[5364]:=52541;
sz[5365]:=52543;
sz[5366]:=52553;
sz[5367]:=52561;
sz[5368]:=52567;
sz[5369]:=52571;
sz[5370]:=52579;
sz[5371]:=52583;
sz[5372]:=52609;
sz[5373]:=52627;
sz[5374]:=52631;
sz[5375]:=52639;
sz[5376]:=52667;
sz[5377]:=52673;
sz[5378]:=52691;
sz[5379]:=52697;
sz[5380]:=52709;
sz[5381]:=52711;
sz[5382]:=52721;
sz[5383]:=52727;
sz[5384]:=52733;
sz[5385]:=52747;
sz[5386]:=52757;
sz[5387]:=52769;
sz[5388]:=52783;
sz[5389]:=52807;
sz[5390]:=52813;
sz[5391]:=52817;
sz[5392]:=52837;
sz[5393]:=52859;
sz[5394]:=52861;
sz[5395]:=52879;
sz[5396]:=52883;
sz[5397]:=52889;
sz[5398]:=52901;
sz[5399]:=52903;
sz[5400]:=52919;
sz[5401]:=52937;
sz[5402]:=52951;
sz[5403]:=52957;
sz[5404]:=52963;
sz[5405]:=52967;
sz[5406]:=52973;
sz[5407]:=52981;
sz[5408]:=52999;
sz[5409]:=53003;
sz[5410]:=53017;
sz[5411]:=53047;
sz[5412]:=53051;
sz[5413]:=53069;
sz[5414]:=53077;
sz[5415]:=53087;
sz[5416]:=53089;
sz[5417]:=53093;
sz[5418]:=53101;
sz[5419]:=53113;
sz[5420]:=53117;
sz[5421]:=53129;
sz[5422]:=53147;
sz[5423]:=53149;
sz[5424]:=53161;
sz[5425]:=53171;
sz[5426]:=53173;
sz[5427]:=53189;
sz[5428]:=53197;
sz[5429]:=53201;
sz[5430]:=53231;
sz[5431]:=53233;
sz[5432]:=53239;
sz[5433]:=53267;
sz[5434]:=53269;
sz[5435]:=53279;
sz[5436]:=53281;
sz[5437]:=53299;
sz[5438]:=53309;
sz[5439]:=53323;
sz[5440]:=53327;
sz[5441]:=53353;
sz[5442]:=53359;
sz[5443]:=53377;
sz[5444]:=53381;
sz[5445]:=53401;
sz[5446]:=53407;
sz[5447]:=53411;
sz[5448]:=53419;
sz[5449]:=53437;
sz[5450]:=53441;
sz[5451]:=53453;
sz[5452]:=53479;
sz[5453]:=53503;
sz[5454]:=53507;
sz[5455]:=53527;
sz[5456]:=53549;
sz[5457]:=53551;
sz[5458]:=53569;
sz[5459]:=53591;
sz[5460]:=53593;
sz[5461]:=53597;
sz[5462]:=53609;
sz[5463]:=53611;
sz[5464]:=53617;
sz[5465]:=53623;
sz[5466]:=53629;
sz[5467]:=53633;
sz[5468]:=53639;
sz[5469]:=53653;
sz[5470]:=53657;
sz[5471]:=53681;
sz[5472]:=53693;
sz[5473]:=53699;
sz[5474]:=53717;
sz[5475]:=53719;
sz[5476]:=53731;
sz[5477]:=53759;
sz[5478]:=53773;
sz[5479]:=53777;
sz[5480]:=53783;
sz[5481]:=53791;
sz[5482]:=53813;
sz[5483]:=53819;
sz[5484]:=53831;
sz[5485]:=53849;
sz[5486]:=53857;
sz[5487]:=53861;
sz[5488]:=53881;
sz[5489]:=53887;
sz[5490]:=53891;
sz[5491]:=53897;
sz[5492]:=53899;
sz[5493]:=53917;
sz[5494]:=53923;
sz[5495]:=53927;
sz[5496]:=53939;
sz[5497]:=53951;
sz[5498]:=53959;
sz[5499]:=53987;
sz[5500]:=53993;
sz[5501]:=54001;
sz[5502]:=54011;
sz[5503]:=54013;
sz[5504]:=54037;
sz[5505]:=54049;
sz[5506]:=54059;
sz[5507]:=54083;
sz[5508]:=54091;
sz[5509]:=54101;
sz[5510]:=54121;
sz[5511]:=54133;
sz[5512]:=54139;
sz[5513]:=54151;
sz[5514]:=54163;
sz[5515]:=54167;
sz[5516]:=54181;
sz[5517]:=54193;
sz[5518]:=54217;
sz[5519]:=54251;
sz[5520]:=54269;
sz[5521]:=54277;
sz[5522]:=54287;
sz[5523]:=54293;
sz[5524]:=54311;
sz[5525]:=54319;
sz[5526]:=54323;
sz[5527]:=54331;
sz[5528]:=54347;
sz[5529]:=54361;
sz[5530]:=54367;
sz[5531]:=54371;
sz[5532]:=54377;
sz[5533]:=54401;
sz[5534]:=54403;
sz[5535]:=54409;
sz[5536]:=54413;
sz[5537]:=54419;
sz[5538]:=54421;
sz[5539]:=54437;
sz[5540]:=54443;
sz[5541]:=54449;
sz[5542]:=54469;
sz[5543]:=54493;
sz[5544]:=54497;
sz[5545]:=54499;
sz[5546]:=54503;
sz[5547]:=54517;
sz[5548]:=54521;
sz[5549]:=54539;
sz[5550]:=54541;
sz[5551]:=54547;
sz[5552]:=54559;
sz[5553]:=54563;
sz[5554]:=54577;
sz[5555]:=54581;
sz[5556]:=54583;
sz[5557]:=54601;
sz[5558]:=54617;
sz[5559]:=54623;
sz[5560]:=54629;
sz[5561]:=54631;
sz[5562]:=54647;
sz[5563]:=54667;
sz[5564]:=54673;
sz[5565]:=54679;
sz[5566]:=54709;
sz[5567]:=54713;
sz[5568]:=54721;
sz[5569]:=54727;
sz[5570]:=54751;
sz[5571]:=54767;
sz[5572]:=54773;
sz[5573]:=54779;
sz[5574]:=54787;
sz[5575]:=54799;
sz[5576]:=54829;
sz[5577]:=54833;
sz[5578]:=54851;
sz[5579]:=54869;
sz[5580]:=54877;
sz[5581]:=54881;
sz[5582]:=54907;
sz[5583]:=54917;
sz[5584]:=54919;
sz[5585]:=54941;
sz[5586]:=54949;
sz[5587]:=54959;
sz[5588]:=54973;
sz[5589]:=54979;
sz[5590]:=54983;
sz[5591]:=55001;
sz[5592]:=55009;
sz[5593]:=55021;
sz[5594]:=55049;
sz[5595]:=55051;
sz[5596]:=55057;
sz[5597]:=55061;
sz[5598]:=55073;
sz[5599]:=55079;
sz[5600]:=55103;
sz[5601]:=55109;
sz[5602]:=55117;
sz[5603]:=55127;
sz[5604]:=55147;
sz[5605]:=55163;
sz[5606]:=55171;
sz[5607]:=55201;
sz[5608]:=55207;
sz[5609]:=55213;
sz[5610]:=55217;
sz[5611]:=55219;
sz[5612]:=55229;
sz[5613]:=55243;
sz[5614]:=55249;
sz[5615]:=55259;
sz[5616]:=55291;
sz[5617]:=55313;
sz[5618]:=55331;
sz[5619]:=55333;
sz[5620]:=55337;
sz[5621]:=55339;
sz[5622]:=55343;
sz[5623]:=55351;
sz[5624]:=55373;
sz[5625]:=55381;
sz[5626]:=55399;
sz[5627]:=55411;
sz[5628]:=55439;
sz[5629]:=55441;
sz[5630]:=55457;
sz[5631]:=55469;
sz[5632]:=55487;
sz[5633]:=55501;
sz[5634]:=55511;
sz[5635]:=55529;
sz[5636]:=55541;
sz[5637]:=55547;
sz[5638]:=55579;
sz[5639]:=55589;
sz[5640]:=55603;
sz[5641]:=55609;
sz[5642]:=55619;
sz[5643]:=55621;
sz[5644]:=55631;
sz[5645]:=55633;
sz[5646]:=55639;
sz[5647]:=55661;
sz[5648]:=55663;
sz[5649]:=55667;
sz[5650]:=55673;
sz[5651]:=55681;
sz[5652]:=55691;
sz[5653]:=55697;
sz[5654]:=55711;
sz[5655]:=55717;
sz[5656]:=55721;
sz[5657]:=55733;
sz[5658]:=55763;
sz[5659]:=55787;
sz[5660]:=55793;
sz[5661]:=55799;
sz[5662]:=55807;
sz[5663]:=55813;
sz[5664]:=55817;
sz[5665]:=55819;
sz[5666]:=55823;
sz[5667]:=55829;
sz[5668]:=55837;
sz[5669]:=55843;
sz[5670]:=55849;
sz[5671]:=55871;
sz[5672]:=55889;
sz[5673]:=55897;
sz[5674]:=55901;
sz[5675]:=55903;
sz[5676]:=55921;
sz[5677]:=55927;
sz[5678]:=55931;
sz[5679]:=55933;
sz[5680]:=55949;
sz[5681]:=55967;
sz[5682]:=55987;
sz[5683]:=55997;
sz[5684]:=56003;
sz[5685]:=56009;
sz[5686]:=56039;
sz[5687]:=56041;
sz[5688]:=56053;
sz[5689]:=56081;
sz[5690]:=56087;
sz[5691]:=56093;
sz[5692]:=56099;
sz[5693]:=56101;
sz[5694]:=56113;
sz[5695]:=56123;
sz[5696]:=56131;
sz[5697]:=56149;
sz[5698]:=56167;
sz[5699]:=56171;
sz[5700]:=56179;
sz[5701]:=56197;
sz[5702]:=56207;
sz[5703]:=56209;
sz[5704]:=56237;
sz[5705]:=56239;
sz[5706]:=56249;
sz[5707]:=56263;
sz[5708]:=56267;
sz[5709]:=56269;
sz[5710]:=56299;
sz[5711]:=56311;
sz[5712]:=56333;
sz[5713]:=56359;
sz[5714]:=56369;
sz[5715]:=56377;
sz[5716]:=56383;
sz[5717]:=56393;
sz[5718]:=56401;
sz[5719]:=56417;
sz[5720]:=56431;
sz[5721]:=56437;
sz[5722]:=56443;
sz[5723]:=56453;
sz[5724]:=56467;
sz[5725]:=56473;
sz[5726]:=56477;
sz[5727]:=56479;
sz[5728]:=56489;
sz[5729]:=56501;
sz[5730]:=56503;
sz[5731]:=56509;
sz[5732]:=56519;
sz[5733]:=56527;
sz[5734]:=56531;
sz[5735]:=56533;
sz[5736]:=56543;
sz[5737]:=56569;
sz[5738]:=56591;
sz[5739]:=56597;
sz[5740]:=56599;
sz[5741]:=56611;
sz[5742]:=56629;
sz[5743]:=56633;
sz[5744]:=56659;
sz[5745]:=56663;
sz[5746]:=56671;
sz[5747]:=56681;
sz[5748]:=56687;
sz[5749]:=56701;
sz[5750]:=56711;
sz[5751]:=56713;
sz[5752]:=56731;
sz[5753]:=56737;
sz[5754]:=56747;
sz[5755]:=56767;
sz[5756]:=56773;
sz[5757]:=56779;
sz[5758]:=56783;
sz[5759]:=56807;
sz[5760]:=56809;
sz[5761]:=56813;
sz[5762]:=56821;
sz[5763]:=56827;
sz[5764]:=56843;
sz[5765]:=56857;
sz[5766]:=56873;
sz[5767]:=56891;
sz[5768]:=56893;
sz[5769]:=56897;
sz[5770]:=56909;
sz[5771]:=56911;
sz[5772]:=56921;
sz[5773]:=56923;
sz[5774]:=56929;
sz[5775]:=56941;
sz[5776]:=56951;
sz[5777]:=56957;
sz[5778]:=56963;
sz[5779]:=56983;
sz[5780]:=56989;
sz[5781]:=56993;
sz[5782]:=56999;
sz[5783]:=57037;
sz[5784]:=57041;
sz[5785]:=57047;
sz[5786]:=57059;
sz[5787]:=57073;
sz[5788]:=57077;
sz[5789]:=57089;
sz[5790]:=57097;
sz[5791]:=57107;
sz[5792]:=57119;
sz[5793]:=57131;
sz[5794]:=57139;
sz[5795]:=57143;
sz[5796]:=57149;
sz[5797]:=57163;
sz[5798]:=57173;
sz[5799]:=57179;
sz[5800]:=57191;
sz[5801]:=57193;
sz[5802]:=57203;
sz[5803]:=57221;
sz[5804]:=57223;
sz[5805]:=57241;
sz[5806]:=57251;
sz[5807]:=57259;
sz[5808]:=57269;
sz[5809]:=57271;
sz[5810]:=57283;
sz[5811]:=57287;
sz[5812]:=57301;
sz[5813]:=57329;
sz[5814]:=57331;
sz[5815]:=57347;
sz[5816]:=57349;
sz[5817]:=57367;
sz[5818]:=57373;
sz[5819]:=57383;
sz[5820]:=57389;
sz[5821]:=57397;
sz[5822]:=57413;
sz[5823]:=57427;
sz[5824]:=57457;
sz[5825]:=57467;
sz[5826]:=57487;
sz[5827]:=57493;
sz[5828]:=57503;
sz[5829]:=57527;
sz[5830]:=57529;
sz[5831]:=57557;
sz[5832]:=57559;
sz[5833]:=57571;
sz[5834]:=57587;
sz[5835]:=57593;
sz[5836]:=57601;
sz[5837]:=57637;
sz[5838]:=57641;
sz[5839]:=57649;
sz[5840]:=57653;
sz[5841]:=57667;
sz[5842]:=57679;
sz[5843]:=57689;
sz[5844]:=57697;
sz[5845]:=57709;
sz[5846]:=57713;
sz[5847]:=57719;
sz[5848]:=57727;
sz[5849]:=57731;
sz[5850]:=57737;
sz[5851]:=57751;
sz[5852]:=57773;
sz[5853]:=57781;
sz[5854]:=57787;
sz[5855]:=57791;
sz[5856]:=57793;
sz[5857]:=57803;
sz[5858]:=57809;
sz[5859]:=57829;
sz[5860]:=57839;
sz[5861]:=57847;
sz[5862]:=57853;
sz[5863]:=57859;
sz[5864]:=57881;
sz[5865]:=57899;
sz[5866]:=57901;
sz[5867]:=57917;
sz[5868]:=57923;
sz[5869]:=57943;
sz[5870]:=57947;
sz[5871]:=57973;
sz[5872]:=57977;
sz[5873]:=57991;
sz[5874]:=58013;
sz[5875]:=58027;
sz[5876]:=58031;
sz[5877]:=58043;
sz[5878]:=58049;
sz[5879]:=58057;
sz[5880]:=58061;
sz[5881]:=58067;
sz[5882]:=58073;
sz[5883]:=58099;
sz[5884]:=58109;
sz[5885]:=58111;
sz[5886]:=58129;
sz[5887]:=58147;
sz[5888]:=58151;
sz[5889]:=58153;
sz[5890]:=58169;
sz[5891]:=58171;
sz[5892]:=58189;
sz[5893]:=58193;
sz[5894]:=58199;
sz[5895]:=58207;
sz[5896]:=58211;
sz[5897]:=58217;
sz[5898]:=58229;
sz[5899]:=58231;
sz[5900]:=58237;
sz[5901]:=58243;
sz[5902]:=58271;
sz[5903]:=58309;
sz[5904]:=58313;
sz[5905]:=58321;
sz[5906]:=58337;
sz[5907]:=58363;
sz[5908]:=58367;
sz[5909]:=58369;
sz[5910]:=58379;
sz[5911]:=58391;
sz[5912]:=58393;
sz[5913]:=58403;
sz[5914]:=58411;
sz[5915]:=58417;
sz[5916]:=58427;
sz[5917]:=58439;
sz[5918]:=58441;
sz[5919]:=58451;
sz[5920]:=58453;
sz[5921]:=58477;
sz[5922]:=58481;
sz[5923]:=58511;
sz[5924]:=58537;
sz[5925]:=58543;
sz[5926]:=58549;
sz[5927]:=58567;
sz[5928]:=58573;
sz[5929]:=58579;
sz[5930]:=58601;
sz[5931]:=58603;
sz[5932]:=58613;
sz[5933]:=58631;
sz[5934]:=58657;
sz[5935]:=58661;
sz[5936]:=58679;
sz[5937]:=58687;
sz[5938]:=58693;
sz[5939]:=58699;
sz[5940]:=58711;
sz[5941]:=58727;
sz[5942]:=58733;
sz[5943]:=58741;
sz[5944]:=58757;
sz[5945]:=58763;
sz[5946]:=58771;
sz[5947]:=58787;
sz[5948]:=58789;
sz[5949]:=58831;
sz[5950]:=58889;
sz[5951]:=58897;
sz[5952]:=58901;
sz[5953]:=58907;
sz[5954]:=58909;
sz[5955]:=58913;
sz[5956]:=58921;
sz[5957]:=58937;
sz[5958]:=58943;
sz[5959]:=58963;
sz[5960]:=58967;
sz[5961]:=58979;
sz[5962]:=58991;
sz[5963]:=58997;
sz[5964]:=59009;
sz[5965]:=59011;
sz[5966]:=59021;
sz[5967]:=59023;
sz[5968]:=59029;
sz[5969]:=59051;
sz[5970]:=59053;
sz[5971]:=59063;
sz[5972]:=59069;
sz[5973]:=59077;
sz[5974]:=59083;
sz[5975]:=59093;
sz[5976]:=59107;
sz[5977]:=59113;
sz[5978]:=59119;
sz[5979]:=59123;
sz[5980]:=59141;
sz[5981]:=59149;
sz[5982]:=59159;
sz[5983]:=59167;
sz[5984]:=59183;
sz[5985]:=59197;
sz[5986]:=59207;
sz[5987]:=59209;
sz[5988]:=59219;
sz[5989]:=59221;
sz[5990]:=59233;
sz[5991]:=59239;
sz[5992]:=59243;
sz[5993]:=59263;
sz[5994]:=59273;
sz[5995]:=59281;
sz[5996]:=59333;
sz[5997]:=59341;
sz[5998]:=59351;
sz[5999]:=59357;
sz[6000]:=59359;
sz[6001]:=59369;
sz[6002]:=59377;
sz[6003]:=59387;
sz[6004]:=59393;
sz[6005]:=59399;
sz[6006]:=59407;
sz[6007]:=59417;
sz[6008]:=59419;
sz[6009]:=59441;
sz[6010]:=59443;
sz[6011]:=59447;
sz[6012]:=59453;
sz[6013]:=59467;
sz[6014]:=59471;
sz[6015]:=59473;
sz[6016]:=59497;
sz[6017]:=59509;
sz[6018]:=59513;
sz[6019]:=59539;
sz[6020]:=59557;
sz[6021]:=59561;
sz[6022]:=59567;
sz[6023]:=59581;
sz[6024]:=59611;
sz[6025]:=59617;
sz[6026]:=59621;
sz[6027]:=59627;
sz[6028]:=59629;
sz[6029]:=59651;
sz[6030]:=59659;
sz[6031]:=59663;
sz[6032]:=59669;
sz[6033]:=59671;
sz[6034]:=59693;
sz[6035]:=59699;
sz[6036]:=59707;
sz[6037]:=59723;
sz[6038]:=59729;
sz[6039]:=59743;
sz[6040]:=59747;
sz[6041]:=59753;
sz[6042]:=59771;
sz[6043]:=59779;
sz[6044]:=59791;
sz[6045]:=59797;
sz[6046]:=59809;
sz[6047]:=59833;
sz[6048]:=59863;
sz[6049]:=59879;
sz[6050]:=59887;
sz[6051]:=59921;
sz[6052]:=59929;
sz[6053]:=59951;
sz[6054]:=59957;
sz[6055]:=59971;
sz[6056]:=59981;
sz[6057]:=59999;
sz[6058]:=60013;
sz[6059]:=60017;
sz[6060]:=60029;
sz[6061]:=60037;
sz[6062]:=60041;
sz[6063]:=60077;
sz[6064]:=60083;
sz[6065]:=60089;
sz[6066]:=60091;
sz[6067]:=60101;
sz[6068]:=60103;
sz[6069]:=60107;
sz[6070]:=60127;
sz[6071]:=60133;
sz[6072]:=60139;
sz[6073]:=60149;
sz[6074]:=60161;
sz[6075]:=60167;
sz[6076]:=60169;
sz[6077]:=60209;
sz[6078]:=60217;
sz[6079]:=60223;
sz[6080]:=60251;
sz[6081]:=60257;
sz[6082]:=60259;
sz[6083]:=60271;
sz[6084]:=60289;
sz[6085]:=60293;
sz[6086]:=60317;
sz[6087]:=60331;
sz[6088]:=60337;
sz[6089]:=60343;
sz[6090]:=60353;
sz[6091]:=60373;
sz[6092]:=60383;
sz[6093]:=60397;
sz[6094]:=60413;
sz[6095]:=60427;
sz[6096]:=60443;
sz[6097]:=60449;
sz[6098]:=60457;
sz[6099]:=60493;
sz[6100]:=60497;
sz[6101]:=60509;
sz[6102]:=60521;
sz[6103]:=60527;
sz[6104]:=60539;
sz[6105]:=60589;
sz[6106]:=60601;
sz[6107]:=60607;
sz[6108]:=60611;
sz[6109]:=60617;
sz[6110]:=60623;
sz[6111]:=60631;
sz[6112]:=60637;
sz[6113]:=60647;
sz[6114]:=60649;
sz[6115]:=60659;
sz[6116]:=60661;
sz[6117]:=60679;
sz[6118]:=60689;
sz[6119]:=60703;
sz[6120]:=60719;
sz[6121]:=60727;
sz[6122]:=60733;
sz[6123]:=60737;
sz[6124]:=60757;
sz[6125]:=60761;
sz[6126]:=60763;
sz[6127]:=60773;
sz[6128]:=60779;
sz[6129]:=60793;
sz[6130]:=60811;
sz[6131]:=60821;
sz[6132]:=60859;
sz[6133]:=60869;
sz[6134]:=60887;
sz[6135]:=60889;
sz[6136]:=60899;
sz[6137]:=60901;
sz[6138]:=60913;
sz[6139]:=60917;
sz[6140]:=60919;
sz[6141]:=60923;
sz[6142]:=60937;
sz[6143]:=60943;
sz[6144]:=60953;
sz[6145]:=60961;
sz[6146]:=61001;
sz[6147]:=61007;
sz[6148]:=61027;
sz[6149]:=61031;
sz[6150]:=61043;
sz[6151]:=61051;
sz[6152]:=61057;
sz[6153]:=61091;
sz[6154]:=61099;
sz[6155]:=61121;
sz[6156]:=61129;
sz[6157]:=61141;
sz[6158]:=61151;
sz[6159]:=61153;
sz[6160]:=61169;
sz[6161]:=61211;
sz[6162]:=61223;
sz[6163]:=61231;
sz[6164]:=61253;
sz[6165]:=61261;
sz[6166]:=61283;
sz[6167]:=61291;
sz[6168]:=61297;
sz[6169]:=61331;
sz[6170]:=61333;
sz[6171]:=61339;
sz[6172]:=61343;
sz[6173]:=61357;
sz[6174]:=61363;
sz[6175]:=61379;
sz[6176]:=61381;
sz[6177]:=61403;
sz[6178]:=61409;
sz[6179]:=61417;
sz[6180]:=61441;
sz[6181]:=61463;
sz[6182]:=61469;
sz[6183]:=61471;
sz[6184]:=61483;
sz[6185]:=61487;
sz[6186]:=61493;
sz[6187]:=61507;
sz[6188]:=61511;
sz[6189]:=61519;
sz[6190]:=61543;
sz[6191]:=61547;
sz[6192]:=61553;
sz[6193]:=61559;
sz[6194]:=61561;
sz[6195]:=61583;
sz[6196]:=61603;
sz[6197]:=61609;
sz[6198]:=61613;
sz[6199]:=61627;
sz[6200]:=61631;
sz[6201]:=61637;
sz[6202]:=61643;
sz[6203]:=61651;
sz[6204]:=61657;
sz[6205]:=61667;
sz[6206]:=61673;
sz[6207]:=61681;
sz[6208]:=61687;
sz[6209]:=61703;
sz[6210]:=61717;
sz[6211]:=61723;
sz[6212]:=61729;
sz[6213]:=61751;
sz[6214]:=61757;
sz[6215]:=61781;
sz[6216]:=61813;
sz[6217]:=61819;
sz[6218]:=61837;
sz[6219]:=61843;
sz[6220]:=61861;
sz[6221]:=61871;
sz[6222]:=61879;
sz[6223]:=61909;
sz[6224]:=61927;
sz[6225]:=61933;
sz[6226]:=61949;
sz[6227]:=61961;
sz[6228]:=61967;
sz[6229]:=61979;
sz[6230]:=61981;
sz[6231]:=61987;
sz[6232]:=61991;
sz[6233]:=62003;
sz[6234]:=62011;
sz[6235]:=62017;
sz[6236]:=62039;
sz[6237]:=62047;
sz[6238]:=62053;
sz[6239]:=62057;
sz[6240]:=62071;
sz[6241]:=62081;
sz[6242]:=62099;
sz[6243]:=62119;
sz[6244]:=62129;
sz[6245]:=62131;
sz[6246]:=62137;
sz[6247]:=62141;
sz[6248]:=62143;
sz[6249]:=62171;
sz[6250]:=62189;
sz[6251]:=62191;
sz[6252]:=62201;
sz[6253]:=62207;
sz[6254]:=62213;
sz[6255]:=62219;
sz[6256]:=62233;
sz[6257]:=62273;
sz[6258]:=62297;
sz[6259]:=62299;
sz[6260]:=62303;
sz[6261]:=62311;
sz[6262]:=62323;
sz[6263]:=62327;
sz[6264]:=62347;
sz[6265]:=62351;
sz[6266]:=62383;
sz[6267]:=62401;
sz[6268]:=62417;
sz[6269]:=62423;
sz[6270]:=62459;
sz[6271]:=62467;
sz[6272]:=62473;
sz[6273]:=62477;
sz[6274]:=62483;
sz[6275]:=62497;
sz[6276]:=62501;
sz[6277]:=62507;
sz[6278]:=62533;
sz[6279]:=62539;
sz[6280]:=62549;
sz[6281]:=62563;
sz[6282]:=62581;
sz[6283]:=62591;
sz[6284]:=62597;
sz[6285]:=62603;
sz[6286]:=62617;
sz[6287]:=62627;
sz[6288]:=62633;
sz[6289]:=62639;
sz[6290]:=62653;
sz[6291]:=62659;
sz[6292]:=62683;
sz[6293]:=62687;
sz[6294]:=62701;
sz[6295]:=62723;
sz[6296]:=62731;
sz[6297]:=62743;
sz[6298]:=62753;
sz[6299]:=62761;
sz[6300]:=62773;
sz[6301]:=62791;
sz[6302]:=62801;
sz[6303]:=62819;
sz[6304]:=62827;
sz[6305]:=62851;
sz[6306]:=62861;
sz[6307]:=62869;
sz[6308]:=62873;
sz[6309]:=62897;
sz[6310]:=62903;
sz[6311]:=62921;
sz[6312]:=62927;
sz[6313]:=62929;
sz[6314]:=62939;
sz[6315]:=62969;
sz[6316]:=62971;
sz[6317]:=62981;
sz[6318]:=62983;
sz[6319]:=62987;
sz[6320]:=62989;
sz[6321]:=63029;
sz[6322]:=63031;
sz[6323]:=63059;
sz[6324]:=63067;
sz[6325]:=63073;
sz[6326]:=63079;
sz[6327]:=63097;
sz[6328]:=63103;
sz[6329]:=63113;
sz[6330]:=63127;
sz[6331]:=63131;
sz[6332]:=63149;
sz[6333]:=63179;
sz[6334]:=63197;
sz[6335]:=63199;
sz[6336]:=63211;
sz[6337]:=63241;
sz[6338]:=63247;
sz[6339]:=63277;
sz[6340]:=63281;
sz[6341]:=63299;
sz[6342]:=63311;
sz[6343]:=63313;
sz[6344]:=63317;
sz[6345]:=63331;
sz[6346]:=63337;
sz[6347]:=63347;
sz[6348]:=63353;
sz[6349]:=63361;
sz[6350]:=63367;
sz[6351]:=63377;
sz[6352]:=63389;
sz[6353]:=63391;
sz[6354]:=63397;
sz[6355]:=63409;
sz[6356]:=63419;
sz[6357]:=63421;
sz[6358]:=63439;
sz[6359]:=63443;
sz[6360]:=63463;
sz[6361]:=63467;
sz[6362]:=63473;
sz[6363]:=63487;
sz[6364]:=63493;
sz[6365]:=63499;
sz[6366]:=63521;
sz[6367]:=63527;
sz[6368]:=63533;
sz[6369]:=63541;
sz[6370]:=63559;
sz[6371]:=63577;
sz[6372]:=63587;
sz[6373]:=63589;
sz[6374]:=63599;
sz[6375]:=63601;
sz[6376]:=63607;
sz[6377]:=63611;
sz[6378]:=63617;
sz[6379]:=63629;
sz[6380]:=63647;
sz[6381]:=63649;
sz[6382]:=63659;
sz[6383]:=63667;
sz[6384]:=63671;
sz[6385]:=63689;
sz[6386]:=63691;
sz[6387]:=63697;
sz[6388]:=63703;
sz[6389]:=63709;
sz[6390]:=63719;
sz[6391]:=63727;
sz[6392]:=63737;
sz[6393]:=63743;
sz[6394]:=63761;
sz[6395]:=63773;
sz[6396]:=63781;
sz[6397]:=63793;
sz[6398]:=63799;
sz[6399]:=63803;
sz[6400]:=63809;
sz[6401]:=63823;
sz[6402]:=63839;
sz[6403]:=63841;
sz[6404]:=63853;
sz[6405]:=63857;
sz[6406]:=63863;
sz[6407]:=63901;
sz[6408]:=63907;
sz[6409]:=63913;
sz[6410]:=63929;
sz[6411]:=63949;
sz[6412]:=63977;
sz[6413]:=63997;
sz[6414]:=64007;
sz[6415]:=64013;
sz[6416]:=64019;
sz[6417]:=64033;
sz[6418]:=64037;
sz[6419]:=64063;
sz[6420]:=64067;
sz[6421]:=64081;
sz[6422]:=64091;
sz[6423]:=64109;
sz[6424]:=64123;
sz[6425]:=64151;
sz[6426]:=64153;
sz[6427]:=64157;
sz[6428]:=64171;
sz[6429]:=64187;
sz[6430]:=64189;
sz[6431]:=64217;
sz[6432]:=64223;
sz[6433]:=64231;
sz[6434]:=64237;
sz[6435]:=64271;
sz[6436]:=64279;
sz[6437]:=64283;
sz[6438]:=64301;
sz[6439]:=64303;
sz[6440]:=64319;
sz[6441]:=64327;
sz[6442]:=64333;
sz[6443]:=64373;
sz[6444]:=64381;
sz[6445]:=64399;
sz[6446]:=64403;
sz[6447]:=64433;
sz[6448]:=64439;
sz[6449]:=64451;
sz[6450]:=64453;
sz[6451]:=64483;
sz[6452]:=64489;
sz[6453]:=64499;
sz[6454]:=64513;
sz[6455]:=64553;
sz[6456]:=64567;
sz[6457]:=64577;
sz[6458]:=64579;
sz[6459]:=64591;
sz[6460]:=64601;
sz[6461]:=64609;
sz[6462]:=64613;
sz[6463]:=64621;
sz[6464]:=64627;
sz[6465]:=64633;
sz[6466]:=64661;
sz[6467]:=64663;
sz[6468]:=64667;
sz[6469]:=64679;
sz[6470]:=64693;
sz[6471]:=64709;
sz[6472]:=64717;
sz[6473]:=64747;
sz[6474]:=64763;
sz[6475]:=64781;
sz[6476]:=64783;
sz[6477]:=64793;
sz[6478]:=64811;
sz[6479]:=64817;
sz[6480]:=64849;
sz[6481]:=64853;
sz[6482]:=64871;
sz[6483]:=64877;
sz[6484]:=64879;
sz[6485]:=64891;
sz[6486]:=64901;
sz[6487]:=64919;
sz[6488]:=64921;
sz[6489]:=64927;
sz[6490]:=64937;
sz[6491]:=64951;
sz[6492]:=64969;
sz[6493]:=64997;
sz[6494]:=65003;
sz[6495]:=65011;
sz[6496]:=65027;
sz[6497]:=65029;
sz[6498]:=65033;
sz[6499]:=65053;
sz[6500]:=65063;
sz[6501]:=65071;
sz[6502]:=65089;
sz[6503]:=65099;
sz[6504]:=65101;
sz[6505]:=65111;
sz[6506]:=65119;
sz[6507]:=65123;
sz[6508]:=65129;
sz[6509]:=65141;
sz[6510]:=65147;
sz[6511]:=65167;
sz[6512]:=65171;
sz[6513]:=65173;
sz[6514]:=65179;
sz[6515]:=65183;
sz[6516]:=65203;
sz[6517]:=65213;
sz[6518]:=65239;
sz[6519]:=65257;
sz[6520]:=65267;
sz[6521]:=65269;
sz[6522]:=65287;
sz[6523]:=65293;
sz[6524]:=65309;
sz[6525]:=65323;
sz[6526]:=65327;
sz[6527]:=65353;
sz[6528]:=65357;
sz[6529]:=65371;
sz[6530]:=65381;
sz[6531]:=65393;
sz[6532]:=65407;
sz[6533]:=65413;
sz[6534]:=65419;
sz[6535]:=65423;
sz[6536]:=65437;
sz[6537]:=65447;
sz[6538]:=65449;
sz[6539]:=65479;
sz[6540]:=65497;
sz[6541]:=65519;
sz[6542]:=65521;
sz[6543]:=65537;
sz[6544]:=65539;
sz[6545]:=65543;
sz[6546]:=65551;
sz[6547]:=65557;
sz[6548]:=65563;
sz[6549]:=65579;
sz[6550]:=65581;
sz[6551]:=65587;
sz[6552]:=65599;
sz[6553]:=65609;
sz[6554]:=65617;
sz[6555]:=65629;
sz[6556]:=65633;
sz[6557]:=65647;
sz[6558]:=65651;
sz[6559]:=65657;
sz[6560]:=65677;
sz[6561]:=65687;
sz[6562]:=65699;
sz[6563]:=65701;
sz[6564]:=65707;
sz[6565]:=65713;
sz[6566]:=65717;
sz[6567]:=65719;
sz[6568]:=65729;
sz[6569]:=65731;
sz[6570]:=65761;
sz[6571]:=65777;
sz[6572]:=65789;
sz[6573]:=65809;
sz[6574]:=65827;
sz[6575]:=65831;
sz[6576]:=65837;
sz[6577]:=65839;
sz[6578]:=65843;
sz[6579]:=65851;
sz[6580]:=65867;
sz[6581]:=65881;
sz[6582]:=65899;
sz[6583]:=65921;
sz[6584]:=65927;
sz[6585]:=65929;
sz[6586]:=65951;
sz[6587]:=65957;
sz[6588]:=65963;
sz[6589]:=65981;
sz[6590]:=65983;
sz[6591]:=65993;
sz[6592]:=66029;
sz[6593]:=66037;
sz[6594]:=66041;
sz[6595]:=66047;
sz[6596]:=66067;
sz[6597]:=66071;
sz[6598]:=66083;
sz[6599]:=66089;
sz[6600]:=66103;
sz[6601]:=66107;
sz[6602]:=66109;
sz[6603]:=66137;
sz[6604]:=66161;
sz[6605]:=66169;
sz[6606]:=66173;
sz[6607]:=66179;
sz[6608]:=66191;
sz[6609]:=66221;
sz[6610]:=66239;
sz[6611]:=66271;
sz[6612]:=66293;
sz[6613]:=66301;
sz[6614]:=66337;
sz[6615]:=66343;
sz[6616]:=66347;
sz[6617]:=66359;
sz[6618]:=66361;
sz[6619]:=66373;
sz[6620]:=66377;
sz[6621]:=66383;
sz[6622]:=66403;
sz[6623]:=66413;
sz[6624]:=66431;
sz[6625]:=66449;
sz[6626]:=66457;
sz[6627]:=66463;
sz[6628]:=66467;
sz[6629]:=66491;
sz[6630]:=66499;
sz[6631]:=66509;
sz[6632]:=66523;
sz[6633]:=66529;
sz[6634]:=66533;
sz[6635]:=66541;
sz[6636]:=66553;
sz[6637]:=66569;
sz[6638]:=66571;
sz[6639]:=66587;
sz[6640]:=66593;
sz[6641]:=66601;
sz[6642]:=66617;
sz[6643]:=66629;
sz[6644]:=66643;
sz[6645]:=66653;
sz[6646]:=66683;
sz[6647]:=66697;
sz[6648]:=66701;
sz[6649]:=66713;
sz[6650]:=66721;
sz[6651]:=66733;
sz[6652]:=66739;
sz[6653]:=66749;
sz[6654]:=66751;
sz[6655]:=66763;
sz[6656]:=66791;
sz[6657]:=66797;
sz[6658]:=66809;
sz[6659]:=66821;
sz[6660]:=66841;
sz[6661]:=66851;
sz[6662]:=66853;
sz[6663]:=66863;
sz[6664]:=66877;
sz[6665]:=66883;
sz[6666]:=66889;
sz[6667]:=66919;
sz[6668]:=66923;
sz[6669]:=66931;
sz[6670]:=66943;
sz[6671]:=66947;
sz[6672]:=66949;
sz[6673]:=66959;
sz[6674]:=66973;
sz[6675]:=66977;
sz[6676]:=67003;
sz[6677]:=67021;
sz[6678]:=67033;
sz[6679]:=67043;
sz[6680]:=67049;
sz[6681]:=67057;
sz[6682]:=67061;
sz[6683]:=67073;
sz[6684]:=67079;
sz[6685]:=67103;
sz[6686]:=67121;
sz[6687]:=67129;
sz[6688]:=67139;
sz[6689]:=67141;
sz[6690]:=67153;
sz[6691]:=67157;
sz[6692]:=67169;
sz[6693]:=67181;
sz[6694]:=67187;
sz[6695]:=67189;
sz[6696]:=67211;
sz[6697]:=67213;
sz[6698]:=67217;
sz[6699]:=67219;
sz[6700]:=67231;
sz[6701]:=67247;
sz[6702]:=67261;
sz[6703]:=67271;
sz[6704]:=67273;
sz[6705]:=67289;
sz[6706]:=67307;
sz[6707]:=67339;
sz[6708]:=67343;
sz[6709]:=67349;
sz[6710]:=67369;
sz[6711]:=67391;
sz[6712]:=67399;
sz[6713]:=67409;
sz[6714]:=67411;
sz[6715]:=67421;
sz[6716]:=67427;
sz[6717]:=67429;
sz[6718]:=67433;
sz[6719]:=67447;
sz[6720]:=67453;
sz[6721]:=67477;
sz[6722]:=67481;
sz[6723]:=67489;
sz[6724]:=67493;
sz[6725]:=67499;
sz[6726]:=67511;
sz[6727]:=67523;
sz[6728]:=67531;
sz[6729]:=67537;
sz[6730]:=67547;
sz[6731]:=67559;
sz[6732]:=67567;
sz[6733]:=67577;
sz[6734]:=67579;
sz[6735]:=67589;
sz[6736]:=67601;
sz[6737]:=67607;
sz[6738]:=67619;
sz[6739]:=67631;
sz[6740]:=67651;
sz[6741]:=67679;
sz[6742]:=67699;
sz[6743]:=67709;
sz[6744]:=67723;
sz[6745]:=67733;
sz[6746]:=67741;
sz[6747]:=67751;
sz[6748]:=67757;
sz[6749]:=67759;
sz[6750]:=67763;
sz[6751]:=67777;
sz[6752]:=67783;
sz[6753]:=67789;
sz[6754]:=67801;
sz[6755]:=67807;
sz[6756]:=67819;
sz[6757]:=67829;
sz[6758]:=67843;
sz[6759]:=67853;
sz[6760]:=67867;
sz[6761]:=67883;
sz[6762]:=67891;
sz[6763]:=67901;
sz[6764]:=67927;
sz[6765]:=67931;
sz[6766]:=67933;
sz[6767]:=67939;
sz[6768]:=67943;
sz[6769]:=67957;
sz[6770]:=67961;
sz[6771]:=67967;
sz[6772]:=67979;
sz[6773]:=67987;
sz[6774]:=67993;
sz[6775]:=68023;
sz[6776]:=68041;
sz[6777]:=68053;
sz[6778]:=68059;
sz[6779]:=68071;
sz[6780]:=68087;
sz[6781]:=68099;
sz[6782]:=68111;
sz[6783]:=68113;
sz[6784]:=68141;
sz[6785]:=68147;
sz[6786]:=68161;
sz[6787]:=68171;
sz[6788]:=68207;
sz[6789]:=68209;
sz[6790]:=68213;
sz[6791]:=68219;
sz[6792]:=68227;
sz[6793]:=68239;
sz[6794]:=68261;
sz[6795]:=68279;
sz[6796]:=68281;
sz[6797]:=68311;
sz[6798]:=68329;
sz[6799]:=68351;
sz[6800]:=68371;
sz[6801]:=68389;
sz[6802]:=68399;
sz[6803]:=68437;
sz[6804]:=68443;
sz[6805]:=68447;
sz[6806]:=68449;
sz[6807]:=68473;
sz[6808]:=68477;
sz[6809]:=68483;
sz[6810]:=68489;
sz[6811]:=68491;
sz[6812]:=68501;
sz[6813]:=68507;
sz[6814]:=68521;
sz[6815]:=68531;
sz[6816]:=68539;
sz[6817]:=68543;
sz[6818]:=68567;
sz[6819]:=68581;
sz[6820]:=68597;
sz[6821]:=68611;
sz[6822]:=68633;
sz[6823]:=68639;
sz[6824]:=68659;
sz[6825]:=68669;
sz[6826]:=68683;
sz[6827]:=68687;
sz[6828]:=68699;
sz[6829]:=68711;
sz[6830]:=68713;
sz[6831]:=68729;
sz[6832]:=68737;
sz[6833]:=68743;
sz[6834]:=68749;
sz[6835]:=68767;
sz[6836]:=68771;
sz[6837]:=68777;
sz[6838]:=68791;
sz[6839]:=68813;
sz[6840]:=68819;
sz[6841]:=68821;
sz[6842]:=68863;
sz[6843]:=68879;
sz[6844]:=68881;
sz[6845]:=68891;
sz[6846]:=68897;
sz[6847]:=68899;
sz[6848]:=68903;
sz[6849]:=68909;
sz[6850]:=68917;
sz[6851]:=68927;
sz[6852]:=68947;
sz[6853]:=68963;
sz[6854]:=68993;
sz[6855]:=69001;
sz[6856]:=69011;
sz[6857]:=69019;
sz[6858]:=69029;
sz[6859]:=69031;
sz[6860]:=69061;
sz[6861]:=69067;
sz[6862]:=69073;
sz[6863]:=69109;
sz[6864]:=69119;
sz[6865]:=69127;
sz[6866]:=69143;
sz[6867]:=69149;
sz[6868]:=69151;
sz[6869]:=69163;
sz[6870]:=69191;
sz[6871]:=69193;
sz[6872]:=69197;
sz[6873]:=69203;
sz[6874]:=69221;
sz[6875]:=69233;
sz[6876]:=69239;
sz[6877]:=69247;
sz[6878]:=69257;
sz[6879]:=69259;
sz[6880]:=69263;
sz[6881]:=69313;
sz[6882]:=69317;
sz[6883]:=69337;
sz[6884]:=69341;
sz[6885]:=69371;
sz[6886]:=69379;
sz[6887]:=69383;
sz[6888]:=69389;
sz[6889]:=69401;
sz[6890]:=69403;
sz[6891]:=69427;
sz[6892]:=69431;
sz[6893]:=69439;
sz[6894]:=69457;
sz[6895]:=69463;
sz[6896]:=69467;
sz[6897]:=69473;
sz[6898]:=69481;
sz[6899]:=69491;
sz[6900]:=69493;
sz[6901]:=69497;
sz[6902]:=69499;
sz[6903]:=69539;
sz[6904]:=69557;
sz[6905]:=69593;
sz[6906]:=69623;
sz[6907]:=69653;
sz[6908]:=69661;
sz[6909]:=69677;
sz[6910]:=69691;
sz[6911]:=69697;
sz[6912]:=69709;
sz[6913]:=69737;
sz[6914]:=69739;
sz[6915]:=69761;
sz[6916]:=69763;
sz[6917]:=69767;
sz[6918]:=69779;
sz[6919]:=69809;
sz[6920]:=69821;
sz[6921]:=69827;
sz[6922]:=69829;
sz[6923]:=69833;
sz[6924]:=69847;
sz[6925]:=69857;
sz[6926]:=69859;
sz[6927]:=69877;
sz[6928]:=69899;
sz[6929]:=69911;
sz[6930]:=69929;
sz[6931]:=69931;
sz[6932]:=69941;
sz[6933]:=69959;
sz[6934]:=69991;
sz[6935]:=69997;
sz[6936]:=70001;
sz[6937]:=70003;
sz[6938]:=70009;
sz[6939]:=70019;
sz[6940]:=70039;
sz[6941]:=70051;
sz[6942]:=70061;
sz[6943]:=70067;
sz[6944]:=70079;
sz[6945]:=70099;
sz[6946]:=70111;
sz[6947]:=70117;
sz[6948]:=70121;
sz[6949]:=70123;
sz[6950]:=70139;
sz[6951]:=70141;
sz[6952]:=70157;
sz[6953]:=70163;
sz[6954]:=70177;
sz[6955]:=70181;
sz[6956]:=70183;
sz[6957]:=70199;
sz[6958]:=70201;
sz[6959]:=70207;
sz[6960]:=70223;
sz[6961]:=70229;
sz[6962]:=70237;
sz[6963]:=70241;
sz[6964]:=70249;
sz[6965]:=70271;
sz[6966]:=70289;
sz[6967]:=70297;
sz[6968]:=70309;
sz[6969]:=70313;
sz[6970]:=70321;
sz[6971]:=70327;
sz[6972]:=70351;
sz[6973]:=70373;
sz[6974]:=70379;
sz[6975]:=70381;
sz[6976]:=70393;
sz[6977]:=70423;
sz[6978]:=70429;
sz[6979]:=70439;
sz[6980]:=70451;
sz[6981]:=70457;
sz[6982]:=70459;
sz[6983]:=70481;
sz[6984]:=70487;
sz[6985]:=70489;
sz[6986]:=70501;
sz[6987]:=70507;
sz[6988]:=70529;
sz[6989]:=70537;
sz[6990]:=70549;
sz[6991]:=70571;
sz[6992]:=70573;
sz[6993]:=70583;
sz[6994]:=70589;
sz[6995]:=70607;
sz[6996]:=70619;
sz[6997]:=70621;
sz[6998]:=70627;
sz[6999]:=70639;
sz[7000]:=70657;
sz[7001]:=70663;
sz[7002]:=70667;
sz[7003]:=70687;
sz[7004]:=70709;
sz[7005]:=70717;
sz[7006]:=70729;
sz[7007]:=70753;
sz[7008]:=70769;
sz[7009]:=70783;
sz[7010]:=70793;
sz[7011]:=70823;
sz[7012]:=70841;
sz[7013]:=70843;
sz[7014]:=70849;
sz[7015]:=70853;
sz[7016]:=70867;
sz[7017]:=70877;
sz[7018]:=70879;
sz[7019]:=70891;
sz[7020]:=70901;
sz[7021]:=70913;
sz[7022]:=70919;
sz[7023]:=70921;
sz[7024]:=70937;
sz[7025]:=70949;
sz[7026]:=70951;
sz[7027]:=70957;
sz[7028]:=70969;
sz[7029]:=70979;
sz[7030]:=70981;
sz[7031]:=70991;
sz[7032]:=70997;
sz[7033]:=70999;
sz[7034]:=71011;
sz[7035]:=71023;
sz[7036]:=71039;
sz[7037]:=71059;
sz[7038]:=71069;
sz[7039]:=71081;
sz[7040]:=71089;
sz[7041]:=71119;
sz[7042]:=71129;
sz[7043]:=71143;
sz[7044]:=71147;
sz[7045]:=71153;
sz[7046]:=71161;
sz[7047]:=71167;
sz[7048]:=71171;
sz[7049]:=71191;
sz[7050]:=71209;
sz[7051]:=71233;
sz[7052]:=71237;
sz[7053]:=71249;
sz[7054]:=71257;
sz[7055]:=71261;
sz[7056]:=71263;
sz[7057]:=71287;
sz[7058]:=71293;
sz[7059]:=71317;
sz[7060]:=71327;
sz[7061]:=71329;
sz[7062]:=71333;
sz[7063]:=71339;
sz[7064]:=71341;
sz[7065]:=71347;
sz[7066]:=71353;
sz[7067]:=71359;
sz[7068]:=71363;
sz[7069]:=71387;
sz[7070]:=71389;
sz[7071]:=71399;
sz[7072]:=71411;
sz[7073]:=71413;
sz[7074]:=71419;
sz[7075]:=71429;
sz[7076]:=71437;
sz[7077]:=71443;
sz[7078]:=71453;
sz[7079]:=71471;
sz[7080]:=71473;
sz[7081]:=71479;
sz[7082]:=71483;
sz[7083]:=71503;
sz[7084]:=71527;
sz[7085]:=71537;
sz[7086]:=71549;
sz[7087]:=71551;
sz[7088]:=71563;
sz[7089]:=71569;
sz[7090]:=71593;
sz[7091]:=71597;
sz[7092]:=71633;
sz[7093]:=71647;
sz[7094]:=71663;
sz[7095]:=71671;
sz[7096]:=71693;
sz[7097]:=71699;
sz[7098]:=71707;
sz[7099]:=71711;
sz[7100]:=71713;
sz[7101]:=71719;
sz[7102]:=71741;
sz[7103]:=71761;
sz[7104]:=71777;
sz[7105]:=71789;
sz[7106]:=71807;
sz[7107]:=71809;
sz[7108]:=71821;
sz[7109]:=71837;
sz[7110]:=71843;
sz[7111]:=71849;
sz[7112]:=71861;
sz[7113]:=71867;
sz[7114]:=71879;
sz[7115]:=71881;
sz[7116]:=71887;
sz[7117]:=71899;
sz[7118]:=71909;
sz[7119]:=71917;
sz[7120]:=71933;
sz[7121]:=71941;
sz[7122]:=71947;
sz[7123]:=71963;
sz[7124]:=71971;
sz[7125]:=71983;
sz[7126]:=71987;
sz[7127]:=71993;
sz[7128]:=71999;
sz[7129]:=72019;
sz[7130]:=72031;
sz[7131]:=72043;
sz[7132]:=72047;
sz[7133]:=72053;
sz[7134]:=72073;
sz[7135]:=72077;
sz[7136]:=72089;
sz[7137]:=72091;
sz[7138]:=72101;
sz[7139]:=72103;
sz[7140]:=72109;
sz[7141]:=72139;
sz[7142]:=72161;
sz[7143]:=72167;
sz[7144]:=72169;
sz[7145]:=72173;
sz[7146]:=72211;
sz[7147]:=72221;
sz[7148]:=72223;
sz[7149]:=72227;
sz[7150]:=72229;
sz[7151]:=72251;
sz[7152]:=72253;
sz[7153]:=72269;
sz[7154]:=72271;
sz[7155]:=72277;
sz[7156]:=72287;
sz[7157]:=72307;
sz[7158]:=72313;
sz[7159]:=72337;
sz[7160]:=72341;
sz[7161]:=72353;
sz[7162]:=72367;
sz[7163]:=72379;
sz[7164]:=72383;
sz[7165]:=72421;
sz[7166]:=72431;
sz[7167]:=72461;
sz[7168]:=72467;
sz[7169]:=72469;
sz[7170]:=72481;
sz[7171]:=72493;
sz[7172]:=72497;
sz[7173]:=72503;
sz[7174]:=72533;
sz[7175]:=72547;
sz[7176]:=72551;
sz[7177]:=72559;
sz[7178]:=72577;
sz[7179]:=72613;
sz[7180]:=72617;
sz[7181]:=72623;
sz[7182]:=72643;
sz[7183]:=72647;
sz[7184]:=72649;
sz[7185]:=72661;
sz[7186]:=72671;
sz[7187]:=72673;
sz[7188]:=72679;
sz[7189]:=72689;
sz[7190]:=72701;
sz[7191]:=72707;
sz[7192]:=72719;
sz[7193]:=72727;
sz[7194]:=72733;
sz[7195]:=72739;
sz[7196]:=72763;
sz[7197]:=72767;
sz[7198]:=72797;
sz[7199]:=72817;
sz[7200]:=72823;
sz[7201]:=72859;
sz[7202]:=72869;
sz[7203]:=72871;
sz[7204]:=72883;
sz[7205]:=72889;
sz[7206]:=72893;
sz[7207]:=72901;
sz[7208]:=72907;
sz[7209]:=72911;
sz[7210]:=72923;
sz[7211]:=72931;
sz[7212]:=72937;
sz[7213]:=72949;
sz[7214]:=72953;
sz[7215]:=72959;
sz[7216]:=72973;
sz[7217]:=72977;
sz[7218]:=72997;
sz[7219]:=73009;
sz[7220]:=73013;
sz[7221]:=73019;
sz[7222]:=73037;
sz[7223]:=73039;
sz[7224]:=73043;
sz[7225]:=73061;
sz[7226]:=73063;
sz[7227]:=73079;
sz[7228]:=73091;
sz[7229]:=73121;
sz[7230]:=73127;
sz[7231]:=73133;
sz[7232]:=73141;
sz[7233]:=73181;
sz[7234]:=73189;
sz[7235]:=73237;
sz[7236]:=73243;
sz[7237]:=73259;
sz[7238]:=73277;
sz[7239]:=73291;
sz[7240]:=73303;
sz[7241]:=73309;
sz[7242]:=73327;
sz[7243]:=73331;
sz[7244]:=73351;
sz[7245]:=73361;
sz[7246]:=73363;
sz[7247]:=73369;
sz[7248]:=73379;
sz[7249]:=73387;
sz[7250]:=73417;
sz[7251]:=73421;
sz[7252]:=73433;
sz[7253]:=73453;
sz[7254]:=73459;
sz[7255]:=73471;
sz[7256]:=73477;
sz[7257]:=73483;
sz[7258]:=73517;
sz[7259]:=73523;
sz[7260]:=73529;
sz[7261]:=73547;
sz[7262]:=73553;
sz[7263]:=73561;
sz[7264]:=73571;
sz[7265]:=73583;
sz[7266]:=73589;
sz[7267]:=73597;
sz[7268]:=73607;
sz[7269]:=73609;
sz[7270]:=73613;
sz[7271]:=73637;
sz[7272]:=73643;
sz[7273]:=73651;
sz[7274]:=73673;
sz[7275]:=73679;
sz[7276]:=73681;
sz[7277]:=73693;
sz[7278]:=73699;
sz[7279]:=73709;
sz[7280]:=73721;
sz[7281]:=73727;
sz[7282]:=73751;
sz[7283]:=73757;
sz[7284]:=73771;
sz[7285]:=73783;
sz[7286]:=73819;
sz[7287]:=73823;
sz[7288]:=73847;
sz[7289]:=73849;
sz[7290]:=73859;
sz[7291]:=73867;
sz[7292]:=73877;
sz[7293]:=73883;
sz[7294]:=73897;
sz[7295]:=73907;
sz[7296]:=73939;
sz[7297]:=73943;
sz[7298]:=73951;
sz[7299]:=73961;
sz[7300]:=73973;
sz[7301]:=73999;
sz[7302]:=74017;
sz[7303]:=74021;
sz[7304]:=74027;
sz[7305]:=74047;
sz[7306]:=74051;
sz[7307]:=74071;
sz[7308]:=74077;
sz[7309]:=74093;
sz[7310]:=74099;
sz[7311]:=74101;
sz[7312]:=74131;
sz[7313]:=74143;
sz[7314]:=74149;
sz[7315]:=74159;
sz[7316]:=74161;
sz[7317]:=74167;
sz[7318]:=74177;
sz[7319]:=74189;
sz[7320]:=74197;
sz[7321]:=74201;
sz[7322]:=74203;
sz[7323]:=74209;
sz[7324]:=74219;
sz[7325]:=74231;
sz[7326]:=74257;
sz[7327]:=74279;
sz[7328]:=74287;
sz[7329]:=74293;
sz[7330]:=74297;
sz[7331]:=74311;
sz[7332]:=74317;
sz[7333]:=74323;
sz[7334]:=74353;
sz[7335]:=74357;
sz[7336]:=74363;
sz[7337]:=74377;
sz[7338]:=74381;
sz[7339]:=74383;
sz[7340]:=74411;
sz[7341]:=74413;
sz[7342]:=74419;
sz[7343]:=74441;
sz[7344]:=74449;
sz[7345]:=74453;
sz[7346]:=74471;
sz[7347]:=74489;
sz[7348]:=74507;
sz[7349]:=74509;
sz[7350]:=74521;
sz[7351]:=74527;
sz[7352]:=74531;
sz[7353]:=74551;
sz[7354]:=74561;
sz[7355]:=74567;
sz[7356]:=74573;
sz[7357]:=74587;
sz[7358]:=74597;
sz[7359]:=74609;
sz[7360]:=74611;
sz[7361]:=74623;
sz[7362]:=74653;
sz[7363]:=74687;
sz[7364]:=74699;
sz[7365]:=74707;
sz[7366]:=74713;
sz[7367]:=74717;
sz[7368]:=74719;
sz[7369]:=74729;
sz[7370]:=74731;
sz[7371]:=74747;
sz[7372]:=74759;
sz[7373]:=74761;
sz[7374]:=74771;
sz[7375]:=74779;
sz[7376]:=74797;
sz[7377]:=74821;
sz[7378]:=74827;
sz[7379]:=74831;
sz[7380]:=74843;
sz[7381]:=74857;
sz[7382]:=74861;
sz[7383]:=74869;
sz[7384]:=74873;
sz[7385]:=74887;
sz[7386]:=74891;
sz[7387]:=74897;
sz[7388]:=74903;
sz[7389]:=74923;
sz[7390]:=74929;
sz[7391]:=74933;
sz[7392]:=74941;
sz[7393]:=74959;
sz[7394]:=75011;
sz[7395]:=75013;
sz[7396]:=75017;
sz[7397]:=75029;
sz[7398]:=75037;
sz[7399]:=75041;
sz[7400]:=75079;
sz[7401]:=75083;
sz[7402]:=75109;
sz[7403]:=75133;
sz[7404]:=75149;
sz[7405]:=75161;
sz[7406]:=75167;
sz[7407]:=75169;
sz[7408]:=75181;
sz[7409]:=75193;
sz[7410]:=75209;
sz[7411]:=75211;
sz[7412]:=75217;
sz[7413]:=75223;
sz[7414]:=75227;
sz[7415]:=75239;
sz[7416]:=75253;
sz[7417]:=75269;
sz[7418]:=75277;
sz[7419]:=75289;
sz[7420]:=75307;
sz[7421]:=75323;
sz[7422]:=75329;
sz[7423]:=75337;
sz[7424]:=75347;
sz[7425]:=75353;
sz[7426]:=75367;
sz[7427]:=75377;
sz[7428]:=75389;
sz[7429]:=75391;
sz[7430]:=75401;
sz[7431]:=75403;
sz[7432]:=75407;
sz[7433]:=75431;
sz[7434]:=75437;
sz[7435]:=75479;
sz[7436]:=75503;
sz[7437]:=75511;
sz[7438]:=75521;
sz[7439]:=75527;
sz[7440]:=75533;
sz[7441]:=75539;
sz[7442]:=75541;
sz[7443]:=75553;
sz[7444]:=75557;
sz[7445]:=75571;
sz[7446]:=75577;
sz[7447]:=75583;
sz[7448]:=75611;
sz[7449]:=75617;
sz[7450]:=75619;
sz[7451]:=75629;
sz[7452]:=75641;
sz[7453]:=75653;
sz[7454]:=75659;
sz[7455]:=75679;
sz[7456]:=75683;
sz[7457]:=75689;
sz[7458]:=75703;
sz[7459]:=75707;
sz[7460]:=75709;
sz[7461]:=75721;
sz[7462]:=75731;
sz[7463]:=75743;
sz[7464]:=75767;
sz[7465]:=75773;
sz[7466]:=75781;
sz[7467]:=75787;
sz[7468]:=75793;
sz[7469]:=75797;
sz[7470]:=75821;
sz[7471]:=75833;
sz[7472]:=75853;
sz[7473]:=75869;
sz[7474]:=75883;
sz[7475]:=75913;
sz[7476]:=75931;
sz[7477]:=75937;
sz[7478]:=75941;
sz[7479]:=75967;
sz[7480]:=75979;
sz[7481]:=75983;
sz[7482]:=75989;
sz[7483]:=75991;
sz[7484]:=75997;
sz[7485]:=76001;
sz[7486]:=76003;
sz[7487]:=76031;
sz[7488]:=76039;
sz[7489]:=76079;
sz[7490]:=76081;
sz[7491]:=76091;
sz[7492]:=76099;
sz[7493]:=76103;
sz[7494]:=76123;
sz[7495]:=76129;
sz[7496]:=76147;
sz[7497]:=76157;
sz[7498]:=76159;
sz[7499]:=76163;
sz[7500]:=76207;
sz[7501]:=76213;
sz[7502]:=76231;
sz[7503]:=76243;
sz[7504]:=76249;
sz[7505]:=76253;
sz[7506]:=76259;
sz[7507]:=76261;
sz[7508]:=76283;
sz[7509]:=76289;
sz[7510]:=76303;
sz[7511]:=76333;
sz[7512]:=76343;
sz[7513]:=76367;
sz[7514]:=76369;
sz[7515]:=76379;
sz[7516]:=76387;
sz[7517]:=76403;
sz[7518]:=76421;
sz[7519]:=76423;
sz[7520]:=76441;
sz[7521]:=76463;
sz[7522]:=76471;
sz[7523]:=76481;
sz[7524]:=76487;
sz[7525]:=76493;
sz[7526]:=76507;
sz[7527]:=76511;
sz[7528]:=76519;
sz[7529]:=76537;
sz[7530]:=76541;
sz[7531]:=76543;
sz[7532]:=76561;
sz[7533]:=76579;
sz[7534]:=76597;
sz[7535]:=76603;
sz[7536]:=76607;
sz[7537]:=76631;
sz[7538]:=76649;
sz[7539]:=76651;
sz[7540]:=76667;
sz[7541]:=76673;
sz[7542]:=76679;
sz[7543]:=76697;
sz[7544]:=76717;
sz[7545]:=76733;
sz[7546]:=76753;
sz[7547]:=76757;
sz[7548]:=76771;
sz[7549]:=76777;
sz[7550]:=76781;
sz[7551]:=76801;
sz[7552]:=76819;
sz[7553]:=76829;
sz[7554]:=76831;
sz[7555]:=76837;
sz[7556]:=76847;
sz[7557]:=76871;
sz[7558]:=76873;
sz[7559]:=76883;
sz[7560]:=76907;
sz[7561]:=76913;
sz[7562]:=76919;
sz[7563]:=76943;
sz[7564]:=76949;
sz[7565]:=76961;
sz[7566]:=76963;
sz[7567]:=76991;
sz[7568]:=77003;
sz[7569]:=77017;
sz[7570]:=77023;
sz[7571]:=77029;
sz[7572]:=77041;
sz[7573]:=77047;
sz[7574]:=77069;
sz[7575]:=77081;
sz[7576]:=77093;
sz[7577]:=77101;
sz[7578]:=77137;
sz[7579]:=77141;
sz[7580]:=77153;
sz[7581]:=77167;
sz[7582]:=77171;
sz[7583]:=77191;
sz[7584]:=77201;
sz[7585]:=77213;
sz[7586]:=77237;
sz[7587]:=77239;
sz[7588]:=77243;
sz[7589]:=77249;
sz[7590]:=77261;
sz[7591]:=77263;
sz[7592]:=77267;
sz[7593]:=77269;
sz[7594]:=77279;
sz[7595]:=77291;
sz[7596]:=77317;
sz[7597]:=77323;
sz[7598]:=77339;
sz[7599]:=77347;
sz[7600]:=77351;
sz[7601]:=77359;
sz[7602]:=77369;
sz[7603]:=77377;
sz[7604]:=77383;
sz[7605]:=77417;
sz[7606]:=77419;
sz[7607]:=77431;
sz[7608]:=77447;
sz[7609]:=77471;
sz[7610]:=77477;
sz[7611]:=77479;
sz[7612]:=77489;
sz[7613]:=77491;
sz[7614]:=77509;
sz[7615]:=77513;
sz[7616]:=77521;
sz[7617]:=77527;
sz[7618]:=77543;
sz[7619]:=77549;
sz[7620]:=77551;
sz[7621]:=77557;
sz[7622]:=77563;
sz[7623]:=77569;
sz[7624]:=77573;
sz[7625]:=77587;
sz[7626]:=77591;
sz[7627]:=77611;
sz[7628]:=77617;
sz[7629]:=77621;
sz[7630]:=77641;
sz[7631]:=77647;
sz[7632]:=77659;
sz[7633]:=77681;
sz[7634]:=77687;
sz[7635]:=77689;
sz[7636]:=77699;
sz[7637]:=77711;
sz[7638]:=77713;
sz[7639]:=77719;
sz[7640]:=77723;
sz[7641]:=77731;
sz[7642]:=77743;
sz[7643]:=77747;
sz[7644]:=77761;
sz[7645]:=77773;
sz[7646]:=77783;
sz[7647]:=77797;
sz[7648]:=77801;
sz[7649]:=77813;
sz[7650]:=77839;
sz[7651]:=77849;
sz[7652]:=77863;
sz[7653]:=77867;
sz[7654]:=77893;
sz[7655]:=77899;
sz[7656]:=77929;
sz[7657]:=77933;
sz[7658]:=77951;
sz[7659]:=77969;
sz[7660]:=77977;
sz[7661]:=77983;
sz[7662]:=77999;
sz[7663]:=78007;
sz[7664]:=78017;
sz[7665]:=78031;
sz[7666]:=78041;
sz[7667]:=78049;
sz[7668]:=78059;
sz[7669]:=78079;
sz[7670]:=78101;
sz[7671]:=78121;
sz[7672]:=78137;
sz[7673]:=78139;
sz[7674]:=78157;
sz[7675]:=78163;
sz[7676]:=78167;
sz[7677]:=78173;
sz[7678]:=78179;
sz[7679]:=78191;
sz[7680]:=78193;
sz[7681]:=78203;
sz[7682]:=78229;
sz[7683]:=78233;
sz[7684]:=78241;
sz[7685]:=78259;
sz[7686]:=78277;
sz[7687]:=78283;
sz[7688]:=78301;
sz[7689]:=78307;
sz[7690]:=78311;
sz[7691]:=78317;
sz[7692]:=78341;
sz[7693]:=78347;
sz[7694]:=78367;
sz[7695]:=78401;
sz[7696]:=78427;
sz[7697]:=78437;
sz[7698]:=78439;
sz[7699]:=78467;
sz[7700]:=78479;
sz[7701]:=78487;
sz[7702]:=78497;
sz[7703]:=78509;
sz[7704]:=78511;
sz[7705]:=78517;
sz[7706]:=78539;
sz[7707]:=78541;
sz[7708]:=78553;
sz[7709]:=78569;
sz[7710]:=78571;
sz[7711]:=78577;
sz[7712]:=78583;
sz[7713]:=78593;
sz[7714]:=78607;
sz[7715]:=78623;
sz[7716]:=78643;
sz[7717]:=78649;
sz[7718]:=78653;
sz[7719]:=78691;
sz[7720]:=78697;
sz[7721]:=78707;
sz[7722]:=78713;
sz[7723]:=78721;
sz[7724]:=78737;
sz[7725]:=78779;
sz[7726]:=78781;
sz[7727]:=78787;
sz[7728]:=78791;
sz[7729]:=78797;
sz[7730]:=78803;
sz[7731]:=78809;
sz[7732]:=78823;
sz[7733]:=78839;
sz[7734]:=78853;
sz[7735]:=78857;
sz[7736]:=78877;
sz[7737]:=78887;
sz[7738]:=78889;
sz[7739]:=78893;
sz[7740]:=78901;
sz[7741]:=78919;
sz[7742]:=78929;
sz[7743]:=78941;
sz[7744]:=78977;
sz[7745]:=78979;
sz[7746]:=78989;
sz[7747]:=79031;
sz[7748]:=79039;
sz[7749]:=79043;
sz[7750]:=79063;
sz[7751]:=79087;
sz[7752]:=79103;
sz[7753]:=79111;
sz[7754]:=79133;
sz[7755]:=79139;
sz[7756]:=79147;
sz[7757]:=79151;
sz[7758]:=79153;
sz[7759]:=79159;
sz[7760]:=79181;
sz[7761]:=79187;
sz[7762]:=79193;
sz[7763]:=79201;
sz[7764]:=79229;
sz[7765]:=79231;
sz[7766]:=79241;
sz[7767]:=79259;
sz[7768]:=79273;
sz[7769]:=79279;
sz[7770]:=79283;
sz[7771]:=79301;
sz[7772]:=79309;
sz[7773]:=79319;
sz[7774]:=79333;
sz[7775]:=79337;
sz[7776]:=79349;
sz[7777]:=79357;
sz[7778]:=79367;
sz[7779]:=79379;
sz[7780]:=79393;
sz[7781]:=79397;
sz[7782]:=79399;
sz[7783]:=79411;
sz[7784]:=79423;
sz[7785]:=79427;
sz[7786]:=79433;
sz[7787]:=79451;
sz[7788]:=79481;
sz[7789]:=79493;
sz[7790]:=79531;
sz[7791]:=79537;
sz[7792]:=79549;
sz[7793]:=79559;
sz[7794]:=79561;
sz[7795]:=79579;
sz[7796]:=79589;
sz[7797]:=79601;
sz[7798]:=79609;
sz[7799]:=79613;
sz[7800]:=79621;
sz[7801]:=79627;
sz[7802]:=79631;
sz[7803]:=79633;
sz[7804]:=79657;
sz[7805]:=79669;
sz[7806]:=79687;
sz[7807]:=79691;
sz[7808]:=79693;
sz[7809]:=79697;
sz[7810]:=79699;
sz[7811]:=79757;
sz[7812]:=79769;
sz[7813]:=79777;
sz[7814]:=79801;
sz[7815]:=79811;
sz[7816]:=79813;
sz[7817]:=79817;
sz[7818]:=79823;
sz[7819]:=79829;
sz[7820]:=79841;
sz[7821]:=79843;
sz[7822]:=79847;
sz[7823]:=79861;
sz[7824]:=79867;
sz[7825]:=79873;
sz[7826]:=79889;
sz[7827]:=79901;
sz[7828]:=79903;
sz[7829]:=79907;
sz[7830]:=79939;
sz[7831]:=79943;
sz[7832]:=79967;
sz[7833]:=79973;
sz[7834]:=79979;
sz[7835]:=79987;
sz[7836]:=79997;
sz[7837]:=79999;
sz[7838]:=80021;
sz[7839]:=80039;
sz[7840]:=80051;
sz[7841]:=80071;
sz[7842]:=80077;
sz[7843]:=80107;
sz[7844]:=80111;
sz[7845]:=80141;
sz[7846]:=80147;
sz[7847]:=80149;
sz[7848]:=80153;
sz[7849]:=80167;
sz[7850]:=80173;
sz[7851]:=80177;
sz[7852]:=80191;
sz[7853]:=80207;
sz[7854]:=80209;
sz[7855]:=80221;
sz[7856]:=80231;
sz[7857]:=80233;
sz[7858]:=80239;
sz[7859]:=80251;
sz[7860]:=80263;
sz[7861]:=80273;
sz[7862]:=80279;
sz[7863]:=80287;
sz[7864]:=80309;
sz[7865]:=80317;
sz[7866]:=80329;
sz[7867]:=80341;
sz[7868]:=80347;
sz[7869]:=80363;
sz[7870]:=80369;
sz[7871]:=80387;
sz[7872]:=80407;
sz[7873]:=80429;
sz[7874]:=80447;
sz[7875]:=80449;
sz[7876]:=80471;
sz[7877]:=80473;
sz[7878]:=80489;
sz[7879]:=80491;
sz[7880]:=80513;
sz[7881]:=80527;
sz[7882]:=80537;
sz[7883]:=80557;
sz[7884]:=80567;
sz[7885]:=80599;
sz[7886]:=80603;
sz[7887]:=80611;
sz[7888]:=80621;
sz[7889]:=80627;
sz[7890]:=80629;
sz[7891]:=80651;
sz[7892]:=80657;
sz[7893]:=80669;
sz[7894]:=80671;
sz[7895]:=80677;
sz[7896]:=80681;
sz[7897]:=80683;
sz[7898]:=80687;
sz[7899]:=80701;
sz[7900]:=80713;
sz[7901]:=80737;
sz[7902]:=80747;
sz[7903]:=80749;
sz[7904]:=80761;
sz[7905]:=80777;
sz[7906]:=80779;
sz[7907]:=80783;
sz[7908]:=80789;
sz[7909]:=80803;
sz[7910]:=80809;
sz[7911]:=80819;
sz[7912]:=80831;
sz[7913]:=80833;
sz[7914]:=80849;
sz[7915]:=80863;
sz[7916]:=80897;
sz[7917]:=80909;
sz[7918]:=80911;
sz[7919]:=80917;
sz[7920]:=80923;
sz[7921]:=80929;
sz[7922]:=80933;
sz[7923]:=80953;
sz[7924]:=80963;
sz[7925]:=80989;
sz[7926]:=81001;
sz[7927]:=81013;
sz[7928]:=81017;
sz[7929]:=81019;
sz[7930]:=81023;
sz[7931]:=81031;
sz[7932]:=81041;
sz[7933]:=81043;
sz[7934]:=81047;
sz[7935]:=81049;
sz[7936]:=81071;
sz[7937]:=81077;
sz[7938]:=81083;
sz[7939]:=81097;
sz[7940]:=81101;
sz[7941]:=81119;
sz[7942]:=81131;
sz[7943]:=81157;
sz[7944]:=81163;
sz[7945]:=81173;
sz[7946]:=81181;
sz[7947]:=81197;
sz[7948]:=81199;
sz[7949]:=81203;
sz[7950]:=81223;
sz[7951]:=81233;
sz[7952]:=81239;
sz[7953]:=81281;
sz[7954]:=81283;
sz[7955]:=81293;
sz[7956]:=81299;
sz[7957]:=81307;
sz[7958]:=81331;
sz[7959]:=81343;
sz[7960]:=81349;
sz[7961]:=81353;
sz[7962]:=81359;
sz[7963]:=81371;
sz[7964]:=81373;
sz[7965]:=81401;
sz[7966]:=81409;
sz[7967]:=81421;
sz[7968]:=81439;
sz[7969]:=81457;
sz[7970]:=81463;
sz[7971]:=81509;
sz[7972]:=81517;
sz[7973]:=81527;
sz[7974]:=81533;
sz[7975]:=81547;
sz[7976]:=81551;
sz[7977]:=81553;
sz[7978]:=81559;
sz[7979]:=81563;
sz[7980]:=81569;
sz[7981]:=81611;
sz[7982]:=81619;
sz[7983]:=81629;
sz[7984]:=81637;
sz[7985]:=81647;
sz[7986]:=81649;
sz[7987]:=81667;
sz[7988]:=81671;
sz[7989]:=81677;
sz[7990]:=81689;
sz[7991]:=81701;
sz[7992]:=81703;
sz[7993]:=81707;
sz[7994]:=81727;
sz[7995]:=81737;
sz[7996]:=81749;
sz[7997]:=81761;
sz[7998]:=81769;
sz[7999]:=81773;
sz[8000]:=81799;
sz[8001]:=81817;
sz[8002]:=81839;
sz[8003]:=81847;
sz[8004]:=81853;
sz[8005]:=81869;
sz[8006]:=81883;
sz[8007]:=81899;
sz[8008]:=81901;
sz[8009]:=81919;
sz[8010]:=81929;
sz[8011]:=81931;
sz[8012]:=81937;
sz[8013]:=81943;
sz[8014]:=81953;
sz[8015]:=81967;
sz[8016]:=81971;
sz[8017]:=81973;
sz[8018]:=82003;
sz[8019]:=82007;
sz[8020]:=82009;
sz[8021]:=82013;
sz[8022]:=82021;
sz[8023]:=82031;
sz[8024]:=82037;
sz[8025]:=82039;
sz[8026]:=82051;
sz[8027]:=82067;
sz[8028]:=82073;
sz[8029]:=82129;
sz[8030]:=82139;
sz[8031]:=82141;
sz[8032]:=82153;
sz[8033]:=82163;
sz[8034]:=82171;
sz[8035]:=82183;
sz[8036]:=82189;
sz[8037]:=82193;
sz[8038]:=82207;
sz[8039]:=82217;
sz[8040]:=82219;
sz[8041]:=82223;
sz[8042]:=82231;
sz[8043]:=82237;
sz[8044]:=82241;
sz[8045]:=82261;
sz[8046]:=82267;
sz[8047]:=82279;
sz[8048]:=82301;
sz[8049]:=82307;
sz[8050]:=82339;
sz[8051]:=82349;
sz[8052]:=82351;
sz[8053]:=82361;
sz[8054]:=82373;
sz[8055]:=82387;
sz[8056]:=82393;
sz[8057]:=82421;
sz[8058]:=82457;
sz[8059]:=82463;
sz[8060]:=82469;
sz[8061]:=82471;
sz[8062]:=82483;
sz[8063]:=82487;
sz[8064]:=82493;
sz[8065]:=82499;
sz[8066]:=82507;
sz[8067]:=82529;
sz[8068]:=82531;
sz[8069]:=82549;
sz[8070]:=82559;
sz[8071]:=82561;
sz[8072]:=82567;
sz[8073]:=82571;
sz[8074]:=82591;
sz[8075]:=82601;
sz[8076]:=82609;
sz[8077]:=82613;
sz[8078]:=82619;
sz[8079]:=82633;
sz[8080]:=82651;
sz[8081]:=82657;
sz[8082]:=82699;
sz[8083]:=82721;
sz[8084]:=82723;
sz[8085]:=82727;
sz[8086]:=82729;
sz[8087]:=82757;
sz[8088]:=82759;
sz[8089]:=82763;
sz[8090]:=82781;
sz[8091]:=82787;
sz[8092]:=82793;
sz[8093]:=82799;
sz[8094]:=82811;
sz[8095]:=82813;
sz[8096]:=82837;
sz[8097]:=82847;
sz[8098]:=82883;
sz[8099]:=82889;
sz[8100]:=82891;
sz[8101]:=82903;
sz[8102]:=82913;
sz[8103]:=82939;
sz[8104]:=82963;
sz[8105]:=82981;
sz[8106]:=82997;
sz[8107]:=83003;
sz[8108]:=83009;
sz[8109]:=83023;
sz[8110]:=83047;
sz[8111]:=83059;
sz[8112]:=83063;
sz[8113]:=83071;
sz[8114]:=83077;
sz[8115]:=83089;
sz[8116]:=83093;
sz[8117]:=83101;
sz[8118]:=83117;
sz[8119]:=83137;
sz[8120]:=83177;
sz[8121]:=83203;
sz[8122]:=83207;
sz[8123]:=83219;
sz[8124]:=83221;
sz[8125]:=83227;
sz[8126]:=83231;
sz[8127]:=83233;
sz[8128]:=83243;
sz[8129]:=83257;
sz[8130]:=83267;
sz[8131]:=83269;
sz[8132]:=83273;
sz[8133]:=83299;
sz[8134]:=83311;
sz[8135]:=83339;
sz[8136]:=83341;
sz[8137]:=83357;
sz[8138]:=83383;
sz[8139]:=83389;
sz[8140]:=83399;
sz[8141]:=83401;
sz[8142]:=83407;
sz[8143]:=83417;
sz[8144]:=83423;
sz[8145]:=83431;
sz[8146]:=83437;
sz[8147]:=83443;
sz[8148]:=83449;
sz[8149]:=83459;
sz[8150]:=83471;
sz[8151]:=83477;
sz[8152]:=83497;
sz[8153]:=83537;
sz[8154]:=83557;
sz[8155]:=83561;
sz[8156]:=83563;
sz[8157]:=83579;
sz[8158]:=83591;
sz[8159]:=83597;
sz[8160]:=83609;
sz[8161]:=83617;
sz[8162]:=83621;
sz[8163]:=83639;
sz[8164]:=83641;
sz[8165]:=83653;
sz[8166]:=83663;
sz[8167]:=83689;
sz[8168]:=83701;
sz[8169]:=83717;
sz[8170]:=83719;
sz[8171]:=83737;
sz[8172]:=83761;
sz[8173]:=83773;
sz[8174]:=83777;
sz[8175]:=83791;
sz[8176]:=83813;
sz[8177]:=83833;
sz[8178]:=83843;
sz[8179]:=83857;
sz[8180]:=83869;
sz[8181]:=83873;
sz[8182]:=83891;
sz[8183]:=83903;
sz[8184]:=83911;
sz[8185]:=83921;
sz[8186]:=83933;
sz[8187]:=83939;
sz[8188]:=83969;
sz[8189]:=83983;
sz[8190]:=83987;
sz[8191]:=84011;
sz[8192]:=84017;
sz[8193]:=84047;
sz[8194]:=84053;
sz[8195]:=84059;
sz[8196]:=84061;
sz[8197]:=84067;
sz[8198]:=84089;
sz[8199]:=84121;
sz[8200]:=84127;
sz[8201]:=84131;
sz[8202]:=84137;
sz[8203]:=84143;
sz[8204]:=84163;
sz[8205]:=84179;
sz[8206]:=84181;
sz[8207]:=84191;
sz[8208]:=84199;
sz[8209]:=84211;
sz[8210]:=84221;
sz[8211]:=84223;
sz[8212]:=84229;
sz[8213]:=84239;
sz[8214]:=84247;
sz[8215]:=84263;
sz[8216]:=84299;
sz[8217]:=84307;
sz[8218]:=84313;
sz[8219]:=84317;
sz[8220]:=84319;
sz[8221]:=84347;
sz[8222]:=84349;
sz[8223]:=84377;
sz[8224]:=84389;
sz[8225]:=84391;
sz[8226]:=84401;
sz[8227]:=84407;
sz[8228]:=84421;
sz[8229]:=84431;
sz[8230]:=84437;
sz[8231]:=84443;
sz[8232]:=84449;
sz[8233]:=84457;
sz[8234]:=84463;
sz[8235]:=84467;
sz[8236]:=84481;
sz[8237]:=84499;
sz[8238]:=84503;
sz[8239]:=84509;
sz[8240]:=84521;
sz[8241]:=84523;
sz[8242]:=84533;
sz[8243]:=84551;
sz[8244]:=84559;
sz[8245]:=84589;
sz[8246]:=84629;
sz[8247]:=84631;
sz[8248]:=84649;
sz[8249]:=84653;
sz[8250]:=84659;
sz[8251]:=84673;
sz[8252]:=84691;
sz[8253]:=84697;
sz[8254]:=84701;
sz[8255]:=84713;
sz[8256]:=84719;
sz[8257]:=84731;
sz[8258]:=84737;
sz[8259]:=84751;
sz[8260]:=84761;
sz[8261]:=84787;
sz[8262]:=84793;
sz[8263]:=84809;
sz[8264]:=84811;
sz[8265]:=84827;
sz[8266]:=84857;
sz[8267]:=84859;
sz[8268]:=84869;
sz[8269]:=84871;
sz[8270]:=84913;
sz[8271]:=84919;
sz[8272]:=84947;
sz[8273]:=84961;
sz[8274]:=84967;
sz[8275]:=84977;
sz[8276]:=84979;
sz[8277]:=84991;
sz[8278]:=85009;
sz[8279]:=85021;
sz[8280]:=85027;
sz[8281]:=85037;
sz[8282]:=85049;
sz[8283]:=85061;
sz[8284]:=85081;
sz[8285]:=85087;
sz[8286]:=85091;
sz[8287]:=85093;
sz[8288]:=85103;
sz[8289]:=85109;
sz[8290]:=85121;
sz[8291]:=85133;
sz[8292]:=85147;
sz[8293]:=85159;
sz[8294]:=85193;
sz[8295]:=85199;
sz[8296]:=85201;
sz[8297]:=85213;
sz[8298]:=85223;
sz[8299]:=85229;
sz[8300]:=85237;
sz[8301]:=85243;
sz[8302]:=85247;
sz[8303]:=85259;
sz[8304]:=85297;
sz[8305]:=85303;
sz[8306]:=85313;
sz[8307]:=85331;
sz[8308]:=85333;
sz[8309]:=85361;
sz[8310]:=85363;
sz[8311]:=85369;
sz[8312]:=85381;
sz[8313]:=85411;
sz[8314]:=85427;
sz[8315]:=85429;
sz[8316]:=85439;
sz[8317]:=85447;
sz[8318]:=85451;
sz[8319]:=85453;
sz[8320]:=85469;
sz[8321]:=85487;
sz[8322]:=85513;
sz[8323]:=85517;
sz[8324]:=85523;
sz[8325]:=85531;
sz[8326]:=85549;
sz[8327]:=85571;
sz[8328]:=85577;
sz[8329]:=85597;
sz[8330]:=85601;
sz[8331]:=85607;
sz[8332]:=85619;
sz[8333]:=85621;
sz[8334]:=85627;
sz[8335]:=85639;
sz[8336]:=85643;
sz[8337]:=85661;
sz[8338]:=85667;
sz[8339]:=85669;
sz[8340]:=85691;
sz[8341]:=85703;
sz[8342]:=85711;
sz[8343]:=85717;
sz[8344]:=85733;
sz[8345]:=85751;
sz[8346]:=85781;
sz[8347]:=85793;
sz[8348]:=85817;
sz[8349]:=85819;
sz[8350]:=85829;
sz[8351]:=85831;
sz[8352]:=85837;
sz[8353]:=85843;
sz[8354]:=85847;
sz[8355]:=85853;
sz[8356]:=85889;
sz[8357]:=85903;
sz[8358]:=85909;
sz[8359]:=85931;
sz[8360]:=85933;
sz[8361]:=85991;
sz[8362]:=85999;
sz[8363]:=86011;
sz[8364]:=86017;
sz[8365]:=86027;
sz[8366]:=86029;
sz[8367]:=86069;
sz[8368]:=86077;
sz[8369]:=86083;
sz[8370]:=86111;
sz[8371]:=86113;
sz[8372]:=86117;
sz[8373]:=86131;
sz[8374]:=86137;
sz[8375]:=86143;
sz[8376]:=86161;
sz[8377]:=86171;
sz[8378]:=86179;
sz[8379]:=86183;
sz[8380]:=86197;
sz[8381]:=86201;
sz[8382]:=86209;
sz[8383]:=86239;
sz[8384]:=86243;
sz[8385]:=86249;
sz[8386]:=86257;
sz[8387]:=86263;
sz[8388]:=86269;
sz[8389]:=86287;
sz[8390]:=86291;
sz[8391]:=86293;
sz[8392]:=86297;
sz[8393]:=86311;
sz[8394]:=86323;
sz[8395]:=86341;
sz[8396]:=86351;
sz[8397]:=86353;
sz[8398]:=86357;
sz[8399]:=86369;
sz[8400]:=86371;
sz[8401]:=86381;
sz[8402]:=86389;
sz[8403]:=86399;
sz[8404]:=86413;
sz[8405]:=86423;
sz[8406]:=86441;
sz[8407]:=86453;
sz[8408]:=86461;
sz[8409]:=86467;
sz[8410]:=86477;
sz[8411]:=86491;
sz[8412]:=86501;
sz[8413]:=86509;
sz[8414]:=86531;
sz[8415]:=86533;
sz[8416]:=86539;
sz[8417]:=86561;
sz[8418]:=86573;
sz[8419]:=86579;
sz[8420]:=86587;
sz[8421]:=86599;
sz[8422]:=86627;
sz[8423]:=86629;
sz[8424]:=86677;
sz[8425]:=86689;
sz[8426]:=86693;
sz[8427]:=86711;
sz[8428]:=86719;
sz[8429]:=86729;
sz[8430]:=86743;
sz[8431]:=86753;
sz[8432]:=86767;
sz[8433]:=86771;
sz[8434]:=86783;
sz[8435]:=86813;
sz[8436]:=86837;
sz[8437]:=86843;
sz[8438]:=86851;
sz[8439]:=86857;
sz[8440]:=86861;
sz[8441]:=86869;
sz[8442]:=86923;
sz[8443]:=86927;
sz[8444]:=86929;
sz[8445]:=86939;
sz[8446]:=86951;
sz[8447]:=86959;
sz[8448]:=86969;
sz[8449]:=86981;
sz[8450]:=86993;
sz[8451]:=87011;
sz[8452]:=87013;
sz[8453]:=87037;
sz[8454]:=87041;
sz[8455]:=87049;
sz[8456]:=87071;
sz[8457]:=87083;
sz[8458]:=87103;
sz[8459]:=87107;
sz[8460]:=87119;
sz[8461]:=87121;
sz[8462]:=87133;
sz[8463]:=87149;
sz[8464]:=87151;
sz[8465]:=87179;
sz[8466]:=87181;
sz[8467]:=87187;
sz[8468]:=87211;
sz[8469]:=87221;
sz[8470]:=87223;
sz[8471]:=87251;
sz[8472]:=87253;
sz[8473]:=87257;
sz[8474]:=87277;
sz[8475]:=87281;
sz[8476]:=87293;
sz[8477]:=87299;
sz[8478]:=87313;
sz[8479]:=87317;
sz[8480]:=87323;
sz[8481]:=87337;
sz[8482]:=87359;
sz[8483]:=87383;
sz[8484]:=87403;
sz[8485]:=87407;
sz[8486]:=87421;
sz[8487]:=87427;
sz[8488]:=87433;
sz[8489]:=87443;
sz[8490]:=87473;
sz[8491]:=87481;
sz[8492]:=87491;
sz[8493]:=87509;
sz[8494]:=87511;
sz[8495]:=87517;
sz[8496]:=87523;
sz[8497]:=87539;
sz[8498]:=87541;
sz[8499]:=87547;
sz[8500]:=87553;
sz[8501]:=87557;
sz[8502]:=87559;
sz[8503]:=87583;
sz[8504]:=87587;
sz[8505]:=87589;
sz[8506]:=87613;
sz[8507]:=87623;
sz[8508]:=87629;
sz[8509]:=87631;
sz[8510]:=87641;
sz[8511]:=87643;
sz[8512]:=87649;
sz[8513]:=87671;
sz[8514]:=87679;
sz[8515]:=87683;
sz[8516]:=87691;
sz[8517]:=87697;
sz[8518]:=87701;
sz[8519]:=87719;
sz[8520]:=87721;
sz[8521]:=87739;
sz[8522]:=87743;
sz[8523]:=87751;
sz[8524]:=87767;
sz[8525]:=87793;
sz[8526]:=87797;
sz[8527]:=87803;
sz[8528]:=87811;
sz[8529]:=87833;
sz[8530]:=87853;
sz[8531]:=87869;
sz[8532]:=87877;
sz[8533]:=87881;
sz[8534]:=87887;
sz[8535]:=87911;
sz[8536]:=87917;
sz[8537]:=87931;
sz[8538]:=87943;
sz[8539]:=87959;
sz[8540]:=87961;
sz[8541]:=87973;
sz[8542]:=87977;
sz[8543]:=87991;
sz[8544]:=88001;
sz[8545]:=88003;
sz[8546]:=88007;
sz[8547]:=88019;
sz[8548]:=88037;
sz[8549]:=88069;
sz[8550]:=88079;
sz[8551]:=88093;
sz[8552]:=88117;
sz[8553]:=88129;
sz[8554]:=88169;
sz[8555]:=88177;
sz[8556]:=88211;
sz[8557]:=88223;
sz[8558]:=88237;
sz[8559]:=88241;
sz[8560]:=88259;
sz[8561]:=88261;
sz[8562]:=88289;
sz[8563]:=88301;
sz[8564]:=88321;
sz[8565]:=88327;
sz[8566]:=88337;
sz[8567]:=88339;
sz[8568]:=88379;
sz[8569]:=88397;
sz[8570]:=88411;
sz[8571]:=88423;
sz[8572]:=88427;
sz[8573]:=88463;
sz[8574]:=88469;
sz[8575]:=88471;
sz[8576]:=88493;
sz[8577]:=88499;
sz[8578]:=88513;
sz[8579]:=88523;
sz[8580]:=88547;
sz[8581]:=88589;
sz[8582]:=88591;
sz[8583]:=88607;
sz[8584]:=88609;
sz[8585]:=88643;
sz[8586]:=88651;
sz[8587]:=88657;
sz[8588]:=88661;
sz[8589]:=88663;
sz[8590]:=88667;
sz[8591]:=88681;
sz[8592]:=88721;
sz[8593]:=88729;
sz[8594]:=88741;
sz[8595]:=88747;
sz[8596]:=88771;
sz[8597]:=88789;
sz[8598]:=88793;
sz[8599]:=88799;
sz[8600]:=88801;
sz[8601]:=88807;
sz[8602]:=88811;
sz[8603]:=88813;
sz[8604]:=88817;
sz[8605]:=88819;
sz[8606]:=88843;
sz[8607]:=88853;
sz[8608]:=88861;
sz[8609]:=88867;
sz[8610]:=88873;
sz[8611]:=88883;
sz[8612]:=88897;
sz[8613]:=88903;
sz[8614]:=88919;
sz[8615]:=88937;
sz[8616]:=88951;
sz[8617]:=88969;
sz[8618]:=88993;
sz[8619]:=88997;
sz[8620]:=89003;
sz[8621]:=89009;
sz[8622]:=89017;
sz[8623]:=89021;
sz[8624]:=89041;
sz[8625]:=89051;
sz[8626]:=89057;
sz[8627]:=89069;
sz[8628]:=89071;
sz[8629]:=89083;
sz[8630]:=89087;
sz[8631]:=89101;
sz[8632]:=89107;
sz[8633]:=89113;
sz[8634]:=89119;
sz[8635]:=89123;
sz[8636]:=89137;
sz[8637]:=89153;
sz[8638]:=89189;
sz[8639]:=89203;
sz[8640]:=89209;
sz[8641]:=89213;
sz[8642]:=89227;
sz[8643]:=89231;
sz[8644]:=89237;
sz[8645]:=89261;
sz[8646]:=89269;
sz[8647]:=89273;
sz[8648]:=89293;
sz[8649]:=89303;
sz[8650]:=89317;
sz[8651]:=89329;
sz[8652]:=89363;
sz[8653]:=89371;
sz[8654]:=89381;
sz[8655]:=89387;
sz[8656]:=89393;
sz[8657]:=89399;
sz[8658]:=89413;
sz[8659]:=89417;
sz[8660]:=89431;
sz[8661]:=89443;
sz[8662]:=89449;
sz[8663]:=89459;
sz[8664]:=89477;
sz[8665]:=89491;
sz[8666]:=89501;
sz[8667]:=89513;
sz[8668]:=89519;
sz[8669]:=89521;
sz[8670]:=89527;
sz[8671]:=89533;
sz[8672]:=89561;
sz[8673]:=89563;
sz[8674]:=89567;
sz[8675]:=89591;
sz[8676]:=89597;
sz[8677]:=89599;
sz[8678]:=89603;
sz[8679]:=89611;
sz[8680]:=89627;
sz[8681]:=89633;
sz[8682]:=89653;
sz[8683]:=89657;
sz[8684]:=89659;
sz[8685]:=89669;
sz[8686]:=89671;
sz[8687]:=89681;
sz[8688]:=89689;
sz[8689]:=89753;
sz[8690]:=89759;
sz[8691]:=89767;
sz[8692]:=89779;
sz[8693]:=89783;
sz[8694]:=89797;
sz[8695]:=89809;
sz[8696]:=89819;
sz[8697]:=89821;
sz[8698]:=89833;
sz[8699]:=89839;
sz[8700]:=89849;
sz[8701]:=89867;
sz[8702]:=89891;
sz[8703]:=89897;
sz[8704]:=89899;
sz[8705]:=89909;
sz[8706]:=89917;
sz[8707]:=89923;
sz[8708]:=89939;
sz[8709]:=89959;
sz[8710]:=89963;
sz[8711]:=89977;
sz[8712]:=89983;
sz[8713]:=89989;
sz[8714]:=90001;
sz[8715]:=90007;
sz[8716]:=90011;
sz[8717]:=90017;
sz[8718]:=90019;
sz[8719]:=90023;
sz[8720]:=90031;
sz[8721]:=90053;
sz[8722]:=90059;
sz[8723]:=90067;
sz[8724]:=90071;
sz[8725]:=90073;
sz[8726]:=90089;
sz[8727]:=90107;
sz[8728]:=90121;
sz[8729]:=90127;
sz[8730]:=90149;
sz[8731]:=90163;
sz[8732]:=90173;
sz[8733]:=90187;
sz[8734]:=90191;
sz[8735]:=90197;
sz[8736]:=90199;
sz[8737]:=90203;
sz[8738]:=90217;
sz[8739]:=90227;
sz[8740]:=90239;
sz[8741]:=90247;
sz[8742]:=90263;
sz[8743]:=90271;
sz[8744]:=90281;
sz[8745]:=90289;
sz[8746]:=90313;
sz[8747]:=90353;
sz[8748]:=90359;
sz[8749]:=90371;
sz[8750]:=90373;
sz[8751]:=90379;
sz[8752]:=90397;
sz[8753]:=90401;
sz[8754]:=90403;
sz[8755]:=90407;
sz[8756]:=90437;
sz[8757]:=90439;
sz[8758]:=90469;
sz[8759]:=90473;
sz[8760]:=90481;
sz[8761]:=90499;
sz[8762]:=90511;
sz[8763]:=90523;
sz[8764]:=90527;
sz[8765]:=90529;
sz[8766]:=90533;
sz[8767]:=90547;
sz[8768]:=90583;
sz[8769]:=90599;
sz[8770]:=90617;
sz[8771]:=90619;
sz[8772]:=90631;
sz[8773]:=90641;
sz[8774]:=90647;
sz[8775]:=90659;
sz[8776]:=90677;
sz[8777]:=90679;
sz[8778]:=90697;
sz[8779]:=90703;
sz[8780]:=90709;
sz[8781]:=90731;
sz[8782]:=90749;
sz[8783]:=90787;
sz[8784]:=90793;
sz[8785]:=90803;
sz[8786]:=90821;
sz[8787]:=90823;
sz[8788]:=90833;
sz[8789]:=90841;
sz[8790]:=90847;
sz[8791]:=90863;
sz[8792]:=90887;
sz[8793]:=90901;
sz[8794]:=90907;
sz[8795]:=90911;
sz[8796]:=90917;
sz[8797]:=90931;
sz[8798]:=90947;
sz[8799]:=90971;
sz[8800]:=90977;
sz[8801]:=90989;
sz[8802]:=90997;
sz[8803]:=91009;
sz[8804]:=91019;
sz[8805]:=91033;
sz[8806]:=91079;
sz[8807]:=91081;
sz[8808]:=91097;
sz[8809]:=91099;
sz[8810]:=91121;
sz[8811]:=91127;
sz[8812]:=91129;
sz[8813]:=91139;
sz[8814]:=91141;
sz[8815]:=91151;
sz[8816]:=91153;
sz[8817]:=91159;
sz[8818]:=91163;
sz[8819]:=91183;
sz[8820]:=91193;
sz[8821]:=91199;
sz[8822]:=91229;
sz[8823]:=91237;
sz[8824]:=91243;
sz[8825]:=91249;
sz[8826]:=91253;
sz[8827]:=91283;
sz[8828]:=91291;
sz[8829]:=91297;
sz[8830]:=91303;
sz[8831]:=91309;
sz[8832]:=91331;
sz[8833]:=91367;
sz[8834]:=91369;
sz[8835]:=91373;
sz[8836]:=91381;
sz[8837]:=91387;
sz[8838]:=91393;
sz[8839]:=91397;
sz[8840]:=91411;
sz[8841]:=91423;
sz[8842]:=91433;
sz[8843]:=91453;
sz[8844]:=91457;
sz[8845]:=91459;
sz[8846]:=91463;
sz[8847]:=91493;
sz[8848]:=91499;
sz[8849]:=91513;
sz[8850]:=91529;
sz[8851]:=91541;
sz[8852]:=91571;
sz[8853]:=91573;
sz[8854]:=91577;
sz[8855]:=91583;
sz[8856]:=91591;
sz[8857]:=91621;
sz[8858]:=91631;
sz[8859]:=91639;
sz[8860]:=91673;
sz[8861]:=91691;
sz[8862]:=91703;
sz[8863]:=91711;
sz[8864]:=91733;
sz[8865]:=91753;
sz[8866]:=91757;
sz[8867]:=91771;
sz[8868]:=91781;
sz[8869]:=91801;
sz[8870]:=91807;
sz[8871]:=91811;
sz[8872]:=91813;
sz[8873]:=91823;
sz[8874]:=91837;
sz[8875]:=91841;
sz[8876]:=91867;
sz[8877]:=91873;
sz[8878]:=91909;
sz[8879]:=91921;
sz[8880]:=91939;
sz[8881]:=91943;
sz[8882]:=91951;
sz[8883]:=91957;
sz[8884]:=91961;
sz[8885]:=91967;
sz[8886]:=91969;
sz[8887]:=91997;
sz[8888]:=92003;
sz[8889]:=92009;
sz[8890]:=92033;
sz[8891]:=92041;
sz[8892]:=92051;
sz[8893]:=92077;
sz[8894]:=92083;
sz[8895]:=92107;
sz[8896]:=92111;
sz[8897]:=92119;
sz[8898]:=92143;
sz[8899]:=92153;
sz[8900]:=92173;
sz[8901]:=92177;
sz[8902]:=92179;
sz[8903]:=92189;
sz[8904]:=92203;
sz[8905]:=92219;
sz[8906]:=92221;
sz[8907]:=92227;
sz[8908]:=92233;
sz[8909]:=92237;
sz[8910]:=92243;
sz[8911]:=92251;
sz[8912]:=92269;
sz[8913]:=92297;
sz[8914]:=92311;
sz[8915]:=92317;
sz[8916]:=92333;
sz[8917]:=92347;
sz[8918]:=92353;
sz[8919]:=92357;
sz[8920]:=92363;
sz[8921]:=92369;
sz[8922]:=92377;
sz[8923]:=92381;
sz[8924]:=92383;
sz[8925]:=92387;
sz[8926]:=92399;
sz[8927]:=92401;
sz[8928]:=92413;
sz[8929]:=92419;
sz[8930]:=92431;
sz[8931]:=92459;
sz[8932]:=92461;
sz[8933]:=92467;
sz[8934]:=92479;
sz[8935]:=92489;
sz[8936]:=92503;
sz[8937]:=92507;
sz[8938]:=92551;
sz[8939]:=92557;
sz[8940]:=92567;
sz[8941]:=92569;
sz[8942]:=92581;
sz[8943]:=92593;
sz[8944]:=92623;
sz[8945]:=92627;
sz[8946]:=92639;
sz[8947]:=92641;
sz[8948]:=92647;
sz[8949]:=92657;
sz[8950]:=92669;
sz[8951]:=92671;
sz[8952]:=92681;
sz[8953]:=92683;
sz[8954]:=92693;
sz[8955]:=92699;
sz[8956]:=92707;
sz[8957]:=92717;
sz[8958]:=92723;
sz[8959]:=92737;
sz[8960]:=92753;
sz[8961]:=92761;
sz[8962]:=92767;
sz[8963]:=92779;
sz[8964]:=92789;
sz[8965]:=92791;
sz[8966]:=92801;
sz[8967]:=92809;
sz[8968]:=92821;
sz[8969]:=92831;
sz[8970]:=92849;
sz[8971]:=92857;
sz[8972]:=92861;
sz[8973]:=92863;
sz[8974]:=92867;
sz[8975]:=92893;
sz[8976]:=92899;
sz[8977]:=92921;
sz[8978]:=92927;
sz[8979]:=92941;
sz[8980]:=92951;
sz[8981]:=92957;
sz[8982]:=92959;
sz[8983]:=92987;
sz[8984]:=92993;
sz[8985]:=93001;
sz[8986]:=93047;
sz[8987]:=93053;
sz[8988]:=93059;
sz[8989]:=93077;
sz[8990]:=93083;
sz[8991]:=93089;
sz[8992]:=93097;
sz[8993]:=93103;
sz[8994]:=93113;
sz[8995]:=93131;
sz[8996]:=93133;
sz[8997]:=93139;
sz[8998]:=93151;
sz[8999]:=93169;
sz[9000]:=93179;
sz[9001]:=93187;
sz[9002]:=93199;
sz[9003]:=93229;
sz[9004]:=93239;
sz[9005]:=93241;
sz[9006]:=93251;
sz[9007]:=93253;
sz[9008]:=93257;
sz[9009]:=93263;
sz[9010]:=93281;
sz[9011]:=93283;
sz[9012]:=93287;
sz[9013]:=93307;
sz[9014]:=93319;
sz[9015]:=93323;
sz[9016]:=93329;
sz[9017]:=93337;
sz[9018]:=93371;
sz[9019]:=93377;
sz[9020]:=93383;
sz[9021]:=93407;
sz[9022]:=93419;
sz[9023]:=93427;
sz[9024]:=93463;
sz[9025]:=93479;
sz[9026]:=93481;
sz[9027]:=93487;
sz[9028]:=93491;
sz[9029]:=93493;
sz[9030]:=93497;
sz[9031]:=93503;
sz[9032]:=93523;
sz[9033]:=93529;
sz[9034]:=93553;
sz[9035]:=93557;
sz[9036]:=93559;
sz[9037]:=93563;
sz[9038]:=93581;
sz[9039]:=93601;
sz[9040]:=93607;
sz[9041]:=93629;
sz[9042]:=93637;
sz[9043]:=93683;
sz[9044]:=93701;
sz[9045]:=93703;
sz[9046]:=93719;
sz[9047]:=93739;
sz[9048]:=93761;
sz[9049]:=93763;
sz[9050]:=93787;
sz[9051]:=93809;
sz[9052]:=93811;
sz[9053]:=93827;
sz[9054]:=93851;
sz[9055]:=93871;
sz[9056]:=93887;
sz[9057]:=93889;
sz[9058]:=93893;
sz[9059]:=93901;
sz[9060]:=93911;
sz[9061]:=93913;
sz[9062]:=93923;
sz[9063]:=93937;
sz[9064]:=93941;
sz[9065]:=93949;
sz[9066]:=93967;
sz[9067]:=93971;
sz[9068]:=93979;
sz[9069]:=93983;
sz[9070]:=93997;
sz[9071]:=94007;
sz[9072]:=94009;
sz[9073]:=94033;
sz[9074]:=94049;
sz[9075]:=94057;
sz[9076]:=94063;
sz[9077]:=94079;
sz[9078]:=94099;
sz[9079]:=94109;
sz[9080]:=94111;
sz[9081]:=94117;
sz[9082]:=94121;
sz[9083]:=94151;
sz[9084]:=94153;
sz[9085]:=94169;
sz[9086]:=94201;
sz[9087]:=94207;
sz[9088]:=94219;
sz[9089]:=94229;
sz[9090]:=94253;
sz[9091]:=94261;
sz[9092]:=94273;
sz[9093]:=94291;
sz[9094]:=94307;
sz[9095]:=94309;
sz[9096]:=94321;
sz[9097]:=94327;
sz[9098]:=94331;
sz[9099]:=94343;
sz[9100]:=94349;
sz[9101]:=94351;
sz[9102]:=94379;
sz[9103]:=94397;
sz[9104]:=94399;
sz[9105]:=94421;
sz[9106]:=94427;
sz[9107]:=94433;
sz[9108]:=94439;
sz[9109]:=94441;
sz[9110]:=94447;
sz[9111]:=94463;
sz[9112]:=94477;
sz[9113]:=94483;
sz[9114]:=94513;
sz[9115]:=94529;
sz[9116]:=94531;
sz[9117]:=94541;
sz[9118]:=94543;
sz[9119]:=94547;
sz[9120]:=94559;
sz[9121]:=94561;
sz[9122]:=94573;
sz[9123]:=94583;
sz[9124]:=94597;
sz[9125]:=94603;
sz[9126]:=94613;
sz[9127]:=94621;
sz[9128]:=94649;
sz[9129]:=94651;
sz[9130]:=94687;
sz[9131]:=94693;
sz[9132]:=94709;
sz[9133]:=94723;
sz[9134]:=94727;
sz[9135]:=94747;
sz[9136]:=94771;
sz[9137]:=94777;
sz[9138]:=94781;
sz[9139]:=94789;
sz[9140]:=94793;
sz[9141]:=94811;
sz[9142]:=94819;
sz[9143]:=94823;
sz[9144]:=94837;
sz[9145]:=94841;
sz[9146]:=94847;
sz[9147]:=94849;
sz[9148]:=94873;
sz[9149]:=94889;
sz[9150]:=94903;
sz[9151]:=94907;
sz[9152]:=94933;
sz[9153]:=94949;
sz[9154]:=94951;
sz[9155]:=94961;
sz[9156]:=94993;
sz[9157]:=94999;
sz[9158]:=95003;
sz[9159]:=95009;
sz[9160]:=95021;
sz[9161]:=95027;
sz[9162]:=95063;
sz[9163]:=95071;
sz[9164]:=95083;
sz[9165]:=95087;
sz[9166]:=95089;
sz[9167]:=95093;
sz[9168]:=95101;
sz[9169]:=95107;
sz[9170]:=95111;
sz[9171]:=95131;
sz[9172]:=95143;
sz[9173]:=95153;
sz[9174]:=95177;
sz[9175]:=95189;
sz[9176]:=95191;
sz[9177]:=95203;
sz[9178]:=95213;
sz[9179]:=95219;
sz[9180]:=95231;
sz[9181]:=95233;
sz[9182]:=95239;
sz[9183]:=95257;
sz[9184]:=95261;
sz[9185]:=95267;
sz[9186]:=95273;
sz[9187]:=95279;
sz[9188]:=95287;
sz[9189]:=95311;
sz[9190]:=95317;
sz[9191]:=95327;
sz[9192]:=95339;
sz[9193]:=95369;
sz[9194]:=95383;
sz[9195]:=95393;
sz[9196]:=95401;
sz[9197]:=95413;
sz[9198]:=95419;
sz[9199]:=95429;
sz[9200]:=95441;
sz[9201]:=95443;
sz[9202]:=95461;
sz[9203]:=95467;
sz[9204]:=95471;
sz[9205]:=95479;
sz[9206]:=95483;
sz[9207]:=95507;
sz[9208]:=95527;
sz[9209]:=95531;
sz[9210]:=95539;
sz[9211]:=95549;
sz[9212]:=95561;
sz[9213]:=95569;
sz[9214]:=95581;
sz[9215]:=95597;
sz[9216]:=95603;
sz[9217]:=95617;
sz[9218]:=95621;
sz[9219]:=95629;
sz[9220]:=95633;
sz[9221]:=95651;
sz[9222]:=95701;
sz[9223]:=95707;
sz[9224]:=95713;
sz[9225]:=95717;
sz[9226]:=95723;
sz[9227]:=95731;
sz[9228]:=95737;
sz[9229]:=95747;
sz[9230]:=95773;
sz[9231]:=95783;
sz[9232]:=95789;
sz[9233]:=95791;
sz[9234]:=95801;
sz[9235]:=95803;
sz[9236]:=95813;
sz[9237]:=95819;
sz[9238]:=95857;
sz[9239]:=95869;
sz[9240]:=95873;
sz[9241]:=95881;
sz[9242]:=95891;
sz[9243]:=95911;
sz[9244]:=95917;
sz[9245]:=95923;
sz[9246]:=95929;
sz[9247]:=95947;
sz[9248]:=95957;
sz[9249]:=95959;
sz[9250]:=95971;
sz[9251]:=95987;
sz[9252]:=95989;
sz[9253]:=96001;
sz[9254]:=96013;
sz[9255]:=96017;
sz[9256]:=96043;
sz[9257]:=96053;
sz[9258]:=96059;
sz[9259]:=96079;
sz[9260]:=96097;
sz[9261]:=96137;
sz[9262]:=96149;
sz[9263]:=96157;
sz[9264]:=96167;
sz[9265]:=96179;
sz[9266]:=96181;
sz[9267]:=96199;
sz[9268]:=96211;
sz[9269]:=96221;
sz[9270]:=96223;
sz[9271]:=96233;
sz[9272]:=96259;
sz[9273]:=96263;
sz[9274]:=96269;
sz[9275]:=96281;
sz[9276]:=96289;
sz[9277]:=96293;
sz[9278]:=96323;
sz[9279]:=96329;
sz[9280]:=96331;
sz[9281]:=96337;
sz[9282]:=96353;
sz[9283]:=96377;
sz[9284]:=96401;
sz[9285]:=96419;
sz[9286]:=96431;
sz[9287]:=96443;
sz[9288]:=96451;
sz[9289]:=96457;
sz[9290]:=96461;
sz[9291]:=96469;
sz[9292]:=96479;
sz[9293]:=96487;
sz[9294]:=96493;
sz[9295]:=96497;
sz[9296]:=96517;
sz[9297]:=96527;
sz[9298]:=96553;
sz[9299]:=96557;
sz[9300]:=96581;
sz[9301]:=96587;
sz[9302]:=96589;
sz[9303]:=96601;
sz[9304]:=96643;
sz[9305]:=96661;
sz[9306]:=96667;
sz[9307]:=96671;
sz[9308]:=96697;
sz[9309]:=96703;
sz[9310]:=96731;
sz[9311]:=96737;
sz[9312]:=96739;
sz[9313]:=96749;
sz[9314]:=96757;
sz[9315]:=96763;
sz[9316]:=96769;
sz[9317]:=96779;
sz[9318]:=96787;
sz[9319]:=96797;
sz[9320]:=96799;
sz[9321]:=96821;
sz[9322]:=96823;
sz[9323]:=96827;
sz[9324]:=96847;
sz[9325]:=96851;
sz[9326]:=96857;
sz[9327]:=96893;
sz[9328]:=96907;
sz[9329]:=96911;
sz[9330]:=96931;
sz[9331]:=96953;
sz[9332]:=96959;
sz[9333]:=96973;
sz[9334]:=96979;
sz[9335]:=96989;
sz[9336]:=96997;
sz[9337]:=97001;
sz[9338]:=97003;
sz[9339]:=97007;
sz[9340]:=97021;
sz[9341]:=97039;
sz[9342]:=97073;
sz[9343]:=97081;
sz[9344]:=97103;
sz[9345]:=97117;
sz[9346]:=97127;
sz[9347]:=97151;
sz[9348]:=97157;
sz[9349]:=97159;
sz[9350]:=97169;
sz[9351]:=97171;
sz[9352]:=97177;
sz[9353]:=97187;
sz[9354]:=97213;
sz[9355]:=97231;
sz[9356]:=97241;
sz[9357]:=97259;
sz[9358]:=97283;
sz[9359]:=97301;
sz[9360]:=97303;
sz[9361]:=97327;
sz[9362]:=97367;
sz[9363]:=97369;
sz[9364]:=97373;
sz[9365]:=97379;
sz[9366]:=97381;
sz[9367]:=97387;
sz[9368]:=97397;
sz[9369]:=97423;
sz[9370]:=97429;
sz[9371]:=97441;
sz[9372]:=97453;
sz[9373]:=97459;
sz[9374]:=97463;
sz[9375]:=97499;
sz[9376]:=97501;
sz[9377]:=97511;
sz[9378]:=97523;
sz[9379]:=97547;
sz[9380]:=97549;
sz[9381]:=97553;
sz[9382]:=97561;
sz[9383]:=97571;
sz[9384]:=97577;
sz[9385]:=97579;
sz[9386]:=97583;
sz[9387]:=97607;
sz[9388]:=97609;
sz[9389]:=97613;
sz[9390]:=97649;
sz[9391]:=97651;
sz[9392]:=97673;
sz[9393]:=97687;
sz[9394]:=97711;
sz[9395]:=97729;
sz[9396]:=97771;
sz[9397]:=97777;
sz[9398]:=97787;
sz[9399]:=97789;
sz[9400]:=97813;
sz[9401]:=97829;
sz[9402]:=97841;
sz[9403]:=97843;
sz[9404]:=97847;
sz[9405]:=97849;
sz[9406]:=97859;
sz[9407]:=97861;
sz[9408]:=97871;
sz[9409]:=97879;
sz[9410]:=97883;
sz[9411]:=97919;
sz[9412]:=97927;
sz[9413]:=97931;
sz[9414]:=97943;
sz[9415]:=97961;
sz[9416]:=97967;
sz[9417]:=97973;
sz[9418]:=97987;
sz[9419]:=98009;
sz[9420]:=98011;
sz[9421]:=98017;
sz[9422]:=98041;
sz[9423]:=98047;
sz[9424]:=98057;
sz[9425]:=98081;
sz[9426]:=98101;
sz[9427]:=98123;
sz[9428]:=98129;
sz[9429]:=98143;
sz[9430]:=98179;
sz[9431]:=98207;
sz[9432]:=98213;
sz[9433]:=98221;
sz[9434]:=98227;
sz[9435]:=98251;
sz[9436]:=98257;
sz[9437]:=98269;
sz[9438]:=98297;
sz[9439]:=98299;
sz[9440]:=98317;
sz[9441]:=98321;
sz[9442]:=98323;
sz[9443]:=98327;
sz[9444]:=98347;
sz[9445]:=98369;
sz[9446]:=98377;
sz[9447]:=98387;
sz[9448]:=98389;
sz[9449]:=98407;
sz[9450]:=98411;
sz[9451]:=98419;
sz[9452]:=98429;
sz[9453]:=98443;
sz[9454]:=98453;
sz[9455]:=98459;
sz[9456]:=98467;
sz[9457]:=98473;
sz[9458]:=98479;
sz[9459]:=98491;
sz[9460]:=98507;
sz[9461]:=98519;
sz[9462]:=98533;
sz[9463]:=98543;
sz[9464]:=98561;
sz[9465]:=98563;
sz[9466]:=98573;
sz[9467]:=98597;
sz[9468]:=98621;
sz[9469]:=98627;
sz[9470]:=98639;
sz[9471]:=98641;
sz[9472]:=98663;
sz[9473]:=98669;
sz[9474]:=98689;
sz[9475]:=98711;
sz[9476]:=98713;
sz[9477]:=98717;
sz[9478]:=98729;
sz[9479]:=98731;
sz[9480]:=98737;
sz[9481]:=98773;
sz[9482]:=98779;
sz[9483]:=98801;
sz[9484]:=98807;
sz[9485]:=98809;
sz[9486]:=98837;
sz[9487]:=98849;
sz[9488]:=98867;
sz[9489]:=98869;
sz[9490]:=98873;
sz[9491]:=98887;
sz[9492]:=98893;
sz[9493]:=98897;
sz[9494]:=98899;
sz[9495]:=98909;
sz[9496]:=98911;
sz[9497]:=98927;
sz[9498]:=98929;
sz[9499]:=98939;
sz[9500]:=98947;
sz[9501]:=98953;
sz[9502]:=98963;
sz[9503]:=98981;
sz[9504]:=98993;
sz[9505]:=98999;
sz[9506]:=99013;
sz[9507]:=99017;
sz[9508]:=99023;
sz[9509]:=99041;
sz[9510]:=99053;
sz[9511]:=99079;
sz[9512]:=99083;
sz[9513]:=99089;
sz[9514]:=99103;
sz[9515]:=99109;
sz[9516]:=99119;
sz[9517]:=99131;
sz[9518]:=99133;
sz[9519]:=99137;
sz[9520]:=99139;
sz[9521]:=99149;
sz[9522]:=99173;
sz[9523]:=99181;
sz[9524]:=99191;
sz[9525]:=99223;
sz[9526]:=99233;
sz[9527]:=99241;
sz[9528]:=99251;
sz[9529]:=99257;
sz[9530]:=99259;
sz[9531]:=99277;
sz[9532]:=99289;
sz[9533]:=99317;
sz[9534]:=99347;
sz[9535]:=99349;
sz[9536]:=99367;
sz[9537]:=99371;
sz[9538]:=99377;
sz[9539]:=99391;
sz[9540]:=99397;
sz[9541]:=99401;
sz[9542]:=99409;
sz[9543]:=99431;
sz[9544]:=99439;
sz[9545]:=99469;
sz[9546]:=99487;
sz[9547]:=99497;
sz[9548]:=99523;
sz[9549]:=99527;
sz[9550]:=99529;
sz[9551]:=99551;
sz[9552]:=99559;
sz[9553]:=99563;
sz[9554]:=99571;
sz[9555]:=99577;
sz[9556]:=99581;
sz[9557]:=99607;
sz[9558]:=99611;
sz[9559]:=99623;
sz[9560]:=99643;
sz[9561]:=99661;
sz[9562]:=99667;
sz[9563]:=99679;
sz[9564]:=99689;
sz[9565]:=99707;
sz[9566]:=99709;
sz[9567]:=99713;
sz[9568]:=99719;
sz[9569]:=99721;
sz[9570]:=99733;
sz[9571]:=99761;
sz[9572]:=99767;
sz[9573]:=99787;
sz[9574]:=99793;
sz[9575]:=99809;
sz[9576]:=99817;
sz[9577]:=99823;
sz[9578]:=99829;
sz[9579]:=99833;
sz[9580]:=99839;
sz[9581]:=99859;
sz[9582]:=99871;
sz[9583]:=99877;
sz[9584]:=99881;
sz[9585]:=99901;
sz[9586]:=99907;
sz[9587]:=99923;
sz[9588]:=99929;
sz[9589]:=99961;
sz[9590]:=99971;
sz[9591]:=99989;
sz[9592]:=99991;
assign(input,'setb.in');
assign(output,'setb.out');
reset(input);
rewrite(output);
readln(a,b,p);
add:=0;
fillchar(s,sizeof(s),0);
for i:=a to b do
begin
j:=1;
temp:=i;
flag:=true;
ss[0]:=0;
while temp<>1 do
begin
if temp mod sz[j]=0 then begin
temp:=temp div sz[j];
if (flag)and(sz[j]>=p) then begin
flag:=false;
ss[0]:=ss[0]+1;
ss[ss[0]]:=sz[j];
end;
end
else begin
j:=j+1;
flag:=true;
end;
end;
if s[ss[1]]=0 then s[ss[1]]:=ss[1];
f:=father(ss[1]);
if ss[0]=0 then add:=add+1;
for j:=2 to ss[0] do
begin
s[father(s[ss[j]])]:=f;
end;
end;
for i:=1 to 100000 do
if s[i]=i then add:=add+1;
writeln(add);
close(input);
close(output);
end.