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