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