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