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