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