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