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