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