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