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