889,070,149,157,878,755,027,772,419,028,135,040,037,513,042,650,087,165,923,802,670,561,380,777,019,311,445,622,839,587,826,515,129,408,861,620,134,643,625,873,385,714,204,462,316,306,203,273,434,050,361,677,558,874,355,759,321,174,340,140,027,386,321,772,214,678,539,077,061,380,886,638,059,658,279,858,079,276,723,961,737,253,425,202,018,860,096,361,736,024,324,216,574,545,743,092,796,034,892,206,054,274,560,634,087,211,930,925,180,594,322,816,363,547,833,657,650,940,079,246,874,126,059,452,632,525,712,908,818,394,264,716,459,161,405,188,699,192,229,340,123,812,625,686,998,168,201,375,474,629,509,178,745,353,530,519,465,202,125,588,370,480,484,364,085,824,985,899,896,590,139,332,101,632,628,691,117,297,324,227,373,229,727,744,790,018,158,900,579,318,069,040,788,177,813,699,975,538,017,490,278,178,258,104,198,932,017,831,937,214,276,232,107,241,479,899,189,971,340,488,087,186,204,083,976,752,270,541,889,706,457,561,039,152,337,882,119,573,900,896,441,341,071,696,587,322,772,303,721,719,028,717,140,719,259,850,807,341,188,549,409,732,353,138,885,755,205,900,821,859,069,368,549,016,644,392,157,509,751,436,374,740,705,124,603,210,100,380,872,366,305,634,061,742,042,127,667,772,369,924,245,336,630,340,365,918,295,250,094,521,686,475,830,399,241,817,301,130,668,599,991,750,866,463,247,039,494,280,135,437,090,012,006,250,867,996,007,462,494,739,934,967,543,501,754,694,567,857,664,604,006,936,653,395,954,329,661,700,078,789,341,909,927,306,770,874,845,352,448,626,312,406,488,842,223,261,762,031,017,186,862,478,867,247,239,603,144,354,822,187,826,080,702,697,305,522,507,191,852,725,344,067,000,218,442,044,578,548,270,662,223,084,181,842,202,759,777,413,958,444,602,673,019,297,760,400,485,531,737,938,585,356,152,714,757,252,982,696,893,376,307,881,560,126,213,175,706,112,624,926,005,907,979,386,720,097,488,290,622,794,088,200,083,789,812,772,487,063,138,053,409,762,155,649,456,731,649,239,592,262,808,995,976,659,079,324,125,288,236,062,531,830,828,713,634,262,647,321,202,061,334,409,614,558,631,792,292,287,682,647,328,200,730,733,552,958,143,835,535,977,705,266,957,916,865,135,112,909,745,386,454,447,308,568,848,128,306,549,216,418,231,556,894,736,831,403,790,446,714,624,278,313,447,133,165,306,531,382,404,636,955,258,236,107,618,026,033,850,706,814,349,015,069,445,276,288,781,722,935,662,059,455,473,555,971,805,123,449,089,319,694,628,344,343,733,463,466,743,192,301,543,677,173,931,839,635,473,443,569,652,330,216,122,796,486,790,386,368,382,779,425,124,100,414,928,912,324,894,114,488,053,240,042,369,006,955,717,441,172,114,691,122,057,768,058,960,428,403,984,843,987,784,598,618,367,494,606,514,415,086,506,438,516,714,863,898,580,514,173,725,734,732,921,586,789,935,191,541,058,501,862,788,187,145,132,961,988,760,560,326,770,089,385,192,737,232,878,991,970,919,645,679,361,855,964,260,319,396,164,007,398,266,241,484,121,959,594,411,229,103,586,866,159,367,879,524,782,286,348,550,871,762,928,460,202,662,670,450,486,374,983,285,216,614,602,661,968,908,529,329,848,239,596,257,123,918,393,519,451,524,020,772,710,374,734,650,923,842,361,268,704,635,825,554,593,876,839,238,401,018,994,078,257,823,218,340,247,060,182,850,321,411,136,544,032,760,282,648,820,103,835,804,040,439,140,063,907,919,814,098,289,580,934,633,272,554,143,234,908,164,885,942,650,977,370,405,123,192,774,490,647,214,151,592,160,121,346,754,646,637,490,209,944,064,514,184,736,841,954,161,815,410,161,025,514,937,580,132,396,626,624,446,818,058,373,003,338,885,205,720,382,823,602,447,509,386,914,000,843,123,699,417,759,240,216,147,224,668,011,615,617,399,574,714,260,586,082,781,858,587,757,363,867,458,471,270,786,514,276,153,731,956,662,789,567,763,829,424,843,496,891,860,531,710,049,697,526,610,273,091,427,926,516,467,212,373,174,153,912,606,429,014,273,193,004,698,896,368,365,050,265,136,881,218,848,304,779,481,644,614,976,000,673,297,489,511,666,246,781,185,679,590,735,108,121,674,857,460,073,827,715,075,683,143,723,125,953,523,678,639,897,160,923,569,631,264,126,722,523,236,794,809,670,264,325,786,676,984,806,705,358,535,485,526,020,810,418,616,835,192,704,027,823,446,052,417,889,325,602,431,221,365,765,088,549,719,124,338,736,911,497,237,316,268,133,498,422,716,016,492,461,900,958,652,784,860,107,919,240,591,379,825,969,789,027,181,891,209,935,591,879,330,386,169,286,943,731,244,049,572,145,598,547,742,502,224,384,530,442,739,872,674,837,522,584,910,170,204,520,398,874,288,855,229,818,343,308,188,889,902,478,950,025,341,874,834,597,572,317,023,610,183,345,455,326,153,927,518,282,591,254,329,637,291,667,230,107,995,507,693,198,877,630,368,964,337,235,990,356,547,505,580,063,336,302,127,065,446,125,668,383,590,260,037,820,627,750,735,276,919,121,958,593,814,178,801,812,505,171,285,370,145,457,837,174,277,042,053,591,568,259,310,138,187,826,567,593,507,585,810,310,205,905,941,574,960,558,926,081,427,290,213,213,719,226,779,132,722,858,911,366,323,265,386,932,296,482,456,243,414,313,181,661,494,775,293,497,244,460,822,184,274,261,784,994,936,024,196,183,025,393,377,391,047,040,029,849,402,467,294,582,975,028,557,979,041,964,873,702,653,560,926,202,068,636,471,039,810,532,888,496,419,736,289,383,246,532,158,495,262,375,693,954,501,723,272,472,909,006,060,050,494,036,060,649,156,624,313,555,187,749,659,922,894,331,912,271,480,529,362,586,402,555,506,529,160,129,024,271,601,366,344,467,556,403,198,218,225,322,343,980,744,179,207,416,810,777,286,807,180,335,703,805,603,346,969,407,239,762,143,092,146,690,949,197,337,938,438,968,671,623,148,086,664,998,101,054,145,722,064,773,667,860,781,693,152,139,645,821,531,209,791,965,781,216,611,620,722,064,485,986,466,985,449,154,399,875,346,264,112,190,666,391,532,404,717,004,750,101,015,965,868,612,435,960,915,705,311,091,344,759,915,857,717,140,595,616,124,660,881,680,289,901,995,657,998,863,630,686,271,018,174,534,206,598,379,960,445,472,579,046,424,308,777,314,206,133,336,389,091,437,177,011,392,398,127,116,561,148,181,226,735,308,274,221,741,568,861,471,532,534,457,479,958,472,459,277,862,404,862,746,295,200,380,359,541,814,810,981,030,277,750,312,741,962,445,428,542,431,682,091,056,723,210,333,056,468,594,931,770,299,411,566,775,834,187,237,224,789,357,178,145,635,849,248,193,391,871,860,675,078,702,301,920,144,691,460,848,343,881,144,955,418,441,303,299,714,868,322,375,189,245,425,573,644,095,863,030,908,081,780,312,116,805,491,031,826,030,971,501,943,179,510,194,297,618,997,594,008,433,304,082,104,600,594,485,130,567,725,531,575,224,968,294,281,661,823,011,209,872,857,579,496,914,314,719,412,311,306,906,816,381,621,149,184,521,834,863,622,971,085,652,727,085,684,763,748,776,005,503,421,893,514,531,052,201,486,725,080,815,294,468,796,459,250,946,907,278,719,671,036,152,539,044,211,296,840,743,137,086,268,766,714,717,928,102,601,217,811,108,170,653,930,909,630,008,687,848,049,210,058,413,761,298,519,102,755,162,573,289,029,857,978,994,186,237,315,459,248,390,126,125,134,760,048,899,303,503,032,963,556,589,445,386,086,547,918,039,871,618,666,966,551,804,797,036,634,276,319,880,442,310,632,377,849,535,064,616,139,343,993,654,173,500,673,742,175,784,252,946,054,655,031,256,602,292,119,934,183,062,000,952,123,746,347,846,298,860,393,909,469,547,756,945,747,146,322,654,184,347,020,737,806,145,888,100,752,014,822,752,025,032,233,619,453,920,705,105,098,127,595,874,603,290,363,330,409,911,397,347,969,796,058,322,135,327,039,429,218,409,787,357,864,006,876,628,100,838,000,574,079,284,485,809,237,169,720,210,079,993,516,790,061,566,840,930,313,758,007,958,225,324,381,442,727,990,303,502,608,262,174,307,624,043,816,234,582,689,038,962,882,311,281,438,416,772,252,916,454,618,376,707,277,679,398,983,349,230,731,015,012,262,288,517,823,250,494,355,428,757,081,247,510,277,119,372,232,551,980,513,283,905,270,471,387,556,764,690,562,729,810,655,281,261,916,782,799,557,243,224,906,714,282,636,576,612,402,958,319,427,747,273,226,802,447,079,115,624,545,438,158,787,406,178,045,163,223,476,213,605,940,479,778,240,607,912,155,219,158,380,035,055,603,934,264,385,927,275,885,549,815,026,884,574,785,170,606,018,230,825,043,236,415,117,352,128,992,541,295,462,330,343,510,454,607,815,200,432,168,666,787,010,675,357,695,490,184,561,020,050,008,602,103,538,471,630,146,009,497,600,103,349,381,683,759,132,332,383,283,594,599,138,886,790,233,854,322,963,506,694,262,883,274,003,310,246,431,766,962,264,556,055,485,247,014,688,540,241,697,279,844,118,267,327,491,095,524,739,939,176,270,279,309,664,202,368,844,563,131,072,982,371,274,689,373,062,428,636,880,482,050,906,345,485,700,849,638,473,011,491,856,377,754,390,562,471,452,693,776,541,349,577,623,354,717,369,574,475,187,235,555,762,124,074,932,038,039,043,067,775,639,486,981,563,808,252,096,677,233,919,593,186,060,660,020,730,592,249,252,001,661,305,395,527,857,641,927,186,246,835,868,424,812,170,476,648,295,258,690,049,425,874,212,517,532,744,357,336,491,585,009,900,950,957,016,873,303,297,314,248,982,967,533,188,502,526,937,015,499,804,291,055,828,034,314,746,764,805,011,925,186,366,976,091,129,749,315,515,966,794,308,701,405,517,102,654,862,676,572,822,388,173,597,294,643,388,950,155,863,199,623,818,974,915,930,070,844,923,815,548,461,921,115,381,452,380,022,231,846,053,830,737,153,204,428,943,052,736,876,722,453,876,716,670,549,182,324,887,856,392,290,431,775,514,735,749,452,501,936,775,468,517,200,027,366,100,015,520,496,089,369,782,627,160,372,755,223,007,759,779,476,137,620,114,983,270,575,859,835,190,687,162,095,911,690,128,663,611,978,343,203,102,882,834,996,743,649,804,711,870,869,058,011,948,196,582,230,835,189,343,662,220,394,747,547,391,931,992,388,270,970,667,762,249,226,809,878,508,365,902,192,730,428,195,507,758,743,459,161,625,665,497,288,002,054,068,533,185,614,357,804,926,866,915,757,694,821,096,622,542,010,185,598,301,959,062,038,527,812,434,680,673,804,260,179,919,205,737,120,332,571,210,750,714,968,651,062,347,509,138,091,683,136,482,464,478,742,873,944,234,106,098,697,884,869,246,043,540,793,183,136,075,989,157,168,090,709,938,636,491,834,256,884,231,840,660,467,162,751,346,098,750,872,520,551,553,690,860,220,107,410,948,151,501,923,198,008,736,876,970,761,153,831,408,784,130,270,470,307,425,036,307,942,487,225,790,257,583,673,099,241,348,883,891,647,378,814,890,887,343,212,090,913,580,202,039,984,731,604,587,130,159,424,875,426,344,651,556,936,477,781,462,597,510,989,515,644,988,530,437,484,995,813,767,613,781,759,230,098,900,288,827,696,705,396,310,430,876,883,674,439,589,396,775,930,565,184,055,721,118,919,101,408,974,657,355,793,558,900,215,757,917,122,373,189,280,123,106,809,005,597,332,199,288,195,267,600,160,416,904,177,155,721,243,146,579,763,994,803,164,647,961,867,798,364,952,159,806,944,963,100,518,573,784,485,636,120,810,390,995,290,366,250,925,016,871,785,338,603,837,464,429,904,518,317,427,219,338,502,144,843,800,466,268,536,762,402,848,735,566,597,802,079,698,143,182,691,647,787,756,172,573,016,891,349,850,864,785,679,674,314,980,031,532,026,958,090,558,717,128,599,508,917,972,395,468,469,436,100,367,620,338,769,032,622,610,053,858,858,673,193,421,882,359,776,424,765,094,052,697,497,852,972,515,935,554,937,444,136,983,571,568,122,999,237,705,595,978,237,626,388,387,325,228,791,606,537,407,885,291,909,489,728,361,223,171,719,050,485,515,310,514,656,199,972,438,084,367,268,681,832,785,092,763,754,041,327,402,191,066,054,646,955,661,633,801,998,763,219,936,975,315,429,421,781,903,018,249,462,876,110,683,527,875,462,893,932,352,326,106,754,120,731,807,701,052,317,811,257,030,200,654,007,389,695,058,996,861,517,990,528,933,429,077,751,024,071,191,953,534,420,805,425,368,928,788,635,629,073,550,355,915,604,194,155,978,275,305,540,433,899,422,354,702,106,943,599,421,752,621,587,157,782,936,953,506,030,809,759,440,993,628,357,299,219,056,568,768,464,132,424,269,053,897,268,377,745,575,183,327,677,706,348,356,240,066,985,273,032,809,054,784,260,212,687,054,366,488,484,971,443,004,881,650,574,923,280,944,915,095,332,924,177,164,271,884,059,134,612,218,135,088,727,685,169,555,101,899,726,091,042,027,596,640,258,735,706,117,692,018,695,587,259,399,946,968,865,292,687,665,950,473,122,916,381,400,101,311,588,659,351,292,760,936,672,487,066,364,603,893,677,032,857,745,321,867,799,693,808,058,393,528,996,605,137,573,708,504,516,906,441,123,233,182,936,490,524,552,303,713,011,334,401,543,534,817,922,388,039,515,956,368,147,983,413,797,353,211,651,892,811,979,530,361,262,511,402,633,214,547,400,685,149,486,788,955,545,417,494,757,288,550,915,129,839,940,189,705,611,641,852,197,250,740,900,364,962,229,417,781,244,772,867,618,170,050,657,281,993,205,298,713,395,125,826,007,345,836,782,192,892,251,855,667,341,570,906,869,965,173,403,530,308,495,435,304,663,183,063,353,430,257,541,370,997,447,409,940,814,503,807,007,659,568,061,200,808,203,095,528,981,455,070,388,413,108,856,387,913,558,972,830,097,871,811,023,788,819,614,988,533,051,089,680,095,333,263,347,932,256,518,558,776,845,199,075,155,541,293,939,681,545,393,646,532,614,122,750,363,924,917,881,601,943,710,230,169,920,680,852,093,288,864,980,756,109,776,946,523,519,507,641,065,036,497,085.997225205303345152
$ 3061063693609971397354579466012713527941363232104721062135305857005953699170451133579534120789814573206642259811052736896405705553410710298371409247428219610534149437085328986784886749650669829169071739914578366090828063149867115243054459387199166396332099735032066808409478628246181140674068550952841816578303584563375377123667899827883673107154086821395125153073549574784268845762530780483910813126822961923968369157606353255721044319947995743901908908058523272626392662065367759068117190460373707372214163676531237774112854397524838132747952298289289822138075679016597002918464239748560285382661037095618021136116254288941735585327199367687794917086044265235723757856361217797881337460571999068510981482188931042660621637324067453595205489289296908642889810342512983600331760218261657162447490867067678150975577542257943689741548035084465311842233457535665517473473426229431724377024082311609836696493086463742984820825454761981206904134734087840290060375104149877495041430644213006208506193124521407426867295175446283734226074466292309722124833556178482982007268009578185975127143758826628520005741594274201040785606652473294368978826508885828636759606081357926673491064219782499490829891370673368575843308723101636791229359184775691468678453663076515559980107594751530350688204565815289650889201460086825086678831544031533884264363310455012896478677593974836059630145508015431869665284498325971426568098737003675043466133565274952239244655745964752065056562077597096903186509290024202862245041220730989940543732845797289620324011841113885349198980524818209967516158831894255683013684926972439185710534033915944603864472599786864632541371118325007089454853203938559499645629201238218910964268200265172551773292848633711857338848279796924829973697401307324412710237187001112960340877049826085327180767745042695575123680429964048662139769600548509227480273873355898303507145764542399515172696364932692513759307131904891601039365795909285480991601349266706028110431118113805597186969450571602880517815033234937147073751773894297688383377718131902901978741808105757164616620189057139743449640160274689147096493506120231079093540770891119072421513159310209942964969926451508888337553257514091271987743498106453283167620332650471525634743457257877667660376758920848487080304079275039699643574714871100540909817163347248244786080800637961748316917199484833534590653923542629990512867322550947149703574165673465223864425341995113834560165542187692252789497782719436952318326932400292786671553835488220697982430962822728231155526933694297612180393312799350458088622542509130611419849374143505050228297235832754441698742708455004615009379847187233650151089168009722600312922575083167007836874107599431980986792528093037714660270550180475956848421392102511329031027621034096562104239862261361521498451620872875546888344872330291924667185250758068076926692545290240531746139349875611984781199744239322322697566065654776658584546220120081223918311154764262784824166716362281960677049183446567395974828893666026320310567129505765196618319312867162877072435385040769201120846477567120063025230665291927112863946634567087211369740061824472530437651967400631140184351726256552291473961217486319120049338521711324745362816800279644202668050282667924873897255944477768322394076261824366640136644093995374076245310864523956750911247736893702994417954516754663152024352748416775047500811826978072781705514641484509758123087397349848775941029383206130518845151503966880561631442143350046183786854813312688670943768936379797006378613133913292244174484954092980705567091418709938093672637491674215928321796654352405278443006828106179623516335316530195096142316303126160658968513590572802645863848019916681067451715368992452246104660720370542013011661611142446113316967840802108252661996550922825477344106537443124896854309111529354832408161480029708729927971835734540571059419120747890638318629084726960353393622353344401425753077495271658600404624587065123497804472216249330558700250147765363307256009419961521529499186738586308530245604209942167682806837857625698775945598733984368793348757711482800216720865723727052998722692273326437862189270455967597227775280515389694029452407919666248600934673570671080534870671080994316413398930420135838026011343828618773276079181080183427331958891241308396996269961353496014335856507886954405989959432120683837891502362587290582903628858561308288305819310683865930434234841227909216885794801869304427348186644184930771309574010715322493637835269662344395225961636220766282658167831741714532074806230680496017194692260448106035256469350162027417571034333734433978167531903473735321511447640404347562898195293274117454957524481171814920955043341035750494453255724430982669753055875369392590445158980571283613154111160299074682999763574504232084421168080164239525707450311584379817908488354003998729106384157607802594124295067751008016398163814038731378203066555475088624361777616734960389133335494750201082349745461177670392258343613438188995474265453586241425161042796800377412727233409281989786826891653191838150392253378548895430506409880638874118894845451941550129958969356507974047668976160263552731819922468780414784498005496913597037959982606590672480597689582980402428632499477717958051045606653519786781367244126434226256975710396247263035270999727135961282533137832766410588554298127969854238272574987720734232532349633698115650832690610090705226228834035512441895126571294109405975399401357501345008253463715085188614725692671199209130108820265864136855880281139733803504898881228667079187529878780660356319005792265603079465188689393677153866851250856253914926733185076757299290655157864676417827093376860400791193134008325808840877919536538428537515438562950341835540413568753630418781460794544326879231141335645791408976882314837215843271100986387641226780127937683740382606158567321727408263662884353637884127923441034418802940531044380816610401268432411498421363540621594869030590805415552973131295315750874792821000874493270731186351743704155677972879697057801533498944237230122017825991612699297788193012487013683127759162505335783728697149334971989619565714992078527779867450614873221443369891549970121910712402242404720550978491869220741973342951652151091061913767532185668370494466978949838922569538317737133601778432598590593319104928902636861341212251439399905242771531276226994057003292088980123398336206059219458276337283653441901245042443413202978753448575651329582106945099303594623065285755407249195016371192747078528532875191713488291351961709778009504043602266414147959012299985320926050935787827272712624189982867198828229390822676505331657706310210469931163873197615879965029863920928309098498932089389565130132141523981248790555242574132136898819714436302037825191735132445973947705918963066426646495793479736455333834094848700256088888996641917540463604143590718099201739674056543799035126605559586060562501556548042240954154217836849040248943798521066285491376113775386055739619220336363115005021766235976637206289680239958243162283746040395015569102072974055459914203694825004741599924866253642971655047888303485171414989952226710704518087343585029625838733653096818437832777859464211110781130423424995273574894390230960047878095973135880071251975397626883506005139093709888474750488194173613800592792105700434918445623032847428690287787820828388818708173894632756514661250974398659041034539764659685856064392116636009959515347134406933524254727298299945910250117027220651415505840565277517071373180356551772712058477152933496214664429181075764653347746010569435037152005295361092003108759933806716255295360848741902906426474335770119939533086649330712059777328716036777628536759298467562844293502320314372398703788595831066517433462212690122852784258622671064854899043063992025494432599578806895520134901403385913491511290535354905286147453078654725103565930032112641405345864619527394965898312785716522048104166273688739904163270004699644349356309150743386510175406274766984103238991668240583309464946468217829115525457118438977257469513156622499286999438589928021572062019867373667966551408847006188461736597477668392189922042761902998608347191470959799433482122646079838941712897313868392288137889464637893986811045512532615147140324857623840505698311803023597162224663599600960189841995144001181166273889500268978710933750161707832472074278712616164263724455740533457994528445414567431923347332576150485129139464114406906624886516685101246631817318745402275614382624411964589041409261818721114373500535108328074954073344159527196079129105358064906144244558831750109481138920750307588702979043249779167486245430548743505252060479948065777541342508909870806747012596382811411987746098992750968382580512041823300094966970750681801852444911110062111225900299310260977123042270266160707165234248123788430123878968695465985000614023852842991952668081711596122016310096591109089795506507733600737738458253513872519222589628289816829841317683111856180937247495695850414744600230666086701773210357613386128870174299061943538518873100648417937656574655407881868495671913753970882986141352349556483914535861671874227819628121554423293314492932203206829630763745536726292191541343601525049684531130559756216395248849213023014069416789718588314695100651519006649404859751243041684859988962369090741328877624149784823927229458387520868352961704368629022375027099978700298773392499991019995816381574955436453019910232192628032051921965725084476152976472628061923351006159048387950862965907169284393221705780420905717471400199645820694483669500732118659170867467671309415350445385581840943103309912782448808823245160764704171244563960143745951208882340966714023759133082850761731616626232762002332812958385739792981885467045164491191198584123585035463815883222941997622994329920216963298636191213191794247399304980694838333756809.99
