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