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