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