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