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