[[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,47,48,49,50,51,52,53,55,56,57,58,59,61,62,63,64,65,66,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,104,105,106,107,108,109,110,111,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,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,209,210,211,212,213,214,215,217,218,220,221,222,223,224,225,226,227,228,229,230,231,232,233,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,252,253,254,255,256,257,259,261,262,263,264,265,266,267,268,269,270,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,308,309,310,311,312,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,359,361,362,363,364,365,366,367,368,369,370,371,372,373,375,376,377,378,379,380,381,382,383,384,385,386,387,388,390,391,393,394,395,396,397,398,399,401,402,404,405,406,407,408,409,411,412,413,414,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,434,435,436,437,438,439,440,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,474,475,476,477,478,479,480,481,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,507,508,509,510,511,514,516,517,518,526,527,528,531,532,534,535,537,539,540,542,544,545,546,547,555,557,561,564,567,569,576,579,581,584,585,592,595,599,607,608,609,610,611,617,623,624,627,629,630,633,641,642,644,648,649,652,656,659,667,670,671,673,676,677,679,682,683,685,690,695,697,699,701,704,709,710,711,719,720,723,724,726,727,728,729,730,733,743,749,750,752,753,756,762,763,766,767,769,770,771,779,780,784,791,793,794,795,796,797,798,801,802,803,810,812,816,821,825,827,831,834,835,837,838,839,845,846,847,849,851,854,856,860,867,871,872,873,880,885,888,889,890,891,895,896,898,900,908,912,913,914,915,926,928,934,935,937,945,949,953,959,968,969,971,978,979,982,983,984,985,991,993,994,997,998,999,1000,1002,1003,1004,1005,1009,1011,1016,1020,1022,1023],[46,54,60,67,103,113,153,208,216,219,234,251,258,260,271,307,313,335,358,360,374,389,392,400,403,410,433,441,473,482,506,512,513,519,522,524,529,530,533,536,541,548,550,552,553,554,560,565,566,570,572,574,575,578,586,587,589,590,591,593,597,598,602,604,605,613,615,618,621,622,625,626,634,636,637,638,639,645,647,653,654,657,660,663,664,666,668,678,680,687,688,689,692,693,696,698,700,702,703,706,712,715,716,717,721,731,732,735,739,740,741,745,746,747,748,754,755,758,760,765,768,774,776,778,782,783,786,787,788,792,799,806,807,811,813,817,818,820,823,824,826,828,830,833,840,842,843,844,848,850,853,855,858,859,862,863,865,866,868,869,870,876,877,879,887,892,894,901,907,911,916,918,920,922,924,927,930,931,933,940,941,942,943,946,950,952,957,961,962,963,966,967,970,974,975,977,980,981,988,989,990,996,1001,1006,1008],[22,112,515,525,543,551,559,563,573,580,588,594,596,600,601,614,616,619,635,640,651,658,662,674,675,684,686,691,694,705,708,713,718,722,725,736,737,738,742,744,751,759,764,773,775,777,804,805,808,814,815,822,832,836,841,852,857,874,878,882,883,884,886,893,897,899,902,903,905,909,919,923,925,929,936,938,939,944,951,955,972,976,992,995,1007,1010,1014,1019,1021],[415,520,521,523,538,549,556,558,562,568,577,582,583,603,606,631,632,643,650,665,672,681,707,757,761,772,781,785,790,819,829,861,881,904,906,917,932,947,954,956,958,960,964,965,973,986,987,1012,1018],[571,612,620,628,655,669,714,734,789,800,809,864,875,910,948,1013,1017],[646,921,1015],[661]]