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