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