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