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