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