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