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