| 比赛 |
20100927 |
评测结果 |
AAAAAAAAAA |
| 题目名称 |
细胞分裂 |
最终得分 |
100 |
| 用户昵称 |
Achilles |
运行时间 |
0.000 s |
| 代码语言 |
Pascal |
内存使用 |
0.00 MiB |
| 提交时间 |
2010-09-27 20:08:08 |
显示代码纯文本
program cell;
var
sz,hx1,hx2:array[1..3245]of longint;
sb:array[0..3245]of longint;
n,m1,m2,t,i,j,ans,max,p,t2,min:longint;
function ooxx(a,b:longint):longint;
begin
if a mod b=0 then ooxx:=a div b else ooxx:=a div b+1;
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;
assign(input,'cell.in');
assign(output,'cell.out');
reset(input);
rewrite(output);
readln(n);
readln(m1,m2);
fillchar(hx1,sizeof(hx1),0);
sb[0]:=0;
for i:=1 to 3245 do
begin
if m1=1 then break;
if m1 mod sz[i]=0 then begin
sb[0]:=sb[0]+1;
sb[sb[0]]:=i;
while m1 mod sz[i]=0 do
begin
hx1[i]:=hx1[i]+1;
m1:=m1 div sz[i];
end;
max:=i;
hx1[i]:=hx1[i]*m2;
end;
end;
ans:=2000000000;
for i:=1 to n do
begin
read(t);
fillchar(hx2,sizeof(hx2),0);
for j:=1 to sz[max] do
begin
if t mod sz[j]=0 then begin
while t mod sz[j]=0 do
begin
hx2[j]:=hx2[j]+1;
t:=t div sz[j];
end;
end;
end;
p:=0;
min:=0;
for j:=1 to sb[0] do
if hx2[sb[j]]=0 then begin
p:=1;
break;
end
else begin
t2:=ooxx(hx1[sb[j]],hx2[sb[j]]);
if t2>min then min:=t2;
end;
if p=0 then begin
if min<ans then ans:=min;
end;
end;
if ans=2000000000 then writeln(-1) else writeln(ans);
close(input);
close(output);
end.