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