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