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