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