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