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