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