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