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