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