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