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