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