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