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