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
$ 6690215497923266164188302107505368964004934480562900165956408123399660842169422280760371235069751513453605114253326640049724782595734153826161513768369002622377101722106470661213025961945371959744340273730132518638199225970407127872368567327276423128787412273725356325662554839954098073846580173694473319797392528761922247912297679626766336913500574350199198984970012962844022421587876626952037310980832805220813900438795342737667174827425944995326587934522808760677927152429071188450982230488458269219291452117395968830936271765697073238065562382242552669234389657962896130718121581171399887012823861663156161736387075009059085411731730526858551274555414939920884620434530694233685680159135811544361139997013829202949818286807942693635324104435158531539773456850456068934163965107483502455356791015823569978204005439358184879743125736038708938428387763216904856344679116278803455499911512093366519003874617363244761049827365263617331314420713340129705525409350341681065612714282718204561697342601649407621663982219249284857429489309638991555153389911170133526005451138967575776908079958795562467196106910667790382428488621181787030683129310781416924384482849154793664759449856033357142866090116067814887768767688654990219006504114341590906822390281274115853478808155870502029865253035020514655187656258963430932851798784982951389232563153273937362917833224672236669774852748419610698780760963749667894097880529596726615991666990275891067685393416335177231348995792349659144834604266643259948626431832091786943102711437527793555718271265340642910934814302750861771699343554141317557414686261238903018879333080845281014775075257818426732401090920044876353997554547770688061026813545191340335236478877587220670981306840011844758767038842403550411248519932039245319760548866445492773751709271729521967286640450280669425220456477882081936731906090590875956692112237235291645563378987458722297736773564453523505506023637447345422387871821720397482915308641395135095614765773951199493999706571894686891045236483340669130894270774447344263075248904528266313287405406694064769993114998052800441838655209760146040812937879280035288614769135673580940209206434933228852414118606507847169492679335820719195028972179829641375480854859939940499168895543846851579523635680547130252469064665936648812021994155190717408166537787725406165492347378296685907527868314937900333895659286713674808833379969286940269238305423968289571441614713645465067867621016152293854698837513793812061632642662701778461471730572076475054023208271396661660813078536004166579300502882342807502686849244643632501765166807708083401830895026110974144696152721048995246606401804282763835664275637302911782932246224581461634285954379534292695382242373766385272369524595072912502722756249268180219238508218020765339390254590005082817498428849032861664618550811467489145238119581938077104302527395838727979726319743429555087452693156296043152345527209326667253724528987082623128065783686997158935035623435596671435148777817788170549862351834822469291153769344784826450247972385511490562572586182021067535005143728118218874206506315145619646135415601763960448764500485940112235995663841969927680765521494583467050137713417190712184915472895041822799282141688423716554235086385142802514460938021307819499210009648882656582813080755232314712160543969952315599404386906531465032579240086106845387280187233934403015527877642864973222452553366843247738349724918248466773381087842693309949192275672920565239859544561661836703434334583454700135665322384956650795535225029132231723635995993632353541733512516218729664611423289572753591840947168813419054443310990738554634919140290037593530513995108900994701643867667308186889105834306537003529903731224012092152537967251369329392105835282346411836502659550940994371944697582813446818006030606986622526153733076045543755793438992794794655768261634703692661269810530329309882598723713213178314630846908268210994787475370173486612140345803949734683297876062553102438993655666637078063212029769286604799118049043334344344213944955021582095717377682888973379311409995209430774950524878757001809351750653233499579830303338194515856622150428920811568482048280766562485106536396085660531832130579881269234019421379264869402931349345193959198645629131733332367524857695255634657935547416540000266615502295438848561517687376454357089309079944475400061076840184738377180767235258619108444586438867645468107311556208645081159962939323345633489828368356713576952074102110596851831358552834214376950878203379475014273021635599023220488226491087935452821036425917731886015702471901459509491614222556382635200666019844650825274697848367991102312989748738518884114593459010557509142026701086081831726040314914568873633454970207576869195378643843063588518855458885729608225378289692912144934045657414092957958260819263882826797722074789811341633651169946186995609042990024518792473764465801154712359497087719321686965780965066238544883767938561273401796421759240197343872489060915260569855932386696608555801700361388954923589672314845431344941648222231230687731826280854463690581632853878206233430419968059146017457270014021273680976301572034005098142365779221491875469103725601634922045646502869945451374355945634342469333623640720906513446579292527885122612616022801093254052425950709888843653963457110231276158652525166104844357870772635046952896180668229562289786131921619126017998876877972220706198431266831138604640892846454120413344282717967168712851739093252594938515799926696646858406564638247370450337873979232388228967139489829084450162363914936254122275961956048828545198248343041585587432694169216469019211414275361464536209006719907697680308672592429402875312612472700291872062734434130642348797603972628662476239561936511643933562913327549513240581664007405510199247131632821244989598536629861471276569030404240655462414195590986356650408398089153949547532221827724838455446851606123008237738899767982586706559373455593227345323567216993683534706155895371381638693041896378041869270320783222069575139651611860923309460712643324865563585044323785880695686839797470398303336834286004416848066331034808150777704605115684524856498808000421244176227447231295028163267883611365918122698660144763769695633985619217667627608697718511700165886012714386832030383137862165086676719951219425708778386331065969117039082609140919735979791718933394986762969641258943800015887976437475460236269316317418539031960353471820929783424046243780725426779855670331205554478444839715826907192003282663168409643580162338884036895952705979120374611967769991381102496763665559525719406102664090698848677240113664059947188514840383567933217423802577461665509494905361484766173066695946451779427034800686182577813774667041542762829130414502560523401836435879785714008381409703239532343030559338572595155644499924120501039923757213532744522126628975086774740124280593244334555382459497467983129765471005896732740188955187803323942031207583936474251471879465635749852384630689375419861856904764466702470316178744098957606722846787937601626925061954491976892830577759202175733378485201786183053014746021694607822725701362323568391519415418529722958718869383180370758376847791451805491166153587501131561078075363105101284305131763002461832584677911423521226961915589584750244131997107703505271762273403117624658825890998646333642980251826481005081270134181633670139859462728231691018175991353092192151331672894751555585897384701084351800318058610977753820833912626991471526460295653035678417955910941199055010327801685395301512680745114620861936946380047634072784415464779160430603755167529677575792599902687666015773440385942808313454015737450996835432974237740623985434825397373900160827934904028981190459945633952717704633419732713970059838240459290015465902237444693337361479163177916889708069539679044072191756606547949244581219213621336780646337887472080459263910809403545579170051069664047167593597728346548556542954820731715617791514019332608912516403128996111937294032517070826266957287627282866332002949281393776459198871707061366034026592827264611242760984979328145622757571940616948723030689555883078243137068438589146969154371572517321093201596548832163555375053938180383416061446138470911347400944102457982015967442163098267426331854530029973267028460704130768654056927910348433341560845610498491270456112098067788093878814652175198928412856397042664624465088161162094361316021072732084510333654538853970341520991383551934984336855638439606207637751084021397838367171193193195578202910717340663562528513194182215117870163863142501586286119025809795773950026608815586219309346994943682438426807423829049169325280844076206483159217686999956120425811244989681959100431463388205982204144882161562717650869695121193896593104763367503114059847527956248909145802105772436992217690006343498324020672168263591330246875679448535801244801082839648283167982449266921885118077909796238473999975863302395042410644770764820090753410039780218778620287328020443834517057323725895771861953146617367236309206184045901922322677745974554183346273087916027037325761871890398555478760901492625989711444260450056504273852097740316233611425994577175798096720145191115479199271451666897056334789105713069681438073221115195190253642778904237185191422543680930154317802528382488222893641059694609198390344089113430313955386958440956898856780814067023768890747445542364201541391783266321379680003432906810177343717746230441859482457592169471470481743974686512166979867851482498394142725012385997661228793202969716332753320006766405303947976057726891048903480764189607297896951038006297123986013184920192529207336343771006439707518974644667557098190745417549258540110226740912505730447846354287375885177182514387329194920741700420680639134941324817405957803874052831857784205034060512076986284212411785090472267817399558014391170002.16
