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