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