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