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