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