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