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