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