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