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