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