diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/gen-tst-strtod-round.c | 26 | ||||
| -rw-r--r-- | stdlib/strtod_l.c | 4 | ||||
| -rw-r--r-- | stdlib/tst-strtod-round-data | 7 | ||||
| -rw-r--r-- | stdlib/tst-strtod-round-data.h | 9091 | ||||
| -rw-r--r-- | stdlib/tst-strtod-round-skeleton.c | 108 |
5 files changed, 4845 insertions, 4391 deletions
diff --git a/stdlib/gen-tst-strtod-round.c b/stdlib/gen-tst-strtod-round.c index a8f1c60f55..df9dcaf2fe 100644 --- a/stdlib/gen-tst-strtod-round.c +++ b/stdlib/gen-tst-strtod-round.c @@ -45,6 +45,7 @@ static int string_to_fp (mpfr_t f, const char *s, mpfr_rnd_t rnd) { + mpfr_clear_overflow (); #ifdef WORKAROUND mpfr_t f2; mpfr_init2 (f2, 100000); @@ -73,34 +74,45 @@ static void round_str (FILE *fout, const char *s, int prec, int emin, int emax, bool ibm_ld) { + mpfr_t max_value; mpfr_t f; mpfr_set_default_prec (prec); mpfr_set_emin (emin); mpfr_set_emax (emax); mpfr_init (f); int r = string_to_fp (f, s, MPFR_RNDD); + bool overflow = mpfr_overflow_p () != 0; if (ibm_ld) { assert (prec == 106 && emin == -1073 && emax == 1024); /* The maximum value in IBM long double has discontiguous mantissa bits. */ - mpfr_t max_value; mpfr_init2 (max_value, 107); mpfr_set_str (max_value, "0x1.fffffffffffff7ffffffffffffcp+1023", 0, MPFR_RNDN); if (mpfr_cmpabs (f, max_value) > 0) - r = 1; - mpfr_clear (max_value); + { + r = 1; + overflow = true; + } } mpfr_fprintf (fout, "\t%s,\n", r ? "false" : "true"); - print_fp (fout, f, ",\n"); + print_fp (fout, f, overflow ? ", true,\n" : ", false,\n"); string_to_fp (f, s, MPFR_RNDN); - print_fp (fout, f, ",\n"); + overflow = (mpfr_overflow_p () != 0 + || (ibm_ld && mpfr_cmpabs (f, max_value) > 0)); + print_fp (fout, f, overflow ? ", true,\n" : ", false,\n"); string_to_fp (f, s, MPFR_RNDZ); - print_fp (fout, f, ",\n"); + overflow = (mpfr_overflow_p () != 0 + || (ibm_ld && mpfr_cmpabs (f, max_value) > 0)); + print_fp (fout, f, overflow ? ", true,\n" : ", false,\n"); string_to_fp (f, s, MPFR_RNDU); - print_fp (fout, f, ""); + overflow = (mpfr_overflow_p () != 0 + || (ibm_ld && mpfr_cmpabs (f, max_value) > 0)); + print_fp (fout, f, overflow ? ", true" : ", false"); mpfr_clear (f); + if (ibm_ld) + mpfr_clear (max_value); } static void diff --git a/stdlib/strtod_l.c b/stdlib/strtod_l.c index e1e9c13765..a09b093fce 100644 --- a/stdlib/strtod_l.c +++ b/stdlib/strtod_l.c @@ -310,7 +310,7 @@ round_and_return (mp_limb_t *retval, intmax_t exponent, int negative, } } - if (exponent > MAX_EXP) + if (exponent >= MAX_EXP) goto overflow; bool half_bit = (round_limb & (((mp_limb_t) 1) << round_bit)) != 0; @@ -343,7 +343,7 @@ round_and_return (mp_limb_t *retval, intmax_t exponent, int negative, exponent = MIN_EXP - 1; } - if (exponent > MAX_EXP) + if (exponent >= MAX_EXP) overflow: return overflow_value (negative); diff --git a/stdlib/tst-strtod-round-data b/stdlib/tst-strtod-round-data index cb908036fd..8a898ddb0e 100644 --- a/stdlib/tst-strtod-round-data +++ b/stdlib/tst-strtod-round-data @@ -148,3 +148,10 @@ -3.237587559719012555462219479113823276249784669017340504844942194598519770062059685508835745638324970127939070738424059838293609943191271023342555035986308991521396355375667467208367312819235870119724263252776995195727778126085574034035411017344128491238136414394551514178668780674015531193282296319913113495953953933831631032855605791532328598034154166422617226534880263244723830482289656875701701315902175019974435037627824356684033058939701577883356651733717468531204705842607568803666569711421917525834491783583598401321476176752039857173551930268891446850107760584333855521475305010940756813993214730850216669600967698749412592167692757446422169965426483919224341062751152057061076522973232731542382055087239368522167656194830741819605276971705738272393130698937532095725613383807312946395184980707534803490003540251394324459987958400939111001126190861523615485938285497714410609640798273816511769391568591823198476415765275534341709798367687043373145262933998108452661682659942586304978413812755518166239176614473815940025342279575304159493260770068030636885746695206392378276051948759263882079389379666940357441139816661913198656187703463519723262653223919257185751827493927586153153792077729913353547954808876263400200663495414360816863385220457719546338953323399286762099558324132103460225580066817535680886906060858264089074120360391613368274811868067637495154569071591624185979937989402513750464346904036668477876379544221432800037599944499161940321774835027752710681217554286366043661491013593886229615614494736186475932160549630939390542165126494166960681499481651861215529870984381726203476917507560266886692644952355421814201350137351435237036912624414444992497142303802423605897110605364956579914507108584002230524766331348271456591814078599780820974961968314684496428310691542272663818486132771177670874927831510002443658417608078383611526899905533629456904234997116303929427262032216072887961072267850618234492852606488522739744757845004694461812790342894353802938671928834585447328398711684245164703625580196678024410303542544534512706792134908369873605619756775207191558754413381571756431003248529020572648048946458999967788526617126349345966896362376841092268841417781414969315002419192181972121568811432459128737128140063645558482525300089060238860392371092102688097987915838860882370022268312322882235690785726190915062699382576041643741555139697348927957856990969985342299599797431503615312038393069808777315725367497595040966093808407117316369389112216628231869173217637452855462790553030636920487796465880633399632793882734473382168542596184679158149228725004404714293460752371865436947855237307240001863573081174929166645758276081272685156100195420794154740486637315823136798695124738873328565945598241199335059398955049459449844741098478330319112865980346771381982151154499846478545530650091824164892591396650703633600023191521502618379988693800703884555191647864959327260468892793195316578510173816406054364319294906641284764788384683586662382042642852654156477478700779123584369965723284711409361741235548687181052639639279285373139084165798451899763979500837428077782309910703522399860010310321116623028924118238023770381424894162717815296210097245221769714495449744327945091943394325259297771090128969600269822520904193880119094781214175887316220311309028456568749910010962366586834018403242866721783519806933018588077977626913774236680220258524711348037750591646286531625306510583751929280541119187219596706615736304036444366663256426643903386694536649648686380122198677895751002327229059364018755164517060321515091173358005987498359799467138817648881479418623694683454881683746841149715181334498096967702613110590140231345676956141227850879905018558219984441819798054463206764413100251255775535830770535620946159535406497134759043192647996190512978586496199656070707105117773853504277795024754647024165589129442822627147868917463795166386552921913398878270019905147510849518894114102536073369047160130990411626048426437835295683097278297774735181045158616674564080237813146623269215019613231938626758927531490945029356207933289363847181438902539297057969524961348607844569521442237914899100699610921669921572167164875488132527187949318543809703388178931170799769792886086681284964861608656928109305369539955846964197786677053847603962194721523867993048528558551380823699291873352033111096244814245789620930756114228971363838828108534030152031715929722499546436547773404017947035596936338462103946797525667033935433489292620531649199724400832489751788129365426568881328357966337292439204382537174357675404105580244018783685041224798457022189315692175787257287203633134300759209060570319508886475377719911176071302732819878165468592717406388218727585026352127436844762994722826390779737322113768842482160812973100323673863050234437722898796145596181862320550301285861980052194863780743808106946940079349630782676930197134206259739125377941060751175427888774493677478593805682322173891730311959284895178856039354015035864931073602059531001572891528828982167810245343327388887928886208615327002834690068636094325052251429781641267821367266715283643659749152264457938319185148303604827363623405060374573505789923003843438436174489383805098509083722050766328250349793203837202162624690093533478114438810603140565070517669964629947543608404988178019652088162307525611931821066493746994641048066011859814337589829896549720562117090677291541318153057715167624128318297771376531788973088699647168159229805877415594828532539839967464064556647594705830374653113373530876658380240145380423210673778776803592627231257495817394581607796277282644312510714532297108722017217547317744900647318022108570947064304280100418971450552007356891519523293614416944016354756866350050833501416942505071203810116719053430543531027953437436446745566839242129860410443198862219469972163224971258348314341755015213118628882713134766297624091644805801186976152536913514712919240503721680740586016832099946807466311777189050656676962849581383790904722087478646766320517056183581970236248227413322748304134245717987665377396011236706627320817654565682680006957454759981618023476448544673508068369492066566895437050571584345511070959483898938738225050292533674383091612495407126805381796487365892131916426837522671623266627483065655765705534239355214893395905702329340402794052884259146049064629582075576563307670749189662176976725361937046200576007893814439695301892528761187544161389682003509216791271836545495416676148151145195082668323677621182991451835324281863619641773620601014510950996746726615703771971266687151564427772359427340566909351858654807999781808513034680104078196607462166928018863385629928965649243954503391493597963417955268639606791452833692467872935741940362479842688642227725662504694679557678170929873774151037857807219938356152056997839625453727441947651198316190826615266016347740875615970031428012228328190610356706715662722241878767131224669837573607121539572299329404101274463156060298348931678277361174057097484704587036227686110677413094941011961262438027467952964727129462752693949019764164538344775554466171428121848999818969114034332797672927989107710137279281184295118233855942385256333164153378143279674287318136458207166174996112638689535976047617221520910027427485161965702038805161865494457444594178063766957037428053543239915792369877811053417485684498667123216132006378630814477106813088898563644909178779463295955587688067277368683836470612208483299572260344016516194247232298740800342116589984844356688576984553507410293250093945014209879983314562948451929862241009275783684229669718641013736581856815277185073259140534024850924787544871716174654424640728091372513505922826813145390369149590652886241000625495880523771672395227312971578042522330551788256261683080675549820375567692574152956993944504349004617185470945673049153218968830613586193253490318451871770642617802890083608004460414305421033261048294750210470303202846332054952531617433058538758154347087854561609738141615145103748777579733574989673510104836750248325511777237502526995647687215364262385606217553691332159421351598905950537513518351520709657614578131639854432532002236696200855408766520105076378983345708235918180749273124590433024519869147132931932462703067876214268579940066030521414045386366551780718510535469417760242493782392451178913322503092692423649855756521279456558275339921490892868856862895022564047205838132429286600764536839036698193759634186899291274131934296059833048690594627623595320676097721540716472990950611858372856271872423573251506230042608074167903809812264198034505185435990821356377966484742250577592243727298923187891299404854048446822719928239317254073429532989089675503790372464487057264894107613242300912487070053676379388189496900004239731820229886894053019610823763957809819187948639826973433528683168917360632750040517847686479093538683816924213175672979768822065627696943474914020483056384006872835738311110986586149510661361915342172527409078742250880056867149831149121019729847242037335904440063130981999650700416787683293610119590221942974317455716336227454789239793488032299063316588917505912406020220045264868457718282165158892171630470709599503997282778168097827497383884195820921583645621293941200045604062174334998171535030513366277293714389988219756129580868518167923841173364269774889246694435264051484911461988227011238661037602452710188911900438270362280391121270021679247152879324195035694278071477495720447513017171148877312193736366348711630105507365864598069586257026976295714123943691621672377694552248018987680338612382795605985191106112971398796002636340393693119651973344711646854574482999700397952536878348512983782198330513744803168936076427075943787200489575435147989033386529956551570669047103070223076797892329848058499725632813524581372640746415923016932853954152472487866287318545051065376430120748079948860283261855738836955246188128622509828635867225708782966017423170535046509131388753895013061151387840089512861842615441729962315731301087767989000918136617870582141517330935619268642915983553727587587676791953536960714236687847602589538927962585440961131240218794236944630211930970546118745080346860636620310193382167597465544174488399379683716417891139157575146359165023126594124268610800205258776019000550873739401445303129974560221438061891795442780328126230093178952504570380957199592993338719686487798275474853570100033092481743129836527369756194343789131822069107283156271772679863538216891518713732520976834628418347371261368933454629405371869789752684339805368137450825001203521193642598238954329102258317328098581116978343883611320940814793654745807336162557057195523274610323601685712314930799144191673243832283659669368716126815118360353441303009936083544193524336572930768154506567477565558211143508568396203781879592033787429012753106951129653074630840496376302289668286168325299592504054003803917262600195834001336180158836765599057537979745423711070158871650976475924365707758401328959478791343481250979029363644046972556422294698558561670817595994409985323205913035009923360820734795546082012200697671744573982535291905800552837118327702125018691644774560916230166739307705017656065679867259837178918123254219579594535869171376148397610005870749992910355727569593729567789260479930835305112462727870603529547312621720559953074675620549217314861961905983960910846471569192459257648138212674016814845327496495507412976753381357634960529826817906824433858135485518651632270319927880227571858035210375443324098235463619647723862420557582355632137583370066602155641218235815280874570372436217877316899649287051943247206509113311767578124e-4966 -3.237587559719012555462219479113823276249784669017340504844942194598519770062059685508835745638324970127939070738424059838293609943191271023342555035986308991521396355375667467208367312819235870119724263252776995195727778126085574034035411017344128491238136414394551514178668780674015531193282296319913113495953953933831631032855605791532328598034154166422617226534880263244723830482289656875701701315902175019974435037627824356684033058939701577883356651733717468531204705842607568803666569711421917525834491783583598401321476176752039857173551930268891446850107760584333855521475305010940756813993214730850216669600967698749412592167692757446422169965426483919224341062751152057061076522973232731542382055087239368522167656194830741819605276971705738272393130698937532095725613383807312946395184980707534803490003540251394324459987958400939111001126190861523615485938285497714410609640798273816511769391568591823198476415765275534341709798367687043373145262933998108452661682659942586304978413812755518166239176614473815940025342279575304159493260770068030636885746695206392378276051948759263882079389379666940357441139816661913198656187703463519723262653223919257185751827493927586153153792077729913353547954808876263400200663495414360816863385220457719546338953323399286762099558324132103460225580066817535680886906060858264089074120360391613368274811868067637495154569071591624185979937989402513750464346904036668477876379544221432800037599944499161940321774835027752710681217554286366043661491013593886229615614494736186475932160549630939390542165126494166960681499481651861215529870984381726203476917507560266886692644952355421814201350137351435237036912624414444992497142303802423605897110605364956579914507108584002230524766331348271456591814078599780820974961968314684496428310691542272663818486132771177670874927831510002443658417608078383611526899905533629456904234997116303929427262032216072887961072267850618234492852606488522739744757845004694461812790342894353802938671928834585447328398711684245164703625580196678024410303542544534512706792134908369873605619756775207191558754413381571756431003248529020572648048946458999967788526617126349345966896362376841092268841417781414969315002419192181972121568811432459128737128140063645558482525300089060238860392371092102688097987915838860882370022268312322882235690785726190915062699382576041643741555139697348927957856990969985342299599797431503615312038393069808777315725367497595040966093808407117316369389112216628231869173217637452855462790553030636920487796465880633399632793882734473382168542596184679158149228725004404714293460752371865436947855237307240001863573081174929166645758276081272685156100195420794154740486637315823136798695124738873328565945598241199335059398955049459449844741098478330319112865980346771381982151154499846478545530650091824164892591396650703633600023191521502618379988693800703884555191647864959327260468892793195316578510173816406054364319294906641284764788384683586662382042642852654156477478700779123584369965723284711409361741235548687181052639639279285373139084165798451899763979500837428077782309910703522399860010310321116623028924118238023770381424894162717815296210097245221769714495449744327945091943394325259297771090128969600269822520904193880119094781214175887316220311309028456568749910010962366586834018403242866721783519806933018588077977626913774236680220258524711348037750591646286531625306510583751929280541119187219596706615736304036444366663256426643903386694536649648686380122198677895751002327229059364018755164517060321515091173358005987498359799467138817648881479418623694683454881683746841149715181334498096967702613110590140231345676956141227850879905018558219984441819798054463206764413100251255775535830770535620946159535406497134759043192647996190512978586496199656070707105117773853504277795024754647024165589129442822627147868917463795166386552921913398878270019905147510849518894114102536073369047160130990411626048426437835295683097278297774735181045158616674564080237813146623269215019613231938626758927531490945029356207933289363847181438902539297057969524961348607844569521442237914899100699610921669921572167164875488132527187949318543809703388178931170799769792886086681284964861608656928109305369539955846964197786677053847603962194721523867993048528558551380823699291873352033111096244814245789620930756114228971363838828108534030152031715929722499546436547773404017947035596936338462103946797525667033935433489292620531649199724400832489751788129365426568881328357966337292439204382537174357675404105580244018783685041224798457022189315692175787257287203633134300759209060570319508886475377719911176071302732819878165468592717406388218727585026352127436844762994722826390779737322113768842482160812973100323673863050234437722898796145596181862320550301285861980052194863780743808106946940079349630782676930197134206259739125377941060751175427888774493677478593805682322173891730311959284895178856039354015035864931073602059531001572891528828982167810245343327388887928886208615327002834690068636094325052251429781641267821367266715283643659749152264457938319185148303604827363623405060374573505789923003843438436174489383805098509083722050766328250349793203837202162624690093533478114438810603140565070517669964629947543608404988178019652088162307525611931821066493746994641048066011859814337589829896549720562117090677291541318153057715167624128318297771376531788973088699647168159229805877415594828532539839967464064556647594705830374653113373530876658380240145380423210673778776803592627231257495817394581607796277282644312510714532297108722017217547317744900647318022108570947064304280100418971450552007356891519523293614416944016354756866350050833501416942505071203810116719053430543531027953437436446745566839242129860410443198862219469972163224971258348314341755015213118628882713134766297624091644805801186976152536913514712919240503721680740586016832099946807466311777189050656676962849581383790904722087478646766320517056183581970236248227413322748304134245717987665377396011236706627320817654565682680006957454759981618023476448544673508068369492066566895437050571584345511070959483898938738225050292533674383091612495407126805381796487365892131916426837522671623266627483065655765705534239355214893395905702329340402794052884259146049064629582075576563307670749189662176976725361937046200576007893814439695301892528761187544161389682003509216791271836545495416676148151145195082668323677621182991451835324281863619641773620601014510950996746726615703771971266687151564427772359427340566909351858654807999781808513034680104078196607462166928018863385629928965649243954503391493597963417955268639606791452833692467872935741940362479842688642227725662504694679557678170929873774151037857807219938356152056997839625453727441947651198316190826615266016347740875615970031428012228328190610356706715662722241878767131224669837573607121539572299329404101274463156060298348931678277361174057097484704587036227686110677413094941011961262438027467952964727129462752693949019764164538344775554466171428121848999818969114034332797672927989107710137279281184295118233855942385256333164153378143279674287318136458207166174996112638689535976047617221520910027427485161965702038805161865494457444594178063766957037428053543239915792369877811053417485684498667123216132006378630814477106813088898563644909178779463295955587688067277368683836470612208483299572260344016516194247232298740800342116589984844356688576984553507410293250093945014209879983314562948451929862241009275783684229669718641013736581856815277185073259140534024850924787544871716174654424640728091372513505922826813145390369149590652886241000625495880523771672395227312971578042522330551788256261683080675549820375567692574152956993944504349004617185470945673049153218968830613586193253490318451871770642617802890083608004460414305421033261048294750210470303202846332054952531617433058538758154347087854561609738141615145103748777579733574989673510104836750248325511777237502526995647687215364262385606217553691332159421351598905950537513518351520709657614578131639854432532002236696200855408766520105076378983345708235918180749273124590433024519869147132931932462703067876214268579940066030521414045386366551780718510535469417760242493782392451178913322503092692423649855756521279456558275339921490892868856862895022564047205838132429286600764536839036698193759634186899291274131934296059833048690594627623595320676097721540716472990950611858372856271872423573251506230042608074167903809812264198034505185435990821356377966484742250577592243727298923187891299404854048446822719928239317254073429532989089675503790372464487057264894107613242300912487070053676379388189496900004239731820229886894053019610823763957809819187948639826973433528683168917360632750040517847686479093538683816924213175672979768822065627696943474914020483056384006872835738311110986586149510661361915342172527409078742250880056867149831149121019729847242037335904440063130981999650700416787683293610119590221942974317455716336227454789239793488032299063316588917505912406020220045264868457718282165158892171630470709599503997282778168097827497383884195820921583645621293941200045604062174334998171535030513366277293714389988219756129580868518167923841173364269774889246694435264051484911461988227011238661037602452710188911900438270362280391121270021679247152879324195035694278071477495720447513017171148877312193736366348711630105507365864598069586257026976295714123943691621672377694552248018987680338612382795605985191106112971398796002636340393693119651973344711646854574482999700397952536878348512983782198330513744803168936076427075943787200489575435147989033386529956551570669047103070223076797892329848058499725632813524581372640746415923016932853954152472487866287318545051065376430120748079948860283261855738836955246188128622509828635867225708782966017423170535046509131388753895013061151387840089512861842615441729962315731301087767989000918136617870582141517330935619268642915983553727587587676791953536960714236687847602589538927962585440961131240218794236944630211930970546118745080346860636620310193382167597465544174488399379683716417891139157575146359165023126594124268610800205258776019000550873739401445303129974560221438061891795442780328126230093178952504570380957199592993338719686487798275474853570100033092481743129836527369756194343789131822069107283156271772679863538216891518713732520976834628418347371261368933454629405371869789752684339805368137450825001203521193642598238954329102258317328098581116978343883611320940814793654745807336162557057195523274610323601685712314930799144191673243832283659669368716126815118360353441303009936083544193524336572930768154506567477565558211143508568396203781879592033787429012753106951129653074630840496376302289668286168325299592504054003803917262600195834001336180158836765599057537979745423711070158871650976475924365707758401328959478791343481250979029363644046972556422294698558561670817595994409985323205913035009923360820734795546082012200697671744573982535291905800552837118327702125018691644774560916230166739307705017656065679867259837178918123254219579594535869171376148397610005870749992910355727569593729567789260479930835305112462727870603529547312621720559953074675620549217314861961905983960910846471569192459257648138212674016814845327496495507412976753381357634960529826817906824433858135485518651632270319927880227571858035210375443324098235463619647723862420557582355632137583370066602155641218235815280874570372436217877316899649287051943247206509113311767578125e-4966 -3.2375875597190125554622194791138232762497846690173405048449421945985197700620596855088357456383249701279390707384240598382936099431912710233425550359863089915213963553756674672083673128192358701197242632527769951957277781260855740340354110173441284912381364143945515141786687806740155311932822963199131134959539539338316310328556057915323285980341541664226172265348802632447238304822896568757017013159021750199744350376278243566840330589397015778833566517337174685312047058426075688036665697114219175258344917835835984013214761767520398571735519302688914468501077605843338555214753050109407568139932147308502166696009676987494125921676927574464221699654264839192243410627511520570610765229732327315423820550872393685221676561948307418196052769717057382723931306989375320957256133838073129463951849807075348034900035402513943244599879584009391110011261908615236154859382854977144106096407982738165117693915685918231984764157652755343417097983676870433731452629339981084526616826599425863049784138127555181662391766144738159400253422795753041594932607700680306368857466952063923782760519487592638820793893796669403574411398166619131986561877034635197232626532239192571857518274939275861531537920777299133535479548088762634002006634954143608168633852204577195463389533233992867620995583241321034602255800668175356808869060608582640890741203603916133682748118680676374951545690715916241859799379894025137504643469040366684778763795442214328000375999444991619403217748350277527106812175542863660436614910135938862296156144947361864759321605496309393905421651264941669606814994816518612155298709843817262034769175075602668866926449523554218142013501373514352370369126244144449924971423038024236058971106053649565799145071085840022305247663313482714565918140785997808209749619683146844964283106915422726638184861327711776708749278315100024436584176080783836115268999055336294569042349971163039294272620322160728879610722678506182344928526064885227397447578450046944618127903428943538029386719288345854473283987116842451647036255801966780244103035425445345127067921349083698736056197567752071915587544133815717564310032485290205726480489464589999677885266171263493459668963623768410922688414177814149693150024191921819721215688114324591287371281400636455584825253000890602388603923710921026880979879158388608823700222683123228822356907857261909150626993825760416437415551396973489279578569909699853422995997974315036153120383930698087773157253674975950409660938084071173163693891122166282318691732176374528554627905530306369204877964658806333996327938827344733821685425961846791581492287250044047142934607523718654369478552373072400018635730811749291666457582760812726851561001954207941547404866373158231367986951247388733285659455982411993350593989550494594498447410984783303191128659803467713819821511544998464785455306500918241648925913966507036336000231915215026183799886938007038845551916478649593272604688927931953165785101738164060543643192949066412847647883846835866623820426428526541564774787007791235843699657232847114093617412355486871810526396392792853731390841657984518997639795008374280777823099107035223998600103103211166230289241182380237703814248941627178152962100972452217697144954497443279450919433943252592977710901289696002698225209041938801190947812141758873162203113090284565687499100109623665868340184032428667217835198069330185880779776269137742366802202585247113480377505916462865316253065105837519292805411191872195967066157363040364443666632564266439033866945366496486863801221986778957510023272290593640187551645170603215150911733580059874983597994671388176488814794186236946834548816837468411497151813344980969677026131105901402313456769561412278508799050185582199844418197980544632067644131002512557755358307705356209461595354064971347590431926479961905129785864961996560707071051177738535042777950247546470241655891294428226271478689174637951663865529219133988782700199051475108495188941141025360733690471601309904116260484264378352956830972782977747351810451586166745640802378131466232692150196132319386267589275314909450293562079332893638471814389025392970579695249613486078445695214422379148991006996109216699215721671648754881325271879493185438097033881789311707997697928860866812849648616086569281093053695399558469641977866770538476039621947215238679930485285585513808236992918733520331110962448142457896209307561142289713638388281085340301520317159297224995464365477734040179470355969363384621039467975256670339354334892926205316491997244008324897517881293654265688813283579663372924392043825371743576754041055802440187836850412247984570221893156921757872572872036331343007592090605703195088864753777199111760713027328198781654685927174063882187275850263521274368447629947228263907797373221137688424821608129731003236738630502344377228987961455961818623205503012858619800521948637807438081069469400793496307826769301971342062597391253779410607511754278887744936774785938056823221738917303119592848951788560393540150358649310736020595310015728915288289821678102453433273888879288862086153270028346900686360943250522514297816412678213672667152836436597491522644579383191851483036048273636234050603745735057899230038434384361744893838050985090837220507663282503497932038372021626246900935334781144388106031405650705176699646299475436084049881780196520881623075256119318210664937469946410480660118598143375898298965497205621170906772915413181530577151676241283182977713765317889730886996471681592298058774155948285325398399674640645566475947058303746531133735308766583802401453804232106737787768035926272312574958173945816077962772826443125107145322971087220172175473177449006473180221085709470643042801004189714505520073568915195232936144169440163547568663500508335014169425050712038101167190534305435310279534374364467455668392421298604104431988622194699721632249712583483143417550152131186288827131347662976240916448058011869761525369135147129192405037216807405860168320999468074663117771890506566769628495813837909047220874786467663205170561835819702362482274133227483041342457179876653773960112367066273208176545656826800069574547599816180234764485446735080683694920665668954370505715843455110709594838989387382250502925336743830916124954071268053817964873658921319164268375226716232666274830656557657055342393552148933959057023293404027940528842591460490646295820755765633076707491896621769767253619370462005760078938144396953018925287611875441613896820035092167912718365454954166761481511451950826683236776211829914518353242818636196417736206010145109509967467266157037719712666871515644277723594273405669093518586548079997818085130346801040781966074621669280188633856299289656492439545033914935979634179552686396067914528336924678729357419403624798426886422277256625046946795576781709298737741510378578072199383561520569978396254537274419476511983161908266152660163477408756159700314280122283281906103567067156627222418787671312246698375736071215395722993294041012744631560602983489316782773611740570974847045870362276861106774130949410119612624380274679529647271294627526939490197641645383447755544661714281218489998189691140343327976729279891077101372792811842951182338559423852563331641533781432796742873181364582071661749961126386895359760476172215209100274274851619657020388051618654944574445941780637669570374280535432399157923698778110534174856844986671232161320063786308144771068130888985636449091787794632959555876880672773686838364706122084832995722603440165161942472322987408003421165899848443566885769845535074102932500939450142098799833145629484519298622410092757836842296697186410137365818568152771850732591405340248509247875448717161746544246407280913725135059228268131453903691495906528862410006254958805237716723952273129715780425223305517882562616830806755498203755676925741529569939445043490046171854709456730491532189688306135861932534903184518717706426178028900836080044604143054210332610482947502104703032028463320549525316174330585387581543470878545616097381416151451037487775797335749896735101048367502483255117772375025269956476872153642623856062175536913321594213515989059505375135183515207096576145781316398544325320022366962008554087665201050763789833457082359181807492731245904330245198691471329319324627030678762142685799400660305214140453863665517807185105354694177602424937823924511789133225030926924236498557565212794565582753399214908928688568628950225640472058381324292866007645368390366981937596341868992912741319342960598330486905946276235953206760977215407164729909506118583728562718724235732515062300426080741679038098122641980345051854359908213563779664847422505775922437272989231878912994048540484468227199282393172540734295329890896755037903724644870572648941076132423009124870700536763793881894969000042397318202298868940530196108237639578098191879486398269734335286831689173606327500405178476864790935386838169242131756729797688220656276969434749140204830563840068728357383111109865861495106613619153421725274090787422508800568671498311491210197298472420373359044400631309819996507004167876832936101195902219429743174557163362274547892397934880322990633165889175059124060202200452648684577182821651588921716304707095995039972827781680978274973838841958209215836456212939412000456040621743349981715350305133662772937143899882197561295808685181679238411733642697748892466944352640514849114619882270112386610376024527101889119004382703622803911212700216792471528793241950356942780714774957204475130171711488773121937363663487116301055073658645980695862570269762957141239436916216723776945522480189876803386123827956059851911061129713987960026363403936931196519733447116468545744829997003979525368783485129837821983305137448031689360764270759437872004895754351479890333865299565515706690471030702230767978923298480584997256328135245813726407464159230169328539541524724878662873185450510653764301207480799488602832618557388369552461881286225098286358672257087829660174231705350465091313887538950130611513878400895128618426154417299623157313010877679890009181366178705821415173309356192686429159835537275875876767919535369607142366878476025895389279625854409611312402187942369446302119309705461187450803468606366203101933821675974655441744883993796837164178911391575751463591650231265941242686108002052587760190005508737394014453031299745602214380618917954427803281262300931789525045703809571995929933387196864877982754748535701000330924817431298365273697561943437891318220691072831562717726798635382168915187137325209768346284183473712613689334546294053718697897526843398053681374508250012035211936425982389543291022583173280985811169783438836113209408147936547458073361625570571955232746103236016857123149307991441916 |