open-standards/wai/research/dcvc-drift/fixture/gop/set/gauss_cdfs_q3.json
Transaction Science ffb32f740c The float inter-frame decoder's drift and desync are a measured record, per frame and fabric
tools/dcvc-drift decodes the end-to-end job's fixture on each fabric through a loop that keeps
each element's scale, bucket and symbol, so drift and desync events are counted apart. On the
sink's route, the CPU provider at one thread, it also decodes through the sink's own
decode_envelope and holds the loop to it byte for byte; the other fabrics run in the loop alone.
research/dcvc-drift/verify.py, which shares no code with it, decodes every y stream again and
recounts every event, and a conformance step runs it over the committed readings.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-07 03:34:51 -05:00

1 line
No EOL
139 KiB
JSON

{"scale_table":[0.10999999940395355,0.12440409511327744,0.14069437980651855,0.15911780297756195,0.1799536943435669,0.20351797342300415,0.2301679253578186,0.2603076100349426,0.294393926858902,0.33294373750686646,0.3765415549278259,0.4258483052253723,0.48161160945892334,0.5446768999099731,0.6160004138946533,0.6966634392738342,0.7878890037536621,0.8910602331161499,1.0077413320541382,1.13970148563385,1.2889412641525269,1.4577234983444214,1.6486071348190308,1.8644862174987793,2.1086339950561523,2.384752035140991,2.6970267295837402,3.0501928329467773,3.4496042728424072,3.9013173580169678,4.412181377410889,4.989940643310547,5.6433539390563965,6.382330894470215,7.218074798583984,8.163254737854004,9.232203483581543,10.441128730773926,11.808356285095215,13.35461711883545,15.103355407714844,17.081085205078125,19.317794799804688,21.847389221191406,24.708223342895508,27.943681716918945,31.60280418395996,35.7410774230957,40.42123794555664,45.71425247192383,51.70037841796875,58.4703369140625,66.1268310546875,74.7859115600586,84.5788345336914,95.65414428710938,108.17973327636719,122.34544372558594,138.3661651611328,156.4847412109375,176.97579956054688,200.15017700195312,226.3590545654297,256.0],"cdf_length":[5,5,5,5,7,7,7,7,7,9,9,9,9,11,11,13,13,15,17,17,19,21,25,27,29,33,37,41,47,51,57,65,73,81,93,103,117,131,149,167,189,213,241,271,305,345,391,441,497,563,635,719,811,917,1037,1173,1325,1499,1695,1917,2167,2449,2769,3133],"offset":[-1,-1,-1,-1,-2,-2,-2,-2,-2,-3,-3,-3,-3,-4,-4,-5,-5,-6,-7,-7,-8,-9,-11,-12,-13,-15,-17,-19,-22,-24,-27,-31,-35,-39,-45,-50,-57,-64,-73,-82,-93,-105,-119,-134,-151,-171,-194,-219,-247,-280,-316,-358,-404,-457,-517,-585,-661,-748,-846,-957,-1082,-1223,-1383,-1565],"cdf":[[0,1,65534,65535,65536],[0,1,65533,65535,65536],[0,12,65523,65535,65536],[0,54,65480,65535,65536],[0,1,177,65355,65534,65535,65536],[0,1,458,65075,65534,65535,65536],[0,1,977,64557,65534,65535,65536],[0,1,1793,63740,65534,65535,65536],[0,1,2929,62604,65534,65535,65536],[0,1,2,4361,61170,65533,65534,65535,65536],[0,1,2,6036,59499,65533,65534,65535,65536],[0,1,14,7875,57659,65520,65533,65534,65536],[0,1,59,9802,55731,65474,65534,65535,65536],[0,1,2,193,11751,53783,65341,65533,65534,65535,65536],[0,1,2,488,13663,51872,65047,65533,65534,65535,65536],[0,1,2,8,1023,15494,50036,64507,65522,65533,65534,65535,65536],[0,1,2,47,1863,17223,48308,63668,65484,65533,65534,65535,65536],[0,1,2,3,164,3023,18830,46701,62508,65367,65528,65529,65530,65531,65536],[0,1,2,3,13,426,4473,20305,45223,61055,65102,65515,65532,65533,65534,65535,65536],[0,1,2,3,70,926,6164,21655,43880,59371,64609,65465,65532,65533,65534,65535,65536],[0,1,2,3,17,217,1717,8011,22872,42658,57519,63813,65313,65513,65527,65528,65529,65530,65536],[0,1,2,3,4,64,533,2826,9940,23968,41557,55585,62699,64992,65461,65521,65522,65523,65524,65525,65536],[0,1,2,3,4,5,26,206,1104,4238,11889,24956,40575,53642,61293,64427,65325,65505,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,12,100,514,1979,5894,13795,25836,39692,51733,59634,63549,65014,65428,65516,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,8,63,294,1072,3173,7722,15622,26622,38906,49906,57806,62355,64456,65234,65465,65520,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,9,51,207,688,1935,4656,9646,17342,27322,38206,48186,55882,60872,63593,64840,65321,65477,65519,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,46,169,513,1347,3109,6357,11585,18929,27934,37572,46577,53921,59149,62397,64159,64993,65337,65460,65498,65507,65508,65509,65510,65511,65512,65513,65514,65536],[0,1,2,3,4,5,6,7,8,16,57,171,453,1081,2335,4588,8227,13511,20407,28498,37031,45122,52018,57302,60941,63194,64448,65076,65358,65472,65513,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,22,69,184,440,962,1939,3620,6280,10153,15340,21731,28974,36526,43769,50160,55347,59220,61880,63561,64538,65060,65316,65431,65478,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65536],[0,1,2,3,4,5,6,7,8,9,10,15,42,102,230,485,959,1785,3133,5194,8147,12109,17090,22955,29423,36106,42574,48439,53420,57382,60335,62396,63744,64570,65044,65299,65427,65487,65514,65525,65526,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,31,70,148,297,565,1023,1768,2919,4608,6963,10083,14010,18707,24045,29809,35722,41486,46824,51521,55448,58568,60923,62612,63763,64508,64966,65234,65383,65461,65500,65519,65524,65525,65526,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,23,53,110,213,390,682,1145,1851,2884,4336,6297,8841,12012,15809,20177,25004,30130,35360,40486,45313,49681,53478,56649,59193,61154,62606,63639,64345,64808,65100,65277,65380,65437,65467,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,32,61,111,195,332,547,875,1360,2056,3023,4324,6022,8170,10803,13931,17532,21551,25897,30452,35079,39634,43980,47999,51600,54728,57361,59509,61207,62508,63475,64171,64656,64984,65199,65336,65420,65470,65499,65515,65520,65521,65522,65523,65524,65525,65526,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,25,43,73,122,199,318,496,756,1127,1643,2344,3274,4476,5993,7861,10106,12739,15752,19116,22781,26678,30720,34812,38854,42751,46416,49780,52793,55426,57671,59539,61056,62258,63188,63889,64405,64776,65036,65214,65333,65410,65459,65489,65507,65518,65519,65520,65521,65522,65523,65524,65525,65526,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,36,59,94,147,225,339,501,728,1039,1458,2011,2728,3639,4774,6162,7828,9788,12051,14614,17462,20567,23887,27370,30955,34574,38159,41642,44962,48067,50915,53478,55741,57701,59367,60755,61890,62801,63518,64071,64490,64801,65028,65190,65304,65382,65435,65470,65493,65508,65515,65516,65517,65518,65519,65520,65521,65522,65523,65524,65525,65526,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,37,57,87,130,191,276,393,553,767,1049,1416,1886,2479,3216,4118,5206,6499,8012,9756,11737,13954,16398,19052,21891,24883,27989,31166,34367,37544,40650,43642,46481,49135,51579,53796,55777,57521,59034,60327,61415,62317,63054,63647,64117,64484,64766,64980,65140,65257,65342,65403,65446,65476,65496,65510,65513,65514,65515,65516,65517,65518,65519,65520,65521,65522,65523,65524,65525,65526,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,30,44,64,93,132,186,259,356,483,649,863,1135,1476,1900,2420,3051,3808,4705,5756,6973,8366,9941,11702,13647,15771,18063,20508,23085,25770,28535,31349,34180,36994,39759,42444,45021,47466,49758,51882,53827,55588,57163,58556,59773,60824,61721,62478,63109,63629,64053,64394,64666,64880,65046,65173,65270,65343,65397,65436,65465,65485,65499,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65521,65522,65523,65524,65525,65526,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,47,69,99,138,190,258,346,458,600,778,999,1270,1601,2000,2478,3044,3709,4482,5374,6392,7545,8838,10275,11857,13583,15449,17448,19569,21800,24125,26526,28983,31474,33976,36467,38924,41325,43650,45881,48002,50001,51867,53593,55175,56612,57905,59058,60076,60968,61741,62406,62972,63450,63849,64180,64451,64672,64850,64992,65104,65192,65260,65312,65351,65381,65403,65419,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,51,71,97,131,175,230,300,387,495,627,788,983,1218,1498,1829,2219,2674,3201,3807,4499,5284,6167,7154,8250,9457,10777,12211,13757,15412,17171,19027,20972,22995,25084,27226,29407,31612,33824,36029,38210,40352,42441,44464,46409,48265,50024,51679,53225,54659,55979,57186,58282,59269,60152,60937,61629,62235,62762,63217,63607,63938,64218,64453,64648,64809,64941,65049,65136,65206,65261,65305,65339,65365,65385,65400,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,48,62,80,102,130,164,206,258,321,398,491,602,734,891,1076,1294,1548,1842,2182,2572,3016,3520,4089,4727,5439,6228,7099,8054,9096,10226,11445,12752,14146,15625,17185,18821,20527,22296,24121,25992,27901,29836,31788,33745,35697,37632,39541,41412,43237,45006,46712,48348,49908,51387,52781,54088,55307,56437,57479,58434,59305,60094,60806,61444,62013,62517,62961,63351,63691,63985,64239,64457,64642,64799,64931,65042,65135,65212,65275,65327,65369,65403,65431,65453,65471,65485,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65521,65522,65523,65524,65525,65526,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,52,66,83,103,128,158,194,238,290,352,425,511,612,730,867,1026,1210,1421,1662,1936,2247,2597,2991,3431,3921,4464,5063,5722,6442,7227,8078,8997,9985,11042,12168,13363,14625,15953,17343,18792,20296,21851,23450,25089,26760,28457,30173,31900,33631,35358,37074,38771,40442,42081,43680,45235,46739,48188,49578,50906,52168,53363,54489,55546,56534,57453,58304,59089,59809,60468,61067,61610,62100,62540,62934,63284,63595,63869,64110,64321,64505,64664,64801,64919,65020,65106,65179,65241,65293,65337,65373,65403,65428,65448,65465,65479,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65521,65522,65523,65524,65525,65526,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,65,82,102,126,155,189,229,276,331,394,468,553,651,763,891,1037,1202,1389,1599,1835,2099,2393,2719,3080,3478,3916,4396,4920,5489,6106,6773,7491,8261,9085,9963,10895,11881,12921,14014,15159,16354,17597,18885,20216,21586,22992,24430,25895,27383,28889,30408,31935,33464,34991,36510,38016,39504,40969,42407,43813,45183,46514,47802,49045,50240,51385,52478,53518,54504,55436,56314,57138,57908,58626,59293,59910,60479,61003,61483,61921,62319,62680,63006,63300,63564,63800,64010,64197,64362,64508,64636,64748,64846,64931,65005,65068,65123,65170,65210,65244,65273,65297,65317,65334,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,75,91,110,133,159,189,224,265,312,365,426,495,574,663,763,876,1002,1143,1301,1476,1671,1886,2123,2384,2671,2985,3327,3700,4104,4542,5014,5523,6069,6654,7279,7944,8651,9400,10191,11024,11900,12818,13777,14777,15817,16895,18010,19160,20343,21556,22797,24063,25352,26660,27984,29320,30665,32015,33367,34717,36062,37398,38722,40030,41319,42585,43826,45039,46222,47372,48487,49565,50605,51605,52564,53482,54358,55191,55982,56731,57438,58103,58728,59313,59859,60368,60840,61278,61682,62055,62397,62711,62998,63259,63496,63711,63906,64081,64239,64380,64506,64619,64719,64808,64887,64956,65017,65070,65117,65158,65193,65223,65249,65272,65291,65307,65321,65324,65325,65326,65327,65328,65329,65330,65331,65332,65333,65334,65335,65336,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,70,82,96,112,131,152,176,204,235,270,310,355,405,461,524,594,672,759,856,963,1081,1211,1355,1513,1686,1875,2081,2305,2548,2812,3097,3405,3737,4094,4476,4885,5322,5788,6284,6810,7368,7957,8579,9234,9922,10643,11397,12184,13004,13856,14740,15655,16600,17575,18577,19606,20660,21738,22837,23956,25093,26245,27411,28588,29773,30965,32160,33357,34552,35744,36929,38106,39272,40424,41561,42680,43779,44857,45911,46940,47942,48917,49862,50777,51661,52513,53333,54120,54874,55595,56283,56938,57560,58149,58707,59233,59729,60195,60632,61041,61423,61780,62112,62420,62705,62969,63212,63436,63642,63831,64004,64162,64306,64436,64554,64661,64758,64845,64923,64993,65056,65112,65162,65207,65247,65282,65313,65341,65365,65386,65405,65421,65435,65447,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65521,65522,65523,65524,65525,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,89,102,117,134,153,174,198,225,255,288,325,366,411,461,516,577,644,718,799,888,985,1091,1207,1333,1470,1618,1778,1951,2138,2340,2557,2790,3040,3307,3592,3897,4221,4566,4932,5320,5731,6165,6622,7104,7610,8141,8698,9280,9888,10522,11182,11868,12580,13317,14080,14867,15679,16514,17372,18252,19153,20074,21014,21972,22947,23937,24941,25957,26984,28021,29065,30115,31170,32227,33285,34342,35397,36447,37491,38528,39555,40571,41575,42565,43540,44498,45438,46359,47260,48140,48998,49833,50645,51432,52195,52932,53644,54330,54990,55624,56232,56814,57371,57902,58408,58890,59347,59781,60192,60580,60946,61291,61615,61920,62205,62472,62722,62955,63172,63374,63561,63734,63894,64042,64179,64305,64421,64527,64624,64713,64794,64868,64935,64996,65051,65101,65146,65187,65224,65257,65287,65314,65338,65359,65378,65395,65410,65423,65435,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,99,112,126,142,159,178,199,222,248,276,307,341,378,419,463,511,564,622,685,753,827,907,993,1086,1187,1296,1413,1539,1674,1819,1974,2140,2317,2506,2707,2921,3148,3389,3645,3916,4202,4504,4823,5159,5512,5883,6272,6680,7107,7553,8019,8505,9011,9537,10083,10649,11236,11843,12470,13117,13784,14470,15175,15899,16642,17402,18180,18974,19784,20609,21449,22302,23168,24046,24934,25832,26739,27653,28574,29500,30430,31363,32298,33234,34169,35102,36032,36958,37879,38793,39700,40598,41486,42364,43230,44083,44923,45748,46558,47352,48130,48890,49633,50357,51062,51748,52415,53062,53689,54296,54883,55449,55995,56521,57027,57513,57979,58425,58852,59260,59649,60020,60373,60709,61028,61330,61616,61887,62143,62384,62611,62825,63026,63215,63392,63558,63713,63858,63993,64119,64236,64345,64446,64539,64625,64705,64779,64847,64910,64968,65021,65069,65113,65154,65191,65225,65256,65284,65310,65333,65354,65373,65390,65406,65420,65433,65444,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65521,65522,65523,65524,65525,65526,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,112,124,137,151,167,184,203,223,245,269,295,324,355,389,425,464,507,553,603,656,713,775,841,912,988,1070,1157,1250,1350,1456,1569,1690,1818,1954,2099,2253,2416,2588,2770,2962,3165,3379,3604,3841,4090,4351,4625,4912,5212,5526,5854,6196,6553,6924,7310,7712,8129,8561,9009,9473,9953,10448,10959,11486,12029,12588,13162,13752,14357,14977,15612,16261,16924,17601,18291,18994,19710,20438,21177,21927,22687,23457,24236,25023,25817,26618,27425,28237,29054,29875,30699,31525,32352,33179,34006,34832,35656,36477,37294,38106,38913,39714,40508,41295,42074,42844,43604,44354,45093,45821,46537,47240,47930,48607,49270,49919,50554,51174,51779,52369,52943,53502,54045,54572,55083,55578,56058,56522,56970,57402,57819,58221,58607,58978,59335,59677,60005,60319,60619,60906,61180,61441,61690,61927,62152,62366,62569,62761,62943,63115,63278,63432,63577,63713,63841,63962,64075,64181,64281,64374,64461,64543,64619,64690,64756,64818,64875,64928,64978,65024,65067,65106,65142,65176,65207,65236,65262,65286,65308,65328,65347,65364,65380,65394,65407,65419,65430,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65521,65522,65523,65524,65525,65526,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,128,140,153,168,184,201,219,239,260,283,308,335,364,395,428,463,501,541,584,630,679,732,788,848,912,980,1052,1128,1209,1295,1386,1482,1584,1691,1804,1924,2050,2183,2323,2470,2625,2787,2957,3136,3323,3519,3724,3938,4162,4396,4640,4894,5158,5433,5719,6016,6324,6644,6975,7318,7673,8040,8419,8810,9213,9629,10057,10497,10950,11415,11893,12383,12885,13399,13925,14463,15013,15574,16147,16731,17326,17931,18547,19172,19807,20451,21104,21766,22436,23113,23798,24489,25187,25890,26599,27312,28030,28751,29475,30202,30931,31661,32392,33123,33854,34584,35313,36040,36764,37485,38203,38916,39625,40328,41026,41717,42402,43079,43749,44411,45064,45708,46343,46968,47584,48189,48784,49368,49941,50502,51052,51590,52116,52630,53132,53622,54100,54565,55018,55458,55886,56302,56705,57096,57475,57842,58197,58540,58871,59191,59499,59796,60082,60357,60621,60875,61119,61353,61577,61791,61996,62192,62379,62558,62728,62890,63045,63192,63332,63465,63591,63711,63824,63931,64033,64129,64220,64306,64387,64463,64535,64603,64667,64727,64783,64836,64885,64931,64974,65014,65052,65087,65120,65151,65180,65207,65232,65255,65276,65296,65314,65331,65347,65362,65375,65387,65399,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65521,65522,65523,65524,65525,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,138,149,161,174,188,203,219,236,254,273,294,316,340,365,392,421,451,483,517,553,592,633,676,722,771,822,876,933,993,1057,1124,1195,1270,1349,1432,1519,1610,1706,1807,1912,2022,2138,2259,2386,2518,2656,2800,2951,3108,3272,3443,3621,3806,3998,4197,4404,4619,4842,5073,5312,5560,5816,6081,6355,6638,6930,7231,7541,7861,8190,8529,8877,9235,9602,9979,10366,10762,11168,11584,12009,12444,12889,13343,13806,14279,14761,15252,15752,16261,16778,17304,17838,18380,18930,19488,20053,20625,21204,21790,22382,22980,23584,24193,24807,25426,26049,26676,27307,27941,28578,29218,29860,30504,31149,31795,32442,33089,33736,34382,35027,35671,36313,36953,37590,38224,38855,39482,40105,40724,41338,41947,42551,43149,43741,44327,44906,45478,46043,46601,47151,47693,48227,48753,49270,49779,50279,50770,51252,51725,52188,52642,53087,53522,53947,54363,54769,55165,55552,55929,56296,56654,57002,57341,57670,57990,58300,58601,58893,59176,59450,59715,59971,60219,60458,60689,60912,61127,61334,61533,61725,61910,62088,62259,62423,62580,62731,62875,63013,63145,63272,63393,63509,63619,63724,63825,63921,64012,64099,64182,64261,64336,64407,64474,64538,64598,64655,64709,64760,64809,64855,64898,64939,64978,65014,65048,65080,65110,65139,65166,65191,65215,65237,65258,65277,65295,65312,65328,65343,65357,65370,65382,65393,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65521,65522,65523,65524,65525,65526,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,163,175,188,202,216,231,247,264,282,301,321,343,366,390,416,443,471,501,533,566,601,638,677,718,761,806,853,903,955,1010,1067,1127,1190,1256,1325,1397,1472,1551,1633,1719,1809,1903,2000,2102,2208,2318,2432,2551,2675,2803,2936,3074,3218,3367,3521,3681,3846,4017,4194,4377,4566,4761,4963,5171,5386,5607,5835,6070,6312,6561,6817,7080,7350,7627,7912,8204,8503,8810,9124,9446,9776,10113,10458,10810,11170,11537,11912,12295,12685,13082,13487,13899,14318,14745,15179,15620,16068,16522,16983,17451,17925,18405,18892,19384,19882,20386,20895,21410,21930,22455,22984,23518,24056,24598,25144,25693,26246,26802,27360,27921,28484,29049,29616,30185,30755,31326,31897,32469,33041,33613,34184,34755,35325,35894,36461,37026,37589,38150,38708,39264,39817,40366,40912,41454,41992,42526,43055,43580,44100,44615,45124,45628,46126,46618,47105,47585,48059,48527,48988,49442,49890,50331,50765,51192,51611,52023,52428,52825,53215,53598,53973,54340,54700,55052,55397,55734,56064,56386,56700,57007,57306,57598,57883,58160,58430,58693,58949,59198,59440,59675,59903,60124,60339,60547,60749,60944,61133,61316,61493,61664,61829,61989,62143,62292,62436,62574,62707,62835,62959,63078,63192,63302,63408,63510,63607,63701,63791,63877,63959,64038,64113,64185,64254,64320,64383,64443,64500,64555,64607,64657,64704,64749,64792,64833,64872,64909,64944,64977,65009,65039,65067,65094,65120,65144,65167,65189,65209,65228,65246,65263,65279,65294,65308,65322,65335,65347,65358,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,184,196,208,221,235,249,264,280,297,315,333,352,372,393,415,439,464,490,517,545,575,606,639,673,709,746,785,826,869,913,959,1007,1057,1110,1165,1222,1281,1343,1407,1474,1544,1616,1691,1769,1850,1934,2021,2111,2204,2301,2401,2505,2612,2723,2838,2957,3080,3207,3338,3473,3612,3756,3904,4057,4214,4376,4543,4715,4892,5074,5261,5453,5650,5852,6060,6273,6491,6715,6944,7179,7420,7666,7918,8176,8440,8710,8985,9266,9553,9846,10145,10450,10761,11078,11401,11730,12065,12405,12751,13103,13461,13825,14194,14569,14949,15335,15726,16123,16525,16932,17344,17762,18184,18611,19043,19480,19921,20367,20817,21271,21729,22191,22657,23126,23599,24075,24554,25036,25521,26008,26498,26990,27484,27980,28478,28978,29479,29981,30484,30988,31493,31998,32504,33010,33516,34021,34526,35030,35533,36035,36536,37036,37534,38030,38524,39016,39506,39993,40478,40960,41439,41915,42388,42857,43323,43785,44243,44697,45147,45593,46034,46471,46903,47330,47752,48170,48582,48989,49391,49788,50179,50565,50945,51320,51689,52053,52411,52763,53109,53449,53784,54113,54436,54753,55064,55369,55668,55961,56248,56529,56804,57074,57338,57596,57848,58094,58335,58570,58799,59023,59241,59454,59662,59864,60061,60253,60440,60622,60799,60971,61138,61300,61457,61610,61758,61902,62041,62176,62307,62434,62557,62676,62791,62902,63009,63113,63213,63310,63403,63493,63580,63664,63745,63823,63898,63970,64040,64107,64171,64233,64292,64349,64404,64457,64507,64555,64601,64645,64688,64729,64768,64805,64841,64875,64908,64939,64969,64997,65024,65050,65075,65099,65121,65142,65162,65181,65199,65217,65234,65250,65265,65279,65293,65306,65318,65330,65341,65342,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,203,214,226,238,251,264,278,293,308,324,341,358,376,395,415,436,458,480,503,527,552,579,607,636,666,697,729,763,798,834,872,911,952,994,1038,1084,1131,1180,1231,1284,1338,1394,1452,1512,1574,1639,1706,1775,1846,1920,1996,2075,2156,2240,2326,2415,2507,2602,2700,2801,2905,3012,3122,3235,3351,3470,3593,3719,3849,3982,4119,4259,4403,4551,4703,4858,5017,5180,5347,5518,5693,5872,6056,6244,6436,6632,6833,7038,7248,7462,7680,7903,8130,8362,8598,8839,9085,9335,9590,9849,10113,10382,10655,10933,11216,11503,11795,12092,12393,12699,13009,13324,13643,13967,14295,14628,14965,15306,15651,16001,16355,16713,17075,17441,17811,18185,18563,18944,19329,19718,20110,20505,20904,21306,21711,22119,22530,22944,23361,23780,24202,24626,25052,25481,25912,26345,26780,27216,27654,28093,28534,28976,29419,29863,30308,30754,31200,31647,32094,32541,32988,33435,33882,34329,34775,35221,35666,36110,36553,36995,37436,37875,38313,38749,39184,39617,40048,40477,40903,41327,41749,42168,42585,42999,43410,43818,44223,44625,45024,45419,45811,46200,46585,46966,47344,47718,48088,48454,48816,49174,49528,49878,50223,50564,50901,51234,51562,51886,52205,52520,52830,53136,53437,53734,54026,54313,54596,54874,55147,55416,55680,55939,56194,56444,56690,56931,57167,57399,57626,57849,58067,58281,58491,58696,58897,59093,59285,59473,59657,59836,60011,60182,60349,60512,60671,60826,60978,61126,61270,61410,61547,61680,61810,61936,62059,62178,62294,62407,62517,62624,62728,62829,62927,63022,63114,63203,63289,63373,63454,63533,63609,63683,63754,63823,63890,63955,64017,64077,64135,64191,64245,64298,64349,64398,64445,64491,64535,64577,64618,64657,64695,64731,64766,64800,64832,64863,64893,64922,64950,64977,65002,65026,65049,65071,65093,65114,65134,65153,65171,65188,65205,65221,65236,65251,65265,65278,65291,65303,65315,65326,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65521,65522,65523,65524,65525,65526,65527,65528,65529,65530,65531,65532,65533,65534,65535,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,229,240,251,263,275,288,301,315,330,345,361,377,394,412,430,449,469,489,510,532,555,579,603,628,654,681,709,738,768,799,831,864,899,935,972,1010,1049,1090,1132,1175,1220,1266,1314,1363,1414,1466,1520,1576,1633,1692,1753,1816,1880,1946,2014,2084,2156,2230,2306,2384,2464,2547,2632,2719,2808,2900,2994,3091,3190,3292,3396,3503,3612,3724,3839,3957,4077,4200,4326,4455,4587,4722,4860,5001,5145,5292,5442,5595,5752,5912,6075,6241,6411,6584,6760,6940,7123,7310,7500,7694,7891,8092,8296,8504,8715,8930,9149,9371,9597,9826,10059,10296,10536,10780,11028,11279,11534,11792,12054,12320,12589,12862,13138,13418,13701,13988,14278,14572,14869,15169,15473,15780,16090,16404,16721,17041,17364,17690,18019,18351,18686,19024,19365,19709,20055,20404,20756,21110,21467,21826,22187,22551,22917,23285,23655,24027,24401,24777,25155,25534,25915,26298,26682,27067,27454,27842,28231,28621,29012,29404,29796,30189,30583,30977,31372,31767,32162,32557,32952,33347,33742,34137,34532,34926,35320,35713,36105,36497,36888,37278,37667,38055,38442,38827,39211,39594,39975,40354,40732,41108,41482,41854,42224,42592,42958,43322,43683,44042,44399,44753,45105,45454,45800,46144,46485,46823,47158,47490,47819,48145,48468,48788,49105,49419,49729,50036,50340,50640,50937,51231,51521,51808,52091,52371,52647,52920,53189,53455,53717,53975,54230,54481,54729,54973,55213,55450,55683,55912,56138,56360,56579,56794,57005,57213,57417,57618,57815,58009,58199,58386,58569,58749,58925,59098,59268,59434,59597,59757,59914,60067,60217,60364,60508,60649,60787,60922,61054,61183,61309,61432,61552,61670,61785,61897,62006,62113,62217,62319,62418,62515,62609,62701,62790,62877,62962,63045,63125,63203,63279,63353,63425,63495,63563,63629,63693,63756,63817,63876,63933,63989,64043,64095,64146,64195,64243,64289,64334,64377,64419,64460,64499,64537,64574,64610,64645,64678,64710,64741,64771,64800,64828,64855,64881,64906,64930,64954,64977,64999,65020,65040,65060,65079,65097,65115,65132,65148,65164,65179,65194,65208,65221,65234,65246,65258,65269,65280,65291,65292,65293,65294,65295,65296,65297,65298,65299,65300,65301,65302,65303,65304,65305,65306,65307,65308,65309,65310,65311,65312,65313,65314,65315,65316,65317,65318,65319,65320,65321,65322,65323,65324,65325,65326,65327,65328,65329,65330,65331,65332,65333,65334,65335,65336,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,269,280,292,304,317,330,343,357,371,386,401,417,433,450,468,486,505,524,544,565,586,608,631,654,678,703,729,755,782,810,839,869,900,932,965,998,1032,1067,1103,1141,1180,1220,1261,1303,1346,1390,1436,1483,1531,1580,1631,1683,1736,1791,1847,1905,1964,2025,2087,2151,2216,2283,2352,2422,2494,2568,2643,2720,2799,2880,2963,3048,3134,3222,3312,3404,3498,3594,3693,3794,3897,4002,4109,4218,4330,4444,4560,4679,4800,4923,5049,5177,5307,5440,5575,5713,5853,5996,6142,6290,6441,6594,6750,6909,7070,7234,7401,7570,7742,7917,8095,8275,8458,8644,8833,9025,9219,9416,9616,9819,10025,10234,10445,10659,10876,11096,11319,11545,11773,12004,12238,12475,12715,12957,13202,13450,13701,13954,14210,14469,14730,14994,15261,15530,15802,16077,16354,16634,16916,17201,17488,17777,18069,18363,18659,18958,19259,19562,19867,20174,20483,20794,21107,21422,21739,22058,22379,22702,23026,23352,23680,24009,24340,24672,25005,25340,25676,26013,26351,26691,27032,27374,27717,28061,28405,28750,29096,29442,29789,30137,30485,30833,31182,31531,31880,32229,32579,32929,33279,33628,33977,34326,34675,35023,35371,35719,36066,36412,36758,37103,37447,37791,38134,38476,38817,39157,39495,39832,40168,40503,40836,41168,41499,41828,42156,42482,42806,43129,43450,43769,44086,44401,44714,45025,45334,45641,45946,46249,46550,46849,47145,47439,47731,48020,48307,48592,48874,49154,49431,49706,49978,50247,50514,50778,51039,51298,51554,51807,52058,52306,52551,52793,53033,53270,53504,53735,53963,54189,54412,54632,54849,55063,55274,55483,55689,55892,56092,56289,56483,56675,56864,57050,57233,57413,57591,57766,57938,58107,58274,58438,58599,58758,58914,59067,59218,59366,59512,59655,59795,59933,60068,60201,60331,60459,60585,60708,60829,60948,61064,61178,61290,61399,61506,61611,61714,61815,61914,62010,62104,62196,62286,62374,62460,62545,62628,62709,62788,62865,62940,63014,63086,63156,63225,63292,63357,63421,63483,63544,63603,63661,63717,63772,63825,63877,63928,63977,64025,64072,64118,64162,64205,64247,64288,64328,64367,64405,64441,64476,64510,64543,64576,64608,64639,64669,64698,64726,64753,64779,64805,64830,64854,64877,64900,64922,64943,64964,64984,65003,65022,65040,65058,65075,65091,65107,65122,65137,65151,65165,65178,65191,65204,65216,65228,65239,65250,65261,65262,65263,65264,65265,65266,65267,65268,65269,65270,65271,65272,65273,65274,65275,65276,65277,65278,65279,65280,65281,65282,65283,65284,65285,65286,65287,65288,65289,65290,65291,65292,65293,65294,65295,65296,65297,65298,65299,65300,65301,65302,65303,65304,65305,65306,65307,65308,65309,65310,65311,65312,65313,65314,65315,65316,65317,65318,65319,65320,65321,65322,65323,65324,65325,65326,65327,65328,65329,65330,65331,65332,65333,65334,65335,65336,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,309,320,332,344,356,369,382,395,409,423,438,453,468,484,500,517,534,552,570,589,608,628,649,670,692,714,737,761,785,810,835,861,888,916,944,973,1003,1034,1065,1097,1130,1164,1199,1234,1270,1307,1345,1384,1424,1465,1507,1550,1594,1639,1685,1732,1780,1829,1880,1932,1985,2039,2094,2150,2208,2267,2327,2388,2451,2515,2580,2647,2715,2785,2856,2929,3003,3079,3156,3235,3315,3397,3480,3565,3651,3739,3829,3920,4013,4108,4205,4303,4403,4505,4609,4715,4822,4931,5042,5155,5270,5387,5506,5627,5750,5875,6002,6131,6262,6395,6530,6667,6806,6947,7090,7235,7382,7531,7683,7837,7993,8151,8311,8473,8638,8805,8974,9145,9318,9493,9671,9851,10033,10217,10404,10593,10784,10977,11172,11370,11570,11772,11976,12182,12391,12602,12815,13030,13247,13466,13688,13912,14138,14366,14596,14828,15062,15298,15536,15776,16018,16262,16508,16756,17006,17258,17512,17768,18026,18286,18547,18810,19075,19342,19610,19880,20152,20425,20700,20976,21254,21533,21814,22096,22380,22665,22951,23239,23528,23818,24109,24402,24696,24991,25287,25584,25882,26181,26481,26782,27083,27385,27688,27992,28296,28601,28906,29212,29519,29826,30133,30441,30749,31057,31366,31675,31984,32293,32602,32911,33220,33529,33838,34147,34456,34764,35072,35380,35687,35994,36301,36607,36912,37217,37521,37825,38128,38430,38731,39032,39332,39631,39929,40226,40522,40817,41111,41404,41695,41985,42274,42562,42848,43133,43417,43699,43980,44259,44537,44813,45088,45361,45633,45903,46171,46438,46703,46966,47227,47487,47745,48001,48255,48507,48757,49005,49251,49495,49737,49977,50215,50451,50685,50917,51147,51375,51601,51825,52047,52266,52483,52698,52911,53122,53331,53537,53741,53943,54143,54341,54536,54729,54920,55109,55296,55480,55662,55842,56020,56195,56368,56539,56708,56875,57040,57202,57362,57520,57676,57830,57982,58131,58278,58423,58566,58707,58846,58983,59118,59251,59382,59511,59638,59763,59886,60007,60126,60243,60358,60471,60582,60691,60798,60904,61008,61110,61210,61308,61405,61500,61593,61684,61774,61862,61948,62033,62116,62198,62278,62357,62434,62510,62584,62657,62728,62798,62866,62933,62998,63062,63125,63186,63246,63305,63363,63419,63474,63528,63581,63633,63684,63733,63781,63828,63874,63919,63963,64006,64048,64089,64129,64168,64206,64243,64279,64314,64349,64383,64416,64448,64479,64510,64540,64569,64597,64625,64652,64678,64703,64728,64752,64776,64799,64821,64843,64864,64885,64905,64924,64943,64961,64979,64996,65013,65029,65045,65060,65075,65090,65104,65118,65131,65144,65157,65169,65181,65193,65204,65215,65216,65217,65219,65229,65230,65231,65232,65233,65234,65235,65236,65237,65238,65239,65240,65241,65242,65243,65244,65245,65246,65247,65248,65249,65250,65251,65252,65253,65254,65255,65256,65257,65258,65259,65260,65261,65262,65263,65264,65265,65266,65267,65268,65269,65270,65271,65272,65273,65274,65275,65276,65277,65278,65279,65280,65281,65282,65283,65284,65285,65286,65287,65288,65289,65290,65291,65292,65293,65294,65295,65296,65297,65298,65299,65300,65301,65302,65303,65304,65305,65306,65307,65308,65309,65310,65311,65312,65313,65314,65315,65316,65317,65318,65319,65320,65321,65322,65323,65324,65325,65326,65327,65328,65329,65330,65331,65332,65333,65334,65335,65336,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65521,65522,65523,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,348,359,370,381,393,405,417,430,443,456,470,484,498,513,528,544,560,576,593,610,628,646,664,683,702,722,742,763,784,806,828,851,874,898,923,948,974,1000,1027,1054,1082,1111,1140,1170,1201,1232,1264,1297,1330,1364,1399,1435,1471,1508,1546,1585,1625,1665,1706,1748,1791,1835,1880,1926,1973,2020,2068,2117,2167,2218,2270,2323,2377,2432,2488,2545,2603,2663,2724,2786,2849,2913,2978,3044,3111,3180,3250,3321,3393,3467,3542,3618,3695,3774,3854,3935,4018,4102,4187,4274,4362,4451,4542,4634,4728,4823,4920,5018,5117,5218,5320,5424,5529,5636,5745,5855,5967,6080,6195,6311,6429,6549,6670,6793,6917,7043,7171,7300,7431,7564,7698,7834,7972,8111,8252,8395,8540,8686,8834,8984,9135,9288,9443,9600,9758,9918,10080,10243,10408,10575,10744,10914,11086,11260,11436,11613,11792,11973,12155,12339,12525,12713,12902,13093,13286,13480,13676,13874,14073,14274,14477,14681,14887,15095,15304,15515,15727,15941,16156,16373,16592,16812,17034,17257,17482,17708,17935,18164,18394,18626,18859,19093,19329,19566,19804,20044,20285,20527,20770,21015,21261,21508,21756,22005,22255,22507,22760,23014,23269,23525,23782,24040,24298,24557,24817,25078,25340,25603,25866,26130,26395,26661,26927,27194,27461,27729,27998,28267,28537,28807,29077,29348,29619,29891,30163,30435,30707,30980,31253,31526,31799,32072,32345,32618,32891,33164,33437,33710,33983,34256,34529,34802,35074,35346,35618,35890,36161,36432,36702,36972,37242,37511,37780,38048,38315,38582,38848,39114,39379,39643,39906,40169,40431,40692,40952,41211,41469,41727,41984,42240,42495,42749,43002,43254,43504,43753,44001,44248,44494,44739,44982,45224,45465,45705,45943,46180,46416,46650,46883,47115,47345,47574,47801,48027,48252,48475,48697,48917,49136,49353,49568,49782,49994,50205,50414,50622,50828,51032,51235,51436,51635,51833,52029,52223,52416,52607,52796,52984,53170,53354,53536,53717,53896,54073,54249,54423,54595,54765,54934,55101,55266,55429,55591,55751,55909,56066,56221,56374,56525,56675,56823,56969,57114,57257,57398,57537,57675,57811,57945,58078,58209,58338,58466,58592,58716,58839,58960,59080,59198,59314,59429,59542,59654,59764,59873,59980,60085,60189,60291,60392,60491,60589,60686,60781,60875,60967,61058,61147,61235,61322,61407,61491,61574,61655,61735,61814,61891,61967,62042,62116,62188,62259,62329,62398,62465,62531,62596,62660,62723,62785,62846,62906,62964,63021,63077,63132,63186,63239,63291,63342,63392,63441,63489,63536,63583,63629,63674,63718,63761,63803,63844,63884,63924,63963,64001,64038,64074,64110,64145,64179,64212,64245,64277,64308,64339,64369,64398,64427,64455,64482,64509,64535,64561,64586,64611,64635,64658,64681,64703,64725,64746,64767,64787,64807,64826,64845,64863,64881,64899,64916,64933,64949,64965,64981,64996,65011,65025,65039,65053,65066,65079,65092,65104,65116,65128,65139,65150,65161,65172,65173,65174,65175,65176,65177,65178,65179,65180,65181,65182,65183,65184,65185,65186,65187,65188,65189,65190,65191,65192,65193,65194,65195,65196,65197,65198,65199,65200,65201,65202,65203,65204,65205,65206,65207,65208,65209,65210,65211,65212,65213,65214,65215,65216,65217,65218,65219,65220,65221,65222,65223,65224,65225,65226,65227,65228,65229,65230,65231,65232,65233,65234,65235,65236,65237,65238,65239,65240,65241,65242,65243,65244,65245,65246,65247,65248,65249,65250,65251,65252,65253,65254,65255,65256,65257,65258,65259,65260,65261,65262,65263,65264,65265,65266,65267,65268,65269,65270,65271,65272,65273,65274,65275,65276,65277,65278,65279,65280,65281,65282,65283,65284,65285,65286,65287,65288,65289,65290,65291,65292,65293,65294,65295,65296,65297,65298,65299,65300,65301,65302,65303,65304,65305,65306,65307,65308,65309,65310,65311,65312,65313,65314,65315,65316,65317,65318,65319,65320,65321,65322,65323,65324,65325,65326,65327,65328,65329,65330,65331,65332,65333,65334,65335,65336,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,402,413,424,435,447,459,471,484,497,510,523,537,551,565,580,595,610,626,642,658,675,692,709,727,745,764,783,802,822,842,863,884,905,927,949,972,995,1019,1043,1068,1093,1119,1145,1172,1199,1227,1255,1284,1313,1343,1374,1405,1437,1469,1502,1536,1570,1605,1640,1676,1713,1750,1788,1827,1866,1906,1947,1989,2031,2074,2118,2163,2208,2254,2301,2349,2397,2446,2496,2547,2599,2652,2705,2759,2814,2870,2927,2985,3044,3104,3165,3226,3288,3351,3415,3480,3546,3613,3681,3750,3820,3891,3963,4036,4110,4186,4263,4341,4420,4500,4581,4663,4746,4830,4915,5002,5090,5179,5269,5360,5452,5546,5641,5737,5834,5932,6032,6133,6235,6338,6443,6549,6656,6764,6874,6985,7097,7211,7326,7442,7559,7678,7798,7919,8042,8166,8291,8418,8546,8675,8806,8938,9071,9206,9342,9479,9618,9758,9899,10042,10186,10331,10478,10626,10776,10927,11079,11233,11388,11544,11702,11861,12021,12183,12346,12510,12676,12843,13011,13181,13352,13524,13698,13873,14049,14226,14405,14585,14766,14949,15133,15318,15504,15692,15881,16071,16262,16454,16648,16843,17039,17236,17434,17634,17835,18037,18240,18444,18649,18855,19062,19270,19479,19689,19900,20112,20325,20539,20754,20970,21187,21405,21624,21844,22065,22287,22509,22732,22956,23181,23407,23633,23860,24088,24317,24546,24776,25007,25238,25470,25703,25936,26170,26404,26639,26874,27110,27346,27583,27820,28058,28296,28534,28773,29012,29251,29491,29731,29971,30211,30452,30693,30934,31175,31416,31657,31899,32141,32383,32625,32867,33109,33351,33593,33835,34076,34317,34558,34799,35040,35281,35521,35761,36001,36241,36480,36719,36958,37196,37434,37672,37909,38146,38382,38618,38853,39088,39322,39556,39789,40022,40254,40485,40716,40946,41175,41404,41632,41859,42085,42311,42536,42760,42983,43205,43427,43648,43868,44087,44305,44522,44738,44953,45167,45380,45592,45803,46013,46222,46430,46637,46843,47048,47252,47455,47657,47858,48058,48256,48453,48649,48844,49038,49230,49421,49611,49800,49988,50174,50359,50543,50726,50907,51087,51266,51443,51619,51794,51968,52140,52311,52481,52649,52816,52982,53146,53309,53471,53631,53790,53948,54104,54259,54413,54565,54716,54866,55014,55161,55306,55450,55593,55734,55874,56013,56150,56286,56421,56554,56686,56817,56946,57074,57201,57326,57450,57573,57694,57814,57933,58050,58166,58281,58395,58507,58618,58728,58836,58943,59049,59154,59257,59359,59460,59560,59658,59755,59851,59946,60040,60132,60223,60313,60402,60490,60577,60662,60746,60829,60911,60992,61072,61151,61229,61306,61382,61456,61529,61601,61672,61742,61811,61879,61946,62012,62077,62141,62204,62266,62327,62388,62448,62507,62565,62622,62678,62733,62787,62840,62893,62945,62996,63046,63095,63143,63191,63238,63284,63329,63374,63418,63461,63503,63545,63586,63626,63665,63704,63742,63779,63816,63852,63887,63922,63956,63990,64023,64055,64087,64118,64149,64179,64208,64237,64265,64293,64320,64347,64373,64399,64424,64449,64473,64497,64520,64543,64565,64587,64608,64629,64650,64670,64690,64709,64728,64747,64765,64783,64800,64817,64834,64850,64866,64882,64897,64912,64927,64941,64955,64969,64982,64995,65008,65021,65033,65045,65057,65068,65079,65090,65101,65102,65103,65104,65106,65116,65117,65118,65119,65120,65121,65122,65123,65124,65125,65126,65127,65128,65129,65130,65131,65132,65133,65134,65135,65136,65137,65138,65139,65140,65141,65142,65143,65144,65145,65146,65147,65148,65149,65150,65151,65152,65153,65154,65155,65156,65157,65158,65159,65160,65161,65162,65163,65164,65165,65166,65167,65168,65169,65170,65171,65172,65173,65174,65175,65176,65177,65178,65179,65180,65181,65182,65183,65184,65185,65186,65187,65188,65189,65190,65191,65192,65193,65194,65195,65196,65197,65198,65199,65200,65201,65202,65203,65204,65205,65206,65207,65208,65209,65210,65211,65212,65213,65214,65215,65216,65217,65218,65219,65220,65221,65222,65223,65224,65225,65226,65227,65228,65229,65230,65231,65232,65233,65234,65235,65236,65237,65238,65239,65240,65241,65242,65243,65244,65245,65246,65247,65248,65249,65250,65251,65252,65253,65254,65255,65256,65257,65258,65259,65260,65261,65262,65263,65264,65265,65266,65267,65268,65269,65270,65271,65272,65273,65274,65275,65276,65277,65278,65279,65280,65281,65282,65283,65284,65285,65286,65287,65288,65289,65290,65291,65292,65293,65294,65295,65296,65297,65298,65299,65300,65301,65302,65303,65304,65305,65306,65307,65308,65309,65310,65311,65312,65313,65314,65315,65316,65317,65318,65319,65320,65321,65322,65323,65324,65325,65326,65327,65328,65329,65330,65331,65332,65333,65334,65335,65336,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,459,470,481,492,503,515,527,539,551,564,577,590,603,617,631,645,659,674,689,704,720,736,752,768,785,802,819,837,855,873,892,911,930,950,970,990,1011,1032,1054,1076,1098,1121,1144,1168,1192,1216,1241,1266,1292,1318,1344,1371,1398,1426,1454,1483,1512,1542,1572,1603,1634,1666,1698,1731,1764,1798,1832,1867,1902,1938,1975,2012,2050,2088,2127,2166,2206,2247,2288,2330,2372,2415,2459,2503,2548,2594,2640,2687,2735,2783,2832,2882,2932,2983,3035,3087,3140,3194,3249,3304,3360,3417,3475,3533,3592,3652,3713,3775,3837,3900,3964,4029,4095,4161,4228,4296,4365,4435,4506,4578,4650,4723,4797,4872,4948,5025,5103,5182,5262,5342,5423,5505,5588,5672,5757,5843,5930,6018,6107,6197,6288,6380,6473,6567,6662,6758,6855,6953,7052,7152,7253,7355,7458,7562,7667,7773,7880,7988,8097,8207,8318,8430,8543,8657,8772,8888,9005,9123,9242,9362,9484,9607,9731,9856,9982,10109,10237,10366,10496,10627,10759,10892,11026,11161,11297,11434,11572,11711,11852,11994,12137,12281,12426,12572,12719,12867,13016,13166,13317,13469,13622,13776,13931,14087,14244,14402,14561,14721,14882,15044,15207,15371,15536,15702,15869,16037,16206,16376,16547,16719,16892,17065,17239,17414,17590,17767,17945,18124,18304,18485,18666,18848,19031,19215,19400,19586,19772,19959,20147,20336,20525,20715,20906,21098,21290,21483,21677,21872,22067,22263,22460,22657,22855,23054,23253,23453,23653,23854,24055,24257,24460,24663,24867,25071,25276,25481,25687,25893,26100,26307,26514,26722,26930,27139,27348,27557,27767,27977,28187,28398,28609,28820,29031,29243,29455,29667,29879,30091,30304,30517,30730,30943,31156,31369,31582,31796,32010,32224,32438,32652,32866,33080,33294,33508,33722,33936,34149,34362,34575,34788,35001,35214,35427,35639,35851,36063,36275,36487,36698,36909,37120,37331,37541,37751,37961,38170,38379,38588,38796,39004,39211,39418,39625,39831,40037,40242,40447,40651,40855,41058,41261,41463,41664,41865,42065,42265,42464,42663,42861,43058,43255,43451,43646,43841,44035,44228,44420,44612,44803,44993,45182,45371,45559,45746,45932,46118,46303,46487,46670,46852,47033,47214,47394,47573,47751,47928,48104,48279,48453,48626,48799,48971,49142,49312,49481,49649,49816,49982,50147,50311,50474,50636,50797,50957,51116,51274,51431,51587,51742,51896,52049,52201,52352,52502,52651,52799,52946,53092,53237,53381,53524,53666,53807,53946,54084,54221,54357,54492,54626,54759,54891,55022,55152,55281,55409,55536,55662,55787,55911,56034,56156,56276,56395,56513,56630,56746,56861,56975,57088,57200,57311,57421,57530,57638,57745,57851,57956,58060,58163,58265,58366,58466,58565,58663,58760,58856,58951,59045,59138,59230,59321,59411,59500,59588,59675,59761,59846,59930,60013,60095,60176,60256,60336,60415,60493,60570,60646,60721,60795,60868,60940,61012,61083,61153,61222,61290,61357,61423,61489,61554,61618,61681,61743,61805,61866,61926,61985,62043,62101,62158,62214,62269,62324,62378,62431,62483,62535,62586,62636,62686,62735,62783,62831,62878,62924,62970,63015,63059,63103,63146,63188,63230,63271,63312,63352,63391,63430,63468,63506,63543,63580,63616,63651,63686,63720,63754,63787,63820,63852,63884,63915,63946,63976,64006,64035,64064,64092,64120,64147,64174,64200,64226,64252,64277,64302,64326,64350,64374,64397,64420,64442,64464,64486,64507,64528,64548,64568,64588,64607,64626,64645,64663,64681,64699,64716,64733,64750,64766,64782,64798,64814,64829,64844,64859,64873,64887,64901,64915,64928,64941,64954,64967,64979,64991,65003,65015,65026,65037,65048,65059,65070,65071,65072,65073,65074,65075,65076,65077,65078,65079,65080,65081,65082,65083,65084,65085,65086,65087,65088,65089,65090,65091,65092,65093,65094,65095,65096,65097,65098,65099,65100,65101,65102,65103,65104,65105,65106,65107,65108,65109,65110,65111,65112,65113,65114,65115,65116,65117,65118,65119,65120,65121,65122,65123,65124,65125,65126,65127,65128,65129,65130,65131,65132,65133,65134,65135,65136,65137,65138,65139,65140,65141,65142,65143,65144,65145,65146,65147,65148,65149,65150,65151,65152,65153,65154,65155,65156,65157,65158,65159,65160,65161,65162,65163,65164,65165,65166,65167,65168,65169,65170,65171,65172,65173,65174,65175,65176,65177,65178,65179,65180,65181,65182,65183,65184,65185,65186,65187,65188,65189,65190,65191,65192,65193,65194,65195,65196,65197,65198,65199,65200,65201,65202,65203,65204,65205,65206,65207,65208,65209,65210,65211,65212,65213,65214,65215,65216,65217,65218,65219,65220,65221,65222,65223,65224,65225,65226,65227,65228,65229,65230,65231,65232,65233,65234,65235,65236,65237,65238,65239,65240,65241,65242,65243,65244,65245,65246,65247,65248,65249,65250,65251,65252,65253,65254,65255,65256,65257,65258,65259,65260,65261,65262,65263,65264,65265,65266,65267,65268,65269,65270,65271,65272,65273,65274,65275,65276,65277,65278,65279,65280,65281,65282,65283,65284,65285,65286,65287,65288,65289,65290,65291,65292,65293,65294,65295,65296,65297,65298,65299,65300,65301,65302,65303,65304,65305,65306,65307,65308,65309,65310,65311,65312,65313,65314,65315,65316,65317,65318,65319,65320,65321,65322,65323,65324,65325,65326,65327,65328,65329,65330,65331,65332,65333,65334,65335,65336,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,525,536,547,558,569,581,593,605,617,629,642,655,668,681,694,708,722,736,750,765,780,795,810,826,842,858,874,891,908,925,942,960,978,996,1015,1034,1053,1072,1092,1112,1132,1153,1174,1195,1217,1239,1261,1284,1307,1330,1354,1378,1402,1427,1452,1477,1503,1529,1556,1583,1610,1638,1666,1695,1724,1753,1783,1813,1844,1875,1906,1938,1970,2003,2036,2070,2104,2139,2174,2210,2246,2282,2319,2356,2394,2432,2471,2510,2550,2590,2631,2672,2714,2757,2800,2844,2888,2933,2978,3024,3070,3117,3164,3212,3261,3310,3360,3410,3461,3513,3565,3618,3671,3725,3780,3835,3891,3948,4005,4063,4121,4180,4240,4300,4361,4423,4485,4548,4612,4676,4741,4807,4873,4940,5008,5077,5146,5216,5287,5358,5430,5503,5577,5651,5726,5802,5879,5956,6034,6113,6193,6273,6354,6436,6519,6602,6686,6771,6857,6943,7030,7118,7207,7297,7387,7478,7570,7663,7757,7851,7946,8042,8139,8237,8335,8434,8534,8635,8737,8840,8943,9047,9152,9258,9365,9472,9580,9689,9799,9910,10022,10134,10247,10361,10476,10592,10709,10826,10944,11063,11183,11304,11426,11548,11671,11795,11920,12046,12172,12299,12427,12556,12686,12817,12948,13080,13213,13347,13482,13617,13753,13890,14028,14167,14306,14446,14587,14729,14871,15014,15158,15303,15449,15595,15742,15890,16039,16188,16338,16489,16640,16792,16945,17099,17253,17408,17564,17720,17877,18035,18194,18353,18513,18674,18835,18997,19159,19322,19486,19650,19815,19981,20147,20314,20481,20649,20818,20987,21157,21327,21498,21669,21841,22014,22187,22361,22535,22710,22885,23061,23237,23414,23591,23768,23946,24124,24303,24482,24662,24842,25022,25203,25384,25566,25748,25930,26113,26296,26479,26663,26847,27031,27216,27401,27586,27771,27957,28143,28329,28515,28702,28889,29076,29263,29450,29638,29826,30014,30202,30390,30578,30766,30954,31143,31332,31521,31710,31899,32088,32277,32466,32655,32844,33033,33222,33411,33600,33789,33978,34167,34356,34545,34733,34921,35109,35297,35485,35673,35861,36049,36236,36423,36610,36797,36984,37170,37356,37542,37728,37913,38098,38283,38468,38652,38836,39020,39203,39386,39569,39751,39933,40115,40296,40477,40657,40837,41017,41196,41375,41553,41731,41908,42085,42262,42438,42614,42789,42964,43138,43312,43485,43658,43830,44001,44172,44342,44512,44681,44850,45018,45185,45352,45518,45684,45849,46013,46177,46340,46502,46664,46825,46986,47146,47305,47464,47622,47779,47935,48091,48246,48400,48554,48707,48859,49010,49161,49311,49460,49609,49757,49904,50050,50196,50341,50485,50628,50770,50912,51053,51193,51332,51471,51609,51746,51882,52017,52152,52286,52419,52551,52682,52813,52943,53072,53200,53327,53453,53579,53704,53828,53951,54073,54195,54316,54436,54555,54673,54790,54907,55023,55138,55252,55365,55477,55589,55700,55810,55919,56027,56134,56241,56347,56452,56556,56659,56762,56864,56965,57065,57164,57262,57360,57457,57553,57648,57742,57836,57929,58021,58112,58202,58292,58381,58469,58556,58642,58728,58813,58897,58980,59063,59145,59226,59306,59386,59465,59543,59620,59697,59773,59848,59922,59996,60069,60141,60212,60283,60353,60422,60491,60559,60626,60692,60758,60823,60887,60951,61014,61076,61138,61199,61259,61319,61378,61436,61494,61551,61608,61664,61719,61774,61828,61881,61934,61986,62038,62089,62139,62189,62238,62287,62335,62382,62429,62475,62521,62566,62611,62655,62699,62742,62785,62827,62868,62909,62949,62989,63028,63067,63105,63143,63180,63217,63253,63289,63325,63360,63395,63429,63463,63496,63529,63561,63593,63624,63655,63686,63716,63746,63775,63804,63833,63861,63889,63916,63943,63970,63996,64022,64047,64072,64097,64121,64145,64169,64192,64215,64238,64260,64282,64304,64325,64346,64367,64387,64407,64427,64446,64465,64484,64503,64521,64539,64557,64574,64591,64608,64625,64641,64657,64673,64689,64704,64719,64734,64749,64763,64777,64791,64805,64818,64831,64844,64857,64870,64882,64894,64906,64918,64930,64941,64952,64963,64974,64985,64986,64987,64988,64989,64993,65003,65004,65005,65006,65007,65008,65009,65010,65011,65012,65013,65014,65015,65016,65017,65018,65019,65020,65021,65022,65023,65024,65025,65026,65027,65028,65029,65030,65031,65032,65033,65034,65035,65036,65037,65038,65039,65040,65041,65042,65043,65044,65045,65046,65047,65048,65049,65050,65051,65052,65053,65054,65055,65056,65057,65058,65059,65060,65061,65062,65063,65064,65065,65066,65067,65068,65069,65070,65071,65072,65073,65074,65075,65076,65077,65078,65079,65080,65081,65082,65083,65084,65085,65086,65087,65088,65089,65090,65091,65092,65093,65094,65095,65096,65097,65098,65099,65100,65101,65102,65103,65104,65105,65106,65107,65108,65109,65110,65111,65112,65113,65114,65115,65116,65117,65118,65119,65120,65121,65122,65123,65124,65125,65126,65127,65128,65129,65130,65131,65132,65133,65134,65135,65136,65137,65138,65139,65140,65141,65142,65143,65144,65145,65146,65147,65148,65149,65150,65151,65152,65153,65154,65155,65156,65157,65158,65159,65160,65161,65162,65163,65164,65165,65166,65167,65168,65169,65170,65171,65172,65173,65174,65175,65176,65177,65178,65179,65180,65181,65182,65183,65184,65185,65186,65187,65188,65189,65190,65191,65192,65193,65194,65195,65196,65197,65198,65199,65200,65201,65202,65203,65204,65205,65206,65207,65208,65209,65210,65211,65212,65213,65214,65215,65216,65217,65218,65219,65220,65221,65222,65223,65224,65225,65226,65227,65228,65229,65230,65231,65232,65233,65234,65235,65236,65237,65238,65239,65240,65241,65242,65243,65244,65245,65246,65247,65248,65249,65250,65251,65252,65253,65254,65255,65256,65257,65258,65259,65260,65261,65262,65263,65264,65265,65266,65267,65268,65269,65270,65271,65272,65273,65274,65275,65276,65277,65278,65279,65280,65281,65282,65283,65284,65285,65286,65287,65288,65289,65290,65291,65292,65293,65294,65295,65296,65297,65298,65299,65300,65301,65302,65303,65304,65305,65306,65307,65308,65309,65310,65311,65312,65313,65314,65315,65316,65317,65318,65319,65320,65321,65322,65323,65324,65325,65326,65327,65328,65329,65330,65331,65332,65333,65334,65335,65336,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,600,611,622,633,644,655,667,679,691,703,715,727,740,753,766,779,792,806,820,834,848,862,876,891,906,921,936,952,968,984,1000,1016,1033,1050,1067,1084,1102,1120,1138,1156,1175,1194,1213,1232,1252,1272,1292,1312,1333,1354,1375,1396,1418,1440,1462,1485,1508,1531,1554,1578,1602,1626,1651,1676,1701,1727,1753,1779,1806,1833,1860,1888,1916,1944,1973,2002,2031,2061,2091,2121,2152,2183,2214,2246,2278,2311,2344,2377,2411,2445,2479,2514,2549,2585,2621,2657,2694,2731,2769,2807,2846,2885,2924,2964,3004,3045,3086,3128,3170,3212,3255,3298,3342,3386,3431,3476,3522,3568,3615,3662,3710,3758,3807,3856,3906,3956,4007,4058,4110,4162,4215,4268,4322,4376,4431,4486,4542,4598,4655,4712,4770,4828,4887,4946,5006,5067,5128,5190,5252,5315,5378,5442,5506,5571,5637,5703,5770,5837,5905,5973,6042,6112,6182,6253,6324,6396,6469,6542,6616,6690,6765,6841,6917,6994,7071,7149,7228,7307,7387,7468,7549,7631,7713,7796,7880,7964,8049,8135,8221,8308,8395,8483,8572,8661,8751,8842,8933,9025,9118,9211,9305,9400,9495,9591,9687,9784,9882,9980,10079,10179,10279,10380,10482,10584,10687,10791,10895,11000,11106,11212,11319,11426,11534,11643,11752,11862,11973,12084,12196,12309,12422,12536,12651,12766,12882,12998,13115,13233,13351,13470,13590,13710,13831,13952,14074,14197,14320,14444,14569,14694,14820,14946,15073,15201,15329,15458,15587,15717,15848,15979,16111,16243,16376,16509,16643,16778,16913,17049,17185,17322,17459,17597,17735,17874,18013,18153,18294,18435,18577,18719,18862,19005,19149,19293,19438,19583,19729,19875,20022,20169,20317,20465,20613,20762,20911,21061,21211,21362,21513,21665,21817,21969,22122,22275,22429,22583,22737,22892,23047,23203,23359,23515,23672,23829,23986,24144,24302,24460,24619,24778,24937,25097,25257,25417,25578,25739,25900,26061,26223,26385,26547,26709,26872,27035,27198,27361,27525,27689,27853,28017,28181,28346,28511,28676,28841,29006,29171,29337,29503,29669,29835,30001,30167,30333,30499,30666,30833,31000,31167,31334,31501,31668,31835,32002,32169,32336,32503,32670,32837,33004,33171,33338,33505,33672,33839,34006,34173,34340,34507,34674,34841,35008,35174,35340,35506,35672,35838,36004,36170,36336,36501,36666,36831,36996,37161,37326,37490,37654,37818,37982,38146,38309,38472,38635,38798,38960,39122,39284,39446,39607,39768,39929,40090,40250,40410,40570,40729,40888,41047,41205,41363,41521,41678,41835,41992,42148,42304,42460,42615,42770,42924,43078,43232,43385,43538,43690,43842,43994,44145,44296,44446,44596,44745,44894,45042,45190,45338,45485,45632,45778,45924,46069,46214,46358,46502,46645,46788,46930,47072,47213,47354,47494,47633,47772,47910,48048,48185,48322,48458,48594,48729,48864,48998,49131,49264,49396,49528,49659,49790,49920,50049,50178,50306,50434,50561,50687,50813,50938,51063,51187,51310,51433,51555,51676,51797,51917,52037,52156,52274,52392,52509,52625,52741,52856,52971,53085,53198,53311,53423,53534,53645,53755,53864,53973,54081,54188,54295,54401,54507,54612,54716,54820,54923,55025,55127,55228,55328,55428,55527,55625,55723,55820,55916,56012,56107,56202,56296,56389,56482,56574,56665,56756,56846,56935,57024,57112,57199,57286,57372,57458,57543,57627,57711,57794,57876,57958,58039,58120,58200,58279,58358,58436,58513,58590,58666,58742,58817,58891,58965,59038,59111,59183,59254,59325,59395,59465,59534,59602,59670,59737,59804,59870,59936,60001,60065,60129,60192,60255,60317,60379,60440,60501,60561,60620,60679,60737,60795,60852,60909,60965,61021,61076,61131,61185,61239,61292,61345,61397,61449,61500,61551,61601,61651,61700,61749,61797,61845,61892,61939,61985,62031,62076,62121,62165,62209,62252,62295,62337,62379,62421,62462,62503,62543,62583,62622,62661,62700,62738,62776,62813,62850,62886,62922,62958,62993,63028,63062,63096,63130,63163,63196,63229,63261,63293,63324,63355,63386,63416,63446,63476,63505,63534,63563,63591,63619,63647,63674,63701,63728,63754,63780,63806,63831,63856,63881,63905,63929,63953,63976,63999,64022,64045,64067,64089,64111,64132,64153,64174,64195,64215,64235,64255,64275,64294,64313,64332,64351,64369,64387,64405,64423,64440,64457,64474,64491,64507,64523,64539,64555,64571,64586,64601,64616,64631,64645,64659,64673,64687,64701,64715,64728,64741,64754,64767,64780,64792,64804,64816,64828,64840,64852,64863,64874,64885,64896,64907,64918,64919,64920,64921,64922,64923,64928,64929,64930,64931,64932,64933,64934,64935,64936,64937,64938,64939,64940,64941,64942,64943,64944,64945,64946,64947,64948,64949,64950,64951,64952,64953,64954,64955,64956,64957,64958,64959,64960,64961,64962,64963,64964,64965,64966,64967,64968,64969,64970,64971,64972,64973,64974,64975,64976,64977,64978,64979,64980,64981,64982,64983,64984,64985,64986,64987,64988,64989,64990,64991,64992,64993,64994,64995,64996,64997,64998,64999,65000,65001,65002,65003,65004,65005,65006,65007,65008,65009,65010,65011,65012,65013,65014,65015,65016,65017,65018,65019,65020,65021,65022,65023,65024,65025,65026,65027,65028,65029,65030,65031,65032,65033,65034,65035,65036,65037,65038,65039,65040,65041,65042,65043,65044,65045,65046,65047,65048,65049,65050,65051,65052,65053,65054,65055,65056,65057,65058,65059,65060,65061,65062,65063,65064,65065,65066,65067,65068,65069,65070,65071,65072,65073,65074,65075,65076,65077,65078,65079,65080,65081,65082,65083,65084,65085,65086,65087,65088,65089,65090,65091,65092,65093,65094,65095,65096,65097,65098,65099,65100,65101,65102,65103,65104,65105,65106,65107,65108,65109,65110,65111,65112,65113,65114,65115,65116,65117,65118,65119,65120,65121,65122,65123,65124,65125,65126,65127,65128,65129,65130,65131,65132,65133,65134,65135,65136,65137,65138,65139,65140,65141,65142,65143,65144,65145,65146,65147,65148,65149,65150,65151,65152,65153,65154,65155,65156,65157,65158,65159,65160,65161,65162,65163,65164,65165,65166,65167,65168,65169,65170,65171,65172,65173,65174,65175,65176,65177,65178,65179,65180,65181,65182,65183,65184,65185,65186,65187,65188,65189,65190,65191,65192,65193,65194,65195,65196,65197,65198,65199,65200,65201,65202,65203,65204,65205,65206,65207,65208,65209,65210,65211,65212,65213,65214,65215,65216,65217,65218,65219,65220,65221,65222,65223,65224,65225,65226,65227,65228,65229,65230,65231,65232,65233,65234,65235,65236,65237,65238,65239,65240,65241,65242,65243,65244,65245,65246,65247,65248,65249,65250,65251,65252,65253,65254,65255,65256,65257,65258,65259,65260,65261,65262,65263,65264,65265,65266,65267,65268,65269,65270,65271,65272,65273,65274,65275,65276,65277,65278,65279,65280,65281,65282,65283,65284,65285,65286,65287,65288,65289,65290,65291,65292,65293,65294,65295,65296,65297,65298,65299,65300,65301,65302,65303,65304,65305,65306,65307,65308,65309,65310,65311,65312,65313,65314,65315,65316,65317,65318,65319,65320,65321,65322,65323,65324,65325,65326,65327,65328,65329,65330,65331,65332,65333,65334,65335,65336,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,657,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,687,698,709,720,731,742,753,765,777,789,801,813,825,838,851,864,877,890,903,917,931,945,959,973,987,1002,1017,1032,1047,1062,1077,1093,1109,1125,1141,1157,1174,1191,1208,1225,1242,1260,1278,1296,1314,1332,1351,1370,1389,1408,1428,1448,1468,1488,1508,1529,1550,1571,1592,1614,1636,1658,1680,1703,1726,1749,1772,1796,1820,1844,1868,1893,1918,1943,1968,1994,2020,2046,2073,2100,2127,2154,2182,2210,2238,2267,2296,2325,2354,2384,2414,2444,2475,2506,2537,2569,2601,2633,2665,2698,2731,2764,2798,2832,2866,2901,2936,2971,3007,3043,3079,3116,3153,3191,3229,3267,3306,3345,3384,3424,3464,3504,3545,3586,3628,3670,3712,3755,3798,3841,3885,3929,3974,4019,4064,4110,4156,4203,4250,4297,4345,4393,4442,4491,4540,4590,4640,4691,4742,4793,4845,4897,4950,5003,5057,5111,5165,5220,5275,5331,5387,5444,5501,5559,5617,5675,5734,5793,5853,5913,5974,6035,6097,6159,6222,6285,6348,6412,6476,6541,6606,6672,6738,6805,6872,6940,7008,7077,7146,7216,7286,7357,7428,7500,7572,7645,7718,7792,7866,7941,8016,8092,8168,8245,8322,8400,8478,8557,8636,8716,8796,8877,8958,9040,9122,9205,9288,9372,9456,9541,9626,9712,9798,9885,9972,10060,10148,10237,10326,10416,10506,10597,10688,10780,10872,10965,11058,11152,11246,11341,11436,11532,11628,11725,11822,11920,12018,12117,12216,12316,12416,12517,12618,12720,12822,12925,13028,13132,13236,13341,13446,13552,13658,13765,13872,13980,14088,14197,14306,14415,14525,14635,14746,14857,14969,15081,15194,15307,15421,15535,15650,15765,15881,15997,16113,16230,16347,16465,16583,16702,16821,16941,17061,17181,17302,17423,17545,17667,17790,17913,18036,18160,18284,18409,18534,18660,18786,18912,19039,19166,19294,19422,19550,19679,19808,19937,20067,20197,20328,20459,20590,20722,20854,20986,21119,21252,21385,21519,21653,21787,21922,22057,22192,22328,22464,22600,22737,22874,23011,23149,23287,23425,23563,23702,23841,23980,24119,24259,24399,24539,24680,24821,24962,25103,25244,25386,25528,25670,25812,25955,26098,26241,26384,26527,26671,26815,26959,27103,27247,27392,27537,27682,27827,27972,28117,28262,28408,28554,28700,28846,28992,29138,29284,29430,29577,29724,29871,30018,30165,30312,30459,30606,30753,30900,31047,31194,31341,31489,31637,31785,31933,32081,32229,32377,32525,32673,32821,32969,33117,33265,33413,33561,33709,33857,34005,34153,34300,34447,34594,34741,34888,35035,35182,35329,35476,35623,35770,35917,36064,36210,36356,36502,36648,36794,36940,37086,37232,37377,37522,37667,37812,37957,38102,38247,38391,38535,38679,38823,38967,39110,39253,39396,39539,39682,39824,39966,40108,40250,40391,40532,40673,40814,40955,41095,41235,41375,41514,41653,41792,41931,42069,42207,42345,42483,42620,42757,42894,43030,43166,43302,43437,43572,43707,43841,43975,44109,44242,44375,44508,44640,44772,44904,45035,45166,45297,45427,45557,45686,45815,45944,46072,46200,46328,46455,46582,46708,46834,46960,47085,47210,47334,47458,47581,47704,47827,47949,48071,48192,48313,48433,48553,48673,48792,48911,49029,49147,49264,49381,49497,49613,49729,49844,49959,50073,50187,50300,50413,50525,50637,50748,50859,50969,51079,51188,51297,51406,51514,51622,51729,51836,51942,52048,52153,52258,52362,52466,52569,52672,52774,52876,52977,53078,53178,53278,53377,53476,53574,53672,53769,53866,53962,54058,54153,54248,54342,54436,54529,54622,54714,54806,54897,54988,55078,55168,55257,55346,55434,55522,55609,55696,55782,55868,55953,56038,56122,56206,56289,56372,56454,56536,56617,56698,56778,56858,56937,57016,57094,57172,57249,57326,57402,57478,57553,57628,57702,57776,57849,57922,57994,58066,58137,58208,58278,58348,58417,58486,58554,58622,58689,58756,58822,58888,58953,59018,59082,59146,59209,59272,59335,59397,59459,59520,59581,59641,59701,59760,59819,59877,59935,59993,60050,60107,60163,60219,60274,60329,60383,60437,60491,60544,60597,60649,60701,60752,60803,60854,60904,60954,61003,61052,61101,61149,61197,61244,61291,61338,61384,61430,61475,61520,61565,61609,61653,61696,61739,61782,61824,61866,61908,61949,61990,62030,62070,62110,62149,62188,62227,62265,62303,62341,62378,62415,62451,62487,62523,62558,62593,62628,62662,62696,62730,62763,62796,62829,62861,62893,62925,62957,62988,63019,63050,63080,63110,63140,63169,63198,63227,63256,63284,63312,63340,63367,63394,63421,63448,63474,63500,63526,63551,63576,63601,63626,63650,63674,63698,63722,63745,63768,63791,63814,63836,63858,63880,63902,63923,63944,63965,63986,64006,64026,64046,64066,64086,64105,64124,64143,64162,64180,64198,64216,64234,64252,64269,64286,64303,64320,64337,64353,64369,64385,64401,64417,64432,64447,64462,64477,64492,64507,64521,64535,64549,64563,64577,64591,64604,64617,64630,64643,64656,64669,64681,64693,64705,64717,64729,64741,64752,64763,64774,64785,64796,64807,64818,64819,64820,64821,64822,64828,64838,64848,64858,64859,64860,64861,64862,64863,64864,64865,64866,64867,64868,64869,64870,64871,64872,64873,64874,64875,64876,64877,64878,64879,64880,64881,64882,64883,64884,64885,64886,64887,64888,64889,64890,64891,64892,64893,64894,64895,64896,64897,64898,64899,64900,64901,64902,64903,64904,64905,64906,64907,64908,64909,64910,64911,64912,64913,64914,64915,64916,64917,64918,64919,64920,64921,64922,64923,64924,64925,64926,64927,64928,64929,64930,64931,64932,64933,64934,64935,64936,64937,64938,64939,64940,64941,64942,64943,64944,64945,64946,64947,64948,64949,64950,64951,64952,64953,64954,64955,64956,64957,64958,64959,64960,64961,64962,64963,64964,64965,64966,64967,64968,64969,64970,64971,64972,64973,64974,64975,64976,64977,64978,64979,64980,64981,64982,64983,64984,64985,64986,64987,64988,64989,64990,64991,64992,64993,64994,64995,64996,64997,64998,64999,65000,65001,65002,65003,65004,65005,65006,65007,65008,65009,65010,65011,65012,65013,65014,65015,65016,65017,65018,65019,65020,65021,65022,65023,65024,65025,65026,65027,65028,65029,65030,65031,65032,65033,65034,65035,65036,65037,65038,65039,65040,65041,65042,65043,65044,65045,65046,65047,65048,65049,65050,65051,65052,65053,65054,65055,65056,65057,65058,65059,65060,65061,65062,65063,65064,65065,65066,65067,65068,65069,65070,65071,65072,65073,65074,65075,65076,65077,65078,65079,65080,65081,65082,65083,65084,65085,65086,65087,65088,65089,65090,65091,65092,65093,65094,65095,65096,65097,65098,65099,65100,65101,65102,65103,65104,65105,65106,65107,65108,65109,65110,65111,65112,65113,65114,65115,65116,65117,65118,65119,65120,65121,65122,65123,65124,65125,65126,65127,65128,65129,65130,65131,65132,65133,65134,65135,65136,65137,65138,65139,65140,65141,65142,65143,65144,65145,65146,65147,65148,65149,65150,65151,65152,65153,65154,65155,65156,65157,65158,65159,65160,65161,65162,65163,65164,65165,65166,65167,65168,65169,65170,65171,65172,65173,65174,65175,65176,65177,65178,65179,65180,65181,65182,65183,65184,65185,65186,65187,65188,65189,65190,65191,65192,65193,65194,65195,65196,65197,65198,65199,65200,65201,65202,65203,65204,65205,65206,65207,65208,65209,65210,65211,65212,65213,65214,65215,65216,65217,65218,65219,65220,65221,65222,65223,65224,65225,65226,65227,65228,65229,65230,65231,65232,65233,65234,65235,65236,65237,65238,65239,65240,65241,65242,65243,65244,65245,65246,65247,65248,65249,65250,65251,65252,65253,65254,65255,65256,65257,65258,65259,65260,65261,65262,65263,65264,65265,65266,65267,65268,65269,65270,65271,65272,65273,65274,65275,65276,65277,65278,65279,65280,65281,65282,65283,65284,65285,65286,65287,65288,65289,65290,65291,65292,65293,65294,65295,65296,65297,65298,65299,65300,65301,65302,65303,65304,65305,65306,65307,65308,65309,65310,65311,65312,65313,65314,65315,65316,65317,65318,65319,65320,65321,65322,65323,65324,65325,65326,65327,65328,65329,65330,65331,65332,65333,65334,65335,65336,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65502,65503,65504,65505,65506,65507,65508,65509,65510,65511,65512,65513,65514,65515,65516,65517,65518,65519,65520,65521,65522,65523,65524,65525,65526,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,657,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,699,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,738,739,740,741,742,743,744,745,746,747,748,749,750,751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,785,796,807,818,829,840,851,862,874,886,898,910,922,934,946,958,971,984,997,1010,1023,1036,1049,1063,1077,1091,1105,1119,1133,1147,1162,1177,1192,1207,1222,1237,1253,1269,1285,1301,1317,1333,1350,1367,1384,1401,1418,1435,1453,1471,1489,1507,1525,1543,1562,1581,1600,1619,1638,1658,1678,1698,1718,1738,1759,1780,1801,1822,1843,1865,1887,1909,1931,1953,1976,1999,2022,2045,2068,2092,2116,2140,2164,2189,2214,2239,2264,2289,2315,2341,2367,2393,2420,2447,2474,2501,2529,2557,2585,2613,2642,2671,2700,2729,2759,2789,2819,2849,2880,2911,2942,2973,3005,3037,3069,3101,3134,3167,3200,3234,3268,3302,3336,3371,3406,3441,3477,3513,3549,3585,3622,3659,3696,3734,3772,3810,3848,3887,3926,3965,4005,4045,4085,4126,4167,4208,4250,4292,4334,4376,4419,4462,4505,4549,4593,4637,4682,4727,4772,4818,4864,4910,4957,5004,5051,5099,5147,5195,5244,5293,5342,5392,5442,5492,5543,5594,5646,5698,5750,5803,5856,5909,5963,6017,6071,6126,6181,6236,6292,6348,6405,6462,6519,6577,6635,6693,6752,6811,6871,6931,6991,7052,7113,7174,7236,7298,7361,7424,7487,7551,7615,7679,7744,7809,7875,7941,8007,8074,8141,8208,8276,8344,8413,8482,8551,8621,8691,8762,8833,8904,8976,9048,9121,9194,9267,9341,9415,9490,9565,9640,9716,9792,9869,9946,10023,10101,10179,10257,10336,10415,10495,10575,10655,10736,10817,10899,10981,11063,11146,11229,11313,11397,11481,11566,11651,11737,11823,11909,11996,12083,12171,12259,12347,12436,12525,12615,12705,12795,12886,12977,13068,13160,13252,13345,13438,13531,13625,13719,13814,13909,14004,14100,14196,14292,14389,14486,14584,14682,14780,14879,14978,15077,15177,15277,15377,15478,15579,15681,15783,15885,15988,16091,16194,16298,16402,16506,16611,16716,16821,16927,17033,17139,17246,17353,17460,17568,17676,17784,17893,18002,18111,18221,18331,18441,18552,18663,18774,18886,18998,19110,19223,19336,19449,19563,19677,19791,19905,20020,20135,20250,20366,20482,20598,20714,20831,20948,21065,21183,21301,21419,21537,21656,21775,21894,22013,22133,22253,22373,22493,22614,22735,22856,22977,23099,23221,23343,23465,23587,23710,23833,23956,24079,24203,24327,24451,24575,24699,24824,24949,25074,25199,25324,25449,25575,25701,25827,25953,26079,26205,26332,26459,26586,26713,26840,26967,27095,27223,27351,27479,27607,27735,27863,27991,28120,28249,28378,28507,28636,28765,28894,29023,29152,29281,29411,29541,29671,29801,29931,30061,30191,30321,30451,30581,30711,30841,30971,31101,31231,31361,31491,31621,31752,31883,32014,32145,32276,32407,32538,32669,32800,32931,33062,33193,33324,33455,33586,33717,33848,33978,34108,34238,34368,34498,34628,34758,34888,35018,35148,35278,35408,35538,35668,35798,35928,36058,36188,36317,36446,36575,36704,36833,36962,37091,37220,37349,37478,37606,37734,37862,37990,38118,38246,38374,38502,38629,38756,38883,39010,39137,39264,39390,39516,39642,39768,39894,40020,40145,40270,40395,40520,40645,40770,40894,41018,41142,41266,41390,41513,41636,41759,41882,42004,42126,42248,42370,42492,42613,42734,42855,42976,43096,43216,43336,43456,43575,43694,43813,43932,44050,44168,44286,44404,44521,44638,44755,44871,44987,45103,45219,45334,45449,45564,45678,45792,45906,46020,46133,46246,46359,46471,46583,46695,46806,46917,47028,47138,47248,47358,47467,47576,47685,47793,47901,48009,48116,48223,48330,48436,48542,48648,48753,48858,48963,49067,49171,49275,49378,49481,49584,49686,49788,49890,49991,50092,50192,50292,50392,50491,50590,50689,50787,50885,50983,51080,51177,51273,51369,51465,51560,51655,51750,51844,51938,52031,52124,52217,52309,52401,52492,52583,52674,52764,52854,52944,53033,53122,53210,53298,53386,53473,53560,53646,53732,53818,53903,53988,54072,54156,54240,54323,54406,54488,54570,54652,54733,54814,54894,54974,55054,55133,55212,55290,55368,55446,55523,55600,55677,55753,55829,55904,55979,56054,56128,56202,56275,56348,56421,56493,56565,56636,56707,56778,56848,56918,56987,57056,57125,57193,57261,57328,57395,57462,57528,57594,57660,57725,57790,57854,57918,57982,58045,58108,58171,58233,58295,58356,58417,58478,58538,58598,58658,58717,58776,58834,58892,58950,59007,59064,59121,59177,59233,59288,59343,59398,59452,59506,59560,59613,59666,59719,59771,59823,59875,59926,59977,60027,60077,60127,60176,60225,60274,60322,60370,60418,60465,60512,60559,60605,60651,60697,60742,60787,60832,60876,60920,60964,61007,61050,61093,61135,61177,61219,61261,61302,61343,61384,61424,61464,61504,61543,61582,61621,61659,61697,61735,61773,61810,61847,61884,61920,61956,61992,62028,62063,62098,62133,62167,62201,62235,62269,62302,62335,62368,62400,62432,62464,62496,62527,62558,62589,62620,62650,62680,62710,62740,62769,62798,62827,62856,62884,62912,62940,62968,62995,63022,63049,63076,63102,63128,63154,63180,63205,63230,63255,63280,63305,63329,63353,63377,63401,63424,63447,63470,63493,63516,63538,63560,63582,63604,63626,63647,63668,63689,63710,63731,63751,63771,63791,63811,63831,63850,63869,63888,63907,63926,63944,63962,63980,63998,64016,64034,64051,64068,64085,64102,64119,64136,64152,64168,64184,64200,64216,64232,64247,64262,64277,64292,64307,64322,64336,64350,64364,64378,64392,64406,64420,64433,64446,64459,64472,64485,64498,64511,64523,64535,64547,64559,64571,64583,64595,64607,64618,64629,64640,64651,64662,64673,64684,64695,64696,64697,64698,64699,64700,64706,64716,64726,64736,64737,64738,64739,64740,64741,64742,64743,64744,64745,64746,64747,64748,64749,64750,64751,64752,64753,64754,64755,64756,64757,64758,64759,64760,64761,64762,64763,64764,64765,64766,64767,64768,64769,64770,64771,64772,64773,64774,64775,64776,64777,64778,64779,64780,64781,64782,64783,64784,64785,64786,64787,64788,64789,64790,64791,64792,64793,64794,64795,64796,64797,64798,64799,64800,64801,64802,64803,64804,64805,64806,64807,64808,64809,64810,64811,64812,64813,64814,64815,64816,64817,64818,64819,64820,64821,64822,64823,64824,64825,64826,64827,64828,64829,64830,64831,64832,64833,64834,64835,64836,64837,64838,64839,64840,64841,64842,64843,64844,64845,64846,64847,64848,64849,64850,64851,64852,64853,64854,64855,64856,64857,64858,64859,64860,64861,64862,64863,64864,64865,64866,64867,64868,64869,64870,64871,64872,64873,64874,64875,64876,64877,64878,64879,64880,64881,64882,64883,64884,64885,64886,64887,64888,64889,64890,64891,64892,64893,64894,64895,64896,64897,64898,64899,64900,64901,64902,64903,64904,64905,64906,64907,64908,64909,64910,64911,64912,64913,64914,64915,64916,64917,64918,64919,64920,64921,64922,64923,64924,64925,64926,64927,64928,64929,64930,64931,64932,64933,64934,64935,64936,64937,64938,64939,64940,64941,64942,64943,64944,64945,64946,64947,64948,64949,64950,64951,64952,64953,64954,64955,64956,64957,64958,64959,64960,64961,64962,64963,64964,64965,64966,64967,64968,64969,64970,64971,64972,64973,64974,64975,64976,64977,64978,64979,64980,64981,64982,64983,64984,64985,64986,64987,64988,64989,64990,64991,64992,64993,64994,64995,64996,64997,64998,64999,65000,65001,65002,65003,65004,65005,65006,65007,65008,65009,65010,65011,65012,65013,65014,65015,65016,65017,65018,65019,65020,65021,65022,65023,65024,65025,65026,65027,65028,65029,65030,65031,65032,65033,65034,65035,65036,65037,65038,65039,65040,65041,65042,65043,65044,65045,65046,65047,65048,65049,65050,65051,65052,65053,65054,65055,65056,65057,65058,65059,65060,65061,65062,65063,65064,65065,65066,65067,65068,65069,65070,65071,65072,65073,65074,65075,65076,65077,65078,65079,65080,65081,65082,65083,65084,65085,65086,65087,65088,65089,65090,65091,65092,65093,65094,65095,65096,65097,65098,65099,65100,65101,65102,65103,65104,65105,65106,65107,65108,65109,65110,65111,65112,65113,65114,65115,65116,65117,65118,65119,65120,65121,65122,65123,65124,65125,65126,65127,65128,65129,65130,65131,65132,65133,65134,65135,65136,65137,65138,65139,65140,65141,65142,65143,65144,65145,65146,65147,65148,65149,65150,65151,65152,65153,65154,65155,65156,65157,65158,65159,65160,65161,65162,65163,65164,65165,65166,65167,65168,65169,65170,65171,65172,65173,65174,65175,65176,65177,65178,65179,65180,65181,65182,65183,65184,65185,65186,65187,65188,65189,65190,65191,65192,65193,65194,65195,65196,65197,65198,65199,65200,65201,65202,65203,65204,65205,65206,65207,65208,65209,65210,65211,65212,65213,65214,65215,65216,65217,65218,65219,65220,65221,65222,65223,65224,65225,65226,65227,65228,65229,65230,65231,65232,65233,65234,65235,65236,65237,65238,65239,65240,65241,65242,65243,65244,65245,65246,65247,65248,65249,65250,65251,65252,65253,65254,65255,65256,65257,65258,65259,65260,65261,65262,65263,65264,65265,65266,65267,65268,65269,65270,65271,65272,65273,65274,65275,65276,65277,65278,65279,65280,65281,65282,65283,65284,65285,65286,65287,65288,65289,65290,65291,65292,65293,65294,65295,65296,65297,65298,65299,65300,65301,65302,65303,65304,65305,65306,65307,65308,65309,65310,65311,65312,65313,65314,65315,65316,65317,65318,65319,65320,65321,65322,65323,65324,65325,65326,65327,65328,65329,65330,65331,65332,65333,65334,65335,65336,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65483,65484,65485,65486,65487,65488,65489,65490,65491,65492,65493,65494,65495,65496,65497,65498,65499,65500,65501,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,657,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,699,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,738,739,740,741,742,743,744,745,746,747,748,749,750,751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,775,776,777,778,779,780,781,782,783,784,785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800,801,802,803,804,805,806,807,808,809,810,811,812,813,814,815,816,817,818,819,820,821,822,823,824,825,826,827,828,829,830,831,832,833,834,835,836,837,838,839,840,841,842,843,844,845,846,847,848,849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864,865,866,867,868,869,870,871,872,873,874,875,876,877,878,879,880,881,882,883,884,885,886,887,888,899,910,921,932,943,954,965,976,987,999,1011,1023,1035,1047,1059,1071,1083,1095,1108,1121,1134,1147,1160,1173,1186,1199,1213,1227,1241,1255,1269,1283,1297,1311,1326,1341,1356,1371,1386,1401,1416,1431,1447,1463,1479,1495,1511,1527,1543,1560,1577,1594,1611,1628,1645,1662,1680,1698,1716,1734,1752,1770,1789,1808,1827,1846,1865,1884,1903,1923,1943,1963,1983,2003,2023,2044,2065,2086,2107,2128,2150,2172,2194,2216,2238,2260,2283,2306,2329,2352,2375,2398,2422,2446,2470,2494,2518,2543,2568,2593,2618,2643,2669,2695,2721,2747,2773,2800,2827,2854,2881,2908,2936,2964,2992,3020,3048,3077,3106,3135,3164,3193,3223,3253,3283,3313,3344,3375,3406,3437,3468,3500,3532,3564,3596,3629,3662,3695,3728,3762,3796,3830,3864,3898,3933,3968,4003,4038,4074,4110,4146,4182,4219,4256,4293,4330,4368,4406,4444,4482,4521,4560,4599,4638,4678,4718,4758,4798,4839,4880,4921,4962,5004,5046,5088,5131,5174,5217,5260,5304,5348,5392,5436,5481,5526,5571,5616,5662,5708,5754,5801,5848,5895,5942,5990,6038,6086,6135,6184,6233,6282,6332,6382,6432,6483,6534,6585,6636,6688,6740,6792,6845,6898,6951,7004,7058,7112,7166,7221,7276,7331,7387,7443,7499,7555,7612,7669,7726,7784,7842,7900,7959,8018,8077,8136,8196,8256,8316,8377,8438,8499,8561,8623,8685,8747,8810,8873,8936,9000,9064,9128,9193,9258,9323,9389,9455,9521,9587,9654,9721,9788,9856,9924,9992,10061,10130,10199,10269,10339,10409,10479,10550,10621,10692,10764,10836,10908,10981,11054,11127,11201,11275,11349,11423,11498,11573,11648,11724,11800,11876,11953,12030,12107,12185,12263,12341,12419,12498,12577,12656,12736,12816,12896,12977,13058,13139,13221,13303,13385,13467,13550,13633,13716,13800,13884,13968,14052,14137,14222,14307,14393,14479,14565,14652,14739,14826,14913,15001,15089,15177,15266,15355,15444,15533,15623,15713,15803,15894,15985,16076,16167,16259,16351,16443,16535,16628,16721,16814,16908,17002,17096,17190,17285,17380,17475,17570,17666,17762,17858,17954,18051,18148,18245,18342,18440,18538,18636,18734,18833,18932,19031,19130,19230,19330,19430,19530,19631,19732,19833,19934,20036,20138,20240,20342,20444,20547,20650,20753,20856,20960,21064,21168,21272,21376,21481,21586,21691,21796,21901,22007,22113,22219,22325,22431,22538,22645,22752,22859,22966,23073,23181,23289,23397,23505,23613,23722,23831,23940,24049,24158,24267,24376,24486,24596,24706,24816,24926,25036,25147,25258,25369,25480,25591,25702,25813,25925,26037,26149,26261,26373,26485,26597,26709,26821,26934,27047,27160,27273,27386,27499,27612,27725,27838,27952,28066,28180,28294,28408,28522,28636,28750,28864,28978,29092,29206,29320,29435,29550,29665,29780,29895,30010,30125,30240,30355,30470,30585,30700,30815,30930,31045,31160,31275,31390,31505,31620,31735,31850,31965,32080,32195,32310,32425,32540,32656,32772,32888,33003,33118,33233,33348,33463,33578,33693,33808,33923,34038,34153,34268,34383,34498,34613,34728,34843,34958,35073,35188,35303,35418,35533,35648,35763,35878,35993,36108,36222,36336,36450,36564,36678,36792,36906,37020,37134,37248,37362,37476,37590,37703,37816,37929,38042,38155,38268,38381,38494,38607,38719,38831,38943,39055,39167,39279,39391,39503,39615,39726,39837,39948,40059,40170,40281,40392,40502,40612,40722,40832,40942,41052,41161,41270,41379,41488,41597,41706,41815,41923,42031,42139,42247,42355,42462,42569,42676,42783,42890,42997,43103,43209,43315,43421,43527,43632,43737,43842,43947,44052,44156,44260,44364,44468,44572,44675,44778,44881,44984,45086,45188,45290,45392,45494,45595,45696,45797,45898,45998,46098,46198,46298,46397,46496,46595,46694,46792,46890,46988,47086,47183,47280,47377,47474,47570,47666,47762,47858,47953,48048,48143,48238,48332,48426,48520,48614,48707,48800,48893,48985,49077,49169,49261,49352,49443,49534,49625,49715,49805,49895,49984,50073,50162,50251,50339,50427,50515,50602,50689,50776,50863,50949,51035,51121,51206,51291,51376,51460,51544,51628,51712,51795,51878,51961,52043,52125,52207,52289,52370,52451,52532,52612,52692,52772,52851,52930,53009,53087,53165,53243,53321,53398,53475,53552,53628,53704,53780,53855,53930,54005,54079,54153,54227,54301,54374,54447,54520,54592,54664,54736,54807,54878,54949,55019,55089,55159,55229,55298,55367,55436,55504,55572,55640,55707,55774,55841,55907,55973,56039,56105,56170,56235,56300,56364,56428,56492,56555,56618,56681,56743,56805,56867,56929,56990,57051,57112,57172,57232,57292,57351,57410,57469,57528,57586,57644,57702,57759,57816,57873,57929,57985,58041,58097,58152,58207,58262,58316,58370,58424,58477,58530,58583,58636,58688,58740,58792,58843,58894,58945,58996,59046,59096,59146,59195,59244,59293,59342,59390,59438,59486,59533,59580,59627,59674,59720,59766,59812,59857,59902,59947,59992,60036,60080,60124,60168,60211,60254,60297,60340,60382,60424,60466,60507,60548,60589,60630,60670,60710,60750,60790,60829,60868,60907,60946,60984,61022,61060,61098,61135,61172,61209,61246,61282,61318,61354,61390,61425,61460,61495,61530,61564,61598,61632,61666,61700,61733,61766,61799,61832,61864,61896,61928,61960,61991,62022,62053,62084,62115,62145,62175,62205,62235,62264,62293,62322,62351,62380,62408,62436,62464,62492,62520,62547,62574,62601,62628,62655,62681,62707,62733,62759,62785,62810,62835,62860,62885,62910,62934,62958,62982,63006,63030,63053,63076,63099,63122,63145,63168,63190,63212,63234,63256,63278,63300,63321,63342,63363,63384,63405,63425,63445,63465,63485,63505,63525,63544,63563,63582,63601,63620,63639,63658,63676,63694,63712,63730,63748,63766,63783,63800,63817,63834,63851,63868,63885,63901,63917,63933,63949,63965,63981,63997,64012,64027,64042,64057,64072,64087,64102,64117,64131,64145,64159,64173,64187,64201,64215,64229,64242,64255,64268,64281,64294,64307,64320,64333,64345,64357,64369,64381,64393,64405,64417,64429,64441,64452,64463,64474,64485,64496,64507,64518,64529,64540,64541,64542,64543,64544,64554,64564,64574,64584,64594,64604,64605,64606,64607,64608,64609,64610,64611,64612,64613,64614,64615,64616,64617,64618,64619,64620,64621,64622,64623,64624,64625,64626,64627,64628,64629,64630,64631,64632,64633,64634,64635,64636,64637,64638,64639,64640,64641,64642,64643,64644,64645,64646,64647,64648,64649,64650,64651,64652,64653,64654,64655,64656,64657,64658,64659,64660,64661,64662,64663,64664,64665,64666,64667,64668,64669,64670,64671,64672,64673,64674,64675,64676,64677,64678,64679,64680,64681,64682,64683,64684,64685,64686,64687,64688,64689,64690,64691,64692,64693,64694,64695,64696,64697,64698,64699,64700,64701,64702,64703,64704,64705,64706,64707,64708,64709,64710,64711,64712,64713,64714,64715,64716,64717,64718,64719,64720,64721,64722,64723,64724,64725,64726,64727,64728,64729,64730,64731,64732,64733,64734,64735,64736,64737,64738,64739,64740,64741,64742,64743,64744,64745,64746,64747,64748,64749,64750,64751,64752,64753,64754,64755,64756,64757,64758,64759,64760,64761,64762,64763,64764,64765,64766,64767,64768,64769,64770,64771,64772,64773,64774,64775,64776,64777,64778,64779,64780,64781,64782,64783,64784,64785,64786,64787,64788,64789,64790,64791,64792,64793,64794,64795,64796,64797,64798,64799,64800,64801,64802,64803,64804,64805,64806,64807,64808,64809,64810,64811,64812,64813,64814,64815,64816,64817,64818,64819,64820,64821,64822,64823,64824,64825,64826,64827,64828,64829,64830,64831,64832,64833,64834,64835,64836,64837,64838,64839,64840,64841,64842,64843,64844,64845,64846,64847,64848,64849,64850,64851,64852,64853,64854,64855,64856,64857,64858,64859,64860,64861,64862,64863,64864,64865,64866,64867,64868,64869,64870,64871,64872,64873,64874,64875,64876,64877,64878,64879,64880,64881,64882,64883,64884,64885,64886,64887,64888,64889,64890,64891,64892,64893,64894,64895,64896,64897,64898,64899,64900,64901,64902,64903,64904,64905,64906,64907,64908,64909,64910,64911,64912,64913,64914,64915,64916,64917,64918,64919,64920,64921,64922,64923,64924,64925,64926,64927,64928,64929,64930,64931,64932,64933,64934,64935,64936,64937,64938,64939,64940,64941,64942,64943,64944,64945,64946,64947,64948,64949,64950,64951,64952,64953,64954,64955,64956,64957,64958,64959,64960,64961,64962,64963,64964,64965,64966,64967,64968,64969,64970,64971,64972,64973,64974,64975,64976,64977,64978,64979,64980,64981,64982,64983,64984,64985,64986,64987,64988,64989,64990,64991,64992,64993,64994,64995,64996,64997,64998,64999,65000,65001,65002,65003,65004,65005,65006,65007,65008,65009,65010,65011,65012,65013,65014,65015,65016,65017,65018,65019,65020,65021,65022,65023,65024,65025,65026,65027,65028,65029,65030,65031,65032,65033,65034,65035,65036,65037,65038,65039,65040,65041,65042,65043,65044,65045,65046,65047,65048,65049,65050,65051,65052,65053,65054,65055,65056,65057,65058,65059,65060,65061,65062,65063,65064,65065,65066,65067,65068,65069,65070,65071,65072,65073,65074,65075,65076,65077,65078,65079,65080,65081,65082,65083,65084,65085,65086,65087,65088,65089,65090,65091,65092,65093,65094,65095,65096,65097,65098,65099,65100,65101,65102,65103,65104,65105,65106,65107,65108,65109,65110,65111,65112,65113,65114,65115,65116,65117,65118,65119,65120,65121,65122,65123,65124,65125,65126,65127,65128,65129,65130,65131,65132,65133,65134,65135,65136,65137,65138,65139,65140,65141,65142,65143,65144,65145,65146,65147,65148,65149,65150,65151,65152,65153,65154,65155,65156,65157,65158,65159,65160,65161,65162,65163,65164,65165,65166,65167,65168,65169,65170,65171,65172,65173,65174,65175,65176,65177,65178,65179,65180,65181,65182,65183,65184,65185,65186,65187,65188,65189,65190,65191,65192,65193,65194,65195,65196,65197,65198,65199,65200,65201,65202,65203,65204,65205,65206,65207,65208,65209,65210,65211,65212,65213,65214,65215,65216,65217,65218,65219,65220,65221,65222,65223,65224,65225,65226,65227,65228,65229,65230,65231,65232,65233,65234,65235,65236,65237,65238,65239,65240,65241,65242,65243,65244,65245,65246,65247,65248,65249,65250,65251,65252,65253,65254,65255,65256,65257,65258,65259,65260,65261,65262,65263,65264,65265,65266,65267,65268,65269,65270,65271,65272,65273,65274,65275,65276,65277,65278,65279,65280,65281,65282,65283,65284,65285,65286,65287,65288,65289,65290,65291,65292,65293,65294,65295,65296,65297,65298,65299,65300,65301,65302,65303,65304,65305,65306,65307,65308,65309,65310,65311,65312,65313,65314,65315,65316,65317,65318,65319,65320,65321,65322,65323,65324,65325,65326,65327,65328,65329,65330,65331,65332,65333,65334,65335,65336,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65479,65480,65481,65482,65536],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,657,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,699,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,738,739,740,741,742,743,744,745,746,747,748,749,750,751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,775,776,777,778,779,780,781,782,783,784,785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800,801,802,803,804,805,806,807,808,809,810,811,812,813,814,815,816,817,818,819,820,821,822,823,824,825,826,827,828,829,830,831,832,833,834,835,836,837,838,839,840,841,842,843,844,845,846,847,848,849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864,865,866,867,868,869,870,871,872,873,874,875,876,877,878,879,880,881,882,883,884,885,886,887,888,889,890,891,892,893,894,895,896,897,898,899,900,901,902,903,904,905,906,907,908,909,910,911,912,913,914,915,916,917,918,919,920,921,922,923,924,925,926,927,928,929,930,931,932,933,934,935,936,937,938,939,940,941,942,943,944,945,946,947,948,949,950,951,952,953,954,955,956,957,958,959,960,961,962,963,964,965,966,967,968,969,970,971,972,973,974,975,976,977,978,979,980,981,982,983,984,985,986,987,988,989,990,991,992,993,994,995,996,997,998,999,1000,1001,1002,1003,1004,1005,1006,1007,1008,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1030,1041,1052,1063,1074,1085,1096,1107,1118,1129,1140,1152,1164,1176,1188,1200,1212,1224,1236,1248,1260,1272,1285,1298,1311,1324,1337,1350,1363,1376,1389,1403,1417,1431,1445,1459,1473,1487,1501,1515,1529,1544,1559,1574,1589,1604,1619,1634,1649,1665,1681,1697,1713,1729,1745,1761,1777,1793,1810,1827,1844,1861,1878,1895,1912,1929,1947,1965,1983,2001,2019,2037,2055,2074,2093,2112,2131,2150,2169,2188,2207,2227,2247,2267,2287,2307,2327,2347,2368,2389,2410,2431,2452,2473,2494,2516,2538,2560,2582,2604,2626,2649,2672,2695,2718,2741,2764,2787,2811,2835,2859,2883,2907,2931,2956,2981,3006,3031,3056,3081,3107,3133,3159,3185,3211,3237,3264,3291,3318,3345,3372,3399,3427,3455,3483,3511,3539,3568,3597,3626,3655,3684,3713,3743,3773,3803,3833,3863,3893,3924,3955,3986,4017,4048,4080,4112,4144,4176,4208,4241,4274,4307,4340,4373,4407,4441,4475,4509,4543,4578,4613,4648,4683,4718,4754,4790,4826,4862,4898,4935,4972,5009,5046,5083,5121,5159,5197,5235,5273,5312,5351,5390,5429,5468,5508,5548,5588,5628,5669,5710,5751,5792,5833,5875,5917,5959,6001,6043,6086,6129,6172,6215,6259,6303,6347,6391,6435,6480,6525,6570,6615,6661,6707,6753,6799,6846,6893,6940,6987,7034,7082,7130,7178,7226,7275,7324,7373,7422,7472,7522,7572,7622,7672,7723,7774,7825,7876,7928,7980,8032,8084,8137,8190,8243,8296,8350,8404,8458,8512,8566,8621,8676,8731,8786,8842,8898,8954,9010,9067,9124,9181,9238,9296,9354,9412,9470,9529,9588,9647,9706,9766,9826,9886,9946,10006,10067,10128,10189,10250,10312,10374,10436,10498,10561,10624,10687,10750,10814,10878,10942,11006,11071,11136,11201,11266,11332,11398,11464,11530,11597,11664,11731,11798,11865,11933,12001,12069,12137,12206,12275,12344,12413,12483,12553,12623,12693,12764,12835,12906,12977,13049,13121,13193,13265,13337,13410,13483,13556,13629,13703,13777,13851,13925,14000,14075,14150,14225,14300,14376,14452,14528,14604,14681,14758,14835,14912,14990,15068,15146,15224,15302,15381,15460,15539,15618,15698,15778,15858,15938,16018,16099,16180,16261,16342,16423,16505,16587,16669,16751,16834,16917,17000,17083,17166,17250,17334,17418,17502,17586,17671,17756,17841,17926,18011,18097,18183,18269,18355,18441,18528,18615,18702,18789,18876,18964,19052,19140,19228,19316,19405,19494,19583,19672,19761,19850,19940,20030,20120,20210,20300,20390,20481,20572,20663,20754,20845,20937,21029,21121,21213,21305,21397,21489,21582,21675,21768,21861,21954,22047,22141,22235,22329,22423,22517,22611,22705,22800,22895,22990,23085,23180,23275,23370,23466,23562,23658,23754,23850,23946,24042,24139,24236,24333,24430,24527,24624,24721,24818,24915,25013,25111,25209,25307,25405,25503,25601,25699,25797,25896,25995,26094,26193,26292,26391,26490,26589,26688,26787,26887,26987,27087,27187,27287,27387,27487,27587,27687,27787,27887,27987,28087,28188,28289,28390,28491,28592,28693,28794,28895,28996,29097,29198,29299,29400,29501,29602,29703,29804,29906,30008,30110,30212,30314,30416,30518,30620,30722,30824,30926,31028,31130,31232,31334,31436,31538,31640,31742,31844,31946,32048,32150,32252,32354,32456,32558,32660,32762,32864,32966,33068,33170,33272,33374,33476,33578,33680,33782,33884,33986,34088,34190,34292,34394,34496,34598,34700,34802,34904,35006,35108,35210,35312,35414,35516,35618,35719,35820,35921,36022,36123,36224,36325,36426,36527,36628,36729,36830,36931,37032,37133,37234,37335,37435,37535,37635,37735,37835,37935,38035,38135,38235,38335,38435,38535,38635,38734,38833,38932,39031,39130,39229,39328,39427,39526,39625,39723,39821,39919,40017,40115,40213,40311,40409,40507,40604,40701,40798,40895,40992,41089,41186,41283,41380,41476,41572,41668,41764,41860,41956,42052,42147,42242,42337,42432,42527,42622,42717,42811,42905,42999,43093,43187,43281,43375,43468,43561,43654,43747,43840,43933,44025,44117,44209,44301,44393,44485,44577,44668,44759,44850,44941,45032,45122,45212,45302,45392,45482,45572,45661,45750,45839,45928,46017,46106,46194,46282,46370,46458,46546,46633,46720,46807,46894,46981,47067,47153,47239,47325,47411,47496,47581,47666,47751,47836,47920,48004,48088,48172,48256,48339,48422,48505,48588,48671,48753,48835,48917,48999,49080,49161,49242,49323,49404,49484,49564,49644,49724,49804,49883,49962,50041,50120,50198,50276,50354,50432,50510,50587,50664,50741,50818,50894,50970,51046,51122,51197,51272,51347,51422,51497,51571,51645,51719,51793,51866,51939,52012,52085,52157,52229,52301,52373,52445,52516,52587,52658,52729,52799,52869,52939,53009,53078,53147,53216,53285,53353,53421,53489,53557,53624,53691,53758,53825,53892,53958,54024,54090,54156,54221,54286,54351,54416,54480,54544,54608,54672,54735,54798,54861,54924,54986,55048,55110,55172,55233,55294,55355,55416,55476,55536,55596,55656,55716,55775,55834,55893,55952,56010,56068,56126,56184,56241,56298,56355,56412,56468,56524,56580,56636,56691,56746,56801,56856,56910,56964,57018,57072,57126,57179,57232,57285,57338,57390,57442,57494,57546,57597,57648,57699,57750,57800,57850,57900,57950,58000,58049,58098,58147,58196,58244,58292,58340,58388,58435,58482,58529,58576,58623,58669,58715,58761,58807,58852,58897,58942,58987,59031,59075,59119,59163,59207,59250,59293,59336,59379,59421,59463,59505,59547,59589,59630,59671,59712,59753,59794,59834,59874,59914,59954,59993,60032,60071,60110,60149,60187,60225,60263,60301,60339,60376,60413,60450,60487,60524,60560,60596,60632,60668,60704,60739,60774,60809,60844,60879,60913,60947,60981,61015,61049,61082,61115,61148,61181,61214,61246,61278,61310,61342,61374,61405,61436,61467,61498,61529,61559,61589,61619,61649,61679,61709,61738,61767,61796,61825,61854,61883,61911,61939,61967,61995,62023,62050,62077,62104,62131,62158,62185,62211,62237,62263,62289,62315,62341,62366,62391,62416,62441,62466,62491,62515,62539,62563,62587,62611,62635,62658,62681,62704,62727,62750,62773,62796,62818,62840,62862,62884,62906,62928,62949,62970,62991,63012,63033,63054,63075,63095,63115,63135,63155,63175,63195,63215,63234,63253,63272,63291,63310,63329,63348,63367,63385,63403,63421,63439,63457,63475,63493,63510,63527,63544,63561,63578,63595,63612,63629,63645,63661,63677,63693,63709,63725,63741,63757,63773,63788,63803,63818,63833,63848,63863,63878,63893,63907,63921,63935,63949,63963,63977,63991,64005,64019,64033,64046,64059,64072,64085,64098,64111,64124,64137,64150,64162,64174,64186,64198,64210,64222,64234,64246,64258,64270,64282,64293,64304,64315,64326,64337,64348,64359,64370,64381,64392,64403,64404,64405,64406,64407,64410,64420,64430,64440,64450,64460,64470,64471,64472,64473,64474,64475,64476,64477,64478,64479,64480,64481,64482,64483,64484,64485,64486,64487,64488,64489,64490,64491,64492,64493,64494,64495,64496,64497,64498,64499,64500,64501,64502,64503,64504,64505,64506,64507,64508,64509,64510,64511,64512,64513,64514,64515,64516,64517,64518,64519,64520,64521,64522,64523,64524,64525,64526,64527,64528,64529,64530,64531,64532,64533,64534,64535,64536,64537,64538,64539,64540,64541,64542,64543,64544,64545,64546,64547,64548,64549,64550,64551,64552,64553,64554,64555,64556,64557,64558,64559,64560,64561,64562,64563,64564,64565,64566,64567,64568,64569,64570,64571,64572,64573,64574,64575,64576,64577,64578,64579,64580,64581,64582,64583,64584,64585,64586,64587,64588,64589,64590,64591,64592,64593,64594,64595,64596,64597,64598,64599,64600,64601,64602,64603,64604,64605,64606,64607,64608,64609,64610,64611,64612,64613,64614,64615,64616,64617,64618,64619,64620,64621,64622,64623,64624,64625,64626,64627,64628,64629,64630,64631,64632,64633,64634,64635,64636,64637,64638,64639,64640,64641,64642,64643,64644,64645,64646,64647,64648,64649,64650,64651,64652,64653,64654,64655,64656,64657,64658,64659,64660,64661,64662,64663,64664,64665,64666,64667,64668,64669,64670,64671,64672,64673,64674,64675,64676,64677,64678,64679,64680,64681,64682,64683,64684,64685,64686,64687,64688,64689,64690,64691,64692,64693,64694,64695,64696,64697,64698,64699,64700,64701,64702,64703,64704,64705,64706,64707,64708,64709,64710,64711,64712,64713,64714,64715,64716,64717,64718,64719,64720,64721,64722,64723,64724,64725,64726,64727,64728,64729,64730,64731,64732,64733,64734,64735,64736,64737,64738,64739,64740,64741,64742,64743,64744,64745,64746,64747,64748,64749,64750,64751,64752,64753,64754,64755,64756,64757,64758,64759,64760,64761,64762,64763,64764,64765,64766,64767,64768,64769,64770,64771,64772,64773,64774,64775,64776,64777,64778,64779,64780,64781,64782,64783,64784,64785,64786,64787,64788,64789,64790,64791,64792,64793,64794,64795,64796,64797,64798,64799,64800,64801,64802,64803,64804,64805,64806,64807,64808,64809,64810,64811,64812,64813,64814,64815,64816,64817,64818,64819,64820,64821,64822,64823,64824,64825,64826,64827,64828,64829,64830,64831,64832,64833,64834,64835,64836,64837,64838,64839,64840,64841,64842,64843,64844,64845,64846,64847,64848,64849,64850,64851,64852,64853,64854,64855,64856,64857,64858,64859,64860,64861,64862,64863,64864,64865,64866,64867,64868,64869,64870,64871,64872,64873,64874,64875,64876,64877,64878,64879,64880,64881,64882,64883,64884,64885,64886,64887,64888,64889,64890,64891,64892,64893,64894,64895,64896,64897,64898,64899,64900,64901,64902,64903,64904,64905,64906,64907,64908,64909,64910,64911,64912,64913,64914,64915,64916,64917,64918,64919,64920,64921,64922,64923,64924,64925,64926,64927,64928,64929,64930,64931,64932,64933,64934,64935,64936,64937,64938,64939,64940,64941,64942,64943,64944,64945,64946,64947,64948,64949,64950,64951,64952,64953,64954,64955,64956,64957,64958,64959,64960,64961,64962,64963,64964,64965,64966,64967,64968,64969,64970,64971,64972,64973,64974,64975,64976,64977,64978,64979,64980,64981,64982,64983,64984,64985,64986,64987,64988,64989,64990,64991,64992,64993,64994,64995,64996,64997,64998,64999,65000,65001,65002,65003,65004,65005,65006,65007,65008,65009,65010,65011,65012,65013,65014,65015,65016,65017,65018,65019,65020,65021,65022,65023,65024,65025,65026,65027,65028,65029,65030,65031,65032,65033,65034,65035,65036,65037,65038,65039,65040,65041,65042,65043,65044,65045,65046,65047,65048,65049,65050,65051,65052,65053,65054,65055,65056,65057,65058,65059,65060,65061,65062,65063,65064,65065,65066,65067,65068,65069,65070,65071,65072,65073,65074,65075,65076,65077,65078,65079,65080,65081,65082,65083,65084,65085,65086,65087,65088,65089,65090,65091,65092,65093,65094,65095,65096,65097,65098,65099,65100,65101,65102,65103,65104,65105,65106,65107,65108,65109,65110,65111,65112,65113,65114,65115,65116,65117,65118,65119,65120,65121,65122,65123,65124,65125,65126,65127,65128,65129,65130,65131,65132,65133,65134,65135,65136,65137,65138,65139,65140,65141,65142,65143,65144,65145,65146,65147,65148,65149,65150,65151,65152,65153,65154,65155,65156,65157,65158,65159,65160,65161,65162,65163,65164,65165,65166,65167,65168,65169,65170,65171,65172,65173,65174,65175,65176,65177,65178,65179,65180,65181,65182,65183,65184,65185,65186,65187,65188,65189,65190,65191,65192,65193,65194,65195,65196,65197,65198,65199,65200,65201,65202,65203,65204,65205,65206,65207,65208,65209,65210,65211,65212,65213,65214,65215,65216,65217,65218,65219,65220,65221,65222,65223,65224,65225,65226,65227,65228,65229,65230,65231,65232,65233,65234,65235,65236,65237,65238,65239,65240,65241,65242,65243,65244,65245,65246,65247,65248,65249,65250,65251,65252,65253,65254,65255,65256,65257,65258,65259,65260,65261,65262,65263,65264,65265,65266,65267,65268,65269,65270,65271,65272,65273,65274,65275,65276,65277,65278,65279,65280,65281,65282,65283,65284,65285,65286,65287,65288,65289,65290,65291,65292,65293,65294,65295,65296,65297,65298,65299,65300,65301,65302,65303,65304,65305,65306,65307,65308,65309,65310,65311,65312,65313,65314,65315,65316,65317,65318,65319,65320,65321,65322,65323,65324,65325,65326,65327,65328,65329,65330,65331,65332,65333,65334,65335,65336,65337,65338,65339,65340,65341,65342,65343,65344,65345,65346,65347,65348,65349,65350,65351,65352,65353,65354,65355,65356,65357,65358,65359,65360,65361,65362,65363,65364,65365,65366,65367,65368,65369,65370,65371,65372,65373,65374,65375,65376,65377,65378,65379,65380,65381,65382,65383,65384,65385,65386,65387,65388,65389,65390,65391,65392,65393,65394,65395,65396,65397,65398,65399,65400,65401,65402,65403,65404,65405,65406,65407,65408,65409,65410,65411,65412,65413,65414,65415,65416,65417,65418,65419,65420,65421,65422,65423,65424,65425,65426,65427,65428,65429,65430,65431,65432,65433,65434,65435,65436,65437,65438,65439,65440,65441,65442,65443,65444,65445,65446,65447,65448,65449,65450,65451,65452,65453,65454,65455,65456,65457,65458,65459,65460,65461,65462,65463,65464,65465,65466,65467,65468,65469,65470,65471,65472,65473,65474,65475,65476,65477,65478,65536]]}