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