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