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