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