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