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