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