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