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