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