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