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