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