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