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