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