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