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