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