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