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