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