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