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