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