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