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