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