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