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