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