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