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