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