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