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