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