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