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