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