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