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