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