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