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