记录编号 6075 评测结果 AAATTAATTT
题目名称 最多因子数 最终得分 50
用户昵称 GravatarAchilles 是否通过 未通过
代码语言 Pascal 运行时间 5.200 s
提交时间 2008-10-30 14:05:54 内存使用 0.37 MiB
显示代码纯文本
program divisors;
var
  z,sz:array[1..34320]of longint;
  i,j:longint;
  l,u,n,t,max,maxt,num:int64;
begin
  z[1]:=2;
  z[2]:=3;
  z[3]:=5;
  z[4]:=7;
  z[5]:=11;
  z[6]:=13;
  z[7]:=17;
  z[8]:=19;
  z[9]:=23;
  z[10]:=29;
  z[11]:=31;
  z[12]:=37;
  z[13]:=41;
  z[14]:=43;
  z[15]:=47;
  z[16]:=53;
  z[17]:=59;
  z[18]:=61;
  z[19]:=67;
  z[20]:=71;
  z[21]:=73;
  z[22]:=79;
  z[23]:=83;
  z[24]:=89;
  z[25]:=97;
  z[26]:=101;
  z[27]:=103;
  z[28]:=107;
  z[29]:=109;
  z[30]:=113;
  z[31]:=127;
  z[32]:=131;
  z[33]:=137;
  z[34]:=139;
  z[35]:=149;
  z[36]:=151;
  z[37]:=157;
  z[38]:=163;
  z[39]:=167;
  z[40]:=173;
  z[41]:=179;
  z[42]:=181;
  z[43]:=191;
  z[44]:=193;
  z[45]:=197;
  z[46]:=199;
  z[47]:=211;
  z[48]:=223;
  z[49]:=227;
  z[50]:=229;
  z[51]:=233;
  z[52]:=239;
  z[53]:=241;
  z[54]:=251;
  z[55]:=257;
  z[56]:=263;
  z[57]:=269;
  z[58]:=271;
  z[59]:=277;
  z[60]:=281;
  z[61]:=283;
  z[62]:=293;
  z[63]:=307;
  z[64]:=311;
  z[65]:=313;
  z[66]:=317;
  z[67]:=331;
  z[68]:=337;
  z[69]:=347;
  z[70]:=349;
  z[71]:=353;
  z[72]:=359;
  z[73]:=367;
  z[74]:=373;
  z[75]:=379;
  z[76]:=383;
  z[77]:=389;
  z[78]:=397;
  z[79]:=401;
  z[80]:=409;
  z[81]:=419;
  z[82]:=421;
  z[83]:=431;
  z[84]:=433;
  z[85]:=439;
  z[86]:=443;
  z[87]:=449;
  z[88]:=457;
  z[89]:=461;
  z[90]:=463;
  z[91]:=467;
  z[92]:=479;
  z[93]:=487;
  z[94]:=491;
  z[95]:=499;
  z[96]:=503;
  z[97]:=509;
  z[98]:=521;
  z[99]:=523;
  z[100]:=541;
  z[101]:=547;
  z[102]:=557;
  z[103]:=563;
  z[104]:=569;
  z[105]:=571;
  z[106]:=577;
  z[107]:=587;
  z[108]:=593;
  z[109]:=599;
  z[110]:=601;
  z[111]:=607;
  z[112]:=613;
  z[113]:=617;
  z[114]:=619;
  z[115]:=631;
  z[116]:=641;
  z[117]:=643;
  z[118]:=647;
  z[119]:=653;
  z[120]:=659;
  z[121]:=661;
  z[122]:=673;
  z[123]:=677;
  z[124]:=683;
  z[125]:=691;
  z[126]:=701;
  z[127]:=709;
  z[128]:=719;
  z[129]:=727;
  z[130]:=733;
  z[131]:=739;
  z[132]:=743;
  z[133]:=751;
  z[134]:=757;
  z[135]:=761;
  z[136]:=769;
  z[137]:=773;
  z[138]:=787;
  z[139]:=797;
  z[140]:=809;
  z[141]:=811;
  z[142]:=821;
  z[143]:=823;
  z[144]:=827;
  z[145]:=829;
  z[146]:=839;
  z[147]:=853;
  z[148]:=857;
  z[149]:=859;
  z[150]:=863;
  z[151]:=877;
  z[152]:=881;
  z[153]:=883;
  z[154]:=887;
  z[155]:=907;
  z[156]:=911;
  z[157]:=919;
  z[158]:=929;
  z[159]:=937;
  z[160]:=941;
  z[161]:=947;
  z[162]:=953;
  z[163]:=967;
  z[164]:=971;
  z[165]:=977;
  z[166]:=983;
  z[167]:=991;
  z[168]:=997;
  z[169]:=1009;
  z[170]:=1013;
  z[171]:=1019;
  z[172]:=1021;
  z[173]:=1031;
  z[174]:=1033;
  z[175]:=1039;
  z[176]:=1049;
  z[177]:=1051;
  z[178]:=1061;
  z[179]:=1063;
  z[180]:=1069;
  z[181]:=1087;
  z[182]:=1091;
  z[183]:=1093;
  z[184]:=1097;
  z[185]:=1103;
  z[186]:=1109;
  z[187]:=1117;
  z[188]:=1123;
  z[189]:=1129;
  z[190]:=1151;
  z[191]:=1153;
  z[192]:=1163;
  z[193]:=1171;
  z[194]:=1181;
  z[195]:=1187;
  z[196]:=1193;
  z[197]:=1201;
  z[198]:=1213;
  z[199]:=1217;
  z[200]:=1223;
  z[201]:=1229;
  z[202]:=1231;
  z[203]:=1237;
  z[204]:=1249;
  z[205]:=1259;
  z[206]:=1277;
  z[207]:=1279;
  z[208]:=1283;
  z[209]:=1289;
  z[210]:=1291;
  z[211]:=1297;
  z[212]:=1301;
  z[213]:=1303;
  z[214]:=1307;
  z[215]:=1319;
  z[216]:=1321;
  z[217]:=1327;
  z[218]:=1361;
  z[219]:=1367;
  z[220]:=1373;
  z[221]:=1381;
  z[222]:=1399;
  z[223]:=1409;
  z[224]:=1423;
  z[225]:=1427;
  z[226]:=1429;
  z[227]:=1433;
  z[228]:=1439;
  z[229]:=1447;
  z[230]:=1451;
  z[231]:=1453;
  z[232]:=1459;
  z[233]:=1471;
  z[234]:=1481;
  z[235]:=1483;
  z[236]:=1487;
  z[237]:=1489;
  z[238]:=1493;
  z[239]:=1499;
  z[240]:=1511;
  z[241]:=1523;
  z[242]:=1531;
  z[243]:=1543;
  z[244]:=1549;
  z[245]:=1553;
  z[246]:=1559;
  z[247]:=1567;
  z[248]:=1571;
  z[249]:=1579;
  z[250]:=1583;
  z[251]:=1597;
  z[252]:=1601;
  z[253]:=1607;
  z[254]:=1609;
  z[255]:=1613;
  z[256]:=1619;
  z[257]:=1621;
  z[258]:=1627;
  z[259]:=1637;
  z[260]:=1657;
  z[261]:=1663;
  z[262]:=1667;
  z[263]:=1669;
  z[264]:=1693;
  z[265]:=1697;
  z[266]:=1699;
  z[267]:=1709;
  z[268]:=1721;
  z[269]:=1723;
  z[270]:=1733;
  z[271]:=1741;
  z[272]:=1747;
  z[273]:=1753;
  z[274]:=1759;
  z[275]:=1777;
  z[276]:=1783;
  z[277]:=1787;
  z[278]:=1789;
  z[279]:=1801;
  z[280]:=1811;
  z[281]:=1823;
  z[282]:=1831;
  z[283]:=1847;
  z[284]:=1861;
  z[285]:=1867;
  z[286]:=1871;
  z[287]:=1873;
  z[288]:=1877;
  z[289]:=1879;
  z[290]:=1889;
  z[291]:=1901;
  z[292]:=1907;
  z[293]:=1913;
  z[294]:=1931;
  z[295]:=1933;
  z[296]:=1949;
  z[297]:=1951;
  z[298]:=1973;
  z[299]:=1979;
  z[300]:=1987;
  z[301]:=1993;
  z[302]:=1997;
  z[303]:=1999;
  z[304]:=2003;
  z[305]:=2011;
  z[306]:=2017;
  z[307]:=2027;
  z[308]:=2029;
  z[309]:=2039;
  z[310]:=2053;
  z[311]:=2063;
  z[312]:=2069;
  z[313]:=2081;
  z[314]:=2083;
  z[315]:=2087;
  z[316]:=2089;
  z[317]:=2099;
  z[318]:=2111;
  z[319]:=2113;
  z[320]:=2129;
  z[321]:=2131;
  z[322]:=2137;
  z[323]:=2141;
  z[324]:=2143;
  z[325]:=2153;
  z[326]:=2161;
  z[327]:=2179;
  z[328]:=2203;
  z[329]:=2207;
  z[330]:=2213;
  z[331]:=2221;
  z[332]:=2237;
  z[333]:=2239;
  z[334]:=2243;
  z[335]:=2251;
  z[336]:=2267;
  z[337]:=2269;
  z[338]:=2273;
  z[339]:=2281;
  z[340]:=2287;
  z[341]:=2293;
  z[342]:=2297;
  z[343]:=2309;
  z[344]:=2311;
  z[345]:=2333;
  z[346]:=2339;
  z[347]:=2341;
  z[348]:=2347;
  z[349]:=2351;
  z[350]:=2357;
  z[351]:=2371;
  z[352]:=2377;
  z[353]:=2381;
  z[354]:=2383;
  z[355]:=2389;
  z[356]:=2393;
  z[357]:=2399;
  z[358]:=2411;
  z[359]:=2417;
  z[360]:=2423;
  z[361]:=2437;
  z[362]:=2441;
  z[363]:=2447;
  z[364]:=2459;
  z[365]:=2467;
  z[366]:=2473;
  z[367]:=2477;
  z[368]:=2503;
  z[369]:=2521;
  z[370]:=2531;
  z[371]:=2539;
  z[372]:=2543;
  z[373]:=2549;
  z[374]:=2551;
  z[375]:=2557;
  z[376]:=2579;
  z[377]:=2591;
  z[378]:=2593;
  z[379]:=2609;
  z[380]:=2617;
  z[381]:=2621;
  z[382]:=2633;
  z[383]:=2647;
  z[384]:=2657;
  z[385]:=2659;
  z[386]:=2663;
  z[387]:=2671;
  z[388]:=2677;
  z[389]:=2683;
  z[390]:=2687;
  z[391]:=2689;
  z[392]:=2693;
  z[393]:=2699;
  z[394]:=2707;
  z[395]:=2711;
  z[396]:=2713;
  z[397]:=2719;
  z[398]:=2729;
  z[399]:=2731;
  z[400]:=2741;
  z[401]:=2749;
  z[402]:=2753;
  z[403]:=2767;
  z[404]:=2777;
  z[405]:=2789;
  z[406]:=2791;
  z[407]:=2797;
  z[408]:=2801;
  z[409]:=2803;
  z[410]:=2819;
  z[411]:=2833;
  z[412]:=2837;
  z[413]:=2843;
  z[414]:=2851;
  z[415]:=2857;
  z[416]:=2861;
  z[417]:=2879;
  z[418]:=2887;
  z[419]:=2897;
  z[420]:=2903;
  z[421]:=2909;
  z[422]:=2917;
  z[423]:=2927;
  z[424]:=2939;
  z[425]:=2953;
  z[426]:=2957;
  z[427]:=2963;
  z[428]:=2969;
  z[429]:=2971;
  z[430]:=2999;
  z[431]:=3001;
  z[432]:=3011;
  z[433]:=3019;
  z[434]:=3023;
  z[435]:=3037;
  z[436]:=3041;
  z[437]:=3049;
  z[438]:=3061;
  z[439]:=3067;
  z[440]:=3079;
  z[441]:=3083;
  z[442]:=3089;
  z[443]:=3109;
  z[444]:=3119;
  z[445]:=3121;
  z[446]:=3137;
  z[447]:=3163;
  z[448]:=3167;
  z[449]:=3169;
  z[450]:=3181;
  z[451]:=3187;
  z[452]:=3191;
  z[453]:=3203;
  z[454]:=3209;
  z[455]:=3217;
  z[456]:=3221;
  z[457]:=3229;
  z[458]:=3251;
  z[459]:=3253;
  z[460]:=3257;
  z[461]:=3259;
  z[462]:=3271;
  z[463]:=3299;
  z[464]:=3301;
  z[465]:=3307;
  z[466]:=3313;
  z[467]:=3319;
  z[468]:=3323;
  z[469]:=3329;
  z[470]:=3331;
  z[471]:=3343;
  z[472]:=3347;
  z[473]:=3359;
  z[474]:=3361;
  z[475]:=3371;
  z[476]:=3373;
  z[477]:=3389;
  z[478]:=3391;
  z[479]:=3407;
  z[480]:=3413;
  z[481]:=3433;
  z[482]:=3449;
  z[483]:=3457;
  z[484]:=3461;
  z[485]:=3463;
  z[486]:=3467;
  z[487]:=3469;
  z[488]:=3491;
  z[489]:=3499;
  z[490]:=3511;
  z[491]:=3517;
  z[492]:=3527;
  z[493]:=3529;
  z[494]:=3533;
  z[495]:=3539;
  z[496]:=3541;
  z[497]:=3547;
  z[498]:=3557;
  z[499]:=3559;
  z[500]:=3571;
  z[501]:=3581;
  z[502]:=3583;
  z[503]:=3593;
  z[504]:=3607;
  z[505]:=3613;
  z[506]:=3617;
  z[507]:=3623;
  z[508]:=3631;
  z[509]:=3637;
  z[510]:=3643;
  z[511]:=3659;
  z[512]:=3671;
  z[513]:=3673;
  z[514]:=3677;
  z[515]:=3691;
  z[516]:=3697;
  z[517]:=3701;
  z[518]:=3709;
  z[519]:=3719;
  z[520]:=3727;
  z[521]:=3733;
  z[522]:=3739;
  z[523]:=3761;
  z[524]:=3767;
  z[525]:=3769;
  z[526]:=3779;
  z[527]:=3793;
  z[528]:=3797;
  z[529]:=3803;
  z[530]:=3821;
  z[531]:=3823;
  z[532]:=3833;
  z[533]:=3847;
  z[534]:=3851;
  z[535]:=3853;
  z[536]:=3863;
  z[537]:=3877;
  z[538]:=3881;
  z[539]:=3889;
  z[540]:=3907;
  z[541]:=3911;
  z[542]:=3917;
  z[543]:=3919;
  z[544]:=3923;
  z[545]:=3929;
  z[546]:=3931;
  z[547]:=3943;
  z[548]:=3947;
  z[549]:=3967;
  z[550]:=3989;
  z[551]:=4001;
  z[552]:=4003;
  z[553]:=4007;
  z[554]:=4013;
  z[555]:=4019;
  z[556]:=4021;
  z[557]:=4027;
  z[558]:=4049;
  z[559]:=4051;
  z[560]:=4057;
  z[561]:=4073;
  z[562]:=4079;
  z[563]:=4091;
  z[564]:=4093;
  z[565]:=4099;
  z[566]:=4111;
  z[567]:=4127;
  z[568]:=4129;
  z[569]:=4133;
  z[570]:=4139;
  z[571]:=4153;
  z[572]:=4157;
  z[573]:=4159;
  z[574]:=4177;
  z[575]:=4201;
  z[576]:=4211;
  z[577]:=4217;
  z[578]:=4219;
  z[579]:=4229;
  z[580]:=4231;
  z[581]:=4241;
  z[582]:=4243;
  z[583]:=4253;
  z[584]:=4259;
  z[585]:=4261;
  z[586]:=4271;
  z[587]:=4273;
  z[588]:=4283;
  z[589]:=4289;
  z[590]:=4297;
  z[591]:=4327;
  z[592]:=4337;
  z[593]:=4339;
  z[594]:=4349;
  z[595]:=4357;
  z[596]:=4363;
  z[597]:=4373;
  z[598]:=4391;
  z[599]:=4397;
  z[600]:=4409;
  z[601]:=4421;
  z[602]:=4423;
  z[603]:=4441;
  z[604]:=4447;
  z[605]:=4451;
  z[606]:=4457;
  z[607]:=4463;
  z[608]:=4481;
  z[609]:=4483;
  z[610]:=4493;
  z[611]:=4507;
  z[612]:=4513;
  z[613]:=4517;
  z[614]:=4519;
  z[615]:=4523;
  z[616]:=4547;
  z[617]:=4549;
  z[618]:=4561;
  z[619]:=4567;
  z[620]:=4583;
  z[621]:=4591;
  z[622]:=4597;
  z[623]:=4603;
  z[624]:=4621;
  z[625]:=4637;
  z[626]:=4639;
  z[627]:=4643;
  z[628]:=4649;
  z[629]:=4651;
  z[630]:=4657;
  z[631]:=4663;
  z[632]:=4673;
  z[633]:=4679;
  z[634]:=4691;
  z[635]:=4703;
  z[636]:=4721;
  z[637]:=4723;
  z[638]:=4729;
  z[639]:=4733;
  z[640]:=4751;
  z[641]:=4759;
  z[642]:=4783;
  z[643]:=4787;
  z[644]:=4789;
  z[645]:=4793;
  z[646]:=4799;
  z[647]:=4801;
  z[648]:=4813;
  z[649]:=4817;
  z[650]:=4831;
  z[651]:=4861;
  z[652]:=4871;
  z[653]:=4877;
  z[654]:=4889;
  z[655]:=4903;
  z[656]:=4909;
  z[657]:=4919;
  z[658]:=4931;
  z[659]:=4933;
  z[660]:=4937;
  z[661]:=4943;
  z[662]:=4951;
  z[663]:=4957;
  z[664]:=4967;
  z[665]:=4969;
  z[666]:=4973;
  z[667]:=4987;
  z[668]:=4993;
  z[669]:=4999;
  z[670]:=5003;
  z[671]:=5009;
  z[672]:=5011;
  z[673]:=5021;
  z[674]:=5023;
  z[675]:=5039;
  z[676]:=5051;
  z[677]:=5059;
  z[678]:=5077;
  z[679]:=5081;
  z[680]:=5087;
  z[681]:=5099;
  z[682]:=5101;
  z[683]:=5107;
  z[684]:=5113;
  z[685]:=5119;
  z[686]:=5147;
  z[687]:=5153;
  z[688]:=5167;
  z[689]:=5171;
  z[690]:=5179;
  z[691]:=5189;
  z[692]:=5197;
  z[693]:=5209;
  z[694]:=5227;
  z[695]:=5231;
  z[696]:=5233;
  z[697]:=5237;
  z[698]:=5261;
  z[699]:=5273;
  z[700]:=5279;
  z[701]:=5281;
  z[702]:=5297;
  z[703]:=5303;
  z[704]:=5309;
  z[705]:=5323;
  z[706]:=5333;
  z[707]:=5347;
  z[708]:=5351;
  z[709]:=5381;
  z[710]:=5387;
  z[711]:=5393;
  z[712]:=5399;
  z[713]:=5407;
  z[714]:=5413;
  z[715]:=5417;
  z[716]:=5419;
  z[717]:=5431;
  z[718]:=5437;
  z[719]:=5441;
  z[720]:=5443;
  z[721]:=5449;
  z[722]:=5471;
  z[723]:=5477;
  z[724]:=5479;
  z[725]:=5483;
  z[726]:=5501;
  z[727]:=5503;
  z[728]:=5507;
  z[729]:=5519;
  z[730]:=5521;
  z[731]:=5527;
  z[732]:=5531;
  z[733]:=5557;
  z[734]:=5563;
  z[735]:=5569;
  z[736]:=5573;
  z[737]:=5581;
  z[738]:=5591;
  z[739]:=5623;
  z[740]:=5639;
  z[741]:=5641;
  z[742]:=5647;
  z[743]:=5651;
  z[744]:=5653;
  z[745]:=5657;
  z[746]:=5659;
  z[747]:=5669;
  z[748]:=5683;
  z[749]:=5689;
  z[750]:=5693;
  z[751]:=5701;
  z[752]:=5711;
  z[753]:=5717;
  z[754]:=5737;
  z[755]:=5741;
  z[756]:=5743;
  z[757]:=5749;
  z[758]:=5779;
  z[759]:=5783;
  z[760]:=5791;
  z[761]:=5801;
  z[762]:=5807;
  z[763]:=5813;
  z[764]:=5821;
  z[765]:=5827;
  z[766]:=5839;
  z[767]:=5843;
  z[768]:=5849;
  z[769]:=5851;
  z[770]:=5857;
  z[771]:=5861;
  z[772]:=5867;
  z[773]:=5869;
  z[774]:=5879;
  z[775]:=5881;
  z[776]:=5897;
  z[777]:=5903;
  z[778]:=5923;
  z[779]:=5927;
  z[780]:=5939;
  z[781]:=5953;
  z[782]:=5981;
  z[783]:=5987;
  z[784]:=6007;
  z[785]:=6011;
  z[786]:=6029;
  z[787]:=6037;
  z[788]:=6043;
  z[789]:=6047;
  z[790]:=6053;
  z[791]:=6067;
  z[792]:=6073;
  z[793]:=6079;
  z[794]:=6089;
  z[795]:=6091;
  z[796]:=6101;
  z[797]:=6113;
  z[798]:=6121;
  z[799]:=6131;
  z[800]:=6133;
  z[801]:=6143;
  z[802]:=6151;
  z[803]:=6163;
  z[804]:=6173;
  z[805]:=6197;
  z[806]:=6199;
  z[807]:=6203;
  z[808]:=6211;
  z[809]:=6217;
  z[810]:=6221;
  z[811]:=6229;
  z[812]:=6247;
  z[813]:=6257;
  z[814]:=6263;
  z[815]:=6269;
  z[816]:=6271;
  z[817]:=6277;
  z[818]:=6287;
  z[819]:=6299;
  z[820]:=6301;
  z[821]:=6311;
  z[822]:=6317;
  z[823]:=6323;
  z[824]:=6329;
  z[825]:=6337;
  z[826]:=6343;
  z[827]:=6353;
  z[828]:=6359;
  z[829]:=6361;
  z[830]:=6367;
  z[831]:=6373;
  z[832]:=6379;
  z[833]:=6389;
  z[834]:=6397;
  z[835]:=6421;
  z[836]:=6427;
  z[837]:=6449;
  z[838]:=6451;
  z[839]:=6469;
  z[840]:=6473;
  z[841]:=6481;
  z[842]:=6491;
  z[843]:=6521;
  z[844]:=6529;
  z[845]:=6547;
  z[846]:=6551;
  z[847]:=6553;
  z[848]:=6563;
  z[849]:=6569;
  z[850]:=6571;
  z[851]:=6577;
  z[852]:=6581;
  z[853]:=6599;
  z[854]:=6607;
  z[855]:=6619;
  z[856]:=6637;
  z[857]:=6653;
  z[858]:=6659;
  z[859]:=6661;
  z[860]:=6673;
  z[861]:=6679;
  z[862]:=6689;
  z[863]:=6691;
  z[864]:=6701;
  z[865]:=6703;
  z[866]:=6709;
  z[867]:=6719;
  z[868]:=6733;
  z[869]:=6737;
  z[870]:=6761;
  z[871]:=6763;
  z[872]:=6779;
  z[873]:=6781;
  z[874]:=6791;
  z[875]:=6793;
  z[876]:=6803;
  z[877]:=6823;
  z[878]:=6827;
  z[879]:=6829;
  z[880]:=6833;
  z[881]:=6841;
  z[882]:=6857;
  z[883]:=6863;
  z[884]:=6869;
  z[885]:=6871;
  z[886]:=6883;
  z[887]:=6899;
  z[888]:=6907;
  z[889]:=6911;
  z[890]:=6917;
  z[891]:=6947;
  z[892]:=6949;
  z[893]:=6959;
  z[894]:=6961;
  z[895]:=6967;
  z[896]:=6971;
  z[897]:=6977;
  z[898]:=6983;
  z[899]:=6991;
  z[900]:=6997;
  z[901]:=7001;
  z[902]:=7013;
  z[903]:=7019;
  z[904]:=7027;
  z[905]:=7039;
  z[906]:=7043;
  z[907]:=7057;
  z[908]:=7069;
  z[909]:=7079;
  z[910]:=7103;
  z[911]:=7109;
  z[912]:=7121;
  z[913]:=7127;
  z[914]:=7129;
  z[915]:=7151;
  z[916]:=7159;
  z[917]:=7177;
  z[918]:=7187;
  z[919]:=7193;
  z[920]:=7207;
  z[921]:=7211;
  z[922]:=7213;
  z[923]:=7219;
  z[924]:=7229;
  z[925]:=7237;
  z[926]:=7243;
  z[927]:=7247;
  z[928]:=7253;
  z[929]:=7283;
  z[930]:=7297;
  z[931]:=7307;
  z[932]:=7309;
  z[933]:=7321;
  z[934]:=7331;
  z[935]:=7333;
  z[936]:=7349;
  z[937]:=7351;
  z[938]:=7369;
  z[939]:=7393;
  z[940]:=7411;
  z[941]:=7417;
  z[942]:=7433;
  z[943]:=7451;
  z[944]:=7457;
  z[945]:=7459;
  z[946]:=7477;
  z[947]:=7481;
  z[948]:=7487;
  z[949]:=7489;
  z[950]:=7499;
  z[951]:=7507;
  z[952]:=7517;
  z[953]:=7523;
  z[954]:=7529;
  z[955]:=7537;
  z[956]:=7541;
  z[957]:=7547;
  z[958]:=7549;
  z[959]:=7559;
  z[960]:=7561;
  z[961]:=7573;
  z[962]:=7577;
  z[963]:=7583;
  z[964]:=7589;
  z[965]:=7591;
  z[966]:=7603;
  z[967]:=7607;
  z[968]:=7621;
  z[969]:=7639;
  z[970]:=7643;
  z[971]:=7649;
  z[972]:=7669;
  z[973]:=7673;
  z[974]:=7681;
  z[975]:=7687;
  z[976]:=7691;
  z[977]:=7699;
  z[978]:=7703;
  z[979]:=7717;
  z[980]:=7723;
  z[981]:=7727;
  z[982]:=7741;
  z[983]:=7753;
  z[984]:=7757;
  z[985]:=7759;
  z[986]:=7789;
  z[987]:=7793;
  z[988]:=7817;
  z[989]:=7823;
  z[990]:=7829;
  z[991]:=7841;
  z[992]:=7853;
  z[993]:=7867;
  z[994]:=7873;
  z[995]:=7877;
  z[996]:=7879;
  z[997]:=7883;
  z[998]:=7901;
  z[999]:=7907;
  z[1000]:=7919;
  z[1001]:=7927;
  z[1002]:=7933;
  z[1003]:=7937;
  z[1004]:=7949;
  z[1005]:=7951;
  z[1006]:=7963;
  z[1007]:=7993;
  z[1008]:=8009;
  z[1009]:=8011;
  z[1010]:=8017;
  z[1011]:=8039;
  z[1012]:=8053;
  z[1013]:=8059;
  z[1014]:=8069;
  z[1015]:=8081;
  z[1016]:=8087;
  z[1017]:=8089;
  z[1018]:=8093;
  z[1019]:=8101;
  z[1020]:=8111;
  z[1021]:=8117;
  z[1022]:=8123;
  z[1023]:=8147;
  z[1024]:=8161;
  z[1025]:=8167;
  z[1026]:=8171;
  z[1027]:=8179;
  z[1028]:=8191;
  z[1029]:=8209;
  z[1030]:=8219;
  z[1031]:=8221;
  z[1032]:=8231;
  z[1033]:=8233;
  z[1034]:=8237;
  z[1035]:=8243;
  z[1036]:=8263;
  z[1037]:=8269;
  z[1038]:=8273;
  z[1039]:=8287;
  z[1040]:=8291;
  z[1041]:=8293;
  z[1042]:=8297;
  z[1043]:=8311;
  z[1044]:=8317;
  z[1045]:=8329;
  z[1046]:=8353;
  z[1047]:=8363;
  z[1048]:=8369;
  z[1049]:=8377;
  z[1050]:=8387;
  z[1051]:=8389;
  z[1052]:=8419;
  z[1053]:=8423;
  z[1054]:=8429;
  z[1055]:=8431;
  z[1056]:=8443;
  z[1057]:=8447;
  z[1058]:=8461;
  z[1059]:=8467;
  z[1060]:=8501;
  z[1061]:=8513;
  z[1062]:=8521;
  z[1063]:=8527;
  z[1064]:=8537;
  z[1065]:=8539;
  z[1066]:=8543;
  z[1067]:=8563;
  z[1068]:=8573;
  z[1069]:=8581;
  z[1070]:=8597;
  z[1071]:=8599;
  z[1072]:=8609;
  z[1073]:=8623;
  z[1074]:=8627;
  z[1075]:=8629;
  z[1076]:=8641;
  z[1077]:=8647;
  z[1078]:=8663;
  z[1079]:=8669;
  z[1080]:=8677;
  z[1081]:=8681;
  z[1082]:=8689;
  z[1083]:=8693;
  z[1084]:=8699;
  z[1085]:=8707;
  z[1086]:=8713;
  z[1087]:=8719;
  z[1088]:=8731;
  z[1089]:=8737;
  z[1090]:=8741;
  z[1091]:=8747;
  z[1092]:=8753;
  z[1093]:=8761;
  z[1094]:=8779;
  z[1095]:=8783;
  z[1096]:=8803;
  z[1097]:=8807;
  z[1098]:=8819;
  z[1099]:=8821;
  z[1100]:=8831;
  z[1101]:=8837;
  z[1102]:=8839;
  z[1103]:=8849;
  z[1104]:=8861;
  z[1105]:=8863;
  z[1106]:=8867;
  z[1107]:=8887;
  z[1108]:=8893;
  z[1109]:=8923;
  z[1110]:=8929;
  z[1111]:=8933;
  z[1112]:=8941;
  z[1113]:=8951;
  z[1114]:=8963;
  z[1115]:=8969;
  z[1116]:=8971;
  z[1117]:=8999;
  z[1118]:=9001;
  z[1119]:=9007;
  z[1120]:=9011;
  z[1121]:=9013;
  z[1122]:=9029;
  z[1123]:=9041;
  z[1124]:=9043;
  z[1125]:=9049;
  z[1126]:=9059;
  z[1127]:=9067;
  z[1128]:=9091;
  z[1129]:=9103;
  z[1130]:=9109;
  z[1131]:=9127;
  z[1132]:=9133;
  z[1133]:=9137;
  z[1134]:=9151;
  z[1135]:=9157;
  z[1136]:=9161;
  z[1137]:=9173;
  z[1138]:=9181;
  z[1139]:=9187;
  z[1140]:=9199;
  z[1141]:=9203;
  z[1142]:=9209;
  z[1143]:=9221;
  z[1144]:=9227;
  z[1145]:=9239;
  z[1146]:=9241;
  z[1147]:=9257;
  z[1148]:=9277;
  z[1149]:=9281;
  z[1150]:=9283;
  z[1151]:=9293;
  z[1152]:=9311;
  z[1153]:=9319;
  z[1154]:=9323;
  z[1155]:=9337;
  z[1156]:=9341;
  z[1157]:=9343;
  z[1158]:=9349;
  z[1159]:=9371;
  z[1160]:=9377;
  z[1161]:=9391;
  z[1162]:=9397;
  z[1163]:=9403;
  z[1164]:=9413;
  z[1165]:=9419;
  z[1166]:=9421;
  z[1167]:=9431;
  z[1168]:=9433;
  z[1169]:=9437;
  z[1170]:=9439;
  z[1171]:=9461;
  z[1172]:=9463;
  z[1173]:=9467;
  z[1174]:=9473;
  z[1175]:=9479;
  z[1176]:=9491;
  z[1177]:=9497;
  z[1178]:=9511;
  z[1179]:=9521;
  z[1180]:=9533;
  z[1181]:=9539;
  z[1182]:=9547;
  z[1183]:=9551;
  z[1184]:=9587;
  z[1185]:=9601;
  z[1186]:=9613;
  z[1187]:=9619;
  z[1188]:=9623;
  z[1189]:=9629;
  z[1190]:=9631;
  z[1191]:=9643;
  z[1192]:=9649;
  z[1193]:=9661;
  z[1194]:=9677;
  z[1195]:=9679;
  z[1196]:=9689;
  z[1197]:=9697;
  z[1198]:=9719;
  z[1199]:=9721;
  z[1200]:=9733;
  z[1201]:=9739;
  z[1202]:=9743;
  z[1203]:=9749;
  z[1204]:=9767;
  z[1205]:=9769;
  z[1206]:=9781;
  z[1207]:=9787;
  z[1208]:=9791;
  z[1209]:=9803;
  z[1210]:=9811;
  z[1211]:=9817;
  z[1212]:=9829;
  z[1213]:=9833;
  z[1214]:=9839;
  z[1215]:=9851;
  z[1216]:=9857;
  z[1217]:=9859;
  z[1218]:=9871;
  z[1219]:=9883;
  z[1220]:=9887;
  z[1221]:=9901;
  z[1222]:=9907;
  z[1223]:=9923;
  z[1224]:=9929;
  z[1225]:=9931;
  z[1226]:=9941;
  z[1227]:=9949;
  z[1228]:=9967;
  z[1229]:=9973;
  z[1230]:=10007;
  z[1231]:=10009;
  z[1232]:=10037;
  z[1233]:=10039;
  z[1234]:=10061;
  z[1235]:=10067;
  z[1236]:=10069;
  z[1237]:=10079;
  z[1238]:=10091;
  z[1239]:=10093;
  z[1240]:=10099;
  z[1241]:=10103;
  z[1242]:=10111;
  z[1243]:=10133;
  z[1244]:=10139;
  z[1245]:=10141;
  z[1246]:=10151;
  z[1247]:=10159;
  z[1248]:=10163;
  z[1249]:=10169;
  z[1250]:=10177;
  z[1251]:=10181;
  z[1252]:=10193;
  z[1253]:=10211;
  z[1254]:=10223;
  z[1255]:=10243;
  z[1256]:=10247;
  z[1257]:=10253;
  z[1258]:=10259;
  z[1259]:=10267;
  z[1260]:=10271;
  z[1261]:=10273;
  z[1262]:=10289;
  z[1263]:=10301;
  z[1264]:=10303;
  z[1265]:=10313;
  z[1266]:=10321;
  z[1267]:=10331;
  z[1268]:=10333;
  z[1269]:=10337;
  z[1270]:=10343;
  z[1271]:=10357;
  z[1272]:=10369;
  z[1273]:=10391;
  z[1274]:=10399;
  z[1275]:=10427;
  z[1276]:=10429;
  z[1277]:=10433;
  z[1278]:=10453;
  z[1279]:=10457;
  z[1280]:=10459;
  z[1281]:=10463;
  z[1282]:=10477;
  z[1283]:=10487;
  z[1284]:=10499;
  z[1285]:=10501;
  z[1286]:=10513;
  z[1287]:=10529;
  z[1288]:=10531;
  z[1289]:=10559;
  z[1290]:=10567;
  z[1291]:=10589;
  z[1292]:=10597;
  z[1293]:=10601;
  z[1294]:=10607;
  z[1295]:=10613;
  z[1296]:=10627;
  z[1297]:=10631;
  z[1298]:=10639;
  z[1299]:=10651;
  z[1300]:=10657;
  z[1301]:=10663;
  z[1302]:=10667;
  z[1303]:=10687;
  z[1304]:=10691;
  z[1305]:=10709;
  z[1306]:=10711;
  z[1307]:=10723;
  z[1308]:=10729;
  z[1309]:=10733;
  z[1310]:=10739;
  z[1311]:=10753;
  z[1312]:=10771;
  z[1313]:=10781;
  z[1314]:=10789;
  z[1315]:=10799;
  z[1316]:=10831;
  z[1317]:=10837;
  z[1318]:=10847;
  z[1319]:=10853;
  z[1320]:=10859;
  z[1321]:=10861;
  z[1322]:=10867;
  z[1323]:=10883;
  z[1324]:=10889;
  z[1325]:=10891;
  z[1326]:=10903;
  z[1327]:=10909;
  z[1328]:=10937;
  z[1329]:=10939;
  z[1330]:=10949;
  z[1331]:=10957;
  z[1332]:=10973;
  z[1333]:=10979;
  z[1334]:=10987;
  z[1335]:=10993;
  z[1336]:=11003;
  z[1337]:=11027;
  z[1338]:=11047;
  z[1339]:=11057;
  z[1340]:=11059;
  z[1341]:=11069;
  z[1342]:=11071;
  z[1343]:=11083;
  z[1344]:=11087;
  z[1345]:=11093;
  z[1346]:=11113;
  z[1347]:=11117;
  z[1348]:=11119;
  z[1349]:=11131;
  z[1350]:=11149;
  z[1351]:=11159;
  z[1352]:=11161;
  z[1353]:=11171;
  z[1354]:=11173;
  z[1355]:=11177;
  z[1356]:=11197;
  z[1357]:=11213;
  z[1358]:=11239;
  z[1359]:=11243;
  z[1360]:=11251;
  z[1361]:=11257;
  z[1362]:=11261;
  z[1363]:=11273;
  z[1364]:=11279;
  z[1365]:=11287;
  z[1366]:=11299;
  z[1367]:=11311;
  z[1368]:=11317;
  z[1369]:=11321;
  z[1370]:=11329;
  z[1371]:=11351;
  z[1372]:=11353;
  z[1373]:=11369;
  z[1374]:=11383;
  z[1375]:=11393;
  z[1376]:=11399;
  z[1377]:=11411;
  z[1378]:=11423;
  z[1379]:=11437;
  z[1380]:=11443;
  z[1381]:=11447;
  z[1382]:=11467;
  z[1383]:=11471;
  z[1384]:=11483;
  z[1385]:=11489;
  z[1386]:=11491;
  z[1387]:=11497;
  z[1388]:=11503;
  z[1389]:=11519;
  z[1390]:=11527;
  z[1391]:=11549;
  z[1392]:=11551;
  z[1393]:=11579;
  z[1394]:=11587;
  z[1395]:=11593;
  z[1396]:=11597;
  z[1397]:=11617;
  z[1398]:=11621;
  z[1399]:=11633;
  z[1400]:=11657;
  z[1401]:=11677;
  z[1402]:=11681;
  z[1403]:=11689;
  z[1404]:=11699;
  z[1405]:=11701;
  z[1406]:=11717;
  z[1407]:=11719;
  z[1408]:=11731;
  z[1409]:=11743;
  z[1410]:=11777;
  z[1411]:=11779;
  z[1412]:=11783;
  z[1413]:=11789;
  z[1414]:=11801;
  z[1415]:=11807;
  z[1416]:=11813;
  z[1417]:=11821;
  z[1418]:=11827;
  z[1419]:=11831;
  z[1420]:=11833;
  z[1421]:=11839;
  z[1422]:=11863;
  z[1423]:=11867;
  z[1424]:=11887;
  z[1425]:=11897;
  z[1426]:=11903;
  z[1427]:=11909;
  z[1428]:=11923;
  z[1429]:=11927;
  z[1430]:=11933;
  z[1431]:=11939;
  z[1432]:=11941;
  z[1433]:=11953;
  z[1434]:=11959;
  z[1435]:=11969;
  z[1436]:=11971;
  z[1437]:=11981;
  z[1438]:=11987;
  z[1439]:=12007;
  z[1440]:=12011;
  z[1441]:=12037;
  z[1442]:=12041;
  z[1443]:=12043;
  z[1444]:=12049;
  z[1445]:=12071;
  z[1446]:=12073;
  z[1447]:=12097;
  z[1448]:=12101;
  z[1449]:=12107;
  z[1450]:=12109;
  z[1451]:=12113;
  z[1452]:=12119;
  z[1453]:=12143;
  z[1454]:=12149;
  z[1455]:=12157;
  z[1456]:=12161;
  z[1457]:=12163;
  z[1458]:=12197;
  z[1459]:=12203;
  z[1460]:=12211;
  z[1461]:=12227;
  z[1462]:=12239;
  z[1463]:=12241;
  z[1464]:=12251;
  z[1465]:=12253;
  z[1466]:=12263;
  z[1467]:=12269;
  z[1468]:=12277;
  z[1469]:=12281;
  z[1470]:=12289;
  z[1471]:=12301;
  z[1472]:=12323;
  z[1473]:=12329;
  z[1474]:=12343;
  z[1475]:=12347;
  z[1476]:=12373;
  z[1477]:=12377;
  z[1478]:=12379;
  z[1479]:=12391;
  z[1480]:=12401;
  z[1481]:=12409;
  z[1482]:=12413;
  z[1483]:=12421;
  z[1484]:=12433;
  z[1485]:=12437;
  z[1486]:=12451;
  z[1487]:=12457;
  z[1488]:=12473;
  z[1489]:=12479;
  z[1490]:=12487;
  z[1491]:=12491;
  z[1492]:=12497;
  z[1493]:=12503;
  z[1494]:=12511;
  z[1495]:=12517;
  z[1496]:=12527;
  z[1497]:=12539;
  z[1498]:=12541;
  z[1499]:=12547;
  z[1500]:=12553;
  z[1501]:=12569;
  z[1502]:=12577;
  z[1503]:=12583;
  z[1504]:=12589;
  z[1505]:=12601;
  z[1506]:=12611;
  z[1507]:=12613;
  z[1508]:=12619;
  z[1509]:=12637;
  z[1510]:=12641;
  z[1511]:=12647;
  z[1512]:=12653;
  z[1513]:=12659;
  z[1514]:=12671;
  z[1515]:=12689;
  z[1516]:=12697;
  z[1517]:=12703;
  z[1518]:=12713;
  z[1519]:=12721;
  z[1520]:=12739;
  z[1521]:=12743;
  z[1522]:=12757;
  z[1523]:=12763;
  z[1524]:=12781;
  z[1525]:=12791;
  z[1526]:=12799;
  z[1527]:=12809;
  z[1528]:=12821;
  z[1529]:=12823;
  z[1530]:=12829;
  z[1531]:=12841;
  z[1532]:=12853;
  z[1533]:=12889;
  z[1534]:=12893;
  z[1535]:=12899;
  z[1536]:=12907;
  z[1537]:=12911;
  z[1538]:=12917;
  z[1539]:=12919;
  z[1540]:=12923;
  z[1541]:=12941;
  z[1542]:=12953;
  z[1543]:=12959;
  z[1544]:=12967;
  z[1545]:=12973;
  z[1546]:=12979;
  z[1547]:=12983;
  z[1548]:=13001;
  z[1549]:=13003;
  z[1550]:=13007;
  z[1551]:=13009;
  z[1552]:=13033;
  z[1553]:=13037;
  z[1554]:=13043;
  z[1555]:=13049;
  z[1556]:=13063;
  z[1557]:=13093;
  z[1558]:=13099;
  z[1559]:=13103;
  z[1560]:=13109;
  z[1561]:=13121;
  z[1562]:=13127;
  z[1563]:=13147;
  z[1564]:=13151;
  z[1565]:=13159;
  z[1566]:=13163;
  z[1567]:=13171;
  z[1568]:=13177;
  z[1569]:=13183;
  z[1570]:=13187;
  z[1571]:=13217;
  z[1572]:=13219;
  z[1573]:=13229;
  z[1574]:=13241;
  z[1575]:=13249;
  z[1576]:=13259;
  z[1577]:=13267;
  z[1578]:=13291;
  z[1579]:=13297;
  z[1580]:=13309;
  z[1581]:=13313;
  z[1582]:=13327;
  z[1583]:=13331;
  z[1584]:=13337;
  z[1585]:=13339;
  z[1586]:=13367;
  z[1587]:=13381;
  z[1588]:=13397;
  z[1589]:=13399;
  z[1590]:=13411;
  z[1591]:=13417;
  z[1592]:=13421;
  z[1593]:=13441;
  z[1594]:=13451;
  z[1595]:=13457;
  z[1596]:=13463;
  z[1597]:=13469;
  z[1598]:=13477;
  z[1599]:=13487;
  z[1600]:=13499;
  z[1601]:=13513;
  z[1602]:=13523;
  z[1603]:=13537;
  z[1604]:=13553;
  z[1605]:=13567;
  z[1606]:=13577;
  z[1607]:=13591;
  z[1608]:=13597;
  z[1609]:=13613;
  z[1610]:=13619;
  z[1611]:=13627;
  z[1612]:=13633;
  z[1613]:=13649;
  z[1614]:=13669;
  z[1615]:=13679;
  z[1616]:=13681;
  z[1617]:=13687;
  z[1618]:=13691;
  z[1619]:=13693;
  z[1620]:=13697;
  z[1621]:=13709;
  z[1622]:=13711;
  z[1623]:=13721;
  z[1624]:=13723;
  z[1625]:=13729;
  z[1626]:=13751;
  z[1627]:=13757;
  z[1628]:=13759;
  z[1629]:=13763;
  z[1630]:=13781;
  z[1631]:=13789;
  z[1632]:=13799;
  z[1633]:=13807;
  z[1634]:=13829;
  z[1635]:=13831;
  z[1636]:=13841;
  z[1637]:=13859;
  z[1638]:=13873;
  z[1639]:=13877;
  z[1640]:=13879;
  z[1641]:=13883;
  z[1642]:=13901;
  z[1643]:=13903;
  z[1644]:=13907;
  z[1645]:=13913;
  z[1646]:=13921;
  z[1647]:=13931;
  z[1648]:=13933;
  z[1649]:=13963;
  z[1650]:=13967;
  z[1651]:=13997;
  z[1652]:=13999;
  z[1653]:=14009;
  z[1654]:=14011;
  z[1655]:=14029;
  z[1656]:=14033;
  z[1657]:=14051;
  z[1658]:=14057;
  z[1659]:=14071;
  z[1660]:=14081;
  z[1661]:=14083;
  z[1662]:=14087;
  z[1663]:=14107;
  z[1664]:=14143;
  z[1665]:=14149;
  z[1666]:=14153;
  z[1667]:=14159;
  z[1668]:=14173;
  z[1669]:=14177;
  z[1670]:=14197;
  z[1671]:=14207;
  z[1672]:=14221;
  z[1673]:=14243;
  z[1674]:=14249;
  z[1675]:=14251;
  z[1676]:=14281;
  z[1677]:=14293;
  z[1678]:=14303;
  z[1679]:=14321;
  z[1680]:=14323;
  z[1681]:=14327;
  z[1682]:=14341;
  z[1683]:=14347;
  z[1684]:=14369;
  z[1685]:=14387;
  z[1686]:=14389;
  z[1687]:=14401;
  z[1688]:=14407;
  z[1689]:=14411;
  z[1690]:=14419;
  z[1691]:=14423;
  z[1692]:=14431;
  z[1693]:=14437;
  z[1694]:=14447;
  z[1695]:=14449;
  z[1696]:=14461;
  z[1697]:=14479;
  z[1698]:=14489;
  z[1699]:=14503;
  z[1700]:=14519;
  z[1701]:=14533;
  z[1702]:=14537;
  z[1703]:=14543;
  z[1704]:=14549;
  z[1705]:=14551;
  z[1706]:=14557;
  z[1707]:=14561;
  z[1708]:=14563;
  z[1709]:=14591;
  z[1710]:=14593;
  z[1711]:=14621;
  z[1712]:=14627;
  z[1713]:=14629;
  z[1714]:=14633;
  z[1715]:=14639;
  z[1716]:=14653;
  z[1717]:=14657;
  z[1718]:=14669;
  z[1719]:=14683;
  z[1720]:=14699;
  z[1721]:=14713;
  z[1722]:=14717;
  z[1723]:=14723;
  z[1724]:=14731;
  z[1725]:=14737;
  z[1726]:=14741;
  z[1727]:=14747;
  z[1728]:=14753;
  z[1729]:=14759;
  z[1730]:=14767;
  z[1731]:=14771;
  z[1732]:=14779;
  z[1733]:=14783;
  z[1734]:=14797;
  z[1735]:=14813;
  z[1736]:=14821;
  z[1737]:=14827;
  z[1738]:=14831;
  z[1739]:=14843;
  z[1740]:=14851;
  z[1741]:=14867;
  z[1742]:=14869;
  z[1743]:=14879;
  z[1744]:=14887;
  z[1745]:=14891;
  z[1746]:=14897;
  z[1747]:=14923;
  z[1748]:=14929;
  z[1749]:=14939;
  z[1750]:=14947;
  z[1751]:=14951;
  z[1752]:=14957;
  z[1753]:=14969;
  z[1754]:=14983;
  z[1755]:=15013;
  z[1756]:=15017;
  z[1757]:=15031;
  z[1758]:=15053;
  z[1759]:=15061;
  z[1760]:=15073;
  z[1761]:=15077;
  z[1762]:=15083;
  z[1763]:=15091;
  z[1764]:=15101;
  z[1765]:=15107;
  z[1766]:=15121;
  z[1767]:=15131;
  z[1768]:=15137;
  z[1769]:=15139;
  z[1770]:=15149;
  z[1771]:=15161;
  z[1772]:=15173;
  z[1773]:=15187;
  z[1774]:=15193;
  z[1775]:=15199;
  z[1776]:=15217;
  z[1777]:=15227;
  z[1778]:=15233;
  z[1779]:=15241;
  z[1780]:=15259;
  z[1781]:=15263;
  z[1782]:=15269;
  z[1783]:=15271;
  z[1784]:=15277;
  z[1785]:=15287;
  z[1786]:=15289;
  z[1787]:=15299;
  z[1788]:=15307;
  z[1789]:=15313;
  z[1790]:=15319;
  z[1791]:=15329;
  z[1792]:=15331;
  z[1793]:=15349;
  z[1794]:=15359;
  z[1795]:=15361;
  z[1796]:=15373;
  z[1797]:=15377;
  z[1798]:=15383;
  z[1799]:=15391;
  z[1800]:=15401;
  z[1801]:=15413;
  z[1802]:=15427;
  z[1803]:=15439;
  z[1804]:=15443;
  z[1805]:=15451;
  z[1806]:=15461;
  z[1807]:=15467;
  z[1808]:=15473;
  z[1809]:=15493;
  z[1810]:=15497;
  z[1811]:=15511;
  z[1812]:=15527;
  z[1813]:=15541;
  z[1814]:=15551;
  z[1815]:=15559;
  z[1816]:=15569;
  z[1817]:=15581;
  z[1818]:=15583;
  z[1819]:=15601;
  z[1820]:=15607;
  z[1821]:=15619;
  z[1822]:=15629;
  z[1823]:=15641;
  z[1824]:=15643;
  z[1825]:=15647;
  z[1826]:=15649;
  z[1827]:=15661;
  z[1828]:=15667;
  z[1829]:=15671;
  z[1830]:=15679;
  z[1831]:=15683;
  z[1832]:=15727;
  z[1833]:=15731;
  z[1834]:=15733;
  z[1835]:=15737;
  z[1836]:=15739;
  z[1837]:=15749;
  z[1838]:=15761;
  z[1839]:=15767;
  z[1840]:=15773;
  z[1841]:=15787;
  z[1842]:=15791;
  z[1843]:=15797;
  z[1844]:=15803;
  z[1845]:=15809;
  z[1846]:=15817;
  z[1847]:=15823;
  z[1848]:=15859;
  z[1849]:=15877;
  z[1850]:=15881;
  z[1851]:=15887;
  z[1852]:=15889;
  z[1853]:=15901;
  z[1854]:=15907;
  z[1855]:=15913;
  z[1856]:=15919;
  z[1857]:=15923;
  z[1858]:=15937;
  z[1859]:=15959;
  z[1860]:=15971;
  z[1861]:=15973;
  z[1862]:=15991;
  z[1863]:=16001;
  z[1864]:=16007;
  z[1865]:=16033;
  z[1866]:=16057;
  z[1867]:=16061;
  z[1868]:=16063;
  z[1869]:=16067;
  z[1870]:=16069;
  z[1871]:=16073;
  z[1872]:=16087;
  z[1873]:=16091;
  z[1874]:=16097;
  z[1875]:=16103;
  z[1876]:=16111;
  z[1877]:=16127;
  z[1878]:=16139;
  z[1879]:=16141;
  z[1880]:=16183;
  z[1881]:=16187;
  z[1882]:=16189;
  z[1883]:=16193;
  z[1884]:=16217;
  z[1885]:=16223;
  z[1886]:=16229;
  z[1887]:=16231;
  z[1888]:=16249;
  z[1889]:=16253;
  z[1890]:=16267;
  z[1891]:=16273;
  z[1892]:=16301;
  z[1893]:=16319;
  z[1894]:=16333;
  z[1895]:=16339;
  z[1896]:=16349;
  z[1897]:=16361;
  z[1898]:=16363;
  z[1899]:=16369;
  z[1900]:=16381;
  z[1901]:=16411;
  z[1902]:=16417;
  z[1903]:=16421;
  z[1904]:=16427;
  z[1905]:=16433;
  z[1906]:=16447;
  z[1907]:=16451;
  z[1908]:=16453;
  z[1909]:=16477;
  z[1910]:=16481;
  z[1911]:=16487;
  z[1912]:=16493;
  z[1913]:=16519;
  z[1914]:=16529;
  z[1915]:=16547;
  z[1916]:=16553;
  z[1917]:=16561;
  z[1918]:=16567;
  z[1919]:=16573;
  z[1920]:=16603;
  z[1921]:=16607;
  z[1922]:=16619;
  z[1923]:=16631;
  z[1924]:=16633;
  z[1925]:=16649;
  z[1926]:=16651;
  z[1927]:=16657;
  z[1928]:=16661;
  z[1929]:=16673;
  z[1930]:=16691;
  z[1931]:=16693;
  z[1932]:=16699;
  z[1933]:=16703;
  z[1934]:=16729;
  z[1935]:=16741;
  z[1936]:=16747;
  z[1937]:=16759;
  z[1938]:=16763;
  z[1939]:=16787;
  z[1940]:=16811;
  z[1941]:=16823;
  z[1942]:=16829;
  z[1943]:=16831;
  z[1944]:=16843;
  z[1945]:=16871;
  z[1946]:=16879;
  z[1947]:=16883;
  z[1948]:=16889;
  z[1949]:=16901;
  z[1950]:=16903;
  z[1951]:=16921;
  z[1952]:=16927;
  z[1953]:=16931;
  z[1954]:=16937;
  z[1955]:=16943;
  z[1956]:=16963;
  z[1957]:=16979;
  z[1958]:=16981;
  z[1959]:=16987;
  z[1960]:=16993;
  z[1961]:=17011;
  z[1962]:=17021;
  z[1963]:=17027;
  z[1964]:=17029;
  z[1965]:=17033;
  z[1966]:=17041;
  z[1967]:=17047;
  z[1968]:=17053;
  z[1969]:=17077;
  z[1970]:=17093;
  z[1971]:=17099;
  z[1972]:=17107;
  z[1973]:=17117;
  z[1974]:=17123;
  z[1975]:=17137;
  z[1976]:=17159;
  z[1977]:=17167;
  z[1978]:=17183;
  z[1979]:=17189;
  z[1980]:=17191;
  z[1981]:=17203;
  z[1982]:=17207;
  z[1983]:=17209;
  z[1984]:=17231;
  z[1985]:=17239;
  z[1986]:=17257;
  z[1987]:=17291;
  z[1988]:=17293;
  z[1989]:=17299;
  z[1990]:=17317;
  z[1991]:=17321;
  z[1992]:=17327;
  z[1993]:=17333;
  z[1994]:=17341;
  z[1995]:=17351;
  z[1996]:=17359;
  z[1997]:=17377;
  z[1998]:=17383;
  z[1999]:=17387;
  z[2000]:=17389;
  z[2001]:=17393;
  z[2002]:=17401;
  z[2003]:=17417;
  z[2004]:=17419;
  z[2005]:=17431;
  z[2006]:=17443;
  z[2007]:=17449;
  z[2008]:=17467;
  z[2009]:=17471;
  z[2010]:=17477;
  z[2011]:=17483;
  z[2012]:=17489;
  z[2013]:=17491;
  z[2014]:=17497;
  z[2015]:=17509;
  z[2016]:=17519;
  z[2017]:=17539;
  z[2018]:=17551;
  z[2019]:=17569;
  z[2020]:=17573;
  z[2021]:=17579;
  z[2022]:=17581;
  z[2023]:=17597;
  z[2024]:=17599;
  z[2025]:=17609;
  z[2026]:=17623;
  z[2027]:=17627;
  z[2028]:=17657;
  z[2029]:=17659;
  z[2030]:=17669;
  z[2031]:=17681;
  z[2032]:=17683;
  z[2033]:=17707;
  z[2034]:=17713;
  z[2035]:=17729;
  z[2036]:=17737;
  z[2037]:=17747;
  z[2038]:=17749;
  z[2039]:=17761;
  z[2040]:=17783;
  z[2041]:=17789;
  z[2042]:=17791;
  z[2043]:=17807;
  z[2044]:=17827;
  z[2045]:=17837;
  z[2046]:=17839;
  z[2047]:=17851;
  z[2048]:=17863;
  z[2049]:=17881;
  z[2050]:=17891;
  z[2051]:=17903;
  z[2052]:=17909;
  z[2053]:=17911;
  z[2054]:=17921;
  z[2055]:=17923;
  z[2056]:=17929;
  z[2057]:=17939;
  z[2058]:=17957;
  z[2059]:=17959;
  z[2060]:=17971;
  z[2061]:=17977;
  z[2062]:=17981;
  z[2063]:=17987;
  z[2064]:=17989;
  z[2065]:=18013;
  z[2066]:=18041;
  z[2067]:=18043;
  z[2068]:=18047;
  z[2069]:=18049;
  z[2070]:=18059;
  z[2071]:=18061;
  z[2072]:=18077;
  z[2073]:=18089;
  z[2074]:=18097;
  z[2075]:=18119;
  z[2076]:=18121;
  z[2077]:=18127;
  z[2078]:=18131;
  z[2079]:=18133;
  z[2080]:=18143;
  z[2081]:=18149;
  z[2082]:=18169;
  z[2083]:=18181;
  z[2084]:=18191;
  z[2085]:=18199;
  z[2086]:=18211;
  z[2087]:=18217;
  z[2088]:=18223;
  z[2089]:=18229;
  z[2090]:=18233;
  z[2091]:=18251;
  z[2092]:=18253;
  z[2093]:=18257;
  z[2094]:=18269;
  z[2095]:=18287;
  z[2096]:=18289;
  z[2097]:=18301;
  z[2098]:=18307;
  z[2099]:=18311;
  z[2100]:=18313;
  z[2101]:=18329;
  z[2102]:=18341;
  z[2103]:=18353;
  z[2104]:=18367;
  z[2105]:=18371;
  z[2106]:=18379;
  z[2107]:=18397;
  z[2108]:=18401;
  z[2109]:=18413;
  z[2110]:=18427;
  z[2111]:=18433;
  z[2112]:=18439;
  z[2113]:=18443;
  z[2114]:=18451;
  z[2115]:=18457;
  z[2116]:=18461;
  z[2117]:=18481;
  z[2118]:=18493;
  z[2119]:=18503;
  z[2120]:=18517;
  z[2121]:=18521;
  z[2122]:=18523;
  z[2123]:=18539;
  z[2124]:=18541;
  z[2125]:=18553;
  z[2126]:=18583;
  z[2127]:=18587;
  z[2128]:=18593;
  z[2129]:=18617;
  z[2130]:=18637;
  z[2131]:=18661;
  z[2132]:=18671;
  z[2133]:=18679;
  z[2134]:=18691;
  z[2135]:=18701;
  z[2136]:=18713;
  z[2137]:=18719;
  z[2138]:=18731;
  z[2139]:=18743;
  z[2140]:=18749;
  z[2141]:=18757;
  z[2142]:=18773;
  z[2143]:=18787;
  z[2144]:=18793;
  z[2145]:=18797;
  z[2146]:=18803;
  z[2147]:=18839;
  z[2148]:=18859;
  z[2149]:=18869;
  z[2150]:=18899;
  z[2151]:=18911;
  z[2152]:=18913;
  z[2153]:=18917;
  z[2154]:=18919;
  z[2155]:=18947;
  z[2156]:=18959;
  z[2157]:=18973;
  z[2158]:=18979;
  z[2159]:=19001;
  z[2160]:=19009;
  z[2161]:=19013;
  z[2162]:=19031;
  z[2163]:=19037;
  z[2164]:=19051;
  z[2165]:=19069;
  z[2166]:=19073;
  z[2167]:=19079;
  z[2168]:=19081;
  z[2169]:=19087;
  z[2170]:=19121;
  z[2171]:=19139;
  z[2172]:=19141;
  z[2173]:=19157;
  z[2174]:=19163;
  z[2175]:=19181;
  z[2176]:=19183;
  z[2177]:=19207;
  z[2178]:=19211;
  z[2179]:=19213;
  z[2180]:=19219;
  z[2181]:=19231;
  z[2182]:=19237;
  z[2183]:=19249;
  z[2184]:=19259;
  z[2185]:=19267;
  z[2186]:=19273;
  z[2187]:=19289;
  z[2188]:=19301;
  z[2189]:=19309;
  z[2190]:=19319;
  z[2191]:=19333;
  z[2192]:=19373;
  z[2193]:=19379;
  z[2194]:=19381;
  z[2195]:=19387;
  z[2196]:=19391;
  z[2197]:=19403;
  z[2198]:=19417;
  z[2199]:=19421;
  z[2200]:=19423;
  z[2201]:=19427;
  z[2202]:=19429;
  z[2203]:=19433;
  z[2204]:=19441;
  z[2205]:=19447;
  z[2206]:=19457;
  z[2207]:=19463;
  z[2208]:=19469;
  z[2209]:=19471;
  z[2210]:=19477;
  z[2211]:=19483;
  z[2212]:=19489;
  z[2213]:=19501;
  z[2214]:=19507;
  z[2215]:=19531;
  z[2216]:=19541;
  z[2217]:=19543;
  z[2218]:=19553;
  z[2219]:=19559;
  z[2220]:=19571;
  z[2221]:=19577;
  z[2222]:=19583;
  z[2223]:=19597;
  z[2224]:=19603;
  z[2225]:=19609;
  z[2226]:=19661;
  z[2227]:=19681;
  z[2228]:=19687;
  z[2229]:=19697;
  z[2230]:=19699;
  z[2231]:=19709;
  z[2232]:=19717;
  z[2233]:=19727;
  z[2234]:=19739;
  z[2235]:=19751;
  z[2236]:=19753;
  z[2237]:=19759;
  z[2238]:=19763;
  z[2239]:=19777;
  z[2240]:=19793;
  z[2241]:=19801;
  z[2242]:=19813;
  z[2243]:=19819;
  z[2244]:=19841;
  z[2245]:=19843;
  z[2246]:=19853;
  z[2247]:=19861;
  z[2248]:=19867;
  z[2249]:=19889;
  z[2250]:=19891;
  z[2251]:=19913;
  z[2252]:=19919;
  z[2253]:=19927;
  z[2254]:=19937;
  z[2255]:=19949;
  z[2256]:=19961;
  z[2257]:=19963;
  z[2258]:=19973;
  z[2259]:=19979;
  z[2260]:=19991;
  z[2261]:=19993;
  z[2262]:=19997;
  z[2263]:=20011;
  z[2264]:=20021;
  z[2265]:=20023;
  z[2266]:=20029;
  z[2267]:=20047;
  z[2268]:=20051;
  z[2269]:=20063;
  z[2270]:=20071;
  z[2271]:=20089;
  z[2272]:=20101;
  z[2273]:=20107;
  z[2274]:=20113;
  z[2275]:=20117;
  z[2276]:=20123;
  z[2277]:=20129;
  z[2278]:=20143;
  z[2279]:=20147;
  z[2280]:=20149;
  z[2281]:=20161;
  z[2282]:=20173;
  z[2283]:=20177;
  z[2284]:=20183;
  z[2285]:=20201;
  z[2286]:=20219;
  z[2287]:=20231;
  z[2288]:=20233;
  z[2289]:=20249;
  z[2290]:=20261;
  z[2291]:=20269;
  z[2292]:=20287;
  z[2293]:=20297;
  z[2294]:=20323;
  z[2295]:=20327;
  z[2296]:=20333;
  z[2297]:=20341;
  z[2298]:=20347;
  z[2299]:=20353;
  z[2300]:=20357;
  z[2301]:=20359;
  z[2302]:=20369;
  z[2303]:=20389;
  z[2304]:=20393;
  z[2305]:=20399;
  z[2306]:=20407;
  z[2307]:=20411;
  z[2308]:=20431;
  z[2309]:=20441;
  z[2310]:=20443;
  z[2311]:=20477;
  z[2312]:=20479;
  z[2313]:=20483;
  z[2314]:=20507;
  z[2315]:=20509;
  z[2316]:=20521;
  z[2317]:=20533;
  z[2318]:=20543;
  z[2319]:=20549;
  z[2320]:=20551;
  z[2321]:=20563;
  z[2322]:=20593;
  z[2323]:=20599;
  z[2324]:=20611;
  z[2325]:=20627;
  z[2326]:=20639;
  z[2327]:=20641;
  z[2328]:=20663;
  z[2329]:=20681;
  z[2330]:=20693;
  z[2331]:=20707;
  z[2332]:=20717;
  z[2333]:=20719;
  z[2334]:=20731;
  z[2335]:=20743;
  z[2336]:=20747;
  z[2337]:=20749;
  z[2338]:=20753;
  z[2339]:=20759;
  z[2340]:=20771;
  z[2341]:=20773;
  z[2342]:=20789;
  z[2343]:=20807;
  z[2344]:=20809;
  z[2345]:=20849;
  z[2346]:=20857;
  z[2347]:=20873;
  z[2348]:=20879;
  z[2349]:=20887;
  z[2350]:=20897;
  z[2351]:=20899;
  z[2352]:=20903;
  z[2353]:=20921;
  z[2354]:=20929;
  z[2355]:=20939;
  z[2356]:=20947;
  z[2357]:=20959;
  z[2358]:=20963;
  z[2359]:=20981;
  z[2360]:=20983;
  z[2361]:=21001;
  z[2362]:=21011;
  z[2363]:=21013;
  z[2364]:=21017;
  z[2365]:=21019;
  z[2366]:=21023;
  z[2367]:=21031;
  z[2368]:=21059;
  z[2369]:=21061;
  z[2370]:=21067;
  z[2371]:=21089;
  z[2372]:=21101;
  z[2373]:=21107;
  z[2374]:=21121;
  z[2375]:=21139;
  z[2376]:=21143;
  z[2377]:=21149;
  z[2378]:=21157;
  z[2379]:=21163;
  z[2380]:=21169;
  z[2381]:=21179;
  z[2382]:=21187;
  z[2383]:=21191;
  z[2384]:=21193;
  z[2385]:=21211;
  z[2386]:=21221;
  z[2387]:=21227;
  z[2388]:=21247;
  z[2389]:=21269;
  z[2390]:=21277;
  z[2391]:=21283;
  z[2392]:=21313;
  z[2393]:=21317;
  z[2394]:=21319;
  z[2395]:=21323;
  z[2396]:=21341;
  z[2397]:=21347;
  z[2398]:=21377;
  z[2399]:=21379;
  z[2400]:=21383;
  z[2401]:=21391;
  z[2402]:=21397;
  z[2403]:=21401;
  z[2404]:=21407;
  z[2405]:=21419;
  z[2406]:=21433;
  z[2407]:=21467;
  z[2408]:=21481;
  z[2409]:=21487;
  z[2410]:=21491;
  z[2411]:=21493;
  z[2412]:=21499;
  z[2413]:=21503;
  z[2414]:=21517;
  z[2415]:=21521;
  z[2416]:=21523;
  z[2417]:=21529;
  z[2418]:=21557;
  z[2419]:=21559;
  z[2420]:=21563;
  z[2421]:=21569;
  z[2422]:=21577;
  z[2423]:=21587;
  z[2424]:=21589;
  z[2425]:=21599;
  z[2426]:=21601;
  z[2427]:=21611;
  z[2428]:=21613;
  z[2429]:=21617;
  z[2430]:=21647;
  z[2431]:=21649;
  z[2432]:=21661;
  z[2433]:=21673;
  z[2434]:=21683;
  z[2435]:=21701;
  z[2436]:=21713;
  z[2437]:=21727;
  z[2438]:=21737;
  z[2439]:=21739;
  z[2440]:=21751;
  z[2441]:=21757;
  z[2442]:=21767;
  z[2443]:=21773;
  z[2444]:=21787;
  z[2445]:=21799;
  z[2446]:=21803;
  z[2447]:=21817;
  z[2448]:=21821;
  z[2449]:=21839;
  z[2450]:=21841;
  z[2451]:=21851;
  z[2452]:=21859;
  z[2453]:=21863;
  z[2454]:=21871;
  z[2455]:=21881;
  z[2456]:=21893;
  z[2457]:=21911;
  z[2458]:=21929;
  z[2459]:=21937;
  z[2460]:=21943;
  z[2461]:=21961;
  z[2462]:=21977;
  z[2463]:=21991;
  z[2464]:=21997;
  z[2465]:=22003;
  z[2466]:=22013;
  z[2467]:=22027;
  z[2468]:=22031;
  z[2469]:=22037;
  z[2470]:=22039;
  z[2471]:=22051;
  z[2472]:=22063;
  z[2473]:=22067;
  z[2474]:=22073;
  z[2475]:=22079;
  z[2476]:=22091;
  z[2477]:=22093;
  z[2478]:=22109;
  z[2479]:=22111;
  z[2480]:=22123;
  z[2481]:=22129;
  z[2482]:=22133;
  z[2483]:=22147;
  z[2484]:=22153;
  z[2485]:=22157;
  z[2486]:=22159;
  z[2487]:=22171;
  z[2488]:=22189;
  z[2489]:=22193;
  z[2490]:=22229;
  z[2491]:=22247;
  z[2492]:=22259;
  z[2493]:=22271;
  z[2494]:=22273;
  z[2495]:=22277;
  z[2496]:=22279;
  z[2497]:=22283;
  z[2498]:=22291;
  z[2499]:=22303;
  z[2500]:=22307;
  z[2501]:=22343;
  z[2502]:=22349;
  z[2503]:=22367;
  z[2504]:=22369;
  z[2505]:=22381;
  z[2506]:=22391;
  z[2507]:=22397;
  z[2508]:=22409;
  z[2509]:=22433;
  z[2510]:=22441;
  z[2511]:=22447;
  z[2512]:=22453;
  z[2513]:=22469;
  z[2514]:=22481;
  z[2515]:=22483;
  z[2516]:=22501;
  z[2517]:=22511;
  z[2518]:=22531;
  z[2519]:=22541;
  z[2520]:=22543;
  z[2521]:=22549;
  z[2522]:=22567;
  z[2523]:=22571;
  z[2524]:=22573;
  z[2525]:=22613;
  z[2526]:=22619;
  z[2527]:=22621;
  z[2528]:=22637;
  z[2529]:=22639;
  z[2530]:=22643;
  z[2531]:=22651;
  z[2532]:=22669;
  z[2533]:=22679;
  z[2534]:=22691;
  z[2535]:=22697;
  z[2536]:=22699;
  z[2537]:=22709;
  z[2538]:=22717;
  z[2539]:=22721;
  z[2540]:=22727;
  z[2541]:=22739;
  z[2542]:=22741;
  z[2543]:=22751;
  z[2544]:=22769;
  z[2545]:=22777;
  z[2546]:=22783;
  z[2547]:=22787;
  z[2548]:=22807;
  z[2549]:=22811;
  z[2550]:=22817;
  z[2551]:=22853;
  z[2552]:=22859;
  z[2553]:=22861;
  z[2554]:=22871;
  z[2555]:=22877;
  z[2556]:=22901;
  z[2557]:=22907;
  z[2558]:=22921;
  z[2559]:=22937;
  z[2560]:=22943;
  z[2561]:=22961;
  z[2562]:=22963;
  z[2563]:=22973;
  z[2564]:=22993;
  z[2565]:=23003;
  z[2566]:=23011;
  z[2567]:=23017;
  z[2568]:=23021;
  z[2569]:=23027;
  z[2570]:=23029;
  z[2571]:=23039;
  z[2572]:=23041;
  z[2573]:=23053;
  z[2574]:=23057;
  z[2575]:=23059;
  z[2576]:=23063;
  z[2577]:=23071;
  z[2578]:=23081;
  z[2579]:=23087;
  z[2580]:=23099;
  z[2581]:=23117;
  z[2582]:=23131;
  z[2583]:=23143;
  z[2584]:=23159;
  z[2585]:=23167;
  z[2586]:=23173;
  z[2587]:=23189;
  z[2588]:=23197;
  z[2589]:=23201;
  z[2590]:=23203;
  z[2591]:=23209;
  z[2592]:=23227;
  z[2593]:=23251;
  z[2594]:=23269;
  z[2595]:=23279;
  z[2596]:=23291;
  z[2597]:=23293;
  z[2598]:=23297;
  z[2599]:=23311;
  z[2600]:=23321;
  z[2601]:=23327;
  z[2602]:=23333;
  z[2603]:=23339;
  z[2604]:=23357;
  z[2605]:=23369;
  z[2606]:=23371;
  z[2607]:=23399;
  z[2608]:=23417;
  z[2609]:=23431;
  z[2610]:=23447;
  z[2611]:=23459;
  z[2612]:=23473;
  z[2613]:=23497;
  z[2614]:=23509;
  z[2615]:=23531;
  z[2616]:=23537;
  z[2617]:=23539;
  z[2618]:=23549;
  z[2619]:=23557;
  z[2620]:=23561;
  z[2621]:=23563;
  z[2622]:=23567;
  z[2623]:=23581;
  z[2624]:=23593;
  z[2625]:=23599;
  z[2626]:=23603;
  z[2627]:=23609;
  z[2628]:=23623;
  z[2629]:=23627;
  z[2630]:=23629;
  z[2631]:=23633;
  z[2632]:=23663;
  z[2633]:=23669;
  z[2634]:=23671;
  z[2635]:=23677;
  z[2636]:=23687;
  z[2637]:=23689;
  z[2638]:=23719;
  z[2639]:=23741;
  z[2640]:=23743;
  z[2641]:=23747;
  z[2642]:=23753;
  z[2643]:=23761;
  z[2644]:=23767;
  z[2645]:=23773;
  z[2646]:=23789;
  z[2647]:=23801;
  z[2648]:=23813;
  z[2649]:=23819;
  z[2650]:=23827;
  z[2651]:=23831;
  z[2652]:=23833;
  z[2653]:=23857;
  z[2654]:=23869;
  z[2655]:=23873;
  z[2656]:=23879;
  z[2657]:=23887;
  z[2658]:=23893;
  z[2659]:=23899;
  z[2660]:=23909;
  z[2661]:=23911;
  z[2662]:=23917;
  z[2663]:=23929;
  z[2664]:=23957;
  z[2665]:=23971;
  z[2666]:=23977;
  z[2667]:=23981;
  z[2668]:=23993;
  z[2669]:=24001;
  z[2670]:=24007;
  z[2671]:=24019;
  z[2672]:=24023;
  z[2673]:=24029;
  z[2674]:=24043;
  z[2675]:=24049;
  z[2676]:=24061;
  z[2677]:=24071;
  z[2678]:=24077;
  z[2679]:=24083;
  z[2680]:=24091;
  z[2681]:=24097;
  z[2682]:=24103;
  z[2683]:=24107;
  z[2684]:=24109;
  z[2685]:=24113;
  z[2686]:=24121;
  z[2687]:=24133;
  z[2688]:=24137;
  z[2689]:=24151;
  z[2690]:=24169;
  z[2691]:=24179;
  z[2692]:=24181;
  z[2693]:=24197;
  z[2694]:=24203;
  z[2695]:=24223;
  z[2696]:=24229;
  z[2697]:=24239;
  z[2698]:=24247;
  z[2699]:=24251;
  z[2700]:=24281;
  z[2701]:=24317;
  z[2702]:=24329;
  z[2703]:=24337;
  z[2704]:=24359;
  z[2705]:=24371;
  z[2706]:=24373;
  z[2707]:=24379;
  z[2708]:=24391;
  z[2709]:=24407;
  z[2710]:=24413;
  z[2711]:=24419;
  z[2712]:=24421;
  z[2713]:=24439;
  z[2714]:=24443;
  z[2715]:=24469;
  z[2716]:=24473;
  z[2717]:=24481;
  z[2718]:=24499;
  z[2719]:=24509;
  z[2720]:=24517;
  z[2721]:=24527;
  z[2722]:=24533;
  z[2723]:=24547;
  z[2724]:=24551;
  z[2725]:=24571;
  z[2726]:=24593;
  z[2727]:=24611;
  z[2728]:=24623;
  z[2729]:=24631;
  z[2730]:=24659;
  z[2731]:=24671;
  z[2732]:=24677;
  z[2733]:=24683;
  z[2734]:=24691;
  z[2735]:=24697;
  z[2736]:=24709;
  z[2737]:=24733;
  z[2738]:=24749;
  z[2739]:=24763;
  z[2740]:=24767;
  z[2741]:=24781;
  z[2742]:=24793;
  z[2743]:=24799;
  z[2744]:=24809;
  z[2745]:=24821;
  z[2746]:=24841;
  z[2747]:=24847;
  z[2748]:=24851;
  z[2749]:=24859;
  z[2750]:=24877;
  z[2751]:=24889;
  z[2752]:=24907;
  z[2753]:=24917;
  z[2754]:=24919;
  z[2755]:=24923;
  z[2756]:=24943;
  z[2757]:=24953;
  z[2758]:=24967;
  z[2759]:=24971;
  z[2760]:=24977;
  z[2761]:=24979;
  z[2762]:=24989;
  z[2763]:=25013;
  z[2764]:=25031;
  z[2765]:=25033;
  z[2766]:=25037;
  z[2767]:=25057;
  z[2768]:=25073;
  z[2769]:=25087;
  z[2770]:=25097;
  z[2771]:=25111;
  z[2772]:=25117;
  z[2773]:=25121;
  z[2774]:=25127;
  z[2775]:=25147;
  z[2776]:=25153;
  z[2777]:=25163;
  z[2778]:=25169;
  z[2779]:=25171;
  z[2780]:=25183;
  z[2781]:=25189;
  z[2782]:=25219;
  z[2783]:=25229;
  z[2784]:=25237;
  z[2785]:=25243;
  z[2786]:=25247;
  z[2787]:=25253;
  z[2788]:=25261;
  z[2789]:=25301;
  z[2790]:=25303;
  z[2791]:=25307;
  z[2792]:=25309;
  z[2793]:=25321;
  z[2794]:=25339;
  z[2795]:=25343;
  z[2796]:=25349;
  z[2797]:=25357;
  z[2798]:=25367;
  z[2799]:=25373;
  z[2800]:=25391;
  z[2801]:=25409;
  z[2802]:=25411;
  z[2803]:=25423;
  z[2804]:=25439;
  z[2805]:=25447;
  z[2806]:=25453;
  z[2807]:=25457;
  z[2808]:=25463;
  z[2809]:=25469;
  z[2810]:=25471;
  z[2811]:=25523;
  z[2812]:=25537;
  z[2813]:=25541;
  z[2814]:=25561;
  z[2815]:=25577;
  z[2816]:=25579;
  z[2817]:=25583;
  z[2818]:=25589;
  z[2819]:=25601;
  z[2820]:=25603;
  z[2821]:=25609;
  z[2822]:=25621;
  z[2823]:=25633;
  z[2824]:=25639;
  z[2825]:=25643;
  z[2826]:=25657;
  z[2827]:=25667;
  z[2828]:=25673;
  z[2829]:=25679;
  z[2830]:=25693;
  z[2831]:=25703;
  z[2832]:=25717;
  z[2833]:=25733;
  z[2834]:=25741;
  z[2835]:=25747;
  z[2836]:=25759;
  z[2837]:=25763;
  z[2838]:=25771;
  z[2839]:=25793;
  z[2840]:=25799;
  z[2841]:=25801;
  z[2842]:=25819;
  z[2843]:=25841;
  z[2844]:=25847;
  z[2845]:=25849;
  z[2846]:=25867;
  z[2847]:=25873;
  z[2848]:=25889;
  z[2849]:=25903;
  z[2850]:=25913;
  z[2851]:=25919;
  z[2852]:=25931;
  z[2853]:=25933;
  z[2854]:=25939;
  z[2855]:=25943;
  z[2856]:=25951;
  z[2857]:=25969;
  z[2858]:=25981;
  z[2859]:=25997;
  z[2860]:=25999;
  z[2861]:=26003;
  z[2862]:=26017;
  z[2863]:=26021;
  z[2864]:=26029;
  z[2865]:=26041;
  z[2866]:=26053;
  z[2867]:=26083;
  z[2868]:=26099;
  z[2869]:=26107;
  z[2870]:=26111;
  z[2871]:=26113;
  z[2872]:=26119;
  z[2873]:=26141;
  z[2874]:=26153;
  z[2875]:=26161;
  z[2876]:=26171;
  z[2877]:=26177;
  z[2878]:=26183;
  z[2879]:=26189;
  z[2880]:=26203;
  z[2881]:=26209;
  z[2882]:=26227;
  z[2883]:=26237;
  z[2884]:=26249;
  z[2885]:=26251;
  z[2886]:=26261;
  z[2887]:=26263;
  z[2888]:=26267;
  z[2889]:=26293;
  z[2890]:=26297;
  z[2891]:=26309;
  z[2892]:=26317;
  z[2893]:=26321;
  z[2894]:=26339;
  z[2895]:=26347;
  z[2896]:=26357;
  z[2897]:=26371;
  z[2898]:=26387;
  z[2899]:=26393;
  z[2900]:=26399;
  z[2901]:=26407;
  z[2902]:=26417;
  z[2903]:=26423;
  z[2904]:=26431;
  z[2905]:=26437;
  z[2906]:=26449;
  z[2907]:=26459;
  z[2908]:=26479;
  z[2909]:=26489;
  z[2910]:=26497;
  z[2911]:=26501;
  z[2912]:=26513;
  z[2913]:=26539;
  z[2914]:=26557;
  z[2915]:=26561;
  z[2916]:=26573;
  z[2917]:=26591;
  z[2918]:=26597;
  z[2919]:=26627;
  z[2920]:=26633;
  z[2921]:=26641;
  z[2922]:=26647;
  z[2923]:=26669;
  z[2924]:=26681;
  z[2925]:=26683;
  z[2926]:=26687;
  z[2927]:=26693;
  z[2928]:=26699;
  z[2929]:=26701;
  z[2930]:=26711;
  z[2931]:=26713;
  z[2932]:=26717;
  z[2933]:=26723;
  z[2934]:=26729;
  z[2935]:=26731;
  z[2936]:=26737;
  z[2937]:=26759;
  z[2938]:=26777;
  z[2939]:=26783;
  z[2940]:=26801;
  z[2941]:=26813;
  z[2942]:=26821;
  z[2943]:=26833;
  z[2944]:=26839;
  z[2945]:=26849;
  z[2946]:=26861;
  z[2947]:=26863;
  z[2948]:=26879;
  z[2949]:=26881;
  z[2950]:=26891;
  z[2951]:=26893;
  z[2952]:=26903;
  z[2953]:=26921;
  z[2954]:=26927;
  z[2955]:=26947;
  z[2956]:=26951;
  z[2957]:=26953;
  z[2958]:=26959;
  z[2959]:=26981;
  z[2960]:=26987;
  z[2961]:=26993;
  z[2962]:=27011;
  z[2963]:=27017;
  z[2964]:=27031;
  z[2965]:=27043;
  z[2966]:=27059;
  z[2967]:=27061;
  z[2968]:=27067;
  z[2969]:=27073;
  z[2970]:=27077;
  z[2971]:=27091;
  z[2972]:=27103;
  z[2973]:=27107;
  z[2974]:=27109;
  z[2975]:=27127;
  z[2976]:=27143;
  z[2977]:=27179;
  z[2978]:=27191;
  z[2979]:=27197;
  z[2980]:=27211;
  z[2981]:=27239;
  z[2982]:=27241;
  z[2983]:=27253;
  z[2984]:=27259;
  z[2985]:=27271;
  z[2986]:=27277;
  z[2987]:=27281;
  z[2988]:=27283;
  z[2989]:=27299;
  z[2990]:=27329;
  z[2991]:=27337;
  z[2992]:=27361;
  z[2993]:=27367;
  z[2994]:=27397;
  z[2995]:=27407;
  z[2996]:=27409;
  z[2997]:=27427;
  z[2998]:=27431;
  z[2999]:=27437;
  z[3000]:=27449;
  z[3001]:=27457;
  z[3002]:=27479;
  z[3003]:=27481;
  z[3004]:=27487;
  z[3005]:=27509;
  z[3006]:=27527;
  z[3007]:=27529;
  z[3008]:=27539;
  z[3009]:=27541;
  z[3010]:=27551;
  z[3011]:=27581;
  z[3012]:=27583;
  z[3013]:=27611;
  z[3014]:=27617;
  z[3015]:=27631;
  z[3016]:=27647;
  z[3017]:=27653;
  z[3018]:=27673;
  z[3019]:=27689;
  z[3020]:=27691;
  z[3021]:=27697;
  z[3022]:=27701;
  z[3023]:=27733;
  z[3024]:=27737;
  z[3025]:=27739;
  z[3026]:=27743;
  z[3027]:=27749;
  z[3028]:=27751;
  z[3029]:=27763;
  z[3030]:=27767;
  z[3031]:=27773;
  z[3032]:=27779;
  z[3033]:=27791;
  z[3034]:=27793;
  z[3035]:=27799;
  z[3036]:=27803;
  z[3037]:=27809;
  z[3038]:=27817;
  z[3039]:=27823;
  z[3040]:=27827;
  z[3041]:=27847;
  z[3042]:=27851;
  z[3043]:=27883;
  z[3044]:=27893;
  z[3045]:=27901;
  z[3046]:=27917;
  z[3047]:=27919;
  z[3048]:=27941;
  z[3049]:=27943;
  z[3050]:=27947;
  z[3051]:=27953;
  z[3052]:=27961;
  z[3053]:=27967;
  z[3054]:=27983;
  z[3055]:=27997;
  z[3056]:=28001;
  z[3057]:=28019;
  z[3058]:=28027;
  z[3059]:=28031;
  z[3060]:=28051;
  z[3061]:=28057;
  z[3062]:=28069;
  z[3063]:=28081;
  z[3064]:=28087;
  z[3065]:=28097;
  z[3066]:=28099;
  z[3067]:=28109;
  z[3068]:=28111;
  z[3069]:=28123;
  z[3070]:=28151;
  z[3071]:=28163;
  z[3072]:=28181;
  z[3073]:=28183;
  z[3074]:=28201;
  z[3075]:=28211;
  z[3076]:=28219;
  z[3077]:=28229;
  z[3078]:=28277;
  z[3079]:=28279;
  z[3080]:=28283;
  z[3081]:=28289;
  z[3082]:=28297;
  z[3083]:=28307;
  z[3084]:=28309;
  z[3085]:=28319;
  z[3086]:=28349;
  z[3087]:=28351;
  z[3088]:=28387;
  z[3089]:=28393;
  z[3090]:=28403;
  z[3091]:=28409;
  z[3092]:=28411;
  z[3093]:=28429;
  z[3094]:=28433;
  z[3095]:=28439;
  z[3096]:=28447;
  z[3097]:=28463;
  z[3098]:=28477;
  z[3099]:=28493;
  z[3100]:=28499;
  z[3101]:=28513;
  z[3102]:=28517;
  z[3103]:=28537;
  z[3104]:=28541;
  z[3105]:=28547;
  z[3106]:=28549;
  z[3107]:=28559;
  z[3108]:=28571;
  z[3109]:=28573;
  z[3110]:=28579;
  z[3111]:=28591;
  z[3112]:=28597;
  z[3113]:=28603;
  z[3114]:=28607;
  z[3115]:=28619;
  z[3116]:=28621;
  z[3117]:=28627;
  z[3118]:=28631;
  z[3119]:=28643;
  z[3120]:=28649;
  z[3121]:=28657;
  z[3122]:=28661;
  z[3123]:=28663;
  z[3124]:=28669;
  z[3125]:=28687;
  z[3126]:=28697;
  z[3127]:=28703;
  z[3128]:=28711;
  z[3129]:=28723;
  z[3130]:=28729;
  z[3131]:=28751;
  z[3132]:=28753;
  z[3133]:=28759;
  z[3134]:=28771;
  z[3135]:=28789;
  z[3136]:=28793;
  z[3137]:=28807;
  z[3138]:=28813;
  z[3139]:=28817;
  z[3140]:=28837;
  z[3141]:=28843;
  z[3142]:=28859;
  z[3143]:=28867;
  z[3144]:=28871;
  z[3145]:=28879;
  z[3146]:=28901;
  z[3147]:=28909;
  z[3148]:=28921;
  z[3149]:=28927;
  z[3150]:=28933;
  z[3151]:=28949;
  z[3152]:=28961;
  z[3153]:=28979;
  z[3154]:=29009;
  z[3155]:=29017;
  z[3156]:=29021;
  z[3157]:=29023;
  z[3158]:=29027;
  z[3159]:=29033;
  z[3160]:=29059;
  z[3161]:=29063;
  z[3162]:=29077;
  z[3163]:=29101;
  z[3164]:=29123;
  z[3165]:=29129;
  z[3166]:=29131;
  z[3167]:=29137;
  z[3168]:=29147;
  z[3169]:=29153;
  z[3170]:=29167;
  z[3171]:=29173;
  z[3172]:=29179;
  z[3173]:=29191;
  z[3174]:=29201;
  z[3175]:=29207;
  z[3176]:=29209;
  z[3177]:=29221;
  z[3178]:=29231;
  z[3179]:=29243;
  z[3180]:=29251;
  z[3181]:=29269;
  z[3182]:=29287;
  z[3183]:=29297;
  z[3184]:=29303;
  z[3185]:=29311;
  z[3186]:=29327;
  z[3187]:=29333;
  z[3188]:=29339;
  z[3189]:=29347;
  z[3190]:=29363;
  z[3191]:=29383;
  z[3192]:=29387;
  z[3193]:=29389;
  z[3194]:=29399;
  z[3195]:=29401;
  z[3196]:=29411;
  z[3197]:=29423;
  z[3198]:=29429;
  z[3199]:=29437;
  z[3200]:=29443;
  z[3201]:=29453;
  z[3202]:=29473;
  z[3203]:=29483;
  z[3204]:=29501;
  z[3205]:=29527;
  z[3206]:=29531;
  z[3207]:=29537;
  z[3208]:=29567;
  z[3209]:=29569;
  z[3210]:=29573;
  z[3211]:=29581;
  z[3212]:=29587;
  z[3213]:=29599;
  z[3214]:=29611;
  z[3215]:=29629;
  z[3216]:=29633;
  z[3217]:=29641;
  z[3218]:=29663;
  z[3219]:=29669;
  z[3220]:=29671;
  z[3221]:=29683;
  z[3222]:=29717;
  z[3223]:=29723;
  z[3224]:=29741;
  z[3225]:=29753;
  z[3226]:=29759;
  z[3227]:=29761;
  z[3228]:=29789;
  z[3229]:=29803;
  z[3230]:=29819;
  z[3231]:=29833;
  z[3232]:=29837;
  z[3233]:=29851;
  z[3234]:=29863;
  z[3235]:=29867;
  z[3236]:=29873;
  z[3237]:=29879;
  z[3238]:=29881;
  z[3239]:=29917;
  z[3240]:=29921;
  z[3241]:=29927;
  z[3242]:=29947;
  z[3243]:=29959;
  z[3244]:=29983;
  z[3245]:=29989;
  z[3246]:=30011;
  z[3247]:=30013;
  z[3248]:=30029;
  z[3249]:=30047;
  z[3250]:=30059;
  z[3251]:=30071;
  z[3252]:=30089;
  z[3253]:=30091;
  z[3254]:=30097;
  z[3255]:=30103;
  z[3256]:=30109;
  z[3257]:=30113;
  z[3258]:=30119;
  z[3259]:=30133;
  z[3260]:=30137;
  z[3261]:=30139;
  z[3262]:=30161;
  z[3263]:=30169;
  z[3264]:=30181;
  z[3265]:=30187;
  z[3266]:=30197;
  z[3267]:=30203;
  z[3268]:=30211;
  z[3269]:=30223;
  z[3270]:=30241;
  z[3271]:=30253;
  z[3272]:=30259;
  z[3273]:=30269;
  z[3274]:=30271;
  z[3275]:=30293;
  z[3276]:=30307;
  z[3277]:=30313;
  z[3278]:=30319;
  z[3279]:=30323;
  z[3280]:=30341;
  z[3281]:=30347;
  z[3282]:=30367;
  z[3283]:=30389;
  z[3284]:=30391;
  z[3285]:=30403;
  z[3286]:=30427;
  z[3287]:=30431;
  z[3288]:=30449;
  z[3289]:=30467;
  z[3290]:=30469;
  z[3291]:=30491;
  z[3292]:=30493;
  z[3293]:=30497;
  z[3294]:=30509;
  z[3295]:=30517;
  z[3296]:=30529;
  z[3297]:=30539;
  z[3298]:=30553;
  z[3299]:=30557;
  z[3300]:=30559;
  z[3301]:=30577;
  z[3302]:=30593;
  z[3303]:=30631;
  z[3304]:=30637;
  z[3305]:=30643;
  z[3306]:=30649;
  z[3307]:=30661;
  z[3308]:=30671;
  z[3309]:=30677;
  z[3310]:=30689;
  z[3311]:=30697;
  z[3312]:=30703;
  z[3313]:=30707;
  z[3314]:=30713;
  z[3315]:=30727;
  z[3316]:=30757;
  z[3317]:=30763;
  z[3318]:=30773;
  z[3319]:=30781;
  z[3320]:=30803;
  z[3321]:=30809;
  z[3322]:=30817;
  z[3323]:=30829;
  z[3324]:=30839;
  z[3325]:=30841;
  z[3326]:=30851;
  z[3327]:=30853;
  z[3328]:=30859;
  z[3329]:=30869;
  z[3330]:=30871;
  z[3331]:=30881;
  z[3332]:=30893;
  z[3333]:=30911;
  z[3334]:=30931;
  z[3335]:=30937;
  z[3336]:=30941;
  z[3337]:=30949;
  z[3338]:=30971;
  z[3339]:=30977;
  z[3340]:=30983;
  z[3341]:=31013;
  z[3342]:=31019;
  z[3343]:=31033;
  z[3344]:=31039;
  z[3345]:=31051;
  z[3346]:=31063;
  z[3347]:=31069;
  z[3348]:=31079;
  z[3349]:=31081;
  z[3350]:=31091;
  z[3351]:=31121;
  z[3352]:=31123;
  z[3353]:=31139;
  z[3354]:=31147;
  z[3355]:=31151;
  z[3356]:=31153;
  z[3357]:=31159;
  z[3358]:=31177;
  z[3359]:=31181;
  z[3360]:=31183;
  z[3361]:=31189;
  z[3362]:=31193;
  z[3363]:=31219;
  z[3364]:=31223;
  z[3365]:=31231;
  z[3366]:=31237;
  z[3367]:=31247;
  z[3368]:=31249;
  z[3369]:=31253;
  z[3370]:=31259;
  z[3371]:=31267;
  z[3372]:=31271;
  z[3373]:=31277;
  z[3374]:=31307;
  z[3375]:=31319;
  z[3376]:=31321;
  z[3377]:=31327;
  z[3378]:=31333;
  z[3379]:=31337;
  z[3380]:=31357;
  z[3381]:=31379;
  z[3382]:=31387;
  z[3383]:=31391;
  z[3384]:=31393;
  z[3385]:=31397;
  z[3386]:=31469;
  z[3387]:=31477;
  z[3388]:=31481;
  z[3389]:=31489;
  z[3390]:=31511;
  z[3391]:=31513;
  z[3392]:=31517;
  z[3393]:=31531;
  z[3394]:=31541;
  z[3395]:=31543;
  z[3396]:=31547;
  z[3397]:=31567;
  z[3398]:=31573;
  z[3399]:=31583;
  z[3400]:=31601;
  z[3401]:=31607;
  z[3402]:=31627;
  z[3403]:=31643;
  z[3404]:=31649;
  z[3405]:=31657;
  z[3406]:=31663;
  z[3407]:=31667;
  z[3408]:=31687;
  z[3409]:=31699;
  z[3410]:=31721;
  z[3411]:=31723;
  z[3412]:=31727;
  z[3413]:=31729;
  z[3414]:=31741;
  z[3415]:=31751;
  z[3416]:=31769;
  z[3417]:=31771;
  z[3418]:=31793;
  z[3419]:=31799;
  z[3420]:=31817;
  z[3421]:=31847;
  z[3422]:=31849;
  z[3423]:=31859;
  z[3424]:=31873;
  z[3425]:=31883;
  z[3426]:=31891;
  z[3427]:=31907;
  z[3428]:=31957;
  z[3429]:=31963;
  z[3430]:=31973;
  z[3431]:=31981;
  z[3432]:=31991;
  assign(input,'divisors.in');
  assign(output,'divisors.out');
  reset(input);
  rewrite(output);
  readln(l,u);
  n:=0;
  max:=-1;
  for i:=l to u do
  begin
    j:=1;
    t:=i;
    n:=0;
    while (t<>1)and(j<=3432) do
    begin
      if t mod z[j]=0 then begin
        n:=n+1;
        sz[n]:=1;
        while t mod z[j]=0 do
        begin
          sz[n]:=sz[n]+1;
          t:=t div z[j];
        end;
      end;
      j:=j+1;
    end;
    if t<>1 then begin
      n:=n+1;
      sz[n]:=2;
    end;
    maxt:=1;
    for j:=1 to n do
      maxt:=maxt*sz[j];
    if maxt>max then begin
      max:=maxt;
      num:=i;
    end;
  end;
  writeln('Between ',l,' and ',u,',',num,' has a maximum of ',max,' divisors.');
  close(input);
  close(output);
end.