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