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