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