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