final class oadd.com.fasterxml.jackson.core.io.schubfach.MathUtils extends java.lang.Object
{
static final int K_MIN;
static final int K_MAX;
static final int H;
private static final int Q_10;
private static final long C_10;
private static final long A_10;
private static final int Q_2;
private static final long C_2;
private static final long[] pow;
private static final long[] g;
private void <init>()
{
oadd.com.fasterxml.jackson.core.io.schubfach.MathUtils v;
v := @this: oadd.com.fasterxml.jackson.core.io.schubfach.MathUtils;
specialinvoke v.<java.lang.Object: void <init>()>();
return;
}
static long pow10(int)
{
int v;
long v;
long[] v;
v := @parameter: int;
v = <oadd.com.fasterxml.jackson.core.io.schubfach.MathUtils: long[] pow10>;
v = v[v];
return v;
}
static int flog10pow2(int)
{
int v;
long v, v;
v := @parameter: int;
v = v * 661971961083L;
v = v >> 41;
return v;
}
static int flog10threeQuartersPow2(int)
{
int v;
long v, v, v;
v := @parameter: int;
v = v * 661971961083L;
v = v + -274743187321L;
v = v >> 41;
return v;
}
static int flog2pow10(int)
{
int v;
long v, v;
v := @parameter: int;
v = v * 913124641741L;
v = v >> 38;
return v;
}
static long g1(int)
{
long[] v;
int v, v, v, v;
long v;
v := @parameter: int;
v = <oadd.com.fasterxml.jackson.core.io.schubfach.MathUtils: long[] g>;
v = (int) -324;
v = v - v;
v = v << 1;
v = v[v];
return v;
}
static long g0(int)
{
long[] v;
int v, v, v, v, v;
long v;
v := @parameter: int;
v = <oadd.com.fasterxml.jackson.core.io.schubfach.MathUtils: long[] g>;
v = (int) -324;
v = v - v;
v = v << 1;
v = v | 1;
v = v[v];
return v;
}
static long multiplyHigh(long, long)
{
long v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
v := @parameter: long;
v := @parameter: long;
v = v & 4294967295L;
v = v & 4294967295L;
v = v * v;
v = v >>> 32;
v = v >>> 32;
v = v * v;
v = v >>> 32;
v = v + v;
v = v + v;
v = v * v;
v = v + v;
v = v - v;
v = v - v;
v = v >>> 32;
v = v + v;
return v;
}
static void <clinit>()
{
long[] v, v;
v = newarray (long)[18];
v[0] = 1L;
v[1] = 10L;
v[2] = 100L;
v[3] = 1000L;
v[4] = 10000L;
v[5] = 100000L;
v[6] = 1000000L;
v[7] = 10000000L;
v[8] = 100000000L;
v[9] = 1000000000L;
v[10] = 10000000000L;
v[11] = 100000000000L;
v[12] = 1000000000000L;
v[13] = 10000000000000L;
v[14] = 100000000000000L;
v[15] = 1000000000000000L;
v[16] = 10000000000000000L;
v[17] = 100000000000000000L;
<oadd.com.fasterxml.jackson.core.io.schubfach.MathUtils: long[] pow10> = v;
v = newarray (long)[1234];
v[0] = 5696189077778435540L;
v[1] = 6557778377634271669L;
v[2] = 9113902524445496865L;
v[3] = 1269073367360058862L;
v[4] = 7291122019556397492L;
v[5] = 1015258693888047090L;
v[6] = 5832897615645117993L;
v[7] = 6346230177223303157L;
v[8] = 4666318092516094394L;
v[9] = 8766332956520552849L;
v[10] = 7466108948025751031L;
v[11] = 8492109508320019073L;
v[12] = 5972887158420600825L;
v[13] = 4949013199285060097L;
v[14] = 4778309726736480660L;
v[15] = 3959210559428048077L;
v[16] = 7645295562778369056L;
v[17] = 6334736895084876923L;
v[18] = 6116236450222695245L;
v[19] = 3223115108696946377L;
v[20] = 4892989160178156196L;
v[21] = 2578492086957557102L;
v[22] = 7828782656285049914L;
v[23] = 436238524390181040L;
v[24] = 6263026125028039931L;
v[25] = 2193665226883099993L;
v[26] = 5010420900022431944L;
v[27] = 9133629810990300641L;
v[28] = 8016673440035891111L;
v[29] = 9079784475471615541L;
v[30] = 6413338752028712889L;
v[31] = 5419153173006337271L;
v[32] = 5130671001622970311L;
v[33] = 6179996945776024979L;
v[34] = 8209073602596752498L;
v[35] = 6198646298499729642L;
v[36] = 6567258882077401998L;
v[37] = 8648265853541694037L;
v[38] = 5253807105661921599L;
v[39] = 1384589460720489745L;
v[40] = 8406091369059074558L;
v[41] = 5904691951894693915L;
v[42] = 6724873095247259646L;
v[43] = 8413102376257665455L;
v[44] = 5379898476197807717L;
v[45] = 4885807493635177203L;
v[46] = 8607837561916492348L;
v[47] = 438594360332462878L;
v[48] = 6886270049533193878L;
v[49] = 4040224303007880625L;
v[50] = 5509016039626555102L;
v[51] = 6921528257148214824L;
v[52] = 8814425663402488164L;
v[53] = 3695747581953323071L;
v[54] = 7051540530721990531L;
v[55] = 4801272472933613619L;
v[56] = 5641232424577592425L;
v[57] = 1996343570975935733L;
v[58] = 9025971879324147880L;
v[59] = 3194149713561497173L;
v[60] = 7220777503459318304L;
v[61] = 2555319770849197738L;
v[62] = 5776622002767454643L;
v[63] = 3888930224050313352L;
v[64] = 4621297602213963714L;
v[65] = 6800492993982161005L;
v[66] = 7394076163542341943L;
v[67] = 5346765568258592123L;
v[68] = 5915260930833873554L;
v[69] = 7966761269348784022L;
v[70] = 4732208744667098843L;
v[71] = 8218083422849982379L;
v[72] = 7571533991467358150L;
v[73] = 2080887032334240837L;
v[74] = 6057227193173886520L;
v[75] = 1664709625867392670L;
v[76] = 4845781754539109216L;
v[77] = 1331767700693914136L;
v[78] = 7753250807262574745L;
v[79] = 7664851543223128102L;
v[80] = 6202600645810059796L;
v[81] = 6131881234578502482L;
v[82] = 4962080516648047837L;
v[83] = 3060830580291846824L;
v[84] = 7939328826636876539L;
v[85] = 6742003335837910079L;
v[86] = 6351463061309501231L;
v[87] = 7238277076041283225L;
v[88] = 5081170449047600985L;
v[89] = 3945947253462071419L;
v[90] = 8129872718476161576L;
v[91] = 6313515605539314269L;
v[92] = 6503898174780929261L;
v[93] = 3206138077060496254L;
v[94] = 5203118539824743409L;
v[95] = 720236054277441842L;
v[96] = 8324989663719589454L;
v[97] = 4841726501585817270L;
v[98] = 6659991730975671563L;
v[99] = 5718055608639608977L;
v[100] = 5327993384780537250L;
v[101] = 8263793301653597505L;
v[102] = 8524789415648859601L;
v[103] = 3998697245790980200L;
v[104] = 6819831532519087681L;
v[105] = 1354283389261828999L;
v[106] = 5455865226015270144L;
v[107] = 8462124340893283845L;
v[108] = 8729384361624432231L;
v[109] = 8005375723316388668L;
v[110] = 6983507489299545785L;
v[111] = 4559626171282155773L;
v[112] = 5586805991439636628L;
v[113] = 3647700937025724618L;
v[114] = 8938889586303418605L;
v[115] = 3991647091870204227L;
v[116] = 7151111669042734884L;
v[117] = 3193317673496163382L;
v[118] = 5720889335234187907L;
v[119] = 4399328546167885867L;
v[120] = 9153422936374700651L;
v[121] = 8883600081239572549L;
v[122] = 7322738349099760521L;
v[123] = 5262205657620702877L;
v[124] = 5858190679279808417L;
v[125] = 2365090118725607140L;
v[126] = 4686552543423846733L;
v[127] = 7426095317093351197L;
v[128] = 7498484069478154774L;
v[129] = 813706063123630946L;
v[130] = 5998787255582523819L;
v[131] = 2495639257869859918L;
v[132] = 4799029804466019055L;
v[133] = 3841185813666843096L;
v[134] = 7678447687145630488L;
v[135] = 6145897301866948954L;
v[136] = 6142758149716504390L;
v[137] = 8606066656235469486L;
v[138] = 4914206519773203512L;
v[139] = 6884853324988375589L;
v[140] = 7862730431637125620L;
v[141] = 3637067690497580296L;
v[142] = 6290184345309700496L;
v[143] = 2909654152398064237L;
v[144] = 5032147476247760397L;
v[145] = 483048914547496228L;
v[146] = 8051435961996416635L;
v[147] = 2617552670646949126L;
v[148] = 6441148769597133308L;
v[149] = 2094042136517559301L;
v[150] = 5152919015677706646L;
v[151] = 5364582523955957764L;
v[152] = 8244670425084330634L;
v[153] = 4893983223587622099L;
v[154] = 6595736340067464507L;
v[155] = 5759860986241052841L;
v[156] = 5276589072053971606L;
v[157] = 918539974250931950L;
v[158] = 8442542515286354569L;
v[159] = 7003687180914356604L;
v[160] = 6754034012229083655L;
v[161] = 7447624152102440445L;
v[162] = 5403227209783266924L;
v[163] = 5958099321681952356L;
v[164] = 8645163535653227079L;
v[165] = 3998935692578258285L;
v[166] = 6916130828522581663L;
v[167] = 5043822961433561789L;
v[168] = 5532904662818065330L;
v[169] = 7724407183888759755L;
v[170] = 8852647460508904529L;
v[171] = 3135679457367239799L;
v[172] = 7082117968407123623L;
v[173] = 4353217973264747001L;
v[174] = 5665694374725698898L;
v[175] = 7171923193353707924L;
v[176] = 9065110999561118238L;
v[177] = 407030665140201709L;
v[178] = 7252088799648894590L;
v[179] = 4014973346854071690L;
v[180] = 5801671039719115672L;
v[181] = 3211978677483257352L;
v[182] = 4641336831775292537L;
v[183] = 8103606164099471367L;
v[184] = 7426138930840468060L;
v[185] = 5587072233075333540L;
v[186] = 5940911144672374448L;
v[187] = 4469657786460266832L;
v[188] = 4752728915737899558L;
v[189] = 7265075043910123789L;
v[190] = 7604366265180639294L;
v[191] = 556073626030467093L;
v[192] = 6083493012144511435L;
v[193] = 2289533308195328836L;
v[194] = 4866794409715609148L;
v[195] = 1831626646556263069L;
v[196] = 7786871055544974637L;
v[197] = 1085928227119065748L;
v[198] = 6229496844435979709L;
v[199] = 6402765803808118083L;
v[200] = 4983597475548783767L;
v[201] = 6966887050417449628L;
v[202] = 7973755960878054028L;
v[203] = 3768321651184098759L;
v[204] = 6379004768702443222L;
v[205] = 6704006135689189330L;
v[206] = 5103203814961954578L;
v[207] = 1673856093809441141L;
v[208] = 8165126103939127325L;
v[209] = 833495342724150664L;
v[210] = 6532100883151301860L;
v[211] = 666796274179320531L;
v[212] = 5225680706521041488L;
v[213] = 533437019343456425L;
v[214] = 8361089130433666380L;
v[215] = 8232196860433350926L;
v[216] = 6688871304346933104L;
v[217] = 6585757488346680741L;
v[218] = 5351097043477546483L;
v[219] = 7113280398048299755L;
v[220] = 8561755269564074374L;
v[221] = 313202192651548637L;
v[222] = 6849404215651259499L;
v[223] = 2095236161492194072L;
v[224] = 5479523372521007599L;
v[225] = 3520863336564710419L;
v[226] = 8767237396033612159L;
v[227] = 99358116390671185L;
v[228] = 7013789916826889727L;
v[229] = 1924160900483492110L;
v[230] = 5611031933461511781L;
v[231] = 7073351942499659173L;
v[232] = 8977651093538418850L;
v[233] = 7628014293257544353L;
v[234] = 7182120874830735080L;
v[235] = 6102411434606035483L;
v[236] = 5745696699864588064L;
v[237] = 4881929147684828386L;
v[238] = 9193114719783340903L;
v[239] = 2277063414182859933L;
v[240] = 7354491775826672722L;
v[241] = 5510999546088198270L;
v[242] = 5883593420661338178L;
v[243] = 719450822128648293L;
v[244] = 4706874736529070542L;
v[245] = 4264909472444828957L;
v[246] = 7530999578446512867L;
v[247] = 8668529563282681493L;
v[248] = 6024799662757210294L;
v[249] = 3245474835884234871L;
v[250] = 4819839730205768235L;
v[251] = 4441054276078343059L;
v[252] = 7711743568329229176L;
v[253] = 7105686841725348894L;
v[254] = 6169394854663383341L;
v[255] = 3839875066009323953L;
v[256] = 4935515883730706673L;
v[257] = 1227225645436504001L;
v[258] = 7896825413969130677L;
v[259] = 118886625327451240L;
v[260] = 6317460331175304541L;
v[261] = 5629132522374826477L;
v[262] = 5053968264940243633L;
v[263] = 2658631610528906020L;
v[264] = 8086349223904389813L;
v[265] = 2409136169475294470L;
v[266] = 6469079379123511850L;
v[267] = 5616657750322145900L;
v[268] = 5175263503298809480L;
v[269] = 4493326200257716720L;
v[270] = 8280421605278095168L;
v[271] = 7189321920412346751L;
v[272] = 6624337284222476135L;
v[273] = 217434314217011916L;
v[274] = 5299469827377980908L;
v[275] = 173947451373609533L;
v[276] = 8479151723804769452L;
v[277] = 7657013551681595899L;
v[278] = 6783321379043815562L;
v[279] = 2436262026603366396L;
v[280] = 5426657103235052449L;
v[281] = 7483032843395558602L;
v[282] = 8682651365176083919L;
v[283] = 6438829327320028278L;
v[284] = 6946121092140867135L;
v[285] = 6995737869226977784L;
v[286] = 5556896873712693708L;
v[287] = 5596590295381582227L;
v[288] = 8891034997940309933L;
v[289] = 7109870065239576402L;
v[290] = 7112827998352247947L;
v[291] = 153872830078795637L;
v[292] = 5690262398681798357L;
v[293] = 5657121486175901994L;
v[294] = 9104419837890877372L;
v[295] = 1672696748397622544L;
v[296] = 7283535870312701897L;
v[297] = 6872180620830963520L;
v[298] = 5826828696250161518L;
v[299] = 1808395681922860493L;
v[300] = 4661462957000129214L;
v[301] = 5136065360280198718L;
v[302] = 7458340731200206743L;
v[303] = 2683681354335452463L;
v[304] = 5966672584960165394L;
v[305] = 5836293898210272294L;
v[306] = 4773338067968132315L;
v[307] = 6513709525939172997L;
v[308] = 7637340908749011705L;
v[309] = 1198563204647900987L;
v[310] = 6109872726999209364L;
v[311] = 958850563718320789L;
v[312] = 4887898181599367491L;
v[313] = 2611754858345611793L;
v[314] = 7820637090558987986L;
v[315] = 489458958611068546L;
v[316] = 6256509672447190388L;
v[317] = 7770264796372675483L;
v[318] = 5005207737957752311L;
v[319] = 682188614985274902L;
v[320] = 8008332380732403697L;
v[321] = 6625525006089305327L;
v[322] = 6406665904585922958L;
v[323] = 1611071190129533939L;
v[324] = 5125332723668738366L;
v[325] = 4978205766845537474L;
v[326] = 8200532357869981386L;
v[327] = 4275780412210949635L;
v[328] = 6560425886295985109L;
v[329] = 1575949922397804547L;
v[330] = 5248340709036788087L;
v[331] = 3105434345289198799L;
v[332] = 8397345134458860939L;
v[333] = 6813369359833673240L;
v[334] = 6717876107567088751L;
v[335] = 7295369895237893754L;
v[336] = 5374300886053671001L;
v[337] = 3991621508819359841L;
v[338] = 8598881417685873602L;
v[339] = 2697245599369065423L;
v[340] = 6879105134148698881L;
v[341] = 7691819701608117823L;
v[342] = 5503284107318959105L;
v[343] = 4308781353915539097L;
v[344] = 8805254571710334568L;
v[345] = 6894050166264862555L;
v[346] = 7044203657368267654L;
v[347] = 9204588947753800367L;
v[348] = 5635362925894614123L;
v[349] = 9208345565573995455L;
v[350] = 9016580681431382598L;
v[351] = 3665306460692661759L;
v[352] = 7213264545145106078L;
v[353] = 6621593983296039730L;
v[354] = 5770611636116084862L;
v[355] = 8986624001378742108L;
v[356] = 4616489308892867890L;
v[357] = 3499950386361083363L;
v[358] = 7386382894228588624L;
v[359] = 5599920618177733380L;
v[360] = 5909106315382870899L;
v[361] = 6324610901913141866L;
v[362] = 4727285052306296719L;
v[363] = 6904363128901468655L;
v[364] = 7563656083690074751L;
v[365] = 5512957784129484362L;
v[366] = 6050924866952059801L;
v[367] = 2565691819932632328L;
v[368] = 4840739893561647841L;
v[369] = 207879048575150701L;
v[370] = 7745183829698636545L;
v[371] = 5866629699833106606L;
v[372] = 6196147063758909236L;
v[373] = 4693303759866485285L;
v[374] = 4956917651007127389L;
v[375] = 1909968600522233067L;
v[376] = 7931068241611403822L;
v[377] = 6745298575577483229L;
v[378] = 6344854593289123058L;
v[379] = 1706890045720076260L;
v[380] = 5075883674631298446L;
v[381] = 5054860851317971332L;
v[382] = 8121413879410077514L;
v[383] = 4398428547366843807L;
v[384] = 6497131103528062011L;
v[385] = 5363417245264430207L;
v[386] = 5197704882822449609L;
v[387] = 2446059388840589004L;
v[388] = 8316327812515919374L;
v[389] = 7603043836886852730L;
v[390] = 6653062250012735499L;
v[391] = 7927109476880437346L;
v[392] = 5322449800010188399L;
v[393] = 8186361988875305038L;
v[394] = 8515919680016301439L;
v[395] = 7564155960087622576L;
v[396] = 6812735744013041151L;
v[397] = 7895999175441053223L;
v[398] = 5450188595210432921L;
v[399] = 4472124932981887417L;
v[400] = 8720301752336692674L;
v[401] = 3466051078029109543L;
v[402] = 6976241401869354139L;
v[403] = 4617515269794242796L;
v[404] = 5580993121495483311L;
v[405] = 5538686623206349399L;
v[406] = 8929588994392773298L;
v[407] = 5172549782388248714L;
v[408] = 7143671195514218638L;
v[409] = 7827388640652509295L;
v[410] = 5714936956411374911L;
v[411] = 727887690409141951L;
v[412] = 9143899130258199857L;
v[413] = 6698643526767492606L;
v[414] = 7315119304206559886L;
v[415] = 1669566006672083762L;
v[416] = 5852095443365247908L;
v[417] = 8714350434821487656L;
v[418] = 4681676354692198327L;
v[419] = 1437457125744324640L;
v[420] = 7490682167507517323L;
v[421] = 4144605808561874585L;
v[422] = 5992545734006013858L;
v[423] = 7005033461591409992L;
v[424] = 4794036587204811087L;
v[425] = 70003547160262509L;
v[426] = 7670458539527697739L;
v[427] = 1956680082827375175L;
v[428] = 6136366831622158191L;
v[429] = 3410018473632855302L;
v[430] = 4909093465297726553L;
v[431] = 883340371535329080L;
v[432] = 7854549544476362484L;
v[433] = 8792042223940347174L;
v[434] = 6283639635581089987L;
v[435] = 8878308186523232901L;
v[436] = 5026911708464871990L;
v[437] = 3413297734476675998L;
v[438] = 8043058733543795184L;
v[439] = 5461276375162681596L;
v[440] = 6434446986835036147L;
v[441] = 6213695507501100438L;
v[442] = 5147557589468028918L;
v[443] = 1281607591258970028L;
v[444] = 8236092143148846269L;
v[445] = 205897738643396882L;
v[446] = 6588873714519077015L;
v[447] = 2009392598285672668L;
v[448] = 5271098971615261612L;
v[449] = 1607514078628538134L;
v[450] = 8433758354584418579L;
v[451] = 4416696933176616176L;
v[452] = 6747006683667534863L;
v[453] = 5378031953912248102L;
v[454] = 5397605346934027890L;
v[455] = 7991774377871708805L;
v[456] = 8636168555094444625L;
v[457] = 3563466967739958280L;
v[458] = 6908934844075555700L;
v[459] = 2850773574191966624L;
v[460] = 5527147875260444560L;
v[461] = 2280618859353573299L;
v[462] = 8843436600416711296L;
v[463] = 3648990174965717279L;
v[464] = 7074749280333369037L;
v[465] = 1074517732601618662L;
v[466] = 5659799424266695229L;
v[467] = 6393637408194160414L;
v[468] = 9055679078826712367L;
v[469] = 4695796630997791177L;
v[470] = 7244543263061369894L;
v[471] = 67288490056322619L;
v[472] = 5795634610449095915L;
v[473] = 1898505199416013257L;
v[474] = 4636507688359276732L;
v[475] = 1518804159532810606L;
v[476] = 7418412301374842771L;
v[477] = 4274761062623452130L;
v[478] = 5934729841099874217L;
v[479] = 1575134442727806543L;
v[480] = 4747783872879899373L;
v[481] = 6794130776295110719L;
v[482] = 7596454196607838997L;
v[483] = 9025934834701221989L;
v[484] = 6077163357286271198L;
v[485] = 3531399053019067268L;
v[486] = 4861730685829016958L;
v[487] = 6514468057157164137L;
v[488] = 7778769097326427133L;
v[489] = 8578474484080507458L;
v[490] = 6223015277861141707L;
v[491] = 1328756365151540482L;
v[492] = 4978412222288913365L;
v[493] = 6597028314234097870L;
v[494] = 7965459555662261385L;
v[495] = 1331873265919780784L;
v[496] = 6372367644529809108L;
v[497] = 1065498612735824627L;
v[498] = 5097894115623847286L;
v[499] = 4541747704930570025L;
v[500] = 8156630584998155658L;
v[501] = 3577447513147001717L;
v[502] = 6525304467998524526L;
v[503] = 6551306825259511697L;
v[504] = 5220243574398819621L;
v[505] = 3396371052836654196L;
v[506] = 8352389719038111394L;
v[507] = 1744844869796736390L;
v[508] = 6681911775230489115L;
v[509] = 3240550303208344274L;
v[510] = 5345529420184391292L;
v[511] = 2592440242566675419L;
v[512] = 8552847072295026067L;
v[513] = 5992578795477635832L;
v[514] = 6842277657836020854L;
v[515] = 1104714221640198342L;
v[516] = 5473822126268816683L;
v[517] = 2728445784683113836L;
v[518] = 8758115402030106693L;
v[519] = 2520838848122026975L;
v[520] = 7006492321624085354L;
v[521] = 5706019893239531903L;
v[522] = 5605193857299268283L;
v[523] = 6409490321962580684L;
v[524] = 8968310171678829253L;
v[525] = 8410510107769173933L;
v[526] = 7174648137343063403L;
v[527] = 1194384864102473662L;
v[528] = 5739718509874450722L;
v[529] = 4644856706023889253L;
v[530] = 9183549615799121156L;
v[531] = 53073100154402158L;
v[532] = 7346839692639296924L;
v[533] = 7421156109607342373L;
v[534] = 5877471754111437539L;
v[535] = 7781599295056829060L;
v[536] = 4701977403289150031L;
v[537] = 8069953843416418410L;
v[538] = 7523163845262640050L;
v[539] = 9222577334724359132L;
v[540] = 6018531076210112040L;
v[541] = 7378061867779487306L;
v[542] = 4814824860968089632L;
v[543] = 5902449494223589845L;
v[544] = 7703719777548943412L;
v[545] = 2065221561273923105L;
v[546] = 6162975822039154729L;
v[547] = 7186200471132003969L;
v[548] = 4930380657631323783L;
v[549] = 7593634784276558337L;
v[550] = 7888609052210118054L;
v[551] = 1081769210616762369L;
v[552] = 6310887241768094443L;
v[553] = 2710089775864365057L;
v[554] = 5048709793414475554L;
v[555] = 5857420635433402369L;
v[556] = 8077935669463160887L;
v[557] = 3837849794580578305L;
v[558] = 6462348535570528709L;
v[559] = 8604303057777328129L;
v[560] = 5169878828456422967L;
v[561] = 8728116853592817665L;
v[562] = 8271806125530276748L;
v[563] = 6586289336264687617L;
v[564] = 6617444900424221398L;
v[565] = 8958380283753660417L;
v[566] = 5293955920339377119L;
v[567] = 1632681004890062849L;
v[568] = 8470329472543003390L;
v[569] = 6301638422566010881L;
v[570] = 6776263578034402712L;
v[571] = 5041310738052808705L;
v[572] = 5421010862427522170L;
v[573] = 343699775700336641L;
v[574] = 8673617379884035472L;
v[575] = 549919641120538625L;
v[576] = 6938893903907228377L;
v[577] = 5973958935009296385L;
v[578] = 5551115123125782702L;
v[579] = 1089818333265526785L;
v[580] = 8881784197001252323L;
v[581] = 3588383740595798017L;
v[582] = 7105427357601001858L;
v[583] = 6560055807218548737L;
v[584] = 5684341886080801486L;
v[585] = 8937393460516749313L;
v[586] = 9094947017729282379L;
v[587] = 1387108685230112769L;
v[588] = 7275957614183425903L;
v[589] = 2954361355555045377L;
v[590] = 5820766091346740722L;
v[591] = 6052837899185946625L;
v[592] = 4656612873077392578L;
v[593] = 1152921504606846977L;
v[594] = 7450580596923828125L;
v[595] = 1L;
v[596] = 5960464477539062500L;
v[597] = 1L;
v[598] = 4768371582031250000L;
v[599] = 1L;
v[600] = 7629394531250000000L;
v[601] = 1L;
v[602] = 6103515625000000000L;
v[603] = 1L;
v[604] = 4882812500000000000L;
v[605] = 1L;
v[606] = 7812500000000000000L;
v[607] = 1L;
v[608] = 6250000000000000000L;
v[609] = 1L;
v[610] = 5000000000000000000L;
v[611] = 1L;
v[612] = 8000000000000000000L;
v[613] = 1L;
v[614] = 6400000000000000000L;
v[615] = 1L;
v[616] = 5120000000000000000L;
v[617] = 1L;
v[618] = 8192000000000000000L;
v[619] = 1L;
v[620] = 6553600000000000000L;
v[621] = 1L;
v[622] = 5242880000000000000L;
v[623] = 1L;
v[624] = 8388608000000000000L;
v[625] = 1L;
v[626] = 6710886400000000000L;
v[627] = 1L;
v[628] = 5368709120000000000L;
v[629] = 1L;
v[630] = 8589934592000000000L;
v[631] = 1L;
v[632] = 6871947673600000000L;
v[633] = 1L;
v[634] = 5497558138880000000L;
v[635] = 1L;
v[636] = 8796093022208000000L;
v[637] = 1L;
v[638] = 7036874417766400000L;
v[639] = 1L;
v[640] = 5629499534213120000L;
v[641] = 1L;
v[642] = 9007199254740992000L;
v[643] = 1L;
v[644] = 7205759403792793600L;
v[645] = 1L;
v[646] = 5764607523034234880L;
v[647] = 1L;
v[648] = 4611686018427387904L;
v[649] = 1L;
v[650] = 7378697629483820646L;
v[651] = 3689348814741910324L;
v[652] = 5902958103587056517L;
v[653] = 1106804644422573097L;
v[654] = 4722366482869645213L;
v[655] = 6419466937650923963L;
v[656] = 7555786372591432341L;
v[657] = 8426472692870523179L;
v[658] = 6044629098073145873L;
v[659] = 4896503746925463381L;
v[660] = 4835703278458516698L;
v[661] = 7606551812282281028L;
v[662] = 7737125245533626718L;
v[663] = 1102436455425918676L;
v[664] = 6189700196426901374L;
v[665] = 4571297979082645264L;
v[666] = 4951760157141521099L;
v[667] = 5501712790637071373L;
v[668] = 7922816251426433759L;
v[669] = 3268717242906448711L;
v[670] = 6338253001141147007L;
v[671] = 4459648201696114131L;
v[672] = 5070602400912917605L;
v[673] = 9101741783469756789L;
v[674] = 8112963841460668169L;
v[675] = 5339414816696835055L;
v[676] = 6490371073168534535L;
v[677] = 6116206260728423206L;
v[678] = 5192296858534827628L;
v[679] = 4892965008582738565L;
v[680] = 8307674973655724205L;
v[681] = 5984069606361426541L;
v[682] = 6646139978924579364L;
v[683] = 4787255685089141233L;
v[684] = 5316911983139663491L;
v[685] = 5674478955442268148L;
v[686] = 8507059173023461586L;
v[687] = 5389817513965718714L;
v[688] = 6805647338418769269L;
v[689] = 2467179603801619810L;
v[690] = 5444517870735015415L;
v[691] = 3818418090412251009L;
v[692] = 8711228593176024664L;
v[693] = 6109468944659601615L;
v[694] = 6968982874540819731L;
v[695] = 6732249563098636453L;
v[696] = 5575186299632655785L;
v[697] = 3541125243107954001L;
v[698] = 8920298079412249256L;
v[699] = 5665800388972726402L;
v[700] = 7136238463529799405L;
v[701] = 2687965903807225960L;
v[702] = 5708990770823839524L;
v[703] = 2150372723045780768L;
v[704] = 9134385233318143238L;
v[705] = 7129945171615159552L;
v[706] = 7307508186654514591L;
v[707] = 169932915179262157L;
v[708] = 5846006549323611672L;
v[709] = 7514643961627230372L;
v[710] = 4676805239458889338L;
v[711] = 2322366354559873974L;
v[712] = 7482888383134222941L;
v[713] = 1871111759924843197L;
v[714] = 5986310706507378352L;
v[715] = 8875587037423695204L;
v[716] = 4789048565205902682L;
v[717] = 3411120815197045840L;
v[718] = 7662477704329444291L;
v[719] = 7302467711686228506L;
v[720] = 6129982163463555433L;
v[721] = 3997299761978027643L;
v[722] = 4903985730770844346L;
v[723] = 6887188624324332438L;
v[724] = 7846377169233350954L;
v[725] = 7330152984177021577L;
v[726] = 6277101735386680763L;
v[727] = 7708796794712572423L;
v[728] = 5021681388309344611L;
v[729] = 633014213657192454L;
v[730] = 8034690221294951377L;
v[731] = 6546845963964373411L;
v[732] = 6427752177035961102L;
v[733] = 1548127956429588405L;
v[734] = 5142201741628768881L;
v[735] = 6772525587256536209L;
v[736] = 8227522786606030210L;
v[737] = 7146692124868547611L;
v[738] = 6582018229284824168L;
v[739] = 5717353699894838089L;
v[740] = 5265614583427859334L;
v[741] = 8263231774657780795L;
v[742] = 8424983333484574935L;
v[743] = 7687147617339583786L;
v[744] = 6739986666787659948L;
v[745] = 6149718093871667029L;
v[746] = 5391989333430127958L;
v[747] = 8609123289839243947L;
v[748] = 8627182933488204734L;
v[749] = 2706550819517059345L;
v[750] = 6901746346790563787L;
v[751] = 4009915062984602637L;
v[752] = 5521397077432451029L;
v[753] = 8741955272500547595L;
v[754] = 8834235323891921647L;
v[755] = 8453105213888010667L;
v[756] = 7067388259113537318L;
v[757] = 3073135356368498210L;
v[758] = 5653910607290829854L;
v[759] = 6147857099836708891L;
v[760] = 9046256971665327767L;
v[761] = 4302548137625868741L;
v[762] = 7237005577332262213L;
v[763] = 8976061732213560478L;
v[764] = 5789604461865809771L;
v[765] = 1646826163657982898L;
v[766] = 4631683569492647816L;
v[767] = 8696158560410206965L;
v[768] = 7410693711188236507L;
v[769] = 1001132845059645012L;
v[770] = 5928554968950589205L;
v[771] = 6334929498160581494L;
v[772] = 4742843975160471364L;
v[773] = 5067943598528465196L;
v[774] = 7588550360256754183L;
v[775] = 2574686535532678828L;
v[776] = 6070840288205403346L;
v[777] = 5749098043168053386L;
v[778] = 4856672230564322677L;
v[779] = 2754604027163487547L;
v[780] = 7770675568902916283L;
v[781] = 6252040850832535236L;
v[782] = 6216540455122333026L;
v[783] = 8690981495407938512L;
v[784] = 4973232364097866421L;
v[785] = 5108110788955395648L;
v[786] = 7957171782556586274L;
v[787] = 4483628447586722714L;
v[788] = 6365737426045269019L;
v[789] = 5431577165440333333L;
v[790] = 5092589940836215215L;
v[791] = 6189936139723221828L;
v[792] = 8148143905337944345L;
v[793] = 680525786702379117L;
v[794] = 6518515124270355476L;
v[795] = 544420629361903293L;
v[796] = 5214812099416284380L;
v[797] = 7814234132973343281L;
v[798] = 8343699359066055009L;
v[799] = 3279402575902573442L;
v[800] = 6674959487252844007L;
v[801] = 4468196468093013915L;
v[802] = 5339967589802275205L;
v[803] = 9108580396587276617L;
v[804] = 8543948143683640329L;
v[805] = 5350356597684866779L;
v[806] = 6835158514946912263L;
v[807] = 6124959685518848585L;
v[808] = 5468126811957529810L;
v[809] = 8589316563156989191L;
v[810] = 8749002899132047697L;
v[811] = 4519534464196406897L;
v[812] = 6999202319305638157L;
v[813] = 9149650793469991003L;
v[814] = 5599361855444510526L;
v[815] = 3630371820034082479L;
v[816] = 8958978968711216842L;
v[817] = 2119246097312621643L;
v[818] = 7167183174968973473L;
v[819] = 7229420099962962799L;
v[820] = 5733746539975178779L;
v[821] = 249512857857504755L;
v[822] = 9173994463960286046L;
v[823] = 4088569387313917931L;
v[824] = 7339195571168228837L;
v[825] = 1426181102480179183L;
v[826] = 5871356456934583069L;
v[827] = 6674968104097008831L;
v[828] = 4697085165547666455L;
v[829] = 7184648890648562227L;
v[830] = 7515336264876266329L;
v[831] = 2272066188182923754L;
v[832] = 6012269011901013063L;
v[833] = 3662327357917294165L;
v[834] = 4809815209520810450L;
v[835] = 6619210701075745655L;
v[836] = 7695704335233296721L;
v[837] = 1367365084866417240L;
v[838] = 6156563468186637376L;
v[839] = 8472589697376954439L;
v[840] = 4925250774549309901L;
v[841] = 4933397350530608390L;
v[842] = 7880401239278895842L;
v[843] = 4204086946107063100L;
v[844] = 6304320991423116673L;
v[845] = 8897292778998515965L;
v[846] = 5043456793138493339L;
v[847] = 1583811001085947287L;
v[848] = 8069530869021589342L;
v[849] = 6223446416479425982L;
v[850] = 6455624695217271474L;
v[851] = 1289408318441630463L;
v[852] = 5164499756173817179L;
v[853] = 2876201062124259532L;
v[854] = 8263199609878107486L;
v[855] = 8291270514140725574L;
v[856] = 6610559687902485989L;
v[857] = 4788342003941625298L;
v[858] = 5288447750321988791L;
v[859] = 5675348010524255400L;
v[860] = 8461516400515182066L;
v[861] = 5391208002096898316L;
v[862] = 6769213120412145653L;
v[863] = 2468291994306563491L;
v[864] = 5415370496329716522L;
v[865] = 5663982410187161116L;
v[866] = 8664592794127546436L;
v[867] = 1683674226815637140L;
v[868] = 6931674235302037148L;
v[869] = 8725637010936330358L;
v[870] = 5545339388241629719L;
v[871] = 1446486386636198802L;
v[872] = 8872543021186607550L;
v[873] = 6003727033359828406L;
v[874] = 7098034416949286040L;
v[875] = 4802981626687862725L;
v[876] = 5678427533559428832L;
v[877] = 3842385301350290180L;
v[878] = 9085484053695086131L;
v[879] = 7992490889531419449L;
v[880] = 7268387242956068905L;
v[881] = 4549318304254180398L;
v[882] = 5814709794364855124L;
v[883] = 3639454643403344318L;
v[884] = 4651767835491884099L;
v[885] = 4756238122093630616L;
v[886] = 7442828536787014559L;
v[887] = 2075957773236943501L;
v[888] = 5954262829429611647L;
v[889] = 3505440625960509963L;
v[890] = 4763410263543689317L;
v[891] = 8338375722881273455L;
v[892] = 7621456421669902908L;
v[893] = 5962703527126216881L;
v[894] = 6097165137335922326L;
v[895] = 8459511636442883828L;
v[896] = 4877732109868737861L;
v[897] = 4922934901783351901L;
v[898] = 7804371375789980578L;
v[899] = 4187347028111452718L;
v[900] = 6243497100631984462L;
v[901] = 7039226437231072498L;
v[902] = 4994797680505587570L;
v[903] = 1942032335042947675L;
v[904] = 7991676288808940112L;
v[905] = 3107251736068716280L;
v[906] = 6393341031047152089L;
v[907] = 8019824610967838509L;
v[908] = 5114672824837721671L;
v[909] = 8260534096145225969L;
v[910] = 8183476519740354675L;
v[911] = 304133702235675419L;
v[912] = 6546781215792283740L;
v[913] = 243306961788540335L;
v[914] = 5237424972633826992L;
v[915] = 194645569430832268L;
v[916] = 8379879956214123187L;
v[917] = 2156107318460286790L;
v[918] = 6703903964971298549L;
v[919] = 7258909076881094917L;
v[920] = 5363123171977038839L;
v[921] = 7651801668875831096L;
v[922] = 8580997075163262143L;
v[923] = 6708859448088464268L;
v[924] = 6864797660130609714L;
v[925] = 9056436373212681737L;
v[926] = 5491838128104487771L;
v[927] = 9089823505941100552L;
v[928] = 8786941004967180435L;
v[929] = 1630996757909074751L;
v[930] = 7029552803973744348L;
v[931] = 1304797406327259801L;
v[932] = 5623642243178995478L;
v[933] = 4733186739803718164L;
v[934] = 8997827589086392765L;
v[935] = 5728424376314993901L;
v[936] = 7198262071269114212L;
v[937] = 4582739501051995121L;
v[938] = 5758609657015291369L;
v[939] = 9200214822954461581L;
v[940] = 9213775451224466191L;
v[941] = 9186320494614273045L;
v[942] = 7371020360979572953L;
v[943] = 5504381988320463275L;
v[944] = 5896816288783658362L;
v[945] = 8092854405398280943L;
v[946] = 4717453031026926690L;
v[947] = 2784934709576714431L;
v[948] = 7547924849643082704L;
v[949] = 4455895535322743090L;
v[950] = 6038339879714466163L;
v[951] = 5409390835629149634L;
v[952] = 4830671903771572930L;
v[953] = 8016861483245230030L;
v[954] = 7729075046034516689L;
v[955] = 3603606336337592240L;
v[956] = 6183260036827613351L;
v[957] = 4727559476441028954L;
v[958] = 4946608029462090681L;
v[959] = 1937373173781868001L;
v[960] = 7914572847139345089L;
v[961] = 8633820300163854287L;
v[962] = 6331658277711476071L;
v[963] = 8751730647502038591L;
v[964] = 5065326622169180857L;
v[965] = 5156710110630675711L;
v[966] = 8104522595470689372L;
v[967] = 872038547525260492L;
v[968] = 6483618076376551497L;
v[969] = 6231654060133073878L;
v[970] = 5186894461101241198L;
v[971] = 1295974433364548779L;
v[972] = 8299031137761985917L;
v[973] = 228884686012322885L;
v[974] = 6639224910209588733L;
v[975] = 5717130970922723793L;
v[976] = 5311379928167670986L;
v[977] = 8263053591480089358L;
v[978] = 8498207885068273579L;
v[979] = 308164894771456841L;
v[980] = 6798566308054618863L;
v[981] = 2091206323188120634L;
v[982] = 5438853046443695090L;
v[983] = 5362313873292406831L;
v[984] = 8702164874309912144L;
v[985] = 8579702197267850929L;
v[986] = 6961731899447929715L;
v[987] = 8708436165185235905L;
v[988] = 5569385519558343772L;
v[989] = 6966748932148188724L;
v[990] = 8911016831293350036L;
v[991] = 3768100661953281312L;
v[992] = 7128813465034680029L;
v[993] = 1169806122191669888L;
v[994] = 5703050772027744023L;
v[995] = 2780519305124291072L;
v[996] = 9124881235244390437L;
v[997] = 2604156480827910553L;
v[998] = 7299904988195512349L;
v[999] = 7617348406775193928L;
v[1000] = 5839923990556409879L;
v[1001] = 7938553132791110304L;
v[1002] = 4671939192445127903L;
v[1003] = 8195516913603843405L;
v[1004] = 7475102707912204646L;
v[1005] = 2044780617540418478L;
v[1006] = 5980082166329763716L;
v[1007] = 9014522123516155429L;
v[1008] = 4784065733063810973L;
v[1009] = 5366943291441969181L;
v[1010] = 7654505172902097557L;
v[1011] = 6742434858936195528L;
v[1012] = 6123604138321678046L;
v[1013] = 1704599072407046100L;
v[1014] = 4898883310657342436L;
v[1015] = 8742376887409457526L;
v[1016] = 7838213297051747899L;
v[1017] = 1075082168258445910L;
v[1018] = 6270570637641398319L;
v[1019] = 2704740141977711890L;
v[1020] = 5016456510113118655L;
v[1021] = 4008466520953124674L;
v[1022] = 8026330416180989848L;
v[1023] = 6413546433524999478L;
v[1024] = 6421064332944791878L;
v[1025] = 8820185961561909905L;
v[1026] = 5136851466355833503L;
v[1027] = 1522125547136662440L;
v[1028] = 8218962346169333605L;
v[1029] = 590726468047704741L;
v[1030] = 6575169876935466884L;
v[1031] = 472581174438163793L;
v[1032] = 5260135901548373507L;
v[1033] = 2222739346921486196L;
v[1034] = 8416217442477397611L;
v[1035] = 5401057362445333075L;
v[1036] = 6732973953981918089L;
v[1037] = 2476171482585311299L;
v[1038] = 5386379163185534471L;
v[1039] = 3825611593439204201L;
v[1040] = 8618206661096855154L;
v[1041] = 2431629734760816398L;
v[1042] = 6894565328877484123L;
v[1043] = 3789978195179608280L;
v[1044] = 5515652263101987298L;
v[1045] = 6721331370885596947L;
v[1046] = 8825043620963179677L;
v[1047] = 8909455786045999954L;
v[1048] = 7060034896770543742L;
v[1049] = 3438215814094889640L;
v[1050] = 5648027917416434993L;
v[1051] = 8284595873388777197L;
v[1052] = 9036844667866295990L;
v[1053] = 2187306953196312545L;
v[1054] = 7229475734293036792L;
v[1055] = 1749845562557050036L;
v[1056] = 5783580587434429433L;
v[1057] = 6933899672158505514L;
v[1058] = 4626864469947543547L;
v[1059] = 13096515613938926L;
v[1060] = 7402983151916069675L;
v[1061] = 1865628832353257443L;
v[1062] = 5922386521532855740L;
v[1063] = 1492503065882605955L;
v[1064] = 4737909217226284592L;
v[1065] = 1194002452706084764L;
v[1066] = 7580654747562055347L;
v[1067] = 3755078331700690783L;
v[1068] = 6064523798049644277L;
v[1069] = 8538085887473418112L;
v[1070] = 4851619038439715422L;
v[1071] = 3141119895236824166L;
v[1072] = 7762590461503544675L;
v[1073] = 6870466239749873827L;
v[1074] = 6210072369202835740L;
v[1075] = 5496372991799899062L;
v[1076] = 4968057895362268592L;
v[1077] = 4397098393439919250L;
v[1078] = 7948892632579629747L;
v[1079] = 8880031836874825961L;
v[1080] = 6359114106063703798L;
v[1081] = 3414676654757950445L;
v[1082] = 5087291284850963038L;
v[1083] = 6421090138548270680L;
v[1084] = 8139666055761540861L;
v[1085] = 8429069814306277926L;
v[1086] = 6511732844609232689L;
v[1087] = 4898581444074067179L;
v[1088] = 5209386275687386151L;
v[1089] = 5763539562630208905L;
v[1090] = 8335018041099817842L;
v[1091] = 5532314485466423924L;
v[1092] = 6668014432879854274L;
v[1093] = 736502773631228816L;
v[1094] = 5334411546303883419L;
v[1095] = 2433876626275938215L;
v[1096] = 8535058474086213470L;
v[1097] = 7583551416783411467L;
v[1098] = 6828046779268970776L;
v[1099] = 6066841133426729173L;
v[1100] = 5462437423415176621L;
v[1101] = 3008798499370428177L;
v[1102] = 8739899877464282594L;
v[1103] = 1124728784250774760L;
v[1104] = 6991919901971426075L;
v[1105] = 2744457434771574970L;
v[1106] = 5593535921577140860L;
v[1107] = 2195565947817259976L;
v[1108] = 8949657474523425376L;
v[1109] = 3512905516507615961L;
v[1110] = 7159725979618740301L;
v[1111] = 965650005835137607L;
v[1112] = 5727780783694992240L;
v[1113] = 8151217634151930732L;
v[1114] = 9164449253911987585L;
v[1115] = 3818576177788313364L;
v[1116] = 7331559403129590068L;
v[1117] = 3054860942230650691L;
v[1118] = 5865247522503672054L;
v[1119] = 6133237568526430876L;
v[1120] = 4692198018002937643L;
v[1121] = 6751264462192099863L;
v[1122] = 7507516828804700229L;
v[1123] = 8957348732136404618L;
v[1124] = 6006013463043760183L;
v[1125] = 9010553393080078856L;
v[1126] = 4804810770435008147L;
v[1127] = 1674419492351197600L;
v[1128] = 7687697232696013035L;
v[1129] = 4523745595132871322L;
v[1130] = 6150157786156810428L;
v[1131] = 3618996476106297057L;
v[1132] = 4920126228925448342L;
v[1133] = 6584545995626947969L;
v[1134] = 7872201966280717348L;
v[1135] = 3156575963519296104L;
v[1136] = 6297761573024573878L;
v[1137] = 6214609585557347207L;
v[1138] = 5038209258419659102L;
v[1139] = 8661036483187788089L;
v[1140] = 8061134813471454564L;
v[1141] = 6478960743616640295L;
v[1142] = 6448907850777163651L;
v[1143] = 7027843002264267398L;
v[1144] = 5159126280621730921L;
v[1145] = 3777599994440458757L;
v[1146] = 8254602048994769474L;
v[1147] = 2354811176362823687L;
v[1148] = 6603681639195815579L;
v[1149] = 3728523348461214111L;
v[1150] = 5282945311356652463L;
v[1151] = 4827493086139926451L;
v[1152] = 8452712498170643941L;
v[1153] = 5879314530452927160L;
v[1154] = 6762169998536515153L;
v[1155] = 2858777216991386566L;
v[1156] = 5409735998829212122L;
v[1157] = 5976370588335019576L;
v[1158] = 8655577598126739396L;
v[1159] = 2183495311852210675L;
v[1160] = 6924462078501391516L;
v[1161] = 9125493878965589187L;
v[1162] = 5539569662801113213L;
v[1163] = 5455720695801516188L;
v[1164] = 8863311460481781141L;
v[1165] = 6884478705911470739L;
v[1166] = 7090649168385424913L;
v[1167] = 3662908557358221429L;
v[1168] = 5672519334708339930L;
v[1169] = 6619675660628487467L;
v[1170] = 9076030935533343889L;
v[1171] = 1368109020150804139L;
v[1172] = 7260824748426675111L;
v[1173] = 2939161623491598473L;
v[1174] = 5808659798741340089L;
v[1175] = 506654891422323617L;
v[1176] = 4646927838993072071L;
v[1177] = 2249998320508814055L;
v[1178] = 7435084542388915313L;
v[1179] = 9134020534926967972L;
v[1180] = 5948067633911132251L;
v[1181] = 1773193205828708893L;
v[1182] = 4758454107128905800L;
v[1183] = 8797252194146787761L;
v[1184] = 7613526571406249281L;
v[1185] = 4852231473780084609L;
v[1186] = 6090821257124999425L;
v[1187] = 2037110771653112526L;
v[1188] = 4872657005699999540L;
v[1189] = 1629688617322490021L;
v[1190] = 7796251209119999264L;
v[1191] = 2607501787715984033L;
v[1192] = 6237000967295999411L;
v[1193] = 3930675837543742388L;
v[1194] = 4989600773836799529L;
v[1195] = 1299866262664038749L;
v[1196] = 7983361238138879246L;
v[1197] = 5769134835004372321L;
v[1198] = 6386688990511103397L;
v[1199] = 2770633460632542696L;
v[1200] = 5109351192408882717L;
v[1201] = 7750529990618899641L;
v[1202] = 8174961907854212348L;
v[1203] = 5022150355506418780L;
v[1204] = 6539969526283369878L;
v[1205] = 7707069099147045347L;
v[1206] = 5231975621026695903L;
v[1207] = 631632057204770793L;
v[1208] = 8371160993642713444L;
v[1209] = 8389308921011453915L;
v[1210] = 6696928794914170755L;
v[1211] = 8556121544180118293L;
v[1212] = 5357543035931336604L;
v[1213] = 6844897235344094635L;
v[1214] = 8572068857490138567L;
v[1215] = 5417812354437685931L;
v[1216] = 6857655085992110854L;
v[1217] = 644901068808238421L;
v[1218] = 5486124068793688683L;
v[1219] = 2360595262417545899L;
v[1220] = 8777798510069901893L;
v[1221] = 1932278012497118276L;
v[1222] = 7022238808055921514L;
v[1223] = 5235171224739604944L;
v[1224] = 5617791046444737211L;
v[1225] = 6032811387162639117L;
v[1226] = 8988465674311579538L;
v[1227] = 5963149404718312264L;
v[1228] = 7190772539449263630L;
v[1229] = 8459868338516560134L;
v[1230] = 5752618031559410904L;
v[1231] = 6767894670813248108L;
v[1232] = 9204188850495057447L;
v[1233] = 5294608251188331487L;
<oadd.com.fasterxml.jackson.core.io.schubfach.MathUtils: long[] g> = v;
return;
}
}